arxiv: v1 [physics.class-ph] 8 Jun 2009

Transcription

1 Visualizing Imaginay Rotations and Applications in Physics Eli Lansey Depatment of Physics, City College and The Gaduate Cente of the City Univesity of New Yok, New Yok, NY axiv: v1 [physics.class-ph] 8 Jun 009 (Dated: June 5, 009) I discuss the notions of taditional vecto length, and suggest defining a complex vecto length fo complex vectos, as opposed to the taditional Hemitian eal length. The advantages of this ae shown in the development of otations though imaginay angles. Emphasis is placed on visualizing these quantities and otations gaphically, and I show some applications in physics: Loentz tansfomations, Gassmann vaiables, and Pauli spin matices. I. INTRODUCTION In 196, in the fist edition of his seminal Classical Electodynamics, J.D. Jackson suggests viewing Loentz tansfomations as othogonal tansfomations in fou dimensions, [1] whee the time coodinate is chosen to be an imaginay quantity and the thee spacial coodinates ae eal. He shows that one can conside a Loentz tansfomation as a otation of axes though an imaginay angle ψ, and ties to show this gaphically with taditional otation-of-axes diagams. Howeve, as he notes, these gaphs ae not the most ideal ways to show Loentz tansfomations, as cos ψ 1. He theefoe concludes that the gaphical epesentation of a Loentz tansfomation as a otation is meely a fomal device, and leaves it at that. In fact, in the two late editions of his text this discussion is emoved completely. In this pape I evisit Jackson s oiginal idea, but show that we need to caefully ethink the notions of length, angles and otations. I show that, if we daw the ight pictues, it is staightfowad to visualize abitay complex vectos, not just those of the fom descibed by Jackson. Additionally, I show how to visualize otations of these vectos though eal, as Electonic addess: elansey@gc.cuny.edu

2 x x 0 FIG. 1: Visualizing a eal D vecto x = (4,3) in the x 0 x 1 -plane. = 5 fo this example. well as imaginay angles. I have also developed a set of compute tools using Mathematica to help with these visualizations, available online. The discussion also highlights the gaphical distinction between unitay and othogonal matices. This distinction is highlighted in the physical applications; Pauli spin matices behave diffeently than otation matices. Futhemoe, I develop a way of visualizing noncommuting Gassmann numbes using this boade methodology. II. VECTORS AND LENGTH Befoe we can begin thinking about otations and thei mathematical and gaphical popeties, we fist need to discuss vectos, both eal and complex, and the notion of vecto length. A. Real Vectos Conside a taditional D vecto x = x 0, (1) x 1

3 3 whee x 0 and x 1 ae eal numbes. 1 We can easily visualize this on a D gaph, see Fig. 1. In this case we can see the length of this vecto, and use the standad inne poduct ( x, x) = x T x () to find its value: o = ( x, x), (3) = x 0 + x 1, (4) fo ou D example.[] Since x 0 and x 1 ae eal values, both x 0 and x 1 ae lage than zeo, giving Cauchy s inequality ( x, x) 0. (5) Thus, we ll define the length of an n-dimensional vecto x as: ( x, x) (6) o = x 0 + x 1 (7) in ou D case, whee we ve chosen the positive oot as a matte of convention. Then, this length has all the physical popeties of length that we ae used to: It is geate than, o equal to zeo, it is what you get by physically measuing with a (n-dimensional) ule, and so on. So I will fogo futhe discussion of these familia eal lengths and vectos fo the moment and poceed on to complex vectos. B. Complex Vectos We ll define a complex D vecto x (the boldface signifies a complex vecto) as a vecto whose components ae now allowed to be complex numbes: x = x 0 + i xi 0, (8) x 1 + i x i 1 1 I chose to index these components stating fom 0, athe than 1 as is taditional fo consideations which come in Section VA

4 4 x 1 5 Real Pat i x 1 5 Imaginay Pat x x 0 i (a)real component of x, x (b)imaginay component of x, x i FIG. : Visualizing a complex D vecto x = (4 + i,3 + 4i) by looking sepaately at x = (4,3) in the x 0 x 1 -plane in (a) and x i = (,4) in the x i 0 xi 1 -plane in (b). h = 3 5 and s = 5 fo this example. whee x 0, x i 0, x 1 and x i 1 ae all eal numbes. To help visualize this quantity, we note that we can ewite this as x = x 0 x 1 + i xi 0 x i 1 = x + i x i, (9) whee x and x i ae both eal vectos.[3] This allows us to visualize the vecto as two diffeent vectos, one coesponding to the eal pat of the vecto, the othe coesponding to the complex pat. See Fig.. This is, of couse, not the only way of visualizing complex vectos. We could also plot diffeent Agand diagams, one fo each of the x i components. This second appoach is beneficial in the sense that it s easie to plot highe dimensions, howeve is disadvantageous in that these plots do not captue the spacial oientation of these vectos. Additionally, fo othe cases, a pola visualization plotting the magnitudes x 0 vs x 1 on one plot, and the phases on the othe is moe helpful. This is especially useful when we ae eally only inteested in eithe the eal o imaginay pats of the vecto, but keep complex notation fo convenience, such as with complex electic and magnetic fields. In this case, howeve, I believe the fist appoach is the most natual way to visualize these vectos. The touble now is in defining a length. On one hand, we d like to keep Cauchy s inequality (Eq. 5) and conside a eal length of complex vecto. A taditional way towad this

5 5 end is though the so-called Hemitian inne poduct: x, x x x (10) whee x ( x ) T, i.e. the complex tanspose of x such that h = x, x (11) o h = ( x 0 + i xi 0) ( x 0 + i x i 0) + ( x 1 + i x i 1) ( x 1 + i x i 1 ) (1) = (x 0 ) + ( x0) i + (x 1 ) + ( x1) i (13) in ou D case. This, indeed, gives a numbe h > 0, coesponding the sum of the squaes of the (eal) lengths of x and x i, satisfying Cauchy s inequality (Eq. 5), and allowing us to define a eal length h of an imaginay vecto as we did in Eq. 6: h x, x, (14) o h = (x 0 ) + (x i 0 ) + (x 1 ) + (x i 1 ) (15) in ou D case.[4] This length has its advantages. Fist and foemost, it is a eal length, with all of eal length s popeties. It can, in pinciple, be measued, it is geate than o equal to zeo, and so on. A vaiation on this length is often used, fo example, in quantum mechanics to find eal expectation values of measuable physical quantities fom a complex wavefunction. Thus, the majo benefit of the Hemitian inne poduct is that it allows us to extact a eal length fom a complex vecto. The touble is, we lose all infomation about the complex natue of the vecto. It is as if the i doesn t even exist. Conside, fo example, the puely imaginay vecto x = (i, 0). The Hemitian inne poduct gives h = 1, o h = 1, the same as the poduct fom a puely eal vecto x = (1, 0). But, in some sense, the length of the vecto is, in fact, imaginay, in that it exists puely in the imaginay pat of the complex D domain, contasted with the eal length of a puely eal vecto which exists puely in the eal D domain. Theefoe, we ll ty to develop an altenative length which caies with it the complexity of the vecto space. To stat, we ll study what happens to the taditional inne poduct if

6 6 we feed it a complex vecto x instead of a eal vecto. Again, conside, fo example, the puely complex vecto x = (i, 0). Putting it though the machiney of the inne poduct (Eq. ) we get ( x, x) = (0 + i) + (0 + i 0) = 1 (16) This inne poduct clealy violates Cauchy s inequality (Eq. 5), which, fo some eason, sends some people into conniptions. But let s continue anyway, in spite of this esevation, and define, as we did in Eq. 6, a complex length s: s ( x, x), (17) o s = (x 0 + i xi 0 ) + (x 1 + i xi 1 ) (18) in ou D case, whee, again, we ve chosen the positive oot as a matte of convention. But since we can potentially have ( x, x) < 0, s can be a complex numbe! As an example, conside, once again, ou old fiend, the puely imaginay vecto x = (i, 0). Its complex length is s = i. This now caies the infomation that the vecto is actually complex, and can be contasted with x = (1, 0) whose length is s = 1. The notion of a complex length is not completely unhead of in mathematics liteatue. See fo example, Dodson and Poston,[5] whee they entetain the option of such a length in the Minkowski metic. They ultimately eject this length, egading the inne poduct itself as moe impotant, since, within the famewok of the Minkowski metic, all quantities ae eal. In this case howeve, the quantities ae essentially complex, and, as such, a complex length is no longe adventitious. The behavio of this length s is a bit nasty, though. Aside fom the obvious poblem of measuing with a complex ule, 3 s can be entiely eal o entiely complex fo vectos that ae pat eal and pat complex, and can equal zeo fo non-zeo vectos. Fo example, fo x = (5i, 3), s = 4i, but fo x = (3i, 5), s = 4; fo x = (1 + i, 1 + i), s = 0. I discuss the case of s = 0 late, in Section V B. Additionally, the imaginay pat of s can be less than 0. In geneal, actually, the length of x is the conjugate of the length of x. If the idea of a complex length seems stange to you, conside the opposition to complex numbes when people fist suggested thei existence. 3 Not that this is inheently any stange than measuing with an n-dimensional ule.

7 7 x x ' Θ x x 0 FIG. 3: Taditional visualization of the otation of a (unit) vecto x though angle θ to x. In any case, ultimately, the length s of x is a single complex numbe, which can, of couse, be visualized accoding to you favoite method. So then, we have thee diffeent lengths: = ( x, x), eal length fo eal vectos h = x, x, eal length fo complex vectos s = ( x, x), complex length fo complex vectos And, although s is ticky to get to know, its significance, and the impotance of the diffeence between s, h and will be highlighted in Section IIIB. III. ROTATIONS A. Real Rotations Say we want to otate the eal, D vecto vecto x though some angle θ aound a vecto pependicula to the D plane. See Fig. 3. The esulting vecto x = x 0 x 1, (19)

8 8 has components which ae linea combinations of the oiginal components x 0 and x 1. An impotant, nealy defining chaacteistic of any such a otation is that is peseves the length of the vecto, given by equation (Eq. 6). Using Fig. 3 we can wite x 0 and x 1 in tems of θ and the initial components x 0 and x 1 and constuct the standad D matix of otation: cosθ sin θ R(θ) =, (0) sin θ cosθ and wite x = R(θ) x (1) Easy calculations veify that =. Additionally, since this is a eal vecto, = h = s = = h = s, so a distinction between the vaious lengths does not aise. Now, suppose we want to otate the complex vecto vecto x though some angle θ aound a vecto pependicula to the complex D plane. Nothing is stopping us fom using Eq. 1 with a vecto x, so we may as well conside x = R(θ) x. We will use Eq. 9 to help us visualize this otation: x = R(θ) x + i R(θ) x i (a) = Q () cosθ + i Q (i) cosθ (b) sin θ sin θ whee Q () Q (i) x 0 x 1 x 1 x 0 xi 0 xi 1 x i 1 x i 0. (3a) (3b) In othe wods, thee ae two equally valid gaphical ways of thinking about and visualizing this otation. The fist (Eq. a) views it as an identical otation of the eal and imaginay components of x though an angle θ wheeas the second (Eq. b) views it as a mapping of a potion of the unit cicle (up to angle θ) due to the eal and imaginay components of x. The second one emphasizes that the path taced by the vecto unde this otation is a cicle. This is also seen clealy fom Eq. 4, which is the equation of a cicle of adius. Gaphically, we can see the equivalence of both viewpoints, see Fig. 4.

9 9 Real Pat x 1 Imaginay Pat i x x x 0 i 4 4 FIG. 4: Visualizing eal otation of a complex D vecto x = (4+i,3+4i) though angle θ = π/3 by looking sepaately at the otations of x = (4,3) in the x 0 x 1 -plane and x i = (,4) in the x i 0 xi 1-plane. Black aow is oiginal vecto, ed aow is otated vecto, dotted line is path taced unde otation Since this is a otation, we need to check that length is conseved though this opeation. In this case, caying though calculations fo an abitay x and θ, even though s h, h = h and s = s. In othe wods, both the Hemitian length and the complex length of x ae conseved though this otation. Hee again, then, an impotant distinction between these two lengths does not aise. B. Imaginay Rotations Having undestood, and visualized eal otations of complex vectos, let s see what happens if we otate x though an imaginay angle iθ. To do this, we ll make use of Eq. 1, and just substitute the angle iθ fo θ. So, fist, let s see what happens to R(θ). Making use of Eq. 0 we wite: cos iθ sin iθ cosh θ i sinh θ R(iθ) = =, (4) sin iθ cosiθ i sinh θ cosh θ whee we use the standad tansfomation to hypebolic tigonometic functions.[6] Since I claim this is a otation, we need to veify that length is conseved. In this case, caying

10 10 l A Θ FIG. 5: Relationship between aclength l, adius, aea A and θ though calculations fo an abitay x and iθ shows that s = s (see Appendix B), wheeas h h. Thus, it is the complex length of a vecto that is conseved unde any imaginay otation. Additionally, note that while eal otations ae peiodic in π, imaginay otations ae not; one can keep imaginaily otating without eve etuning to one s initial oientation. Looking at the fom of R(iθ) given by Eq. 4, I would like to make the following stange statement: Rotation though an imaginay angle iθ can be undestood as a hypebolic otation though a eal angle θ. But what do I mean by a hypebolic otation and how might we visualize it? And what is the geometical meaning of the angle θ in this case? 1. Odinay Rotation Fist, we need to ethink egula otations. What do we mean by otation though an angle θ? What exactly is θ and how can we visualize it? Typically, we define the unitless angle θ θ l (5)

11 11 1 sinθ A Θ cosθ 1 FIG. 6: Relationship between θ and aea A in a unit cicle whee l is the aclength along an ac of adius, as in Fig. 5. To find the angle of a full cicle we simply substitute the empiical expession C = π fo the cicumfeence, C, of a cicle of adius in place of the aclength l in Eq. 5: θ fullcicle = π = π (6) Then, say we wanted to know the measue of the angle that sweeps 1 4 of a cicle. To find this angle, we d note that l quatecicle = 1 l 4 fullcicle = 1 C which can be substituted back into 4 Eq. 5. Thus, θ quatecicle = 1 4 π = π. (7) In othe wods, Eq. 5 defines the angle in tems of unitless factions of the cicumfeence of a cicle. But, in pinciple, any method which povides an altenate means of measuing a unitless faction of a cicle can be used as the basis of an angle definition. Fo example, 1 the commonly used degee measue is simply a count of ths of a cicle. 360 So, we ll povide an altenate definition in tems of factional aea of a cicle: θ A (8) whee A is the shaded aea shown in Fig Then, to find the angle of a full cicle, we 4 A natual extension to 3D expesses solid angle Ω in tems of factional (solid) volume, V : Ω = 3V/ 3

12 1 1 sinhθ A Θ 1 coshθ FIG. 7: Relationship between θ and aea A in a unit hypebola substitute the empical expession A = π fo the aea of a cicle of adius into (Eq. 8) and get θ fullcicle = π, and so on. Since we ae, ultimately, only inteested in factions of a cicle, and to make life simple ahead, we ll adjust the definition given in Eq. 8 slightly, and define θ in tems of factional aea of the unit cicle of adius = 1, given by x + y = 1 (9) o, altenately, by the paametic equation, x(θ) = cosθ y(θ) = sin θ (30a) (30b) Then Eq. 8 becomes θ = A (31) whee A is the aea shown in Fig. 6.. Hypebolic Pseudo-Rotation Now we can ty hypebolic otation. Hee we ll conside the unit hypebola given by x y = 1 (3)

13 13 o, altenately, by the paametic equation x(θ) = cosh θ y(θ) = sinh θ. (33a) (33b) Then, just as with the cicle (Eq. 31), θ = A (34) whee A is the aea shown in Fig. 7. Note the similaity between Eqs. 33 and 30. This motivates fomulating a hypebolic pseudo-otation matix H along the lines of Eq. 0 cosh θ sinh θ H(θ) =, (35) sinh θ cosh θ to allow fo hypebolic otation of any abitay vecto. Futhemoe, ou analysis of eal otation of a complex vecto in Section IIIA can be applied easily hee, as well. Real hypebolic pseudo-otation of a complex vecto amounts to hypebolically otating both the eal and the imaginay components. The touble, howeve, with calling these tansfomations otations is that none of the lengths (Eq. 6), h (Eq. 14) o s (Eq. 17) ae conseved. Futhemoe, det H = cosh θ > 1, θ R, showing the natual scaling popeties of this mapping. Even if we change the sign on the top-ight sinh of H to ensue det H = 1, this meely satisfies a necessay, although insufficient condition fo a otation matix. In any case, because hypebolic pseudo-otation fails the otations peseve length test fo all lengths, it is not tuly a otation (hence pseudo-otation ). Howeve, it still a vey useful geometical way to visualize the angle θ in the hypebolic tig functions cosh θ, sinh θ and the like, and will allow us to make sense of otations though an imaginay angle. 3. Hypebolic otation With all this out of the way, we can now finally piece togethe what actual hypebolic otations ae. Compaing the hypebolic otation matix (Eq. 4) to the hypebolic pseudootation matix (Eq. 35) we can see the only diffeence is the inclusion of the two i s on the sinh θ tems. If we cay though this mapping on a complex vecto x as given by Eq. 8, we

14 14 can simplify the esultant x (see Appendix A): x = R(iθ) x 0 x 1 + i R(iθ) xi 0 x i 1 = M () cosh θ + i M (i) cosh θ sinh θ sinh θ (36a) (36b) whee M () x 0 x i 1 (37a) x 1 x i 0 M (i) xi 0 x 1 x i 1 x 0 (37b) In othe wods, just as with eal otations, thee ae two, equally valid gaphical ways of thinking about and visualizing this otation though an imaginay angle. The fist (Eq. 36a) views it as hypebolic otation of the eal and imaginay components of x though an angle θ wheeas the second (Eq. 36b) views it is a mapping of a potion of the unit hypebola (up to angle θ) due to the eal and imaginay components of x. The second one emphasizes that the path taced by the vecto unde this otation is a hypebola. This is, of couse, to be contasted with the cicle that a vecto taces unde eal otation. Gaphically, we can see the equivalence of both both viewpoints, see Fig. 8. Unlike with eal otation, howeve, the detailed eason fo the conseved complex length, although easily shown analytically, is actually not so easy to intuit just fom the pictue. This is helped, somewhat, by looking at the tansfomation of the complex unit cicle unde imaginay otation, see Fig. 9. Hee, you can see a scaling happening, but both the eal and complex pats of a vecto scale the same way, but bend in opposite diections. You can loosely ague that upon taking the inne poduct you essentially subtact these added pats fom one anothe, and they cancel each othe out. Again, though, I have not fully woked out a way to see this diectly fom the gaph. I ceated a set of inteactive tools to help with visualizing these mappings. I ve also included the othe two visualization methods I descibed in Section II B fo compaison. These tools ae available at:

15 15 Real Pat x 1 Imaginay Pat x x x FIG. 8: Visualizing imaginay otation of a complex D vecto x = (4 + i, 3 + 4i) though angle θ = iπ/3 by looking sepaately at the otations of x = (4,3) in the x 0 x 1 -plane and x i = (,4) in the x i 0 xi 1-plane. Black aow is oiginal vecto, ed aow is otated vecto, dotted line is path taced unde otation Real Pat y 3 Imaginay Pat y x x FIG. 9: Imaginay otation of the complex unit cicle. Dashed lines ae paths of a few points along the cicle taced unde otation

16 16 C. Othogonal vs. Unitay Rotations I ve spent quite a bit of time discussing imaginay otations which peseve the complex length s. But the otation matix R (Eq. 0) is only one of a lage set (o goup) of othonomal matices whose columns ae othogonal to one anothe and whose deteminants ae equal to one. These othe matices include otation matices in highe dimensions, invesion and eflection matices, and a few othes. Thee is a lot of fomal mathematical discussion elating to these matices and the elationship between them.[7] But the simple, gaphical elationship is that all these tansfomations peseve length and angle. Howeve, geneally all discussion stops with discussion of eal vectos and eal lengths.[7] What we ve shown is that thee s no poblem defining a complex length which all of matix membes of the othogonal goup peseve when they opeate on a complex vecto. Additionally, we ve shown that these matices can be complex as well - if we e caeful. Thus we have a visual and gaphical way of appoaching the othonomal goup in a complex space. Thee is, howeve, anothe set of matices whose deteminants ae equal to one. Howeve, these so-called unitay matices do not peseve the complex length s; instead they peseve the Hemitian length h (Eq. 14). Thus, thee is an impotant geometical diffeence between the matices included in the othogonal goup and those in the unitay goup, if we allow the othogonal goup to extend into complex space. Additionally, we can use the gaphical methods descibed ealie to help visualize the unitay opeations as well, see Section VC. IV. HIGHER DIMENSIONS Although we ve been dealing mostly with D vectos till this point, I would like to biefly discuss highe dimensions. The otation matices take thei standad fom in highe dimensions.[7] While the Q- and M-matices (Eqs. 3 and 37) will not appea in the same fom in highe dimensions, the path taced by a vecto by a otation aound an abitay axis will still be eithe a cicle o a hypebola in an hypeplane pependicula to the axes of otation. Additionally, the visualizations developed ae easily extended to thee dimensions with two 3D plots, and I ve included a visualization tool fo this on the website:

17 17 V. APPLICATIONS IN PHYSICS A. Special Relativity As I mentioned in the intoduction, a natual application of this discussion is in the theoy of special elativity. A fundamental postulate of the theoy is that the space-time inteval s = (ct) (38) between two events is invaiant unde a Loentz tansfomation.[8] Hee, is an event s position in 3D space, t is its measued time, and c is the speed of light in vacuum. It is natual to define a so-called 4-vecto = (i ct, x, y, z) (39) such that s = (, ) (40) is conseved.[1] Well, this is just anothe way of saying that we want a tansfomation that peseves the complex length s of the vecto, and we know all about such tansfomations now! These tansfomations ae simply eal and imaginay otations. Fo the sake of convenience, we ll just conside the 3D vecto x = (i ct, x, y) and see how it tansfoms. Fistly, we can otate x about i ct though a eal angle. Additionally, in pinciple, we could otate x about x o y though a eal angle as well, but this isn t so exciting; we e needlessly messing up the simple distinction between time and position, and this eally doesn t add any new physics. But, let s see what happens when we otate about y though an imaginay angle iθ. Since y will be unchanged unde this otation, we ll look only at the fist two components and make use of Eqs. 36b and 37. i ct = 0 0 cosh θ ct x + i cosh θ (41) x x ct sinh θ 0 0 sinh θ i (ct cosh θ x sinh θ) = (4) x cosh θ ct sinh θ i (γct βγx) =, (43) γx βγct

18 18 whee v/c β = tanhθ, and γ 1/ 1 β, whee v is the speed of one efeence fame with espect to the othe (along the x-axis). Hence, γ = cosh θ, βγ = sinh θ. Geneally this angle is called the apidity. This esult gives the standad Loentz tansfomations: ct = γct βγx x = γx βγct (44a) (44b) This appoach towads this tansfomation allows us to think of the Loentz tansfomation as an imaginay otation of a specific fom of complex vecto whee the angle of otation depends on the velocity of one fame with espect to the othe. The benefit of this analysis, then, is twofold. Fistly, fo those of us who pefe to think in a complex Euclidean space, this appoach offes an altenate viewpoint to the standad method of metics, etc. On the othe hand, fo those who have no poblem undestanding Minkowski space, but have touble visualizing complex spaces, this method offes a bidge into that mode of thought. Since these two appoaches ae mathematically equivalent, natual intuition in one fame should tansfom, with a little wok, into intuition in the othe. B. Visualizing Gassmann Numbes Gassmann numbes (o vaiables), which aise in defining multipaticle popagatos fo femions, ae anti-commuting numbes.[9] That is, fo two numbes a and b, ab + ba = 0. (45) This weidness is highlighted by setting b = a fo a 0, giving a = 0, (46) This latte popety can be taken as a defining chaacteistic of these numbes, as well. Thee ae ways of ealizing these quantities using matices, howeve, using the methods developed in this pape, we have a vectoial way of ealizing these numbes, with the added benefit that they can be visualized. Just as 4-vectos in the Minkowski space can be visualized using a subset of the full space of complex vectos, we can visualize epesentations of Gassmann numbes using a diffeent

19 19 Real Pat x 1 Imaginay Pat x x x FIG. 10: Visualizing Gassman numbes ealized as complex vectos. The thick blue aow is the complex pat of the vecto as it would appea in the eal plane. Fo the imaginay otation of a complex D Gassman vecto x = (1/ + i, 1 + i/) though angle θ = 1/, the black aow is oiginal vecto, ed aow is otated vecto, dotted line is path taced unde otation. subset. That is, if we find a vecto x such that its complex length s = 0 we have found one of these Gassmann numbes. Futhemoe, we know that otating this vecto though eal o imaginay angles peseves the length s, and thus we can find, and visualize, a whole ange of these noncommuting numbes. Any complex vecto of the fom x = ±α i β β + i α (47) has s = 0, fo α and β eal. This vecto has the additional popety that the eal lengths of the eal and imaginay pats of x ae equivalent. Note, then, that the Hemitian length of x is two times the length of eithe the eal o imaginay components of the vecto. This follows the taditional notion of commuting numbes, i.e. ab + ab = ab. Additionally, if we conside the gaphical intepetation of an inne poduct as a measue of paallelity, then Eq. 46 says that x is pependicula to itself. Well, looking at Fig. 10, gaphically x is, in a way, pependicula to itself. If you put the eal and complex pats of the vecto on the same plane they would be othogonal.

20 0 Futhemoe, the effects of the otation matix fo eal angles is the same as fo any vecto. Howeve, fo imaginay angles iθ, it simply scales the vecto unifomly by a facto of (cosh θ + sinh θ), see Fig. 10 (easily seen algebaically using Eq. 36b). Thus we can go fom any one of these vectos to anothe by a eal and imaginay otation. So we can epesent Gassmann numbes by any complex vecto whose eal and imaginay pats ae the same length and ae othogonal to each othe in eal space. C. Pauli Spin Matices In quantum mechanics we ae geneally not inteested othogonal tansfomations which peseve s, but unitay tansfomations which peseve h. Although fo the majoity of this pape I have been analyzing the fome class of tansfomations, the visualization tools developed can be used fo the latte as well. Futhemoe, the clea gaphical distinction that aises highlights the physical diffeences between unitay otations and othogonal otations. As an example, we ll conside paticles with spin- 1 which can be epesented by a complex D spino vecto χ = (Ψ up, Ψ down ). Hee, Ψ epesents the complex wavefunction of the paticle which is itself a function of space. Upon otating the coodinate system, Ψ up gets blended into Ψ down in manne peseving the Hemetian length h of χ. The pecession of χ unde otations of space is mapped using the thee Pauli spin matices: σ x = 0 1 (48a) 1 0 σ y = 0 i (48b) i 0 σ z = 1 0 (48c) 0 1 which ae called the geneatos of the otations. That is, fo a otation of space though angle θ aound the axis pointing along the unit-vecto ˆn = în x + ĵn y + ˆkn z, the geneal pecession opeato R is given by:[10] R = exp [iθ( σ ˆn)/], (49) whee σ = îσ x + ĵσ y + ˆkσ z, so that χ = R(ˆn, θ) χ (50)

21 1 Thee ae a few ticky things to deal with hee. Fist, even though we ae descibing the effect of otations though 3D space, the dimensionality of the spin matices equies that they act on a two-dimensional vecto ( χ) which is a function of space. Secondly, although physics texts geneally analyze the algebaic (commutation) popeties of the σ matices, in most of the standad texts the actual fom of the esultant opeato does not appea. This is stange, because this opeato is actually quite simple: R = cos θ + in z sin θ i(n x in y ) sin θ i(n x + in y ) sin θ cos θ in. (51) z sin θ Thee is one thing we can quickly note about this matix. Fo otations of space though angle θ aound ĵ this matix educes to the standad otation matix Eq. 0, R(θ) = R( θ). Thus, the spino taces a cicle at half the ate of odinay otation, and to get back to the initial state, we need to otate space aound ĵ though an angle π. Futhemoe, although this is a unitay tansfomation, the visualization tools developed in this pape can be used to gaph the pecession of the complex spino due to vaious spacial otations. I ve also included a visualization fo this on the website, as well: VI. TOPICS FOR FUTURE ANALYSIS I ve only eally discussed easy otations aound a vecto pependicula to the x 0 x 1 -plane. It would be inteesting to genealize all 3D otations via complex Eule angles and see how those wok. Additionally, allowing a otation though a moe geneal complex angle Θ = φ+iθ should account fo all otations, and it would also be nice to see how those mappings look gaphically. Futhemoe, the gaphical intepetation of an inne poduct as a measue of paallelity can be looked into futhe with complex vectos. The elation between angle and the complex inne poduct should also be analyzed, and compaed to the vaious foms of angles in complex vecto spaces.[11] Additionally, the pola epesentation that I alluded to in Section IIB can also be expounded upon gaphically, with its applications.

22 APPENDIX A: EXPANSION OF HYPERBOLIC ROTATION We expand: x = R(iθ) x cosh θ i sinh θ = x 0 cosh θ i sinh θ + i i sinh θ cosh θ x 1 i sinh θ cosh θ = x 0 cosh θ ix 1 sinh θ + i xi 0 cosh θ ixi 1 sinh θ ix 0 sinh θ + x 1 cosh θ ix i 0 sinh θ + x i 1 cosh θ = x 0 cosh θ ix 1 sinh θ + i xi 0 cosh θ + xi 1 sinh θ ix 0 sinh θ + x 1 cosh θ x i 0 sinh θ + i x i 1 cosh θ = x 0 cosh θ ix 1 sinh θ + i xi 0 cosh θ + xi 1 sinh θ ix 0 sinh θ + x 1 cosh θ x i 0 sinh θ + i x i 1 cosh θ = x 0 cosh θ + xi 1 sinh θ x 1 cosh θ xi 0 sinh θ + i xi 0 cosh θ x 1 sinh θ x i 1 cosh θ + x 0 sinh θ = x 0 x i 1 cosh θ + i xi 0 x 1 cosh θ x 1 xi 0 sinh θ x i 1 x 0 sinh θ xi 0 x i 1 (A1) (A) (A3) (A4) (A5) (A6) (A7) APPENDIX B: PROOF OF CONSERVED COMPLEX LENGTH WITH MODIFIED HYPERBOLIC ROTATIONS Conside a n n matix with matix R(iθ) (Eq. 4) in the top-left cone, 1 s along the est of the n diagonals, and 0 elsewhee. This coesponds to a otation in the x 0 x 1 -plane. In pinciple, we could have chosen an abitay position along the diagonal to place R(iθ), o a simila fom of the otation matix two otate in any abitay hypeplane. Since in all these cases the othe diagonals ae equal to one, thee is no change of the n lengths, and we can then concentate on the two otating dimensions. If complex length is conseved in these dimensions, the total complex length is then also conseved.

23 3 So we ll use Eq. A5: ( x, x ) = ( x 0 cosh θ ix 1 sinh θ + i xi 0 cosh θ + xi 1 sinh θ) + ( ix 0 sinh θ + x 1 cosh θ xi 0 sinh θ + i xi 1 cosh θ) (B1) = [ (x i 0) cosh θ + i x i 0x 0 cosh θ + (x 0) cosh θ+ (B) + i x i 0x i 1 cosh θ sinh θ + x 1x i 1 cosh θ sinh θ+ + x i 0 x 1 cosh θ sinh θ i x 1 x 1 cosh θ sinh θ+ + (x i 1 ) sinh θ i x i 1 x 1 sinh θ (x 1 ) sinh θ] + [ (x i 1) cosh θ + i x i 1x 1 cosh θ + (x 1) cosh θ+ i x i 0 xi 1 cosh θ sinh θ x 0 xi 1 cosh θ sinh θ+ x i 0 x 1 cosh θ sinh θ + i x 0 x 1 cosh θ sinh θ+ + (x i 0) sinh θ i x i 0x 0 sinh θ (x 0) sinh θ] = [ (x i 0) cosh θ + i x i 0x 0 cosh θ + (x 0) cosh θ+ (B3) + (x i 1 ) sinh θ i x i 1 x 1 sinh θ (x 1 ) sinh θ] + [ (x i 1) cosh θ + i x i 1x 1 cosh θ + (x 1) cosh θ+ + (x i 0) sinh θ i x i 0x 0 sinh θ (x 0) sinh θ] = (x 0 ) (cosh θ sinh θ) (x i 0 ) (cosh θ sinh θ)+ (B4) + (x 1 ) (cosh θ sinh θ) (x i 1 ) (cosh θ sinh θ)+ + i x i 0x 0(cosh θ sinh θ) + i x i 1x 1(cosh θ sinh θ) = (x 0) + i x i 0x 0 (x i 0) + (x 1) + i x i 1x 1 (x i 1) (B5) = (x 0 ) + i x i 0 x 0 + (i xi 0 ) + (x 1 ) + i x i 1 x 1 + (i xi 1 ) (B6) = (x 0 + i xi 0 ) + (x 1 + i xi 1 ) (B7) = ( x, x) (B8)

24 4 ACKNOWLEDGMENTS I want to thank Avi Ziskind fo his vey helpful, and insightful suggestions though all stages of witing this pape. [1] J.D. Jackson. Classical Electodynamics. John Wiley & Sons, Inc., 1st edition, [] D.C. Lay. Linea Algeba and Its Applications. Addison-Wesley, Reading, MA, 3d edition, 003. [3] J. Willad Gibbs. The scientific papes of J. Willad Gibbs, volume II. Longmans, Geen, and Co., London, England, [4] R. Lason and B.H. Edwads. Elementay Linea Algeba. Houghton Mifflin Company, 4th, online chaptes edition, [5] C.T.J. Dodson and T. Poston. Tenso Geomety: The Geometic Viewpoint and its Uses. Spinge, nd edition, [6] Tistan Needham. Visual Complex Analysis. Oxfod Univesity Pess, Oxfod, UK, [7] G.B. Afken and H.J. Webe. Mathematical Methods fo Physicists. Elsevie, 6th edition, 005. [8] H. Goldstein, C. Poole, and J. Safko. Classical Mechanics. Cambidge Univesity Pess, San Fancisco, CA, 3d edition, 00. [9] V. P. Nai. Quantum field theoy: A moden pespective. Spinge, USA, 1st edition, 005. [10] F. Schwabl. Quantum Mechanics. Spinge, 3d edition, 005. [11] K. Schanhost. Angles in complex vecto spaces. Acta Applicandae Mathematicae: An Intenational Suvey Jounal on Applying Mathematics and Mathematical Applications, 69(1):95 103, Octobe 001.