Spin-1/2 one- and two- particle systems in physical space without eigen-algebra or tensor product. S. Andoni*, Technical University of Denmark, Kgs. Lyngby 2800, Denmark *Corresponding author, [email protected]
Abstract. A novel representation of spin 1/2 combines in a single geometric object the roles of the standard Pauli spin vector and spin state. Under the spin-position decoupling approximation it consists of the ordered sum of three orthonormal vectors comprising a gauge phase. In the one-particle case the representation: (1) is Hermitian; (2) is oriented due to ordering; (3) reproduces all standard expectation values, including the total one-particle spin modulus = 3 2; (4) constrains basis opposite spins to have same orientation or handiness; (5) allows to formalize irreversibility in spin measurement. In the two-particle case: (1) entangled ๐ก๐ก๐ก๐ก๐ก๐ก spin pairs have opposite handiness๐๐ โ andโโ precisely related gauge phases; (2) the dimensionality of the spin space doubles due to variation of handiness; (3) the four maximally entangled states are naturally defined by the four improper rotations in 3D: reflections onto the three orthogonal frame planes (triplets) and inversion (singlet). The cross-product terms in the expression for the squared total spin of two particles relates to experiment and they yield the standard expectation values after measurement. Here spin is directly defined and transformed in 3D orientation space, without use of eigen algebra and tensor product as in the standard formulation. The formalism allows working with whole geometric objects instead of only components, thereby helping keep a clear geometric picture of โon paperโ (controlled gauge phase) and โon labโ (uncontrolled gauge phase) spin transformations.
1. Introduction Key developments in Quantum Mechanics (QM), such as the first phenomenological description of spin 1/2 by Pauli [1] and the first quantum relativistic description of the electron by Dirac [2], โre-inventedโ Clifford algebras (in the matrix representation), seemingly unaware of Grassmannโs [3] and Cliffordโs [4] works more than half a century earlier. The promotion of vector-based Clifford algebras in Physics and in particular the development of the spacetime algebra (STA) was undertaken by Hesteness [5,6], with more scientists joining in during the last 2 โ 3 decades [7-10]. Spin formalism is arguably the main application of STA in QM [7]. Here we address spin in the non-relativistic regime under the spinโposition decoupling approximation [6,7,11]. The 3D physical space in this case reduces to orientation space at a point (the origin) and the relevant symmetry operations of interest are proper rotations and reflections. The three frame vectors and the scalar 1 generate a real 8D vector space matching the equivalent real dimensions of the 2 x 2 complex๐๐ Pauli matrices. The space is endowed with the even sub-algebra of STA [5,7], which is isomorphic to ๐๐the (Clifford) algebra of Pauli matrices [9], therefore the notation. A basis of the real vector space consists of one unit scalar, three orthonormal vectors, three bivectors and one trivector, or pseudoscalar (below , are the Kronecker and the totally antisymmetric Levi-Civita symbols): ๐ฟ๐ฟ๐๐๐๐ ๐๐๐๐๐๐๐๐ 1 (1), (3), = + ; , , = 1,2,3 (3), (1) (1)
Notice๏ฟฝ that๐๐๐๐ ๐๐are๐๐๐๐ vectors๐๐ โก ๐๐๐๐๐๐, ๏ฟฝnot ๐ฟ๐ฟmatri๐๐๐๐ ces.๐๐๐๐๐๐๐๐ ๐ผ๐ผGeometrically๐๐๐๐ ๐๐ ๐๐ ๐๐ , the๏ฟฝ bivectors๐๐123 โก ๐ผ๐ผ, e.g.๏ฟฝ = , represent oriented = surface element๐๐ s, while the pseudoscalar is an oriented volume๐๐ element.2 The 31geometric or Clifford โs product combin๐๐ es Hamiltonโs scalar (symmetric) and Grassmannโs๐ผ๐ผ wedge๐๐ (antisymmetric)๐ผ๐ผ๐๐ ๐๐ products; for 123 two nonzero vectors it is invertible and as๐ผ๐ผ will๐๐ become clear in definition (3) it is proportional to a rotor: = + = ; ( ) = . In terms of anti-commutator and commutator brackets: { , } + = 2 ; [ , โ]1 2 =2 2 . (2) ๐ฎ๐ฎ๐ฎ๐ฎ ๐ฎ๐ฎ โ ๐ฏ๐ฏ ๐ฎ๐ฎ โง ๐ฏ๐ฏ ๐ฏ๐ฏ โ ๐ฎ๐ฎ โ ๐ฏ๐ฏ โง ๐ฎ๐ฎ ๐ฎ๐ฎ๐ฎ๐ฎ ๐ฏ๐ฏ๐ฏ๐ฏโ๐ฎ๐ฎ ๐ฏ๐ฏ The geometric๐ฎ๐ฎ ๐ฏ๐ฏ productโก ๐ฎ๐ฎ๐ฎ๐ฎ generalizes๐ฏ๐ฏ๐ฏ๐ฏ ๐ฎ๐ฎ โ to๐ฏ๐ฏ any๐ฎ๐ฎ ๐ฏ๐ฏ dimensionโก ๐ฎ๐ฎ๐ฎ๐ฎ โ ๐ฏ๐ฏ, whereas๐ฎ๐ฎ ๐ฎ๐ฎ โงthe๐ฏ๐ฏ cross product, valid only in 3D is related to the wedge product by: ( ร ) = . In the STA literature [6,7] it has become customary to represent spin either by a vector or by a bivector normal to it, both in the nonrelativistic and relativistic regimes. ๐ผ๐ผ ๐ฎ๐ฎ ๐ฏ๐ฏ ๐ฎ๐ฎ โง ๐ฏ๐ฏ Notably, such representations of spin s = 1/2 do not reproduce the standard squared total spin modulus S , which according to the rules of QM on angular momentum should equal S = ( + 1) = 3 4. 2 2 2 The rest of the report comprises three parts. The new definition of spin opensโโ Section๐ ๐ ๐ ๐ 2. Transformationโ properties for the one and two particle cases will appear in this section in the vector form, i.e. as two-sided rotor (unitary) transformations. In Section 3 the transformation properties for the same two cases will be demonstrated in the spinor form, i.e. as one-sided rotor transformations. Orthogonality relations, e.g. between spin up and spin down hold only in spinor representation. The connection between the vector and the spinor forms will also be discussed in Section 3. The report closes by conclusions presented in Section 4.
2. Definition and vector (two-sided rotor) transformations for spin 1/2 of one and two particle systems. 2.1. One-particle systems. Spin is represented here by an ordered sum of three orthonormal vectors together with a โgaugeโ rotation. Specifically, spin up and spin down along the axis is the sum of the three orthonormal vectors , , with a two-sided rotor in the plane = (see figure 1): โฯ โฯ ๐๐3 S = ( + ๐๐+3 ๐๐1) ๐๐2 = + ( + ๐ ๐ ) ๐๐ +๐๐(12 +๐ผ๐ผ๐๐3) = + โ โ โ โ โ โ (โฯ + 2 )๐๐ 3 ; 1 = 2 ๐๐ =2cos3 ๐๐ sin1 ;2 ๐๐ 2 3 1 2 ๐๐ 2 3 ๐ ๐ ๐๐ ๐๐ ๐๐ ๐ ๐ ๐ผ๐ผ๐๐3๐๐ ๏ฟฝ๐๐ ๐ ๐ ๐๐ ๐๐ ๐ ๐ ๏ฟฝ โก ๏ฟฝ๐๐ ๐๐ ๐๐ ๏ฟฝ ๏ฟฝ๐๐ โ 2 ๐๐ ๐๐ S = S u = + ( + ) = + ( + ) ; S S = S S = S = ๐ฎ๐ฎโฅ ๐ฎ๐ฎ2 ๐๐โ๐๐ ๏ฟฝ ๐ ๐ ๐๐ ๐๐ 2 โ ๐ผ๐ผ๐๐3 2 โ โ 2 โฯ; S 2= โSฯ ;2S S3 ; S โฅ ยฑ2 ๐๐uโ+๐๐ (ยฑ 3 + ) 1= ยฑ2 โ๐๐ (spinโ โvectorโ )โ ฯ 2 ๐ฎ๐ฎ ๐ฎ๐ฎ 2 ๏ฟฝโ๐๐ ยฑโ๐ฎ๐ฎ ๐ฎ๐ฎ ๏ฟฝ ยฑ 2 ๏ฟฝโ๐๐ โ๐๐ ๐๐ ๏ฟฝ (3) 3โ โ โ 2 โ 4 ฯ ฯ โฯ โ โ ฯ โฉ ฯโช โก 2 ๏ฟฝ ๐๐stands3 โฉ๐ ๐ for๐๐ anyโช ๐๐polar1 ๐๐unit2 ๏ฟฝ vector2 i๐๐n3 the plane (see fig. 1a). The sum of two vectors is commutative, therefore we require an ordered 2 12 sum๐ฎ๐ฎ (mod cyclic permutations), which allows๐๐ to introduce orientation or handiness as discussed in the next paragraph. The Hermitian conjugate of a rotor is also its reverse = . A proper rotation appears as a two-sided (rotor) โ (conjugatedโ rotorโ1 ) operator, which is a unitary transformation๐ ๐ preserving๐ ๐ handiness๐ ๐ โ . The axial Figure 1. 3D and 2D rendering of (a) the reflection S onto is equivalent๐ ๐ to a -rotation๐ ๐ of S around coordinate and (b) spinor transformation. . The gauge phase factor in (3) is not observable, which we 2 โฯ 2 2 โฯ express as sin = cos = 0. Angled brackets๐ฎ๐ฎ denote๐ฎ๐ฎ either๐ฎ๐ฎ the expected value๐๐ (a scalar) or the average ๐ฎ๐ฎ2 ๐๐ (a scalar, vector, etc.), as illustrated in the bottom line in (3); the average of spin ยฑ being the spin vector, โฉ ๐๐โช โฉ ๐๐โช and ยฑ = cos + sin = 0. I will also use the notation for the expected value, if needed โฉ๐๐ ฯโช for clarity2 . We model spin measurement by extracting the phase-insensitive part of a spin or spin โฉ๐ ๐ ๐๐โช โฉ ๐๐โช ๐ผ๐ผ๐๐3โฉ ๐๐โช โฉ โช0 combination (see (6-7), (12-13)). The full spin modulus , alike the overall phase, is not measurable; we call it an โon-paperโ quantity relating to QM angular momentum2 selection rules. It includes equal ๏ฟฝ๐๐ฯ contributions from all the three components and exceeds by a factor of 3 the measured (โon labโ) spin vector modulus = 2. โ 2 The handiness of๏ฟฝ theโฉ๐๐ฯ โชtripletโ ยฑโ , in the order appearing in the expression for spin defines its handiness, where by convention is right-handed (R). It is preserved when two of the unit vectors reverse sign, ๐๐1๐๐2๐๐3 e.g. ( ) + and ( ) + are both R. depicts either or , ๐๐1๐๐2๐๐ยฑ3 ยฑ while and standโ for opposite spins of same handinessโ , as in (3). and can transform onto each ๐๐3 โ ๏ฟฝ๐๐1 โบ๐๐ 2 ๐๐2๏ฟฝ ๐๐ โ๐๐3 โ ๏ฟฝโ๐๐1 โท๐๐ 2 ๐๐2๏ฟฝ ๐๐ ๐๐ฯ ๐๐โฯ ๐๐โฯ other by proper rotations at angles of ( 2 ) around an axis lying on the plane, like in (3). The ฯ โฯ ฯ โฯ notation๐๐ ( ) ๐๐ depicts the only substitution of by in the spin ๐๐, with no๐๐ effect on handiness. Any ๐๐ ๐๐๐๐๐๐ ๐๐ ๐๐12 ๐ฎ๐ฎ2 left-handed (L) spin-up (-down) is the inverse of a right-handed R spin-down (-up): ๐๐ฯ โ๐๐ ๐๐ โ๐๐ ๐๐ฯ = = (4)
๐๐TฯheL two๐ผ๐ผ๐๐ spacesโฯR๐ผ๐ผ L โand๐๐โ ฯRR are disjoint under proper rotations, while plane reflections and inversion, also known as improper rotations, convert a spin from one space to the other. Focusing on the R space, the combined rotation transforms โon paperโ (i.e. with conserved gauge phase ) to as follows:
๐ ๐ u โก ๐ ๐ ๐๐u ๐ ๐ ๐๐u ๐๐ ๐๐ฯ ๐๐u ( ) = + ( + ) = cos + sin + ( + ) = 2 2 โ โ โ โ + ๐๐u โ ๐๐u โ ฯ +๐๐ ( +u ฯ )๐ข๐ข = (๐๐u ) 3; (โฅ plane2 ๐๐) =๐๐u ( plane); = ; B =๐๐u โฅ =2 ๐๐ =๐๐u = 2๐๐ โ ๐ ๐ ๐๐ ๐ ๐ ๐ ๐ ๏ฟฝ๐๐ ๐ฎ๐ฎ ๐ฎ๐ฎ ๏ฟฝ๐ ๐ ๏ฟฝ๐ฎ๐ฎ 2 ๐ฎ๐ฎ 2 ๐ ๐ ๐ฎ๐ฎ ๐ฎ๐ฎ ๐ ๐ ๏ฟฝ โ โฒ โฒ โฒ B๐๐uโ2 โ + u (5) ๏ฟฝ๐ฎ๐ฎ ๐ฎ๐ฎ1 ๐ฎ๐ฎ2 ๐๐ ๏ฟฝ ๐๐u ๐๐ ๐๐ ๐ฎ๐ฎ12 ๐๐ ๐๐12 ๐ ๐ ๐๐ ๐๐ ๐ฎ๐ฎโฅ๐๐3 ๐ฎ๐ฎ13 ๐ฎ๐ฎ ๐ฎ๐ฎ Noticeโ๐ผ๐ผ๐ฎ๐ฎ2 that (5) can be considered as a generalization of (3) by substituting S with S and with in the first equation in (3). A spin measurement of along u by a Stern-Gerlach (S-G) magnet, โฯ โu ๐ ๐ ๐๐ ๐ ๐ u โก which we call an โon labโ transformation, differs from (5) by the two gauge angles and becoming ๐ ๐ ๐๐u ๐ ๐ ๐๐u ๐๐ฯ uncorrelated: โฒ ๐๐ ๐๐ ( ) ( ) = + ( + ) ; sin sin = sin sin = 0 (6) 2 ๐๐โ๐บ๐บ โ โฒ โฒ โฒ โฒ In๐๐ ฯmany๐๐ โ instances๐๐u ๐๐ , it is๏ฟฝ ๐ฎ๐ฎsufficient๐ฎ๐ฎ1 to๐ฎ๐ฎ 2appl๐๐ ๏ฟฝy theโฉ transformation๐๐ ๐๐โช๐๐โ๐บ๐บ to โฉonly๐๐ theโชโฉ spin๐๐ โชvectors, which are phase- insensitive: โ = + cos u + sin u = , where: = +; โ ( ) = 3 u 3 u 2 2 u 3 u 3 (6โ) โ โ โ โ ๐๐ โ ๐๐ โ The2 ๐๐ halfwayโ 2 ๐ ๐ ๐๐ ๐๐ vectors๐ ๐ ๐๐ 2 ๏ฟฝ,๐ฎ๐ฎ (see figure๐ฎ๐ฎ 1b) depict๏ฟฝ 2 one๐ฎ๐ฎ form of๐ ๐ reduced๐๐ ๐๐ spinor๐ฎ๐ฎ ๐ ๐ ฯ representationโ๐๐ โ๐๐ ๐ฎ๐ฎ and as shown by the last two equalities in+ (6โโ) they can be generated by the action of one-sided rotor (spinor) onto the spin vectors up and down,๐ฎ๐ฎ respectively.๐ฎ๐ฎ Of course, one can obtain both and by action of one-sided rotors on spin-up alone; even then, two terms are needed with distinct probability+ amplitudesโ for coincidence and anti- coincidence. In order to render the discussion more systematic, we ๐ฎ๐ฎinsist that๐ฎ๐ฎ the spin basis consist of two opposite spins; then they must have same handiness in order for the spinor representation illustrated in fig. 1b to close into a proper rotation, as recounted in Section 3, eq. (16). The expectation value for the โon labโ transformation (6), i.e. a spin measurement is:
( ) = = = ( ) ( ) = cos = cos sin (7) 2 ๐๐u 2 ๐๐u โฉF๐๐romฯuโช 0(7๐๐)โ the๐บ๐บ probabilityโฉ๐๐3๐ฎ๐ฎโช0 for๐๐3 coincidenceโ ๐ฎ๐ฎ โ๐๐3 andโ โ anticoincidence๐ฎ๐ฎ ๐๐u outcome2 โs is cos2 2 and sin 2. If the relative probabilities and probability amplitudes show up in relations involving2 only spin vectors,2 like in (6โ), u u (7) and (19), why do we then need the full spin (3) and its transformations (5) or๐๐ (โ16)? Well, the๐๐ fullโ spin allows to account for the modulus, compatible with quantum selection rules for angular momentum of spin 1/2. In this sense, it is analogue to the standard Pauli spin vector. The full spin also constrains the form and handiness of the basis spins to comply with the โon paperโ transformations (5), (16). In addition, the explicit gauge phase in (3) permits formalizing the entrance of irreversibility in measurement as due to the loss of phase correlation, thus justifying the restricted transformations (6โ), (19โ). The full spin expression (3) becomes even more important in the two-spin case that will be discussed shortly. Especially the gauge phase and handiness turn out to be key concepts for understanding entanglements in the present framing. For reference in the following discussion of the two-particle case, let spend a few lines to formalize improper rotations (reflections and inversion). As already noted the spin handiness does not change under axial reflection, as in (3), i.e. can be obtained by proper rotations of or :
๐๐ u ๐๐ u ฯ , , ๐๐ ๐๐ ๐๐ = = ๐๐ ๐๐ (8) ๐ผ๐ผ๐๐๐๐๐๐ ๐ผ๐ผ๐๐๐๐๐๐ โ โ 2 2 Had๐ ๐ ๐๐ ฯ ๐๐we๐๐u ๐ ๐ chosen๐๐ ฯ๐๐ โก plane๐๐ reflections๐๐u๐๐ โ๐ผ๐ผ๐๐๐๐๐๐u๐ผ๐ผ๐๐=๐๐ ๐๐๐๐๐๐u๐๐๐๐ instead, the handiness would have reversed. Handiness reverses in 3D by plane reflections and by inversion (i.e. โreflectionโ onto the directed volume ๐๐ u ๐๐ ๐๐ u ๐๐ unit I), which can be shown by the๐ผ๐ผ๐๐ unified๐๐ ๐ผ๐ผ๐๐ expressionโ๐๐ ๐๐ ๐๐(taking = 1): for = 0 S = = ๐๐0 for = = 1, 2, 3 (9) ๐ผ๐ผ๐ผ๐ผ๐ผ๐ผ๐ผ๐ผ๐ผ๐ผ๐ผ๐ผ๐ผ๐ผ๐ผ๐ผ๐ผ๐ผ ๐๐ u โ ๐ผ๐ผ๐๐๐๐๐๐u๐ผ๐ผ๐๐๐๐ โ๐๐๐๐๐๐u๐๐๐๐ ๏ฟฝ ๐๐โ๐๐๐๐๐๐ ๐๐๐๐๐๐๐๐๐๐ ๐๐๐๐๐๐๐๐๐๐ ๐๐๐๐๐๐๐๐๐๐๐๐๐๐๐๐๐๐๐๐๐๐ ๐๐ ๐๐ 2.2. Two-particle systems. The above discussion for the one-particle case generalizes in the following way to the two-particle case, again preserving a clear geometric picture of spin. First, the total spin and its square are now (see (2) for the definition of scalar product in STA): S = S + S ; S = S + S + S S + S S = + 2S S ( ) ( ) ( ) ( ) ( ) ( ) ( ) ( ) 2 ( ) ( ) (10) 2 2 2 3โ tot 1 2 tot 1 2 1 2 2 1 1 2 S is Hermitian and symmetric with respect to the spin swap S2( ) S( ).โ Therefore in the following discussion, which will revolve around equation (10), the shorthand S( )and S( ) will stand for S( ) and tot 1 โ 2 S( ) respectively. Similarly to the squared modulus for one-particle1 spin given2 in (3), S for 1or2two particles 2 in 2or1(10) is not measurable. It can be calculated as illustrated below for the maximally entangledtot pairs, where the spins are specular or inverse images of each-other (see (9)). The four maximally entangled two-particle states, also known as Bell states [12] can be defined (below take (S ) = S ) as:
ฯ 0 0 ฯ ( ) : S( ) = (S ) ; S( ) = S ; = 0,1,2,3 for , โ ,๐๐ ๐๐, , respectively (11) โ โ + + ฯ ๐๐ 1 ฯ ๐๐ 2 ๐๐ ฯ ๐๐ ๐๐ Sฮฅ ( ) ๏ฟฝ= S + S = (S๏ฟฝ๐ผ๐ผ)๐๐ ๐๐ ๐ผ๐ผ๏ฟฝS ๐๐ = ฮจ ฮฆ ฮฆ ฮจ ๏ฟฝ
๐ก๐ก๐ก๐ก๐ก๐ก ๐๐ ฯ0 ๐๐ ฯ ๐๐ ฯ ๐๐ for๐๐ ฯ =๐๐ 0 ( ) ๐ผ๐ผ๐๐ ๐ผ๐ผ๐๐ โ ๏ฟฝ๐๐ ๐๐ ๏ฟฝ๐๐ (11a) 2 S S ; S = 2 for = = 1, 2, 3 ( โ , , ) ( ) ๐๐ ฮจ ๏ฟฝ 2 2 โ + + 2 S๏ฟฝ ฯ โS๏ฟฝ ฯ โ ๐๐๐๐=๏ฟฝ๐๐๐๐๏ฟฝ2(๏ฟฝS ๐ก๐ก๐ก๐ก๐ก๐ก) ๐๐ ๏ฟฝ S โ =๐๐2S ๐๐ S 2 Sฮฆ ฮฆ ฮจ = 2 S 2 S = ( ) ( ) ( ) 2 2 1 2 2S = 3 ฯ 2๐๐ for ๐๐ =ฯ 0๐๐ ฯ( )ฯ ฯ ๐๐ ๐๐ ฯ ฯ ๐๐ ๏ฟฝ โ ๏ฟฝ ๐๐ โ โ ๏ฟฝ๐๐ ๐๐ ๏ฟฝ๐๐ โ ๏ฟฝ โ ๏ฟฝ โ ๐๐ ๏ฟฝ๐๐ ๏ฟฝ ๏ฟฝ โ ๏ฟฝ โ ๐๐ ๏ฟฝ ๏ฟฝ (11b) 2[3 4 2 2] = 2 2 for = = 1, 2, 3 ( โ, , ) โ ฯ โ โ โ ๐๐ ฮจ ๏ฟฝ 2 2 2 โ + + , โwhereโ โ theโ spinโ pairโ relateโ by๐๐ inversion๐๐ is a singletฮฆ ฮฆ stateฮจ, while the spin pairs in the three triplet states โ, , relate by reflections onto the three frame planes defined by , , , respectively. Relations ฮจ(11+) defineโ + the two spins and their relative phases in 3D, therefore together with the spin swap symmetry for 12 23 31 ฮจthe crossฮฆ ฮฆ-product in (10) uniquely determine the two-particle states. Spinor๐๐ representation๐๐ ๐๐ of the same states is presented in Section 3, see relations (20-21). S = 2 (or 0) for triplet (singlet) in (11a) correspond to angular momentum of (or 0) for each entangled2 pair. It 2stands clear from the expressions above that tot entangled states are not just combinations of spin vectorโ pairs up and down; the spinsโ relative handiness and the gauge phases have โto satisfy precise relations as well. The vectors for S of the triplet states in (11a) โliveโ in the mutually perpendicular planes = , = , = , respectively. Relations (11, a- tot b) demonstrate in a nutshell why and how the full spin (3) is necessary to define two-spin entanglements. ๐ผ๐ผ๐๐1 ๐๐23 ๐ผ๐ผ๐๐2 ๐๐31 ๐ผ๐ผ๐๐3 ๐๐12 Any measurement of spin along a chosen axis u will produce either + or . Therefore the measured โ โ square value of total spin for two particles cannot exceed , which as seen in (11a) falls short by a factor of 2 ๐ฎ๐ฎ โ 2 ๐ฎ๐ฎ 2 relative to the โon paperโ value of S for the triplet states.2 The same reason as for the one-particle case is valid here, the measurement projecting2 out two of each spinโ components. Applying the โon labโ rule of tot transformation to the cross-product terms in (10), which is the part of the squared total spin affected by a measurement, one obtains the correlation expectation values:
S S + S S = S S = = ( ) ( ) ( ) ( ) ( ) ( ) 2 4 โ โ 2 2 = 2 โฉฮฅ ๐๐ โช๐๐โ๐บ๐บ โก โฉโ ๏ฟฝ 1 2 2 1 ๏ฟฝ ๐๐ โช๐๐โ๐บ๐บ โ โ ๏ฟฝ๐ ๐ u ฯ๐ ๐ u๏ฟฝ๐๐โ๐บ๐บ โ ๏ฟฝ๐๐๐๐๐ ๐ v ฯ๐ ๐ v ๐๐๐๐๏ฟฝ๐๐โ๐บ๐บ โ๐ฎ๐ฎ โ ๏ฟฝ๐๐๐๐๐ฏ๐ฏ๐๐๐๐๏ฟฝ ( ๐๐ ) = ๐๐cos = sin cos ; = 0 ๐ฎ๐ฎ โ ๐ฏ๐ฏ โ ๏ฟฝ๐ฎ๐ฎ โ ๐๐ ๏ฟฝ โ ๏ฟฝ๐ฏ๐ฏ โ ๐๐ ๏ฟฝ uv uv (12) 2( )( ) = cos 22๐๐ = cos2 ๐๐ 2 cos cos ; = = 1,2,3 โ ๐ฎ๐ฎ โ ๐ฏ๐ฏ โ ๐๐uv 2 โ 2 ๐๐ ๏ฟฝ ๐ฎ๐ฎ,โ ๐ฏ๐ฏ (โin italics)๐ฎ๐ฎ โ ๐๐๐๐ are๐ฏ๐ฏ theโ ๐๐ ๐๐scalar component๐๐uv โ ๐ข๐ขs๐๐ of๐ฃ๐ฃ๐๐ and ๐๐ alonguv โ . (12๐๐uk) renders๐๐vk the๐๐ experimental๐๐ bounds explicit, i.e. 2 2S( ) S( ) 2 for all two-particle states. It stands also clear from (12) that ๐ข๐ข๐๐ ๐ฃ๐ฃ๐๐ ๐ฎ๐ฎ ๐ฏ๐ฏ ๐๐๐๐ the expectation values2 remain unchanged under2 swapped reflection S S = S S , as โ โ โ โค ๏ฟฝ 1 โ 2 ๏ฟฝ๐๐โ๐บ๐บ โค โ โ they should. Notice that both โon paperโ and โon labโ satisfy: S S = 0. ( )u โ ๏ฟฝ( ๐ผ๐ผ)๐๐๐๐( )v๐ผ๐ผ๐๐๐๐๏ฟฝ ๏ฟฝ๐ผ๐ผ๐๐๐๐ u๐ผ๐ผ๐๐๐๐๏ฟฝ โ v ๐๐ 1 2 The advantage of (12) is that the two terms render the spin swapโ ๏ฟฝ symmetryโ ๏ฟฝ explicit๐๐ and directly yield the scalar product of the two spins; however, for calculation purposes, we could also have defined the expectation values by the scalar part of only one term: ( ) ( = 0) = ; = 0 (13) ( ) ( )( )โ ( ) ( ) 4 2 = = 1,2,3 2 โ ๐ฎ๐ฎ โ ๐ฏ๐ฏ ๐๐๐๐๐๐ โฉฮจ โช ๐๐ โฉฮฅ ๐๐ โช๐๐โ๐บ๐บ โก โ โ โฉ๐๐u๐๐๐๐๐๐v๐๐๐๐โช๐๐โ๐บ๐บ ๏ฟฝ โ๐๐โฉฮฅ ๐๐ โช The form of correlation expectation value๏ฟฝ๐ฎ๐ฎ โ in๐ฏ๐ฏ โ(13) ๐ฎ๐ฎhintsโ ๐๐๐๐ to ๐ฏ๐ฏa โpossible๐๐๐๐ ๏ฟฝ ๐๐ spinor๐๐ representation of the four maximally entangled states that is discussed in Section 3.2 (see relations (20-21)). Remembering the discussion on the R and L handiness in connection to definitions (3), (4) one can schematically characterize the four states as the four possible sign combinations in front of the basis vectors for RL pairs, where R is taken by convention to be (+++) and the first column below stands for S( ):
: + : + + + 1 3 Singlet: : + , Triplets: : + + + ; or in general (sum) ( ) ( ) = (14) ๐๐1 โ ๐๐1 โ +1 : + : + + + โ ๐ ๐ ๐ ๐ ๐ ๐ ๐ ๐ ๐ ๐ ๐ ๐ ๐ ๐ ๏ฟฝ๐๐2 โ ๏ฟฝ๐๐2 โ ๐๐๐๐ 1 ๐๐๐๐ 2 ๏ฟฝ ๐ก๐ก๐ก๐ก๐ก๐ก๐ก๐ก๐ก๐ก๐ก๐ก๐ก๐ก๐ก๐ก The last equality๐๐3 โis a succinct expression๐๐3 forโ the โon paperโ scalar S( ) S( )in units of 4. What about the orthogonality of the maximally entangled states? Alike the one-particle case (remember2 , in fig. 1b), 1 โ 2 โ โ orthogonality is experienced in the spinor (one-sided rotor) representation, as described by+ equationโ s (22-24) and the relative discussions in Section 3.2. ๐ฎ๐ฎ ๐ฎ๐ฎ If the spins are not entangled relations (12, 13) are invalid. In this case the gauge components of the spins S(1), S(2) are not correlated before measurement and the two spins form a mixed state. For example, instead of the singlet state in (12), there will be a pair of antiparallel spins along the ฯ3 axis, while the total spin will lie in the ฯ12 plane and vary randomly between the limiting values of ยฑ . The expectation value in this case will be the product of the separate expectation values: โ ( ) ( ) = = ( )( ) = cos cos (15) 4 2 โฉOne๐๐ 1 future๐๐ 2 โช scopeโ โฉ๐๐ ฯcould๐ฎ๐ฎโชโฉ๐๐ โbeฯ๐ฏ๐ฏ toโช adaptโ ๐๐ the3 โ ๐ฎ๐ฎpresented๐๐3 โ ๐ฏ๐ฏ STAโ formalism๐๐u ๐๐tov describe spin pairs with degrees of entanglement between the maximally entangled states from relations (11)-(13) and the mixed states from (15), as depending on the uncertainty of the relative gauge phase.
3. Spinor (one-sided rotor) transformation of spin 1/2 one and two particle systems. In spinor form, the transformation of a given spin appears as a sum of one-sided rotor transformations of spin-up and spin-down with the standard probability amplitudes for coincidence and anti-coincidence. 3.1. One-particle systems. The vector transformation (5) looks like a โdeterministicโ spin transformation from a given orientation in the system into a definite orientation in the system. One can improve on this impression by applying the STA spinor transformation, which uses one-sided rotors to transform the spin, as illustrated in Fig. 1b: ๐๐ ๐ฎ๐ฎ
( ) cos + ( ) sin = ( ) cos + ( ) ( ) sin = ๐๐๐ข๐ข โ ๐๐๐ข๐ข ๐๐๐ข๐ข โ โ ๐๐๐ข๐ข u u u u ๐๐ฯ โ ๐ ๐ ( ๐๐) ๐๐cosฯ ๐๐ + 2 sin๐ ๐ ฯโ๐๐u ๐๐=โฯ โ๐๐ ( ) 2 =๐ ๐ ๐๐ ๐๐(ฯ ๐๐ ), 2 ๐ ๐ ฯโ๐๐ u ๐ ๐ ๐๐ ๐๐ฯ ๐๐ ๐ ๐ ๐๐ 2 (16) ๐๐๐ข๐ข ๐๐๐ข๐ข โ u u u ๐ ๐ or๐๐: ๐๐ฯ ๐๐ ๏ฟฝ 2 + ๐ผ๐ผ๐ฎ๐ฎ2( +2 ๏ฟฝ ) ๐ ๐ ๐๐cos๐๐ฯ ๐๐ +๐ ๐ ๐๐u ๐๐u ๐๐โ๐๐ ( ) sin = cos + โ + ๐๐๐ข๐ข โ โ ๐๐๐ข๐ข โ + ๐๐๐ข๐ข u sin๐๐ฯ โ+2 ๏ฟฝ๏ฟฝ๐ฎ๐ฎ ( ๐ ๐ ๐๐+ ๐๐1) ๐๐2 ๐๐cos๏ฟฝ 2 ๏ฟฝ(๐ฎ๐ฎ โ ๐ ๐ ฯโ)๐๐u ๐๐1 โsin๐๐2 โ๐๐๏ฟฝ= 2 ๏ฟฝ+ 2 ๏ฟฝ(๐ฎ๐ฎ + 2 โ ๐๐๐ข๐ข ๐๐๐ข๐ข ๐๐๐ข๐ข โ u u u u ๐ฎ๐ฎ ) 2 cos๐ ๐ ๐๐ ๏ฟฝ+๐ฎ๐ฎโฅ sin๐ฎ๐ฎ2 ๐๐โ๐๐ = 2 +โ ๐ผ๐ผ๐ฎ๐ฎ2( ๐ฎ๐ฎโฅ +โ ๐ฎ๐ฎ2) โ๐๐+๐๐ =2 ๏ฟฝ๏ฟฝ +2 ๏ฟฝ(๐ฎ๐ฎ +๐ ๐ ๐๐ )๐ฎ๐ฎโฅ = ( ) ๐๐๐ข๐ข ๐๐๐ข๐ข โ โ โ u u u u u ๐ฎ๐ฎ2 ๐๐โ๐๐ ๏ฟฝ 2 ๐ผ๐ผ๐ฎ๐ฎ2 2 ๏ฟฝ ๏ฟฝ 2 ๏ฟฝ๐ฎ๐ฎ ๐ ๐ ๐๐ ๐ฎ๐ฎโฅ ๐ฎ๐ฎ2 ๐๐โ๐๐ ๐ ๐ ๐๐u ๏ฟฝ 2 ๏ฟฝ๐ฎ๐ฎ ๐ฎ๐ฎ1 ๐ฎ๐ฎ2 ๐๐โ๐๐ ๏ฟฝ ๐๐u ๐๐โ๐๐ By insisting that a basis consist of opposite spins then in order for transformation (16) to complete into a proper rotation as it does, the two spins must have same handiness. The plane for the phase angle in the subscripts in (16) follows the plane of the vectors in brackets. The concise form of the transformation in the top two lines of (16) is typical for STA, where full geometric objects transform as a whole, with none or minimal need to work with components. Vector components appear explicitly in the second form of transformation. The full spinor representations for spin up and spin down are:
( ) = + ( + ) and ( ) = + ( + ) (17) + โ Notice๐ ๐ ๐๐u ๐๐ฯ ๐๐that the๐ฎ๐ฎ spinor๐ ๐ ๐๐u representation๐ฎ๐ฎโฅ ๐ฎ๐ฎ2 ๐๐โ๐๐ isu not a ๐ ๐ spin๐๐u ๐๐ ฯaccording๐๐ ๐ผ๐ผ๐ฎ๐ฎ2 to๐ฎ๐ฎ definition๐ ๐ ๐๐u ๐ฎ๐ฎ โฅ(3). As๐ฎ๐ฎ2 already๐๐โ๐๐u ๐ผ๐ผ๐ฎ๐ฎ menti2 oned, the midway vectors and can be taken as reduced spinor representations of the two spins; they are manifestly orthonorm+ al. Spinorโ representations are not unique. Another reduced spinor representation comprises the factors๐ฎ๐ฎ in ๐ฎ๐ฎfront of the trigonometric functions of the rotor , a scalar 1 and a bivector , respectively, which also appear in (17). These are even-grade elements of ๐๐theu 3D algebra and a standard 2 choice in the STA literature [7]. In order for the reduced representation to๐ ๐ be an orthonormal spinor basis๐ผ๐ผ๐ฎ๐ฎ one must have a zero scalar (grade 0) for 1( ) = 0, which is indeed the case. The orthogonality relation for the full spinor representation is (remember that is Hermitian): โฉ ๐ผ๐ผ๐ฎ๐ฎ2 โช0 ( ) ( ) = =๐๐ฯ0 ( ) ( ) 2 , which is clearly satisfied (18) โ 3โ u u โฉThe๐ ๐ ๐๐ orthogonality๐๐ฯ ๐๐ ๐ผ๐ผ๐ฎ๐ฎ2 ๐ ๐ condition๐๐ ๐๐ฯ ๐๐ โชfor0 theโ evenโฉ 4 ๐ผ๐ผ-grade๐ฎ๐ฎ2โช0 reduced representation is a normalized version of (18). There are two things to notice in (16). First, it is clear that the new spin has been expressed by the two basis spins in , each contributing an amplitude given by the trigonometric factors. The basis spins, in addition to being opposite must comply with precise phase angle differences and have same handiness in order for the transformation๐๐ to complete. Second, it is probably more significant to read transformation (16) backwards. Start with and transform it with probability amplitudes of cos and sin into (coincidence) or ๐ข๐ข ๐ข๐ข (anticoincidence), respectively: ๐๐ ๐๐ ๐๐u 2 2 ๐๐ฯ ๐๐โฯ = cos + sin = cos + sin (16โ) ๐๐๐ข๐ข ๐๐๐ข๐ข ๐๐๐ข๐ข โ ๐๐๐ข๐ข u u u u u ๐๐Fromu ๐ ๐ (16๐๐ โ),๐๐ฯ if 2 is spi๐ ๐ n๐๐-up๐๐ฯ ๐ผ๐ผ(down)๐ฎ๐ฎ2 then2 ๐ ๐ ๐๐ ๐๐ฯ represent2 ๐ ๐ s ๐๐spin๐ ๐ ๐๐-up๐๐โ (down)ฯ 2 and = spin- down (up). (16โ) is symmetric relative to the exchange and or 1 stand for coincidence, while ๐๐u ๐ ๐ ๐๐u ๐๐ฯ ๐ผ๐ผ๐ฎ๐ฎ2๐ ๐ ๐๐u ๐๐โฯ ๐ ๐ ๐๐u ๐๐ฯ๐ผ๐ผ๐ฎ๐ฎ2 or stand for anti-coincidence. It is also relevant to point out that the controlled phase angle in โฯโโฯ ๐ ๐ ๐๐u ๐๐ฯ (16๐๐u)โ actually๐๐ โฯ ensures2 the reversibility of the โon paperโ spin transformation, ultimately enabling to read it backwards๐ ๐ ๐๐ as ๐ผ๐ผin๐ฎ๐ฎ (16โ). On the other side, the action of a S-G magnet makes the transformation irreversible relative to the gauge plane; in that case (16โ) cannot remain an equality, changing to ( , , uncorrelated; = means average wrt gauge phases): โฉ๐๐โช โฒ ฯ( ฯ) ฯ" ( ) cos + ( ) sin = cos + sin (19) ๐๐โ๐บ๐บ ๐ข๐ข ๐ข๐ข โฉ๐๐โช ๐ข๐ข ๐ข๐ข โฒ ๐๐ โ ๐๐ โ + ๐๐ โ ๐๐ u In๐๐u theฯ ๏ฟฝโonโฏ๏ฟฝ ๐ ๐ labโ๐๐ ๐๐ caseฯ ฯ it is straightforward2 ๐ ๐ ฯโ๐๐u ๐๐โฯ toฯ" apply2 the spinor2 ๏ฟฝ๐ฎ๐ฎ transformation2 ๐ฎ๐ฎ to2 the๏ฟฝ spin vector alone:
= cos + sin = cos + sin (19โ) โ โ ๐๐๐ข๐ข ๐๐๐ข๐ข โ + ๐๐๐ข๐ข โ ๐๐๐ข๐ข u The2 ๐ฎ๐ฎ final2 ๐ ๐ ๐๐expression๐๐3 ๏ฟฝ 2 in (19๐ผ๐ผ๐ฎ๐ฎโ2) shows2 ๏ฟฝ explicitly2 ๏ฟฝ๐ฎ๐ฎ the halfway2 ๐ฎ๐ฎ vectors2 ๏ฟฝ , as an orthonormal basis for the spinor representation. As already mentioned in Section 2.1, being insensitive+ โ to gauge phase, the spin vector is well suited to represent spin transformation by S-G measurement.๐ฎ๐ฎ ๐ฎ๐ฎ
3.2. Two-particle systems. By writing the non-normalized expression in (13) for = = as:
= S S (notice that S is not Hermitian) ๐ฎ๐ฎ ๐ฏ๐ฏ ๐๐3 (20) โ โฉon๐๐ฯe๐ผ๐ผ realizes๐๐๐๐๐๐ฯ๐ผ๐ผ๐๐ ๐๐thatโช0 a nonโฉ๏ฟฝโ-๐ผ๐ผnormalized๐๐๐๐ ฯ๏ฟฝ ๏ฟฝ ฯ ๐ผ๐ผspinor๐๐๐๐๏ฟฝโช0 form for the entangledฯ๐ผ๐ผ๐๐๐๐ pairs consists of the conjugate pair:
( )( ) S ; ( )( ) S (21)
ฮฅThe๐๐ spinor1๐๐๐๐2 โก repreโ๐ผ๐ผ๐๐sentations๐๐ ฯ ฮฅ ๐๐ (221๐๐๐๐)1 forโก theฯ๐ผ๐ผ four๐๐๐๐ states comprise only terms that are either even (bivectors) for the singlet state ( = 0) or odd (vectors and pseudoscalar) for the triplet states ( = ). Therefore:
๐๐ ๐๐ ๐๐ ( ) ( ) = ( ) ( ) = 0 for both and (22) โ โ โฉFromฮฅ 0 ฮฅ (22๐๐ โช)0 the โฉsingletฮฅ ๐๐ ฮฅ 0 stateโช0 is orthogonal" onto thepaper" triplet states."on Thelab" orthogonality test for pairs of different triplet states ( ) in the โon paperโ spinor representations (21) takes the form:
( ) ( ) =๐๐ (โ S ๐๐) (S )ยฑ = (S ) S = S S 2 S = โ ๐๐ ๐๐ 0 ฯ ๐๐ ๐๐ ฯ ๐๐ ๐๐ 0 for +ฯ ๐๐= ๐๐3 ฯ ๐๐ ๐๐ ๐๐๐๐ 0 ๐๐ ฯ ฯ ๐๐ ฯ ๐๐ ๐๐ ๐๐๐๐ 0 โฉฮฅ ฮฅ โช โฉ ๐ผ๐ผ๐๐ ๐ผ๐ผ๐๐ โช 2 โ โฉ ๏ฟฝ๐๐ ๐๐ ๏ฟฝ ๐๐ โช โฉ๐ ๐ ๏ฟฝ โ ๐๐ ๏ฟฝ โ ๐๐ ๏ฟฝ๏ฟฝ ๐ ๐ ๐๐ โช = โ 2 (23) โ โ โ=2 ๐๐cos ๐๐ for + > 3 ๐๐ ๐๐๐๐ ๐๐ ๐๐๐๐ 0 2 2 โ 2 โฉ๐ ๐ ๐๐ ๐ ๐ ๐๐ โช ๏ฟฝ โ 2 โ From (23) the โon paperโ spinorโ 2 โฉ๐ ๐ representations๐๐โช0 โ 2 (i.e.๐๐ with๐๐ correlated๐๐ gauge phases) (21) do not pass the orthogonality test for + = 3, or pass it only on average w.r.t. cos for + > 3. This relates to the well-known geometric property that in 3D orthogonal planes always share a common line. Finally, I check for orthogonality among๐๐ the๐๐ triplet states โon labโ: ๐๐ ๐๐ ๐๐
( ) ( ) ( ) = = 0 for (24)
โฉFromฮฅ ๐๐ ฮฅ (๐๐24โช)0 the๐๐โ๐บ๐บ โon labโโฉ๐๐3 ๐ผ๐ผspinor๐๐๐๐๐๐3๐ผ๐ผ representations๐๐๐๐โช0 ๐๐ forโ ๐๐ the maximally entangled states are mutually orthogonal. The corresponding reduced spinor representations ยฑ are manifestly orthonormal for the four , = 0,1,2,3 entanglement states . ๐๐ ๐๐ ๐ผ๐ผ๐๐ A swift comparison ฮฅof the๐๐ two-particle spinor representation (21) with the vector representation (11) reveals that inversion and reflection operations apply to one of the spins in (11); the same operations are split between the two spinor representations in (21). Therefore, given that the two spins are experimentally monitored at different locations, one might get the impression that the spinor representation is โmore nonlocalโ than the vector representation (11). However, the two types of transformations are equivalent; in the vector form we assume spin (1) to be the same, i.e. as a reference spin and transform spin (2) relative to it. However, as pointed out in relation to expression (10) there is full symmetry under the exchange S( ) S( ). In addition, it is relevant to remember here that we are working in the decoupling approximation of spin 1 โ from2 position and further development of the STA formalism is necessary to describe nonlocality, which necessarily requires coupling of spin and position, and that most correctly has to be treated relativistically [7]. By construction the expression for the expectation value is the same in both representations and as a correlation expectation value, it takes account of both entangled spins under the same angled brackets. This would represent a nonlocal operation, as the two measurements actually take place at different locations. However, again in the present context, due to decoupling it is local. The common angled bracket here only refers to the statistical dependence between the two measurements, directly connected to the correlation between gauge phases before measurement. 4. Conclusions All the above results were obtained by direct use and transformation (rotation, reflection) of spin in 3D physical orientation space, without invoking concepts like eigen algebra and tensor product, which seem so fundamental in the standard formulation of QM. This also provides a clear geometric meaning for the four Bell states: one singlet state of spin pairs related by inversion and three triplet states, each comprising spin pairs related by reflection onto one of the three coordinate planes. In conclusion, the STA spin model in (3) โ an ordered sum of vectors with a gauge phase, displays many attractive features in the spin-position decoupling approximation. For one and two particle systems the same 3D geometric object (3) shows the correct representation of spin 1/2 relative to both โon paperโ and โon labโ calculations. In a STA context (3) merges the roles played by the Pauli spin matrix-vector and spin states in the standard quantum formalism. The explicit gauge phase in (3) allows formalizing the irreversibility introduced by measurement (โon labโ transformation) as due to loss of phase correlation. Spin pair entanglements emerge from correlations of the gauge phases and opposite handiness in the expression for the total spin. A clear geometric picture can be maintained throughout the process of โon paperโ and โon labโ transformations, not the least due to STAโs distinguished capability to work with whole geometric objects instead of components.
References
[1] Pauli, W.: Zur Quantenmechanik des magnetischen Elektrons. Zeitschrift fรผr Physik, 43 (9โ10), 601โ623 (1927). [2] Dirac, P.A.M.: The quantum theory of the electron. Proc. Roy. Soc. Lon. A, 117:610 (1928). [3] Grassmann, H.: Die Ausdehnungslehre. Enslin, Berlin (1862). [4] Clifford, W.K.: Applications of Grassmannโs extensive algebra. Am. J. Math., 1:350 (1878). [5] Hestenes, D.: SpaceโTime Algebra. Gordon and Breach, New York (1966).
[6] Hestenes, D.: Oersted Medal Lecture 2002: Reforming the Mathematical Language of Physics. Am. J. Phys. 71, 104โ 121 (2003). [7] Doran, C., Lasenby, A.: Geometric Algebra for Physicists, Cambridge University Press, Cambridge (2007). [8] Doran, C.J.L., Lasenby, A.N. and Gull, S.F.: States and operators in the spacetime algebra. Found. Phys., 23(9):1239 (1993). [9] Doran, C., Lasenby, A., Gull, S., Somaroo, S., Challinor, A.: Spacetime Algebra and Electron Physics. Adv. Imag. & Elect. Phys. 95, 271โ365 (1996).
[10] Lasenby, A.: Geometric Algebra as a Unifying Language for Physics and Engineering and Its Use in the Study of Gravity. Adv. Appl. Clifford Algebras 27, 733โ759 (2017). [11] Merzbacher, E.: Quantum Mechanics, J. Wiley & Sons, New York, Chichester, Weineheim, Brisbane, Singapore, Toronto (1998).
[12] Bohm, D.: Quantum Theory (17.9), Prentice-Hall, Inc., Englewood Cliffs, New Jersey (1951).