The Bloch Gyrovector

Hyperbolic vectors are called gyrovectors. We show that the Bloch vector of quantum mechanics is a gyrovector. The Bures fidelity between two states of a qubit is generated by two Bloch vectors. Treating these as gyrovectors rather than vectors results in our novel expression for the Bures fidelity, expressed in terms of its two generating Bloch gyrovectors. Taming the Thomas precession of Einstein's special theory of relativity led to the advent of the theory of gyrogroups and gyrovector spaces. Gyrovector spaces, in turn, form the setting for various models of the hyperbolic geometry of Bolyai and Lobachevski just as vector spaces form the setting for the standard model of Euclidean geometry. It is the recent advent of the theory of gyrogroups and gyrovector spaces that allows the Bures fidelity to be studied in its natural context, hyperbolic geometry, resulting in our new representation of the Bures fidelity, that reveals simplicity, elegance, and hyperbolic geometric significance.     

Midpoints in gyrogroups

The obscured Thomas precessionof the special theory of relativity (STR) has been soared into prominence by exposing the mathematical structure, called a gyrogroup,to which it gives rise [A. A. Ungar, Amer. J. Phys.59,824 (1991)], and the role that it plays in the study of Lorentz groups [A. A. Ungar, Amer. J. Phys.60,815 (1992); A. A. Ungar, J. Math. Phys.35,1408 (1994); A. A. Ungar, J. Math. Phys.35,1881 (1994)]. Thomas gyrationresults from the abstraction of Thomas precession.As such, its study sheds light on relativistic velocity spaces and their symmetries which are concealed in Thomas precession. In order to uncover new properties of relativistic gyrogroups, we employ in this article the group theoretic concepts of divisible groupsand two-torsion free groupsto construct midpointsin gyrogroups. Systems of successive midpoints then describe straight gyrolinesand suggest a new, natural distance function that involves a Thomas gyration. These, in turn, reveal a new, interesting geometry that underlies relativistic velocity spaces. In this resulting gyrogeometrythe straight gyrolines form geodesics under a distance function which turns out to be the Poincaré hyperbolic distance function relaxed by a Thomas gyration. These geodesics do obey the parallel axiom of Euclidean geometry. Ironically, (i) attempts to understand the parallel postulate of Euclidean geometry gave rise to hyperbolic geometry in which the parallel postulate disappears;(ii) hyperbolic geometry gave rise to Einstein's STR; (iii) Einstein's STR established the bizarre and counterintuitive relativistic effect called Thomas precession, the abstraction of which is called Thomas gyration; and (iv) Thomas gyration now repairs in this article the Poincaré distance function of hyperbolic geometry to the point where the parallel postulate reappears.     

From Pythagoras To Einstein: The Hyperbolic Pythagorean Theorem

A new form of the Hyperbolic Pythagorean Theorem, which has a striking intuitive appeal and offers a strong contrast to its standard form, is presented. It expresses the square of the hyperbolic length of the hypotenuse of a hyperbolic right-angled triangle as the Einstein sum of the squares of the hyperbolic lengths of the other two sides, Fig. 1, thus completing the long path from Pythagoras to Einstein. Following the pioneering work of Variak it is well known that relativistic velocities are governed by hyperbolic geometry in the same way that prerelativistic velocities are governed by Euclidean geometry. Unlike prerelativistic velocity composition, given by the ordinary vector addition, the composition of relativistic velocities, given by the Einstein addition, is neither commutative nor associative due to the presence of Thomas precession. Following the discovery of the mathematical regularity that Thomas precession stores, it is now possible to extend Thomas precession by abstraction, (i) allowing hyperbolic geometry to be studied by means of analogies that it shares with Euclidean geometry; and, similarly (ii) allowing velocities and accelerations in relativistic mechanics to be studied by means of analogies that they share with velocities and accelerations in classical mechanics. The abstract Thomas precession, called the Thomas gyration, gives rise to gyrovector space theory in which the prefix gyro is used extensively in terms like gyrogroups and gyrovector spaces, gyroassociative and gyrocommutative laws, gyroautomorphisms, gyrotranslations, etc. We demonstrate the superiority of our gyrovector space formalism in capturing analogies by deriving the Hyperbolic Pythagorean Theorem in a form fully analogous to its Euclidean counterpart, thus contrasting it with the standard form in which the Hyperbolic Pythagorean Theorem is known in the literature. The hyperbolic metric, which supports the Hyperbolic Pythagorean Theorem, has a dual metric. We show that the dual metric does not support a Pythagorean theorem but, instead, it supports the -Theorem according to which the sum of the three dual angles of a hyperbolic triangle is .     

From the Group SL(2,?C) to Gyrogroups and Gyrovector Spaces and Hyperbolic Geometry

We show that the algebra of the group SL(2, C) naturally leads to the notion of gyrogroups and gyrovector spaces for dealing with the Lorentz group and its underlying hyperbolic geometry. The superiority of the use of the gyrogroup formalism over the use of the SL(2, C) formalism for dealing with the Lorentz group in some cases is indicated by (i) the validity of gyrogroups and gyrovector spaces in higher dimensions, by (ii) the analogies that they share with groups and vector spaces, and by (iii) the demonstration that gyrovector spaces form the setting for hyperbolic geometry in the same way that vector spaces form the setting for Euclidean geometry. As such, gyrogroups and gyrovector spaces provide powerful tools for the study of relativity physics.     

The Hyperbolic Geometric Structure of the Density Matrix for Mixed State Qubits

Density matrices for mixed state qubits, parametrized by the Bloch vector in the open unit ball of the Euclidean 3-space, are well known in quantum computation theory. We bring the seemingly structureless set of all these density matrices under the umbrella of gyrovector spaces, where the Bloch vector is treated as a hyperbolic vector, called a gyrovector. As such, this article catalizes and supports interdisciplinary research spreading from mathematical physics to algebra and geometry. Gyrovector spaces are mathematical objects that form the setting for the hyperbolic geometry of Bolyai and Lobachevski just as vector spaces form the setting for Euclidean geometry. It is thus interesting, in geometric quantum computation, to realize that the set of all qubit density matrices has rich structure with strong link to hyperbolic geometry. Concrete examples for the use of the gyro-structure to derive old and new, interesting identities for qubit density matrices are presented.     

The Bifurcation Approach to Hyperbolic Geometry

The Thomas precession of relativity physics gives rise to important isometries in hyperbolic geometry that expose analogies with Euclidean geometry. These, in turn, suggest our bifurcation approach to hyperbolic geometry, according to which Euclidean geometry bifurcates into two mutually dual branches of hyperbolic geometry in its transition to non-Euclidean geometry. One of the two resulting branches turns out to be the standard hyperbolic geometry of Bolyai and Lobachevsky. The corresponding bifurcation of Newtonian mechanics in the transition to Einsteinian mechanics indicates that there are two, mutually dual, kinds of uniform accelerations. Furthermore, while current hyperbolic geometry does not use the notion of vector at all (I. M. Yaglom, Geometric Transformations III, p. 135, trans. by Abe Shenitzer, Random House, New York, 1973), our bifurcation approach exposes the elusive hyperbolic vectors, that we call gyrovectors.     

Classes of operations in quantum theory

Recent work of Davies and Lewis has shown how partially ordered vector spaces provide a setting in which the operational approach to statistical physical systems may be studied. In this paper, certain physically relevant classes of operations are identified in the abstract framework, some of their properties are derived and applications to the Von Neumann algebra model for quantum theory are discussed.     

Thomas Precession and the Bargmann-Michel-Telegdi Equation

A direct method showing the Thomas precession for an evolution of any vector quantity (a spatial part of a four-vector) is proposed. A useful application of this method is a possibility to trace correctly the presence of the Thomas precession in the Bargmann-Michel-Telegdi equation. It is pointed out that the Thomas precession is not incorporated in the kinematical term of the Bargmann-Michel-Telegdi equation, as it is commonly believed. When the Bargmann-Michel-Telegdi equation is interpreted in curved spacetimes, this term is shown to be equivalent to the affine connection term in the covariant derivative of the spin four-vector evolving in a gravitational field. It then contributes to the geodetic precession. The described problem is an interesting and unexpected example showing that approximate methods used in special relativity, in this case to identify the Thomas precession, can distort the true meaning of physical laws.     

Thomas rotation and the parametrization of the Lorentz transformation group

Two successive pure Lorentz transformations are equivalent to a pure Lorentz transformation preceded by a 3×3 space rotation, called a Thomas rotation. When applied to the gyration of the rotation axis of a spinning mass, Thomas rotation gives rise to the well-knownThomas precession. A 3×3 parametric, unimodular, orthogonal matrix that represents the Thomas rotation is presented and studied. This matrix representation enables the Lorentz transformation group to be parametrized by two physical observables: the (3-dimensional) relative velocity and orientation between inertial frames. The resulting parametrization of the Lorentz group, in turn, enables the composition of successive Lorentz transformations to be given by parameter composition. This composition is continuously deformed into a corresponding, well-known Galilean transformation composition by letting the speed of light approach infinity. Finally, as an application the Lorentz transformation with given orientation parameter is uniquely expressed in terms of an initial and a final time-like 4-vector.     

Co-symplectic geometry and co-Lagrangian subspaces

A new natural structure on the tangent spaces of a co-tangent bundle is introduced and some of its properties are investigated. This structure is based on a symmetric bilinear form and leads to a geometry that is, in many respects, analogous to the symplectic geometry. The new structure can thus justifiably be called co-symplectic geometry. The null structure of co-symplectic vector spaces is investigated in detail. It is found that the manifold of all maximally isotropic subspaces of a co-symplectic vector space is a homogeneous compact manifold of dimension 1/2n(n–1) consisting of two diffeomorphic components and having fundamental groupZ ₂Z ₂. A representation of the fundamental group of this manifold is explicitly constructed in terms of quadrupoles of co-Lagrangian subspaces.     

Moduli of ADHM sheaves and the local Donaldson-Thomas theory

The ADHM construction establishes a one-to-one correspondence between framed torsion free sheaves on the projective plane and stable framed representations of a quiver with relations in the category of complex vector spaces. This paper studies the geometry of moduli spaces of representations of the same quiver with relations in the abelian category of coherent sheaves on a smooth complex projective curve X. In particular it is proven that this moduli space is virtually smooth and related by relative Beilinson spectral sequence to the curve counting construction via stable pairs of Pandharipande and Thomas. This yields a new conjectural construction for the local Donaldson-Thomas theory of curves as well as a natural higher rank generalization.     

A Domain of Spacetime Intervals in General Relativity

We prove that a globally hyperbolic spacetime with its causality relation is a bicontinuous poset whose interval topology is the manifold topology. From this one can show that from only a countable dense set of events and the causality relation, it is possible to reconstruct a globally hyperbolic spacetime in a purely order theoretic manner. The ultimate reason for this is that globally hyperbolic spacetimes belong to a category that is equivalent to a special category of domains called interval domains. We obtain a mathematical setting in which one can study causality independently of geometry and differentiable structure, and which also suggests that spacetime emerges from something discrete.     

Random walks in the space of conformations of toy proteins

Monte Carlo dynamics of the lattice toy protein of 48 monomers is interpreted as a random walk in an abstract (discrete) space of conformations. To test the geometry of this space, we examine the return probability P(T), which is the probability to find the polymer in the native state after T Monte Carlo steps, provided that it starts from the native state at the initial moment. Comparing computational data with the theoretical expressions for P(T) for random walks in a variety of different spaces, we show that conformation spaces of polymer loops may have nontrivial dimensions and exhibit negative curvature characteristics of Lobachevskii (hyperbolic) geometry.     

Stationary Worldline Power Distributions

A worldline with a time-independent spectrum is called stationary. Such worldlines are arguably the most simple motions in physics. Barring the trivially static motion, the non-trivial worldlines are uniformly accelerated. As such, a point charge moving along a stationary worldline will emit constant radiative power. The angular distribution, maximum angle scaling and Thomas precession of this power is found for all stationary worldlines including those with torsion and hypertorsion.

     

Spin flip effects in classical electrodynamics

It is shown that in the dipole approximation radiation accompanied by a spin flip in a homogeneous magnetic field can be described by the precession of the transverse component of the classical spin vector. The effect of Thomas precession on radiation by particles possessing spin and intrinsic magnetic moment is discussed. The correspondence principle for the theory of radiation by a relativistic magnetic moment is formulated.Translated from Izvestiya Vysshikh Uchebnykh Zavedenii, Fizika, No. 2, pp. 43–45, February, 1986.The author takes the opporstunity to thank Prof. V. G. Bagrov for a useful discussion of the results in the study.     

托马斯效应的简单诠释

托马斯进动的发现对电子自旋概念的确立有重要意义.然而,其物理图像及结论多是采用洛伦兹变换进行连续微分推导而出,过程较为繁杂,掌握难度也较大,在原子物理学教学过程中很难描述.本文通过狭义相对论中长度在运动方向缩短的概念,从电子绕行原子实一周时,在原子实坐标系和电子随动坐标系中最终角度差的积分效应出发,非常简单的论证了1/2的托马斯进动因子,其物理图像清晰,易于被学生理解和掌握.     

Supercoherent states,super-Kähler geometry and geometric quantization

Generalized coherent states provide a means of connecting square integrable representations of a semi-simple Lie group with the symplectic geometry of some of its homogeneous spaces. In the first part of the present work this point of view is extended to the supersymmetric context through the study of the OSp(2/2) coherent states. These are explicitly constructed starting from the known abstract typical and atypical representations of osp(2/2). Their underlying geometries turn out to be those of supersymplectic OSp(2/2)-homogeneous spaces. Moment maps identifying the latter with coadjoint orbits of OSp(2/2) are exhibited via Berezin's symbols. When considered within Rothstein's general paradigm, these results lead to a natural general definition of a super-Kähler supermanifold, the supergeometry of which is determined in terms of the usual geometry of holomorphic Hermitian vector bundles over Kähler manifolds. In particular, the supergeometry of the above orbits is interpreted in terms of the geometry of Einstein-Hermitian vector bundles. In the second part, an extension of the full geometric quantization procedure is applied to the same coadjoint orbits. Thanks to the super-Kähler character of the latter, this procedure leads to explicit super-unitary irreducible representations of osp(2/2) in super-Hilbert spaces of superholomorphic square-integrable sections of prequantum bundles of the Kostant type. This work lays the foundations of a program aimed at classifying Lie supergroups' coadjoint orbits and their associated irreducible representations, ultimately leading to harmonic superanalysis. For this purpose a set of consistent conventions is exhibited.Address after October 1, 1995: Faculté des sciences Jean Perrin, Université d'Artois, rue Jean Souvraz, S.P. 18, F-62307 Lens, France. E-mail: amine@gat.univ-lillel.fr.     

Batalin-Vilkovisky Formalism in the Functional Approach to Classical Field Theory

We develop the Batalin-Vilkovisky formalism for classical field theory on generic globally hyperbolic spacetimes. A crucial aspect of our treatment is the incorporation of the principle of local covariance which amounts to formulate the theory without reference to a distinguished spacetime. In particular, this allows a homological construction of the Poisson algebra of observables in classical gravity. Our methods heavily rely on the differential geometry of configuration spaces of classical fields.     

Quantum walks with an anisotropic coin II: scattering theory

We perform the scattering analysis of the evolution operator of quantum walks with an anisotropic coin, and we prove a weak limit theorem for their asymptotic velocity. The quantum walks that we consider include one-defect models, two-phase quantum walks, and topological phase quantum walks as special cases. Our analysis is based on an abstract framework for the scattering theory of unitary operators in a two-Hilbert spaces setting, which is of independent interest.

     

Regge calculus and observations. II. Further applications

The method, developed in an earlier paper, for tracing geodesies of particles and light rays through Regge calculus space-times, is applied to a number of problems in the Schwarzschild geometry. It is possible to obtain accurate predictions of light bending by taking sufficiently small Regge blocks. Calculations of perihelion precession, Thomas precession, and the distortion of a ball of fluid moving on a geodesic can also show good agreement with the analytic solution. However difficulties arise in obtaining accurate predictions for general orbits in these space-times. Applications to other problems in general relativity are discussed briefly.