sign in sign up
<<
Home , Dot product, Vector notation

arXiv:1501.04857v6 [.gen-ph] 27 Apr 2021 pc-ieeeta h orvector four continuum. the spacetime as event four-dimensional space-time inte a simply of be properties could phenomena sic exotic these descr len that new and showed dilation then a time of introduced properties the [12] included which 1905 time, of paper seminal Einstein’s Introduction 1. qa n ee Abbott Iannella, Derek Nicolangelo and Hartnett, Iqbal G. John Chappell, M. James spacetime Minkowski of origin The X pctm effects. spacetime coordinates oeeeetr osdrtos uha i h consistenc the (i) as der such to considerations, attempting elementary years more the over presented been have guments X ¯ [ = t,. ity, Keywords. Maxw of (2010). form Classification Subject the and arguments. relativity physical of any special emergence to of the recourse without laws by shown the is light, approach for a invariant geometric returned this the results of of standard value generalisation with a e transformations, find expanded Lorentz this we Within spacetime, spin. fo of with as identify arena well we as that naturally, freedom arise of , spatial three the Abstract. u otefnaetliprac fMnosisaeie a spacetime, Minkowski of importance fundamental the to Due r ftredimensions Cliff three by of modeled fro bra when naturally space dimensional arises three of structure properties spacetime I Minkowski principles. elementary the more how a from various structure been this have of there origin importance, describi fundamental for its framework to default Due the become has Minkowski, by t, x ] X · [ ′ t, h ordmninlsaeiecnium soiial co originally as continuum, spacetime dimensional four The ikwk,Saeie lfodgoercagba Specia , geometric Clifford Spacetime, Minkowski, Λ = − x = ] X hthl hsitra nain,te rdc h various the produce then invariant, this hold that t 2 − Cℓ x ( ℜ 2 h e ftransformations of set The . 3 ) efidta ielk ieso ln with along time-like a that find We . X [ = t, x ] S 12,83A05. 51B20, MSC epoueteivratdistance invariant the produce we , t otato.Minkowski contraction. gth hsppr eshow we paper, this n radtoa degrees additional ur fNwo’ is Law, First Newton’s of y pca ae.The cases. special s r emti alge- geometric ord h geometrical the m hti,i ewiea write we if is, That Λ tmt ofidthe find to ttempts v hssrcuefrom structure this ive gpyia laws. physical ng ight-dimensional pee steintrin- the as rpreted nevladthe and interval cigo spacetime on acting pino pc and space of iption l’ equations, ell’s xdspeed fixed a relativ- l ait far- of variety nceived Azhar 2Chappell, John G. Hartnett, Nicolangelo Iannella, Azhar Iqbal and Derek Abbott

(ii) spacetime isotropy with non-instantaneous interaction propagation [28, 18], (iii) the requirements for the existence of observed elementary particles and dynamics in the context of basic quantum mechanical considerations [4, 30, 31], (iv) implica- tions of electric/magnetic reciprocity [23], and (v) the effective ill-posed nature of Einstein’s field equations unless the Minkowski metric applies [32]. Now, beginning from first principles, it is easily confirmed that we live in a world with nominally three spatial dimensions, such as by the presence of exactly five regular solids [9, 27]. Also, the inverse laws of gravity and electromag- netism, have been experimentally verified to very high precision [22], indicating the absence of additional macroscopic dimensions beyond three space dimensions. The formalism of Clifford of three dimensions Cℓ( 3) is therefore a natural choice to describe spacetime structure. Two previous implemen-ℜ tations being (i) spacetime algebra (STA) [20] and (ii) the algebra of physical space (APS) [2]. We thus begin with the Clifford algebra of three dimensions Cℓ( 3) and pro- duce the Minkowski metric as an emergent property. While recoveringℜ standard results, we expand spacetime to eight dimensions and the of Lorentz transfor- mations. The metric produces a Lagrangian for relativistic processes that provides a natural extension to standard interactions.

2. Derivation Clifford’s geometric algebra (GA) Cℓ( 3) can describe a regular three-dimensional , but the algebra also containsℜ additional and trivector elements, forming overall an eight-dimensional space.

Proposition 2.1 (Spacetime structure). The Clifford Algebra Cℓ 3 , forms an ℜ algebraic representation of spacetime as 3 2 3 3 3, where refers ℜ⊕ℜ ⊕ ℜ ⊕ ℜ to the . V V V This structure can be expressed using three- with an eight- dimensional multivector M = a + x + jn + jb, (2.1) where x = x1e1 + x2e2 + x3e3 a vector, jn = n1e2e3 + n2e3e1 + n3e1e2 a bivector, and j = e1e2e3 trivector with a,b,x1, x2, x3,n1,n2,n3 real scalars [7, 5]. The trivector j commutes with all elements of the algebra jM = Mj and squares to minus one j2 = 1, thus providing a substitute for the unit imaginary √ 1. − − Clifford algebrais a graded algebra,and the fourgrades of Cℓ 3 are scalars, ℜ polar vectors, axial vectors () and . The  four grades form an algebraic representation of the common geometric concepts —point, line, areal and elements—found in three-dimensional space. We can define the three dimensional Clifford’s algebra Cℓ 3 , using three unit elements e ,e ,e ℜ 1 2 3 that obey the relation epeq = δpq + ǫpqr jer, where δ is the Dirac delta func- tion, ǫ is the antisymmetric and p,q,r 1, 2, 3 . The Clifford Algebra ∈ { } Cℓ3,0 is thus isomorphic to the Pauli algebra. The eight-dimensional multivector in Minkowski Spacetime 3

Eq. (2.1) is also isomorphic to the complexified [19, 29] and the octo- nions [11, 13, 15, 16, 14], which have also been used to model spacetime. Refer to Appendix A for more details. Now, Einstein’s first postulate, the laws of physics are the same in all inertial frames of reference, leads us to look for the invariants in Cℓ 3 , after applying ℜ transformation rules.  2.1. Finding the invariants and metric Definition 2.2 (Clifford conjugation). We define Clifford conjugation of a multi- vector M as M¯ = a x jn + jb. (2.2) − − Clifford conjugation is an involution that is an anti-automorphism, so that for a MN of two M,N Cℓ 3 , MN = N¯M¯ . ∈ ℜ Definition 2.3 (Multivector amplitude). We define the amplitude squared of a multivector M through Clifford conjugation, giving the M 2 = MM¯ = MM¯ = a2 x2 + n2 b2 +2j (ab x n) (2.3) | | − − − · forming a complex-like , thus in the center of the algebra. The is therefore well defined from theory and so we can define the mul- tivector amplitude as M = M 2. The amplitude squared also has the important | | | | property that M M 2 = MpM M¯ M¯ = M M¯ M M¯ = M 2 M 2. | 1 2| 1 2 2 1 1 1 2 2 | 1| | 2| 2.2. The group transformations Definition 2.4 (Bilinear multivector transformation). We define a general bilin- ear transformation on a multivector M as

M ′ = KML, (2.4) where M,K,L Cℓ( 3). ∈ ℜ We then find the transformed multivector amplitude 2 2 2 2 M ′ = KML KML = KMLL¯M¯ K¯ = K L M , (2.5) | | | | | | | | where we have used the anti-involution property of Clifford conjugation and the commuting property of the amplitude. Hence, provided we specify a unitary con- dition K 2 L 2 = 1 for these transformations, then the amplitude M will be in- variant.| Without| | | loss of generality, it is then convenient to impose| the| condition K 2 = L 2 = 1. The transformation in Eq. (2.4) is then the most general bi- linear| | transformation| | ± that preserves the multivector amplitude and so produces an invariant distance over the space. If we focus on the special case Y 2 = Z 2 = +1 that describe transfor- mations that are continuous with the identity.| | Then,| | using the series expan- sion of the exponential function, a multivector Y can be written in an exponential form [20, 21] Y =ec+p+jq+jd, (2.6) provided Y =0, where c, d and p, q 3. Therefore, we find | | 6 ∈ℜ ∈ℜ c+p+jq+jd c p jq+jd 2c+2jd Y Y¯ =e e − − =e . (2.7) 4Chappell, John G. Hartnett, Nicolangelo Iannella, Azhar Iqbal and Derek Abbott

The unitary condition Y 2 = 1 then requires c =0, d = nπ/2, n an integer. Now, as d = 0 simply adds| a commuting| ± phase term and because this will not affect the amplitude6 of the multivector we now set d = 0 in order to investigate the Lorentz group. So, also writing Z = er+js, with r, s 3, we finally produce the general transformation ∈ ℜ p+jq r+js M ′ =e Me , (2.8) which will leave the multivector amplitude invariant. The four three-vectors p, q, r, s illustrate that the transformation is specified by twelve real parameters, thus gener- alizing the conventional six dimensional Lorentz group, consisting of boosts and rotations. Definition 2.5 (Multivector ). Given two multivectors A, B we define the dot product as 1 A¯ B = AB¯ + BA¯ , (2.9) · 2 a commuting complex-like number, see Appendix A, which is invariant under the Lorentz transformations. That is, under transformation we have 1 A¯′ B′ = KALKBL + KBLKAL (2.10) · 2 1  = L¯A¯KKBL¯ + L¯B¯KKAL¯ 2 1 1  = L¯ABL¯ + L¯BAL¯ = L¯ AB¯ + BA¯ L 2 2   = L¯ A¯ B L = A¯ B, · ·  and so invariant. Hence, along with AA¯, the dot products A¯ B = A B¯ = B¯ A = B A¯ are also invariant under the general Lorentz transformatio· ns. The· multivector· dot· product is a generalisation of the conventional four-vector dot product.

2.3. multivectors Now, the product AB¯ transforms as

A¯′B′ = KALKBL = L¯A¯KKBL¯ = L¯ABL,¯ (2.11) thus requiring a restricted transformation rule. Definition 2.6 (Field multivectors). We define a class of multivectors called fields as F = AB¯ , which transform as

F ′ = LF¯ L. (2.12)

This implies the product XF will transform as multivector. That is X′F ′ = KXLLF¯ L = K(XF )L. This allows us to form an equation XF = Y , where X, Y transform as multivectors, defined in Eq. (2.12), and F transforms as a field. Also the product of ¯ two fields F1′F2′ = LF1F2L also transforms as a field. Examples of these types of fields are the electromagnetic field and the Dirac field, which are seen to arise from the spacetime background as the product F = AB¯ . Minkowski Spacetime 5

Hence, in general, we can form an invariant multivector equation XAB¯ = Y, (2.13) where each multivector transforms according to Eq. (2.8).

2.4. Connection with the conventional Lorentz group Now, if we represent space by the multivector in Eq. (2.1), then simple rotations of this space are described by the special case of Eq. (2.8) jw/2 jw/2 M ′ =e− Me , (2.14) which will produce a rotation of θ = w = √w2 = w2 + w2 + w2 radians || || 1 2 3 about the axis w, where w represents the length of a vector.p A further special case|| || of Eq. (2.8) is found by selecting the vector exponent, which will correspond to conventional Lorentz boosts. That is φvˆ/2 φvˆ/2 M ′ =e− Me− , (2.15) where φ is defined through tanh φ = v where v = v . We can rearrange tanh φ = || ||φvˆ v to give cosh φ = γ and sinh φ = γv. Hence e− = cosh φ vˆ sinh φ = − γ (1 v), where γ = 1/√1 v2. In this case the vector v is identified with the relative− vector between− frames whereas for rotations it is identified with the rotation axis. These results consistent with the known result that the Lorentz group is a sub- of the Pauli algebra [33]. If we now consider the effect of a conventional Lorentz boost on the general- ized eight-dimensional spacetime coordinate M = t + x + x + jn + jn + jb, where we split the spatial coordinate into components perpek ndicular⊥ andk parallel⊥ to the boost direction vˆ. We then find from Eq. (2.15) that vˆφ vˆφ M ′ = te− + x e− + x (2.16) k ⊥ vˆφ vˆφ +jn e− + jn + bje− k ⊥ = γ (t v x)+ γ x vt + x − · k − ⊥ +jγ n vb +jn + jγ (b v n) , k − ⊥ − · which now shows the transformation of the full multivector subject to the conven- tional Lorentz boost operation. We can see that the jn orthogonal to the boost direction v is expanded by the γ factor to jγn . This impliesk that the bivec- tors do not refer to quantities such as angular momentumofk extended bodies—as the parallel components are in fact unchanged by such boosts—but must refer to other axial vector-type quantities such as spin or the magnetic field. In fact, the combined bivector and trivector components jn+jb = j(b+n) are transformed the same as a four-vector and so have the same transformational properties as the spin four-vector. We can also see that the conventional Lorentz boost transformation splits the multivector space into two four dimensional subspaces 3 and 2 3 3 3 ℜ⊕ℜ ℜ ⊕ ℜ represented by t+x and jn+jb respectively. The first four-vector t+Vx can beV iden- tified as conventional spacetime if we identify the t with time and the second four-vector jn + jb as four-spin. Thus Eq. (2.1) describes a unified formulation of spacetime that includes spin. The fact that the conventional boost operation, shown 6Chappell, John G. Hartnett, Nicolangelo Iannella, Azhar Iqbal and Derek Abbott in Eq. (2.16), acts separately on the two independent four-vector spaces also illus- trates why the four-vector notation is effective, even though a unified treatment using the eight dimensional multivector is to be preferred. Note that Eq. (2.8) combines the boost and rotation operations, and has meaning in its own right in describing the relativistic effect called Thomas rotation [6]. Hence, we can write a generalised spacetime event X, in , as

dX = dt + dx + jdn + jdb, (2.17) where the special case dX = dt + dx is isomorphic to the conventional Minkowski four vector dX = [dt, dx]. Referring to Eq. (2.3) this therefore has an amplitude ds2 = dX 2 | | ds2 = dt2 dx2 + dn2 db2 +2j (dtdb dx dn) . (2.18) − − − · In general, the invariant interval is therefore a complex-like number. Now, in order to form this invariant, clearly we need each of the four components in Eq. (2.17) to be measured in the same units. We also need this measuring scale to be invariant for different frames of reference. This is precisely the role played by the speed of light in current definitions of time and length. The helical nature of light propagation also provides a metric for the spin and helicity. The invarianceof the speed of light, given by the null invariant distance c2dt2 dx2 = 0, implies that all observers will see a spherically expanding light sphere− from a pulse of light, which can be adequately described by a single scalar defining the radius. This scalar aspect of Cℓ 3 , we ℜ commonly label as time, and can be conceptualised and measured as the radius of an expanding light sphere. Also of significance in Eq. (2.18), is that the 2jtb term has introduced time irreversibility into the metric. The standard metric c2t2 x2, with the t2 term, im- plying time reversibility. − Note that we were constrained to adopt the involution of Clifford conjugation, as this involution is unique in producing a complex-like number allowing an invari- ant to form, along with the Lorentz transformationsEq. (2.4). Hence, the Minkowski spacetime if found to arise implicitly from the structure of Cℓ 3 . ℜ  2.5. Applications of the generalised Lorentz transformations 2.5.1. Cartesian rotations in 4D. As an application of the generalized Lorentz transformations in Eq. (2.8), we can select two distinct rotation axes v and w, writ- ing jv/2 jw/2 M ′ =e Me . (2.19) It can be shown, for the multivector given in Eq. (2.1), that this operation acts sepa- rately on the two four-dimensionalsubspaces a+jn and x+jb,with each ofthetwo rotations being isomorphic to a rotation in a four-dimensional Cartesian space. This transformation, even though it preserves the invariant distance, cannot be included in the standard Lorentz group as it moves outside the conventional four-vector rep- resentation. Minkowski Spacetime 7

2.5.2. Time dilation without relative velocity. Using the transformationsin Eq. (2.19) and assuming an event with a spacetime multivector dX = dτ, then we find a trans- formed event θvˆ φwˆ X′ =e (dt + jdn)e = dt′ + jdn′, (2.20) where

dt′ = (cosh θ cosh φ sinh θ sinh φ cos a)dt + sinh θ sinh φjvˆ dn wˆ − ∧ ∧ cosh θ sinh φ cos bdn sinh θ cosh φ cos cdn (2.21) − − where cos a = vˆ wˆ, cos b = nˆ wˆ and cos c = nˆ vˆ and dn = (cos θ sin φ wˆ + cos φ sin θ vˆ sin· θ sin φ vˆ wˆ)dτ· Note that the spatial· movement remains at zero and so the relative− velocity is× zero and yet we have a time dilation factor,

dt ′ = cosh θ cosh φ sinh θ sinh φ vˆ wˆ. (2.22) dt − · We can see that this transformation, has zero relative velocity, but produces a time dilation factor. Hence, this transformation could be used to mimic gravitational time dilation, or redshift effects.

3. Lightlike particles Lightlike particles satisfy the condition ds2 = 0, in Eq. (2.18), and after dividing through by dt2, we find

0=1 v2 + w2 h2 +2j (h v w) , (3.1) − − − · dn db where w = dt and h = dt . We have already identified w with spin and hence h with helicity, and we note that the expression h v w is a standard expression relating the helicity h to a w, as found in− fluid· flow, for example. In fluid flow the vorticity w is given by the of the velocity field, and is twice the . The equation for lightlike particles, thus requires h v w = 0, which implies that all the helicity that is present arises from the motion− · of the vorticity w. Hence, in a hypothetical rest for lightlike particles, we would find zero helicity. So for lightlike particles with dt2 dx2 =0 (as found for electromagnetic radiation) we find − v wˆ = c, (3.2) · ± where for clarity we re-introduce the speed of light. We have v = c and so we see that light must propagate parallel to the spin axis wˆ. That|| is,|| based on the eight-dimensional structure of Cℓ( 3), we find that a lightlike particle is required to have a spin axis parallel to its motionℜ and be invariant for all frames, as observed for electromagnetic radiation. The implied transverse nature, is also as observed for electromagnetic radiation, as well as gravitational waves. 8Chappell, John G. Hartnett, Nicolangelo Iannella, Azhar Iqbal and Derek Abbott

3.1. Particles with a rest frame Now, the scalar component db of the spin four-vector is assumed to be zero in a rest frame, and hence with dx =0, we have dτ 2 = dX 2 = dt2 + dn2, (3.3) | 0| 0 0 where the zero in the subscripts denotes the rest frame. Hence, after a general boost we have dτ 2 = dt2 + dn2 = dt2 dx2 + dn2 db2. (3.4) 0 0 − − Note that as the imaginary term is zero in the rest frame and the interval is invariant, then the imaginary component will also remain zero in the boosted frame. The ratio of the observed time to proper time becomes

dt 1/2 γ = = 1 v2 + w2 h2 − . (3.5) dτ − −  This thus generalises the time dilation factor to account for spin.

3.2. Quaternionic time For particles with a rest frame, we can write for the proper time

ju dX0 = dt0 + jdn0 =e dτ, (3.6) 2 ju ju 2 where u is a three-vector. This then produces dX = e dτ e− dτ = dτ , | | as required. Note that eju = cos u + juˆ sin u, where u = √u 2 and uˆ= u/u. As the rest frame is deemed to describe the proper time, then we can see that the proper time measure dt0 + jdn0 is fundamentally quaternionic and so four- dimensional. The of this four-dimensional time dτ being the conven- tional proper time. We can also see a natural quantisation pr|ocess| on the invariants ju+2njπ of dX0 =e dτ. Multidimensional time has been researched previously, with many interesting consequences [1].

3.3. Velocity and acceleration multivectors The proper velocity is defined as V = dX/dτ, so that we find from Eq. (2.17) dX dt dx dt dn dt db dt V = = + + j + j (3.7) dτ dτ dt dτ dt dτ dt dτ = γ (1 + v + jw + jh) ,

2 dt 2 2 2 dX where γ = dτ . Now, as dX = dτ then we have V = | dτ 2| =1. In fact, as V is unitary, we could write| V |in the form | |

φ x+jy V =e √(x+jy)2 , (3.8) where cosh φ = γ (1 + jh). Also, the fact that V 2 =1 is a constant, implies that | | 1 d 1 dV dV¯ 1 V 2 = V¯ + V = AV¯ + V A¯ =0, (3.9) 2 dτ | | 2  dτ dτ  2  Minkowski Spacetime 9

dV using the of differentiation, and where we defined A = dτ as the acceleration multivector. We thus produce an condition for the veloc- ity and acceleration multivectors of A V¯ = 0, an invariant. This is analogous to conventional results but expanded to eight-vectors.· 3.4. multivector In order to make contact with further results of SR, we now need an additional assumption of a positive scalar m to be associated with a particle, defining the mo- mentum multivector P = mV . This also gives E = γm, p = γmv, s = γmw and H = γmh then P = mV = E + p + js + jH. (3.10) Note, the use of the scalar m assumes that the momentum is parallel to the velocity and the vector is parallel to the angular velocity vector. How- ever, for a classical extended rigid body the angular momentum is not necessarily parallel to its angular velocity vector1. Now, as already noted, the properties of rel- ativistic spin for point-like particles does indeed follow this transformation law of four-vectors required by the multivector. Hence it is confirmation of this approach that the eight-dimensional multivector description requires the assumption of point- like particles as required by the standard model. In the most general case, we have the amplitude squared of the momentum multivector P 2 = E2 p2 + s2 H2 +2j (H p s)= M 2, (3.11) | | − − − · where the invariant mass M may be complex. For the conventionalcase, where the helicity is zero in the rest frame, we have the simpler form of the amplitude of the momentum multivector P 2 = E2 p2 + s2 H2 = m2, (3.12) | | − − which follows from the fact that V 2 =1, giving a new definition for the invariant mass m that includes spin. Referring| | to Eq. (3.3), we therefore have in the rest frame

P0 = E0 + js0. (3.13)

If this rest state P0 is now boosted we find P 2 = E2 p2 + s2 H2 = m2 = E2 + s2 = P 2. (3.14) | | − − 0 0 | 0| 2 2 2 We thus have the expected spin conservation s H = s0 although the energy 2 2 2 2 2 − conservation E p = E0 = m s0 implies a rest energy E0 rather than the conventional value− of m. Thus, contrary− to conventional SR, we have that the rest energy is distinct from the invariant mass. This can be seen to be due to the fact that 2 2 2 the spin energy s0 is now included as part of the rest energy, with m = E0 + s0. This produces γ2 γ2v2 =1 s2/m2, (3.15) − − 0 and therefore dt 1 s2/m2 = γ = − 0 . (3.16) dτ p√1 v2 − 1 Given the angular velocity ω = w1e1 + w2e2 + w3e3 and the angular momentum L = I1w1e1 + I2w2e2 + I3w3e3, then we can see that the vectors ω and L are only parallel if the moments of inertia I1,I2,I3 are equal. 10Chappell, John G. Hartnett, Nicolangelo Iannella, Azhar Iqbal and Derek Abbott

This expression implies a time speedup of dt = 1 s2/m2, due to spin effects, dτ − 0 consistent with Eq. (3.5). p We note by inspection of Eq. (3.1) and Eq. (3.12), describing massless and massive particles respectively, that in the most general case through arbitrarily vary- ing the spin and helicity terms, superluminal speeds are possible.

3.5. Maxwell’s equations It is known, that using GA, Maxwell’s four equations can be written with the single equation [5, 3] (∂ + ) F = ρ J, (3.17) t ∇ − where the electromagnetic field is represented as F = E + jB and = e ∂ + ∇ 1 ∂x e ∂ + e ∂ . Now the ∂ = ∂ + and the current J = ρ J are 2 ∂y 3 ∂z ∂t ∇ − known four-vectors. The electromagnetic field can also be derived from a potential A as F = ∂A¯ . Hence, this is in the form XF = Y , previously derived based on satisfying invariance. The previously derived field transformation being F ′ = LF¯ L or r js r+js (E + jB)′ =e− − (E + jB)e , (3.18) which is the standard transformation for the electromagnetic field [5]. Hence, our generalized transformation for spacetime shown in Eq. (2.8) leaves Maxwell’s equations invariant as well as retaining the conventional field transforma- tion. If we now consider the effect of the generalized transformations on the four- current K (ρ J) L, as in Eq. (2.4), then whereas a conventional boost will remain in the form of− a four-current this more general transformation will create bivector and trivector terms

R (ρ J) S = ρ′ J′ + jK′ + jκ′, (3.19) − − where jκ′ can be identified as a magnetic monopole and K′ as a monopole current. Hence, the formalism naturally leads to the existence of magnetic monopoles. While magnetic monopoles have not yet been identified [26], nevertheless quasi magnetic monopoles have been detected in spin ice systems [24], where the formalism is applicable.

3.6. The gradient The four-gradient ∂, is a recognised four-vector, however, as we have an eight- dimensional spacetime, with four extra degrees of freedom, we need to expand this to ∂ ∂ ∂ ∂ ∂ ∂ = + + je1 + je2 + je3 + j . (3.20) ∂t ∇ ∂n1 ∂n2 ∂n3 ∂b Maxwell’s equations can therefore be immediately generalised to ∂F = J, with the field F = ∂A¯ , where A is an eight-dimensional potential. We can also generalise the gradient further with ∂′ = ∂ + W , where W is a multivector. This wave operator will also naturally generalise the key Klein-Gordon wave equation describing quantum fields, to ∂∂ψ¯ +m2ψ =0, in accord with the invariant equation in Eq. (2.13). Minkowski Spacetime 11

4. The action Following the standard procedure of extremizing the proper time in order to find the , we define the action

S = dX , (4.1) Z | | where the distance dX is given by the amplitude of the spacetime multivector, given by Eq. (2.3). Now,| | as shown previously, with the assumption of a proper time in a rest frame we have dX = dτ and so we have the spacetime distance | | dX 2 = t˙2 x˙ 2 + n˙ 2 b˙2 dτ 2, (4.2) | |  − −  ˙ dt dx dn ˙ db where we define t = dτ , x˙ = dτ , n˙ = dτ and b = dτ . If we write the action dX S = | dτ | dτ then this implies a Lagrangian R dX = | | = t˙2 x˙ 2 + n˙ 2 b˙2 =1, (4.3) L dτ q − − where we now extremize S = dτ. L ∂ ∂ ∂ ∂ As we have no explicit coordinateR dependence, L , L , L and L are con- ∂t˙ ∂x˙ ∂n˙ ∂b˙ stants of the motion. Using the -Lagrange equation [17] for t d ∂ ∂ L = L =0 (4.4) dτ ∂t˙ ∂t thus giving the conserved quantity

∂ 1 E L = − t˙ = . (4.5) ∂t˙ L m We have written the conserved quantity as the dimensionless scalar E/m as we expect it to relate to energy by Noether’s theorem. Indeed, because t˙ = dt/dτ = γ 1 and − =1, we find equating real components that γ = E/m or E = γm, which is theL conventional relativistic energy relation. The second conserved quantity will be the momentum p = γmv, the bivector component will produce the conservation of angular momentum s = γmw and the fourth conserved quantity will be the ˙ db helicity H = mb = γmh = γm dt . Thus the multivector invariant interval in Eq. (4.1), encodes the four funda- mental conservation laws of energy, momentum, angular momentum and helicity. Indeed, the Minkowski invariant distance was considered by Einstein as the rela- tivistic law for inertial particles [25].

4.1. Generalised actions We found the Lagrangian for inertial particles in Eq. (4.3), of = V , being the magnitude of the proper velocity. The simplest variation fromL | | motion would be a Lagrangian = V + B , where the multivector B conceptually rep- resents a ‘flow’ in the underlyingL | spacetime,| affecting particle geodesics. We then have = (V + B)(V¯ + B¯)= V V¯ + V B¯ + BB,¯ (4.6) L · 12Chappell, John G. Hartnett, Nicolangelo Iannella, Azhar Iqbal and Derek Abbott analogous to the electromagnetic-type Lagrangian V V¯ + V B¯. Note that we are permitted to use either = V or = V 2, because if a Lagrangian· satisfies the Euler-Lagrange equations,L | then| inL general| | any function F ( ) of the LagrangianL will also satisfy the Euler-Lagrange equations. We note that theL third term BB¯ can µ be identified as the Proca action B Bµ typically included to describe non-massless photons. This electromagnetic-type Lagrangian is known to produce an approxima- tion to general relativistic interactions, as it is relativistic and includes a velocity dependent potential. As noted previously, the multivector product A J¯ is also an invariant, and so could be added as a way to include electromagnetic· . Therefore we might construct a Lagrangian = V + B 2 + A J¯, combining metric (gravity) and electromagnetic forces. L | | ·

5. Conclusion

We produce Minkowski spacetime as an emergent property of the geometric struc- ture intrinsic to three-dimensionalspace as described by the Clifford algerba Cℓ( 3), shown in Eq. (2.17). As the dimension of Cℓ( 3) is eight, we naturally produceℜ a generalised spacetime arena, with additional componentsℜ that transform as spin. The set of allowable transformation operations in Eq. (2.8) over a generalised invariant interval of Eq. (2.18) produce the conventional Lorentz transformations as special cases, as well as a more general class of transformations. We then showed that with the generalized transformations Eq. (2.4), Maxwell’s equations still remain invari- ant. We find two types of products AA¯ and A B¯ that are invariant under the general Lorentz transformations in Eq. (2.4). These two· terms are the form of the terms in the electromagnetic Lagrangian. We also find the invariant equation D(BA¯ ) = C, where A,B,C,D are multivectors, turns out to be the form of Maxwell’s equations and the Klein-Gordon equation. Also, setting ψ = BA¯ , we find the form of Dirac’s equation ∂ψ = mφ+Aψ. Fields transform differently to the backgroundspacetime, and this arises because they are produced as a product of the background F = BA¯ . Hence, in this formulation, both spacetime and the fields both arise from the same background structure Cℓ( 3). ℜ A further consequence of this derivation is that time becomes represented as the scalar component of the multivector. This interpretation thus obviates the need for an additional fourth Euclidean-type dimension to describe time. The Minkowski spacetime structure thus is seen to arise due to the nature of the interaction between the four geometrical entities in space, of points, lines, areas and , as rep- resented by Cℓ( 3). In the rest frame of a particle, four components remain in the metric thus presentingℜ proper time in the form of a which has many im- plications for physics [1, 8, 10]. This four-dimensional quaternionic form of time naturally also leads to a quantisation of the particle invariants. Minkowski Spacetime 13

The generalised invariant distance, shown in Eq. (2.18), defines an inertial La- grangian that encodes the four fundamental conservation laws, of energy, momen- tum, spin and helicity. Through adding an interaction term we reproduce the elec- tromagnetic interaction as well as providing a framework that can be generalized to allow a description of other forces, including gravity-like effects and magnetic monopoles. We thus have demonstrated how a generalised Minkowski metric naturally arises as part of the of three-dimensional space Cℓ( 3), providing clearer insight into the geometrical nature of time and space, producingℜ an expanded space- time framework with which to simply describe relativistic laws, from which new results are shown to follow. The need for an invariant speed for light, the laws of special relativity, the form of Maxwell’s and Dirac’s equations and an interaction Lagrangian all arise directly from the intrinsic geometry without resort to physical arguments.

Acknowledgment We gratefully acknowledge helpful discussions with Alex Dinovitser and insightful comments provided by Miroslav Josipovic and David Berkahn. N. Iannella’s contribution was supported by the People Programme (Marie Curie Actions) of the European Union’s Seventh Framework Programme (FP7/2007- 2013) under REA grant agreement No PCOFUND-GA-2012-600181

Appendix A. The multivector products In Clifford geometric algebra we form the space of multivectors 3 2 3 ℜ⊕ℜ ⊕ ℜ ⊕ 3 3, an eight-dimensional real vector space denoted by Cℓ( 3). This thusV con- ℜ ℜ sistsV of the sum of a scalar, vector, bivector and trivector. Defining vectors v = v1e1 + v2e2 + v3e3 and u = u1e1 + u2e2 + u3e3, where vi, vi , we find their algebraic product using the distributive law of over∈ ℜ as

uv = (e1u1 + e2u2 + e3u3)(e1v1 + e2v2 + e3v3) (A.1) = u v + u v + u v + (u v v u )e e 1 1 2 2 3 3 2 3 − 2 3 2 3 +(u v u v )e e + (u v v u )e e 1 3 − 3 1 1 3 1 2 − 1 2 1 2 = u v + u v, · ∧ which produces a sum of symmetric and antisymmetric products. We can therefore write u v = 1 (uv + vu) , u v = 1 (uv vu). (A.2) · 2 ∧ 2 − It can be convenient to write the generalised boost operators in Eq. (2.8), as

φ(a jb)/√(a jb)2 a jb e ± ± = cosh φ + ± sinh φ, (A.3) (a jb)2 ± p where tanh φ = (a + jb)2, which upon rearrangement implies cosh φ =1/ 1 pa2 + b2 2ja b. − − · p 14Chappell, John G. Hartnett, Nicolangelo Iannella, Azhar Iqbal and Derek Abbott

Given two multivectors A = a + v + jw + jb and B = c + x + jy + jd we have the multivector dot product as 1 A B = AB + B¯A¯ , (A.4) · 2  giving A B = ac bd + v x w y + j (bc + ad + v y + w x) , (A.5) · − · − · · · a commuting complex-like number.

References [1] I. Bars. Survey of two-time physics. Classical and Quantum Gravity, 18(16):3113, 2001. [2] W. E. Baylis. Clifford (Geometric) With Applications in Physics, Mathematics, and Engineering. Birkh¨auser, Boston, 1996. [3] W. E. Baylis. Electrodynamics: A Modern Geometric Approach. Birkh¨auser, Boston, 2001. [4] A. Carlini and J. Greensite. Why is spacetime Lorentzian? Physical Review D, 49(2):866?–878, 1994. [5] J. M. Chappell, S. P. Drake, C. L. Seidel, L. J. Gunn, A. Iqbal, A. Allison, and D. Ab- bott. Geometric algebra for electrical and electronic engineers. Proceedings of the IEEE, 102(9):1340–1363, Sept 2014. [6] J. M. Chappell, N. Iannella, A. Iqbal, and D. Abbott. Revisiting special relativity: A nat- ural algebraic alternative to Minkowski spacetime. PLoS ONE, 7(12):e51756, 12 2012. [7] J. M. Chappell, A. Iqbal, L. J. Gunn, and D. Abbott. Functions of multivector variables. PLOSONE, 10(3), 2015. [8] E. A. B. Cole. Comments on the use of three time dimensions in relativity. Physics Letters A, 76:371–372, 1980. [9] H. S. M. Coxeter. Regular Polytopes. Dover Pubns, 1973. [10] J. Dorling. The dimensionality of time. American Journal of Physics, 38:539–540, 1970. [11] T. Dray and C. A. Manogue. The geometry of the octonions. World Scientific, 2015. [12] A. Einstein. Zur Elektrodynamik bewegter K¨orper. Annalen der Physik, 322(10):891– 921, 1905. [13] M. Gogberashvili. Octonionic geometry. Advances in Applied Clifford Algebras, 15(1):55–66, 2005. [14] M. Gogberashvili. Split quaternions and particles in (2+ 1)-space. The European Physi- cal Journal C, 74(12):1–9, 2014. [15] M. Gogberashvili. Octonionic geometry and conformal transformations. International Journal of Geometric Methods in Modern Physics, page 1650092, 2016. [16] M. Gogberashvili and O. Sakhelashvili. Geometrical applications of split octonions. Advances in Mathematical Physics, 2015, 2015. [17] H. Goldstein, C. Poole, and J. Safko. . San Francisco: Addison- Wesley, 2001. [18] F. Greensite. Special relativity derived from spacetime magma. PLoS ONE, 9(6):e100583, 2014. Minkowski Spacetime 15

[19] W. Hamilton. Lectures on quaternions. Royal Irish Academy, 1853. [20] D. Hestenes. Spacetime Algebra. Gordon and Breach, New York, 1966. [21] D. Hestenes. Spacetime physics with geometric algebra. American Journal of Physics, 71:691–714, 2003. [22] C. D. Hoyle, U. Schmidt, B. R. Heckel, E. G. Adelberger, J. H. Gundlach, D. J. Kapner, and H. E. Swanson. Submillimeter test of the gravitational inverse-square law: A search for “large” extra dimensions. Phys. Rev. Lett., 86:1418–1421, Feb 2001. [23] Y. Itin and F. W. Hehl. Is the Lorentz signature of the metric of spacetime electromag- netic in origin? Annals of Physics, 312:60?–83, 2004. [24] H. Kadowaki, N. Doi, Y. Aoki, Y. Tabata, T. J. Sato, J. W. Lynn, K. Matsuhira, and Z. Hiroi. Observation of magnetic monopoles in spin ice. Journal of the Physical Society of Japan, 78(10):103706, 2009. [25] D. Lehmkuhl. Why einstein did not believe that geometrizes gravity. Studies in History and Philosophy of Science Part B: Studies in History and Philosophy of Modern Physics, 46:316–326, 2014. [26] K. A. Milton. Theoretical and experimental status of magnetic monopoles. Reports on Progress in Physics, 69(6):1637, 2006. [27] Z. Oziewicz and W. S. Page. The many relative spaces of galileo and poincar´e. Proceed- ings of the Natural Philosophy Alliance, 9:406–409, 2012. [28] J. W. Schutz. Affine structure and isotropy imply -time and the or- thochronous Poincar´egroup. Journal of Mathematical Physics, 30(3):635–638, 1989. [29] L. Silberstein. Quaternionic form of relativity. The London, Edinburgh, and Dublin Philosophical Magazine and Journal of Science, 23(137):709–809, 1912. [30] M. Tegmark. On the dimensionality of spacetime. Classical and Quantum Gravity, 14:L69–?L75, 1997. [31] H. van Dam and Y. J. Ng. Why 3+1 metric rather than 4+0 or 2+2? Physics Letters B, 520:159–?162, 2001. [32] A. Yahalom. The geometrical meaning of time. Foundations of Physics, 38:489–?497, 2008. [33] J. R. Zeni and W. A. Rodrigues. A thoughtful study of Lorentz transformations by Clif- ford algebras. International Journal of Modern Physics A, 7:1793–1817, 1992.

James M. Chappell School of Electrical and Electronic Engineering, University of Adelaide, SA 5005 Australia e-mail: [email protected]

John G. Hartnett Institute for Photonics & Advanced Sensing (IPAS), and the School of Physical Sciences, University of Adelaide, Adelaide SA 5005 Australia e-mail: [email protected] 16Chappell, John G. Hartnett, Nicolangelo Iannella, Azhar Iqbal and Derek Abbott

Nicolangelo Iannella University of Oslo Dept of Biosciences PostBoks 1066 Blindern 0316 Norway Azhar Iqbal School of Electrical and Electronic Engineering, University of Adelaide, SA 5005 Australia Derek Abbott School of Electrical and Electronic Engineering, University of Adelaide, SA 5005 Australia e-mail: [email protected]