Gyrovector space

A gyrovector space is a mathematical concept for studying hyperbolic geometry in analogy to the way vector spaces are used in Euclidean geometry. This vector-based approach has been developed by Abraham Albert Ungar from the late 1980s onwards. These gyrovectors can be used to unify the study of Euclidean and hyperbolic geometry.

Soon after special relativity was developed in 1905 it was realized that Einstein's velocity addition law could be interpreted in terms of hyperbolic geometry (see History of special relativity). Only colinear velocites are commutative and associative, but in general, addition of non-colinear velocities is non-associative and non-commutative. The set of admissible velocities forms a hyperbolic space. The gyrovector approach introduces the concepts of gyroassociativity and gyrocommutativity. The use of the prefix gyro comes from Thomas gyration which is the mathematical abstraction of Thomas precession into an operator called a gyrator and denoted gyr.

Gyrovectors can be used in the study of the Bloch vectors of quantum computation.

Different models of hyperbolic geometry are regulated by different gyrovector spaces. The Beltrami-Klein model is regulated by gyrovector spaces based on relativistic velocity addition. The Poincaré ball model is regulated by gyrovector spaces based on part of the formula for Möbius transformations.

Gyrovectors

A gyrovector is just a fancy name for a vector, except that instead of addition being componentwise e.g. instead of (a, b, c) + (d, e, ƒ) = (a + d, b + e, c + ƒ) you have addition defined by a formula that satisfies the axioms for a gyrogroup (see section below) such as the relativistic velocity-addition formula

The addition of vectors using ordinary addition forms a group, but relativistic addition does not form a group as it is not associative i.e. a + (b + c) ≠ (a + b) + c. Relativistic addition is not commutative either i.e. a + b ≠ b + a. So you don't have a group, but Ungar has shown that relativistic addition involves a weaker form of associativity involving an operator called gyr based on Thomas precession. The weaker form which he calls gyroassociativity is u + (v + w) = (u + v) + gyr(w). The same operator that appears in the gyroassociativity law also appears in a weaker form of commutativity called gyrocommutativity which is u + v = gyr(v + u). (gyr isn't a single operator but depends on v and u, i.e. gyr = gyr[v, u] )

So relativistic addition does not form a group, but what to call the structure? Well it is similar to a group except that the gyr operator appears in the associativity and commutativity expressions, so Ungar called this structure a gyrogroup. Vectors are based on groups. Gyrovectors are just vectors based on gyrogroups and so gyrovector spaces are a generalization of vector spaces.

In euclidean geometry the 'gyr' operator is just the identity map, and the gyroassociativity and gyrocommutativity laws reduce to the usual laws of associativity and commutativity.

Gyrogroups

Axioms

A groupoid (G, $\oplus$) is a gyrogroup if its binary operation satisfies the following axioms:

1. In G there is at least one element 0 called a left identity with 0$\oplus$a = a for all a ∈ G.
2. For each a ∈ G there is an element $\ominus$a in G called a left inverse of a with $\ominus$a$\oplus$a = 0.
3. For any a, b, c in G there exists a unique element gyr[a, b]c in G such that the binary operation obeys the left gyroassociative law: a$\oplus$(b$\oplus$c) = (a$\oplus$b)$\oplus$gyr[a, b]c
4. The map gyr[a, b]:G → G given by c → gyr[a, b]c is an automorphism of the groupoid (G, $\oplus$). That is gyr[a, b] is a member of Aut(G, $\oplus$) and the automorphism gyr[a, b] of G is called the gyroautomorphism of G generated by a, b in G. The operation gyr:G × G → Aut(G, $\oplus$) is called the gyrator of G.
5. The gyroautomorphism gyr[a, b] has the left loop property gyr[a, b] = gyr[a$\oplus$b, b]

The first pair of axioms are like the group axioms. The last pair present the gyrator axioms and the middle axiom links the two pairs.

Since a gyrogroup has inverses and an identity it qualifies as a quasigroup and a loop.

Gyrogroups are a generalization of groups. Every group is an example of a gyrogroup with gyr defined as the identity map.

An example of a finite gyrogroup is given in.

Identities

Some identities which hold in any gyrogroup (G,$\oplus$):

1. $gyr[\mathbf {u} ,\mathbf {v} ]\mathbf {w} =\ominus (\mathbf {u} \oplus \mathbf {v} )\oplus (\mathbf {u} \oplus (\mathbf {v} \oplus \mathbf {w} ))$ (gyration)
2. $\mathbf {u} \oplus (\mathbf {v} \oplus \mathbf {w} )=(\mathbf {u} \oplus \mathbf {v} )\oplus gyr[\mathbf {u} ,\mathbf {v} ]\mathbf {w}$ (left associativity)
3. $(\mathbf {u} \oplus \mathbf {v} )\oplus \mathbf {w} =\mathbf {u} \oplus (\mathbf {v} \oplus gyr[\mathbf {v} ,\mathbf {u} ]\mathbf {w} )$ (right associativity)

More identities given on page 50 of .

Gyrocommutativity

A gyrogroup (G,$\oplus$) is gyrocommutative if its binary operation obeys the gyrocommutative law: a $\oplus$ b = gyr[a, b](b $\oplus$ a). For relativistic velocity addition, this formula showing the role of rotation relating a+b and b+a was published in 1914 by Ludwik Silberstein

Coaddition

In every gyrogroup, a second operation can be defined called coaddition: a$\boxplus$ b = a$\oplus$ gyr[a,$\ominus$b]b for all a, b  ∈  G. Coaddition is commutative if the gyrogroup addition is gyrocommutative.

Alternative terminology

Gyrogroups are a type of Bol loop. Gyrocommutative gyrogroups are equivalent to K-loops although defined differently. The terms Bruck loop and dyadic symset are also in use.

Gyrotrigonometry

Gyrotrigonometry is the use of gyroconcepts to study hyperbolic triangles.

Hyperbolic trigonometry as usually studied uses the hyperbolic functions cosh, sinh etc, and this contrasts with spherical trigonometry which uses the Euclidean trigonometric functions cos, sin, but with spherical triangle identities instead of ordinary plane triangle identities. Gyrotrigonometry takes the approach of using the ordinary trigonometric functions but in conjuction with gyrotriangle identities.

Gyroparallelogram addition

Using gyrotrigonometry, a gyrovector addition can be found which operates according to the gyroparallelogram law. This is the coaddition to the gyrogroup operation. Gyroparallelogram addition is commutative.

The gyroparallelogram law is similar to the parallelogram law in that a gyroparallelogram, is a hyperbolic quadrilateral the two gyrodiagonals of which intersect at their gyromidpoints, just as a parallelogram is a Euclidean quadrilateral the two diagonals of which intersect at their midpoints.

Poincaré disc/ball model and Möbius addition

The Möbius transformation of the open unit disc in the complex plane is given by the polar decompostion

$z\to {e^{i\theta }}{\frac {a+z}{1+a{\bar {z}}}}$ which can be written as $e^{i\theta }{(a\oplus _{M}{z})}$ which defines the Möbius addition ${a\oplus _{M}{z}}={\frac {a+z}{1+a{\bar {z}}}}$.

To generalize this to higher dimensions the complex numbers are considered as vectors in the plane R^2, and Möbius addition is rewritten in vector form as:

$\mathbf {u} \oplus _{M}\mathbf {v} ={\frac {(1+{\frac {2}{s^{2}}}\mathbf {u} \cdot \mathbf {v} +{\frac {1}{s^{4}}}|\mathbf {v} |^{2})\mathbf {u} +(1-{\frac {1}{s^{2}}}|\mathbf {u} |^{2})\mathbf {v} }{1+{\frac {2}{s^{2}}}\mathbf {u} \cdot \mathbf {v} +{\frac {1}{s^{4}}}|\mathbf {u} |^{2}|\mathbf {v} |^{2}}}$

This gives the vector addition of points in the Poincaré ball model of hyperbolic geometry where s=1 for the complex unit disc now becomes any s>0.

Special relativity

Beltrami-Klein disc/ball model and Einstein addition

Relativistic velocities can be considered as points in the Beltrami-Klein model of hyperbolic geometry and so vector addition in the Beltrami-Klein model can be given by the velocity addition formula. In order for the formula to generalize to vector addition in hyperbolic space of dimensions greater than 3, the formula must be written in a form that avoids use of the cross product in favour of the dot product.

In the general case, the Einstein velocity addition of two velocities $\mathbf {u}$ and $\mathbf {v}$ is given in coordinate-independent form as:

$\mathbf {u} \oplus _{E}\mathbf {v} ={\frac {1}{1+{\frac {\mathbf {u} \cdot \mathbf {v} }{c^{2}}}}}\left\{\mathbf {u} +{\frac {1}{\gamma _{\mathbf {u} }}}\mathbf {v} +{\frac {1}{c^{2}}}{\frac {\gamma _{\mathbf {u} }}{1+\gamma _{\mathbf {u} }}}(\mathbf {u} \cdot \mathbf {v} )\mathbf {u} \right\}$

where $\gamma _{\mathbf {u} }$ is the gamma factor given by the equation $\gamma _{\mathbf {u} }={\frac {1}{\sqrt {1-{\frac {|\mathbf {u} |^{2}}{c^{2}}}}}}$.

Using coordinates this becomes:

${\begin{pmatrix}w_{1}\\w_{2}\\w_{3}\\\end{pmatrix}}={\frac {1}{1+{\frac {u_{1}v_{1}+u_{2}v_{2}+u_{3}v_{3}}{c^{2}}}}}\left\{\left[1+{\frac {1}{c^{2}}}{\frac {\gamma _{\mathbf {u} }}{1+\gamma _{\mathbf {u} }}}(u_{1}v_{1}+u_{2}v_{2}+u_{3}v_{3})\right]{\begin{pmatrix}u_{1}\\u_{2}\\u_{3}\\\end{pmatrix}}+{\frac {1}{\gamma _{\mathbf {u} }}}{\begin{pmatrix}v_{1}\\v_{2}\\v_{3}\\\end{pmatrix}}\right\}$

where $\gamma _{\mathbf {u} }={\frac {1}{\sqrt {1-{\frac {u_{1}^{2}+u_{2}^{2}+u_{3}^{2}}{c^{2}}}}}}$.

Einstein velocity addition is commutative and associative only when $\mathbf {u}$ and $\mathbf {v}$ are parallel. In fact

$\mathbf {u} \oplus \mathbf {v} =gyr[\mathbf {u} ,\mathbf {v} ](\mathbf {v} \oplus \mathbf {u} )$

and

$\mathbf {u} \oplus (\mathbf {v} \oplus \mathbf {w} )=(\mathbf {u} \oplus \mathbf {v} )\oplus gyr[\mathbf {u} ,\mathbf {v} ]\mathbf {w}$

where gyr is the mathematical abstraction of Thomas precession into an operator called Thomas gyration and given by

$gyr[\mathbf {u} ,\mathbf {v} ]\mathbf {w} =\ominus (\mathbf {u} \oplus \mathbf {v} )\oplus (\mathbf {u} \oplus (\mathbf {v} \oplus \mathbf {w} ))$

for all w. Thomas precession has an interpretation in hyperbolic geometry as the negative hyperbolic triangle defect.

Lorentz transformation composition

The composition of two Lorentz boosts B(u) and B(v) of velocities u and v is given by:

$B(\mathbf {u} )B(\mathbf {v} )=B(\mathbf {u} \oplus \mathbf {v} )gyr[\mathbf {u} ,\mathbf {v} ]=gyr[\mathbf {u} ,\mathbf {v} ]B(\mathbf {v} \oplus \mathbf {u} )$

This fact that either B(u$\oplus$v) or B(v$\oplus$u) can be used depending whether you write the rotation before or after explains the velocity composition paradox.

The composition of two Lorentz transformations L(u,U) and L(v,V) which include rotations U and V is given by:

$L(\mathbf {u} ,U)L(\mathbf {u} ,V)=L(\mathbf {u} \oplus U\mathbf {v} ,gyr[\mathbf {u} ,U\mathbf {v} ]UV)$

In the above, a boost can be represented as a 4x4 matrix. The boost matrix B(v) means the boost B that uses the components of v, i.e. v₁, v₂, v₃ in the entries of the matrix, or rather the components of v/c in the representation that is used in the section Lorentz transformation#Matrix form. The matrix entries depend on the components of the 3-velocity v, and that's what the notation B(v) means. It could be argued that the entries depend on the components of the 4-velocity because 3 of the entries of the 4-velocity are the same as the entries of the 3-velocity, but the usefulness of parameterizing the boost by 3-velocity is that the resultant boost you get from the composition of two boosts uses the components of the 3-velocity composition u$\oplus$v in the 4x4 matrix B(u$\oplus$v). But the resultant boost also needs to be multiplied by a rotation matrix because boost compostion (i.e. the multiplication of two 4x4 matrices) results not in a pure boost but a boost and a rotation, i.e. a 4x4 matrix that corresponds to the rotation gyr[u,v] to get B(u$\oplus$v) = B(u$\oplus$v)gyr[u,v] = gyr[u,v]B(v$\oplus$u). The notation gyr[u,v] was previously used as the rotation applied to a 3-velocity, whereas here the same notation is used to mean the 4x4 matrix rotation, but it is essentially referring to the same thing: the rotation that arises from the composition of two boosts.

If the 3x3 matrix form of the rotation applied to 3-velocities in u$\oplus$v = gyr[u,v]B(v$\oplus$u) is given by gyr[u,v], then the 4x4 matrix rotation applied to 4-coordinates is given by:

${\begin{pmatrix}1&0\\0&gyr[\mathbf {u} ,\mathbf {v} ]\end{pmatrix}}$.

Einstein gyrovector spaces

Let s be any positive constant, let (V,+,.) be any real inner product space and let V_s={v  ∈  V :|v|<s}. An Einstein gyrovector space (V_s, $\oplus$, $\otimes$) is an Einstein gyrogroup (V_s, $\oplus$) with scalar multiplication given by r$\otimes$v = s tanh(r tanh⁻¹(|v|/s))v/|v| where r is any real number, v  ∈ V_s, v ≠ 0 and r $\otimes$ 0 = 0 with the notation v $\otimes$ r = r $\otimes$ v.

Einstein scalar multiplication does not distribute over Einstein addition except when the gyrovectors are colinear (monodistributivity), but it has other properties of vector spaces: For any positive integer n and for all real numbers r,r₁,r₂ and v  ∈ V_s':

n $\otimes$ v = v $\oplus$ ... $\oplus$ v	n terms
(r1 + r2) $\otimes$ v = r1 $\otimes$ v $\oplus$ r2 $\otimes$ v	Scalar distributive law
(r1r2) $\otimes$ v = r1 $\otimes$ (r2 $\otimes$ v)	Scalar associative law
r $\otimes$(r1 $\otimes$ a $\oplus$ r2 $\otimes$ a) = r $\otimes$(r1 $\otimes$ a) $\oplus$ r $\otimes$(r2 $\otimes$ a)	Monodistributive law

Coaddition and stellar aberration

The formulae and calculations of relativistic dynamics can be made to appear similar to those of Newtonian dynamics when a quantity called coaddition is used in place of ordinary vector addition. The coaddition formula is given by u$\boxplus$ v = u$\oplus$ gyr[u,$\ominus$v]v. Coaddition simplifies to:

$\mathbf {u} \boxplus \mathbf {v} =2\otimes {\frac {\gamma _{\mathbf {u} }\mathbf {u} +\gamma _{\mathbf {v} }\mathbf {v} }{\gamma _{\mathbf {u} }+\gamma _{\mathbf {v} }}}$

where $\otimes$ is the scalar multiplication given by 2$\otimes$v=v$\oplus$v. The coaddition is commutative and is called the gyroparallelogram addition of velocity composition in analogy with the ordinary parallelogram law of vector addition for Galilean velocities. So u$\boxplus$v = v$\boxplus$u, but if a third vector w is added, there will be another rotation to consider, so a formula is derived for $\mathbf {u} \boxplus _{3}\mathbf {v} \boxplus _{3}\mathbf {w}$ (called the gyroparallelepiped law), which is symmetric in all 3 velocities, and co-addition $\boxplus$ is denoted $\boxplus _{2}$ to distinguish it from $\boxplus _{3}$. This technique is extended again to derive a formula for $\boxplus _{n}$. For colinear velocities there is no rotation, the gyr operator becomes the identity map, and $\boxplus$ coincides with $\oplus$.

The classical particle aberration formulas can be derived by employing trigonometry, the triangle equality, the triangle addition law, and the parallelogram addition law of Newtonian velocities. In full analogy, relativistic particle aberration formulas can be derived by employing gyrotrigonometry, the gyrotriangle equality, the gyrotriangle addition law, and the gyroparallelogram addition of Einsteinian velocities. In the literature, relativistic particle aberration formulas are usually obtained by employing the Lorentz transformation group.

Dark matter

Ungar takes a system of N particles each with their own invariant masses and then defines a quantity called the 'invariant mass of the system' which depends on all the relative velocites. This invariant mass m0 of the system is invariant only so long as the particles are freely moving about, but if any particles stick to each other then this m0 changes. The formula for m0 includes two terms. The first which could be called the 'newtonian mass of the system' is just the sum of the invariant masses of each particle. The second term in the formula which depends on all the velocities is given the name 'dark mass' and when this changes, m0 changes. The 'relativistic mass of the system' is the final quantity which is defined in terms of m0 and this changes in line with m0 and the dark mass. This 'relativistic mass of the system' meshes well with the Minkowski 4-vector formalism of special relativity. Moreover, this 'relativistic mass of the system' is additive in the sense that it is equal to the sum of the relativistic masses of its constituent particles.

Ungar speculates that the quantity called dark mass in these formulae contributes to the dark matter that astronomers are looking for, but cautions that this is a special-relativistic effect and need not account for all of the dark matter, there may also be a general-relativistic effect, plus other sources.. The dark mass of a galaxy increases when there is a supernova spewing out fast particles and the dark mass of a galaxy decreases whenever stars form because all the relativistic mass of the collapsing cloud particles disappears.

Proper velocity space model and proper velocity addition

A proper velocity space model of hyperbolic geometry is given by proper velocities with vector addition given by the proper velocity addition formula:

$\mathbf {u} \oplus _{U}\mathbf {v} =\mathbf {u} +\mathbf {v} +\left\{{\frac {\beta _{\mathbf {u} }}{1+\beta _{\mathbf {u} }}}{\frac {\mathbf {u} \cdot \mathbf {v} }{c^{2}}}+{\frac {1-\beta _{\mathbf {v} }}{\beta _{\mathbf {v} }}}\right\}$

where $\beta _{\mathbf {w} }$ is the beta factor given by $\beta _{\mathbf {w} }={\frac {1}{\sqrt {1+{\frac {|\mathbf {w} |^{2}}{c^{2}}}}}}$.

This formula provides a model that uses a whole space compared to other models of hyperbolic geometry which use discs or half-planes.

There have been other attempts in the literature to find the proper velocity addition formula but they were not experimentally consistent with special relativity.

Bloch vectors

Bloch vectors which belong to the open unit ball of the Euclidean 3-space, can be studied with Einstein addtion or Möbius addition.

Book reviews

A review of one of the earlier gyrovector books says the following:

"Over the years, there have been a handful of attempts to promote the non-Euclidean style for use in problem solving in relativity and electrodynamics, the failure of which to attract any substantial following, compounded by the absence of any positive results must give pause to anyone considering a similar undertaking. Until recently, no one was in a position to offer an improvement on the tools available since 1912. In his new book, Ungar furnishes the crucial missing element from the panoply of the non-Euclidean style: an elegant nonassociative algebraic formalism that fully exploits the structure of Einstein’s law of velocity composition."

Notes and references

• Domenico Giulini, Algebraic and geometric structures of Special Relativity, A Chapter in "Special Relativity: Will it Survive the Next 100 Years?", edited by Claus Lämmerzahl, Jürgen Ehlers, Springer, 2006.
• Hyperbolic Triangle Centers: The Special Relativistic Approach, Abraham Ungar, Springer, 2010
• Barycentric Calculus In Euclidean And Hyperbolic Geometry: A Comparative Introduction, Abraham Ungar, World Scientific, 2010

Further reading

• Oğuzhan Demirel, Emine Soytürk (2008), The Hyperbolic Carnot Theorem In The Poincare Disc Model Of Hyperbolic Geometry, Novi Sad J. Math. Vol. 38, No. 2, 2008, 33–39
• M Ferreira (2008), Spherical continuous wavelet transforms arising from sections of the Lorentz group, Applied and Computational Harmonic Analysis, Elsevier
• T Foguel (2000), Comment. Math. Univ. Carolinae, Groups, transversals, and loops
• Yaakov Friedman (1994), "Bounded symmetric domains and the JB*-triple structure in physics", Jordan Algebras: Proceedings of the Conference Held in Oberwolfach, Germany, August 9–15, 1992, By Wilhelm Kaup, Kevin McCrimmon, Holger P. Petersson, Published by Walter de Gruyter, ISBN 3110142511, 9783110142518
• Peter Levay (2003), Mixed State Geometric Phase From Thomas Rotations
• Azniv Kasparian, Abraham A. Ungar, (2004) Lie Gyrovector Spaces, J. Geom. Symm. Phys
• R Olah-Gal, J Sandor (2009), On Trigonometric Proofs of the Steiner–Lehmus Theorem, Forum Geometricorum, 2009 – forumgeom.fau.edu
• Gonzalo E. Reyes (2003), On the law of motion in Special Relativity
• Krzysztof Rozga (2000), Pacific Journal Of Mathematics, Vol. 193, No. 1,On Central Extensions Of Gyrocommutative Gyrogroups
• L.V. Sabinin (1995), "On the gyrogroups of Hungar", RUSS MATH SURV, 1995, 50 (5), 1095–1096.
• L.V. Sabinin, L.L. Sabinina, Larissa Sbitneva (1998), Aequationes Mathematicae, On the notion of gyrogroup
• L.V. Sabinin, Larissa Sbitneva, I.P. Shestakov (2006), "Non-associative Algebra and Its Applications",CRC Press,ISBN 0824726693, 9780824726690
• Roman Ulrich Sexl, Helmuth Kurt Urbantke, (2001), "Relativity, Groups, Particles: Special Relativity and Relativistic Symmetry in Field and Particle Physics", pages 141–142, Springer, ISBN 3211834435, 9783211834435

External links

• Einstein's Special Relativity: The Hyperbolic Geometric Viewpoint
• Hyperbolic Trigonometry and its Application in the Poincaré Ball Model of Hyperbolic Geometry