Bundle Theoretic Descriptions of Massive Single-Particle State Spaces; With a view toward Relativistic Quantum Information Theory
Abstract
Relativistic Quantum Information Theory (RQI) is a flourishing research area of physics, yet, there has been no systematic mathematical treatment of the field. In this paper, we suggest bundle theoretic descriptions of massive single-particle state spaces, which are basic building blocks of RQI. In the language of bundle theory, one can construct a vector bundle over the set of all possible motion states of a massive particle, in whose fibers the moving particle’s internal quantum state as perceived by a fixed inertial observer is encoded. A link between the usual Hilbert space description is provided by a generalized induced representation construction on the -section space of the bundle. The aim of this paper is two-fold. One is to communicate the basic ideas of RQI to mathematicians and the other is to suggest an improved formalism for single-particle state spaces that encompasses all known massive particles including those which have never been dealt with in the RQI literature. Some of the theoretical implications of the formalism will be explored at the end of the paper.
-
March 2022
1 Introduction
Special Relativity (SR) is a principle by which two inertial observers’ perceptions of the laws of physics must agree. When incorporated into Quantum Mechanics (QM), this principle manifests itself as a quantum symmetry, which is expressed as a unitary representation of the spacetime symmetry group on a quantum Hilbert space. Given a quantum Hilbert space possessing this symmetry, one can describe how one inertial observer’s perception of the quantum system is related to another inertial observer’s perception of it.
This symmetry principle gave birth to the notion “Single-particle state spaces” [51], which are just the irreducible unitary representation spaces of the group and classified by two numerical invariants called mass and spin for the massive particle case (cf. Sect. 4). So, one might say that the single-particle state spaces are the smallest possible quantum systems in which comparisons between different observers’ perceptions of one reality are possible.
However, when incorporated into Quantum Information Theory (QIT) scenarios, this principle, which is indispensable for a complete physical theory, caused some unexpected phenomena. For example, [36] observed that the spin entropy of a massive particle with spin-1/2 is an observer-dependent quantity (it can be zero in one frame and at the same time does not vanish in another frame) and [26] showed that the same conclusion holds with the spin entanglement between two massive spin-1/2 particles, which had immediate consequences on the relativistic Einstein-Podolsky-Rosen type experiment where one deals with two particles maximally entangled in the spin degree of freedom ([12, 13, 26]). See Sect. 3.1 for a brief account of these observations.
An implication that these entailed was that when one wants to use the spin of a massive spin-1/2 particle (such as electron) as an information carrier (i.e., a qubit carrier), the concepts of entropy, entanglement, and correlation of the spin may require a reassessment [37], which are important informational resources in QIT.
The work [36] has generated an intense study ([36, 26, 47, 27, 11, 37, 12, 13, 29, 14, 10, 16, 2, 15, 43, 42, 19, 44, 1, 6, 7, 39, 38, 35, 32]) that is still going on today.111However, the author strongly believes that the perplexity posed in [36] has finally reached a definitive clarification in [32]. In fact, the publication of [32] was one of the main motivations for the conception of the theory developed in this paper. See Sect. 3. A great portion of these works deal with the concepts of relativistic entanglement and correlation of the discrete degrees of freedom (such as spin) between relativistic particles in various settings, using various measures of correlation. However, as far as we know, a relativistically invariant definition of entanglement between the spins of a multi-particle system is still missing [2].
Given these conceptual profundities and prospects, it is a curious fact that there has never appeared a systematic mathematical treatment of this field. One reason for this might be because there is already a nice treatment of the single-particle state space in the physics literature (e.g., [50]). But, the recent paper [32] claimed that the above-mentioned issues arise because there is an inherent conceptual problem in this standard treatment. So, we feel that it is the right time to suggest a new mathematical framework for the single-particle state space that is more suitable for RQI investigations.
The problem with the standard treatment can never be seen clearly when one uses the usual language of Hilbert spaces and operators to describe single-particle state space. However, there is a bundle theoretic way to view single-particle state space, in which the stated conceptual problem becomes transparently visible and is easily resolved. This point of view was first introduced in [32] for the massive spin-1/2 particle case and thoroughly exploited to give a definitive mathematical clarification of the perplexity posed in [36].
In this picture, there is a vector bundle responsible for the description of a massive particle with spin-1/2, which is an assembly of two-level quantum systems corresponding to possible motion states of the particle, whose fibers are arranged in a way that reflects the perception222The precise meaning of “perception” used in this paper is given in Sect. 2.5. of a fixed inertial observer who has prepared the bundle in the first place for the description of the state of the particle. So, given a motion state , the fiber over is what the fixed observer perceives as the spin quantum system of the particle in the motion state . Therefore, this viewpoint also provides us with the precise mathematical description of moving qubit systems as perceived by a fixed inertial observer.
Moreover, there is a naturally defined -action on this bundle, which makes it a -vector bundle. An action of the element on the bundle amounts to a frame change by the transformation . That is, the bundle description of an inertial observer who is -transformed with respect to a fixed inertial observer is obtained by applying the -action on the fixed observer’s bundle description.
In this sense, the vector bundle description is similar to the classical coordinate system in which one records a particle’s motion in the spacetime by four numerical values and for which a definite transformation law from one observer to another is given. The vector bundle description is just an extension of it which takes the particle’s internal quantum states into account. We will see that the transformation law of the bundle description (i.e., the stated -action) naturally extends that of the coordinate system.
It is the objective of the present paper to develop a mathematical theory that underlies this vector bundle point of view and generalize this point of view to all known massive particles (i.e., massive particles with arbitrary spin). After completing this job, we will explore some of the theoretical implications of this viewpoint. Specifically, we will see that the Dirac equation and the Proca equations are manifestations of a fixed inertial observer’s perception of the internal quantum states of massive particles with spin-1/2 and 1, respectively.
This paper is organized as follows. In Sect. 2, we explain briefly how the ideas of SR come into play in the quantum realm, giving the definition of quantum system with Lorentz symmetry, which is the right playground for testing special relativistic considerations in QM. In Sect. 3, after defining single-particle state space, we briefly survey the perplexities posed by some of the pioneering works of RQI and summarize the main result of the paper [32], in which the problem with the standard approach of RQI, which is responsible for the mentioned perplexities, is clarified and resolved for the spin-1/2 case.
In Sect. 4, we embark on the job of extending the vector bundle point of view, which was first suggested in [32] for the spin-1/2 case, to arbitrary spin case. Specifically, we identify the massive single-particle state spaces and classify them by two numerical invariants called mass and spin. All the results of this section is well-known and included here for completeness. In Sect. 5, we develop a mathematical theory that underlies the bundle theoretic framework that this paper suggests.
In Sect. 6 we present the promised vector bundle point of view for massive particles with arbitrary spin and show that the same problem as in the spin-1/2 case persists in the general spin case and is resolved in a similar manner. Sect. 7 explores some of the theoretical implications of the present work. Concluding remarks and future research directions are given in Sect. 8.
2 Special Relativity in Quantum Mechanics
In this section, we briefly summarize the idea and formalism of Relativistic Quantum Mechanics that is used in the physics literature. The main references for this section are [50] pp.49–55 and [24] pp.39–40.
2.1 Notations
In this section, we summarize some notations and elementary facts that will be used throughout the paper.
Let . We write its 4 components as where is the time component. When we want to deal with each component, we use Greek indices such as and if we need only spatial components, we use Latin indices such as . When we want to separate time and spatial components, we also use the convention . We set .
When we encounter an expression with subscripts rather than superscripts as above, it must be understood as, for example, , where .
We also use the Einstein summation convention. So that the above becomes and also, for example, holds.
The Minkowski metric on is also denoted as
(2.1) |
Let’s denote the Pauli matrices as
(2.2) |
Denote
(2.3a) | |||||
(2.3b) |
Note that the maps are -linear isomorphisms from onto the space of Hermitian matrices .333These notations were borrowed from the book [8] with a slight modification.
A direct calculation would show
(2.4a) | |||
and hence | |||
(2.4b) |
2.2 Physical Symmetry
Let be a Hilbert space associated with a quantum system. From the axioms of QM (cf. [28]), we know that two state vectors represent the same physical state if and only if for some . So, denoting this equivalence relation as , the “quantum states” are in fact elements of , the projectivization of .
Definition 2.1.
There is a well-defined map defined as
(2.5) |
called the transition probability between and , and denoted as (I will omit the signs from now on).
If a system is in a state represented by , the probability of finding it in the state represented by (using a certain measurement which has as an eigenstate) is (cf. [50]).
Definition 2.2.
A bijective map that preserves transition probability (i.e., for all ) is called a physical symmetry.
Example 2.3.
Let . Define as for . Then, is a unitary transformation and hence induces a well-defined map such that the following diagram commutes.
Since was unitary, is a bijection and preserves transition probability. So, is a physical symmetry.
What is the significance of this permutation symmetry? Let be a state describing two independent particles in whose states are represented by and , respectively. Now, a simple calculation shows . So, the original state becomes the transformed state . So, we see that acting the physical symmetry on the state amounts to “labeling in a different manner” the two particles.
Remark 2.4.
This example gives a general insight into how we should interpret physical symmetries. Given a physical symmetry , we hypothesize two observers whose observations on the same quantum Hilbert space are related by so that if a system is in the state in ’s frame, then the system is in the state in ’s frame.
In this respect, a physical symmetry is not an operation that we can perform on the physical system, but, rather, it gives us information about how two observers’ observations are related ([50], pp.50–51).
Example 2.5.
The same analysis of Example 2.3 can be applied to any unitary or antiunitary444 is called antiunitary if is conjugate linear and for . transformation , yielding a physical symmetry
It is Wigner’s famous theorem that asserts that the converse of Example 2.5 is also true.
Theorem 2.6 (Wigner).
Given a Hilbert space and a physical symmetry , there exists a map that is either unitary or antiunitary such that the following diagram commutes.
(2.6) |
Proof.
For a proof, see [50] p.91. ∎
If we denote the set of all antiunitary maps on as , the set becomes a topological group with strong operator topology and contains as a closed normal subgroup. Note that is the identity component of this group since it is connected in the strong operator topology (cf. [40]).
According to Winger’s theorem, the set of all physical symmetries on is precisely
(2.7) |
Note that the image of in the quotient space, the projective unitary group , is the identity component of the quotient topological group .
2.3 Lorentz Symmetry
SR is most elegantly described as the “Geometry of the Minkowski spacetime ” where . Throughout, let denote this pseudo-Riemannian manifold.
Definition 2.7.
An inertial frame of reference is a global orthonormal coordinate chart on which the coordinate representation of the metric is given by (i.e., in ).
Choosing an inertial frame of reference means setting up a coordinate system in which each point (called an event) is recorded as the numerical values .
Suppose Alice and Bob have chosen inertial frames of reference and respectively. Then, by definition, is an element of the isometry group of ), which is called the Poincaré group. If we denote the linear isometry group of (called the Lorentz group) as
(2.8) |
then the Poincaré group is given by
(2.9) |
where the semidirect product is taken with respect to the natural action of on the abelian group .555The group multiplication is thus given by . Obviously, the identity is and .
The study of the group is essential in Relativistic Quantum Mechanics, which is succinctly summarized in Arthur Jaffe’s note [31]. I have taken the following result from the note, which will be needed throughout.
Theorem 2.8.
Let be the connected component of . Then, has four connected components given by
(2.10) |
where and are called parity inversion and time reversal, respectively.
Usually, one restricts attention to the connected component of (there are physical reasons for this. Cf., [50] p.75) and we will follow this practice in this paper.
So, the two observers’ records of an arbitrary event , namely, and , are related by an element such that
(2.11) |
which may be expressed as (cf. Sect. 2.1).
The postulates of SR require that every physical law and entity has an invariant meaning under this kind of coordinate transformation. Mathematically, this just means that physical entities should be objects living in the manifold and physical laws should be equations defined on the manifold which are independent of the choice of inertial frames of reference. So that, for example, the vacuum Maxwell’s equations of Electrodynamics can be written as
for some -form (called the electromagnetic tensor) on the manifold where is the differential on and is the Hodge star operator on (cf. [8]).
But, this requirement is usually expressed in coordinate representations in physics textbooks. For example, suppose a tangent vector has component representations and in Alice’s frame and Bob’s frame, respectively. Then, the transformation law Eq. (2.11) gives the relation
(2.12) |
Conversely, if any two inertial frames, and , connected by a transformation as in Eq. (2.11) observed a vector quantity (e.g. a velocity of a particle) as and in their respective frames and found the relation , then they would conclude that the vector quantities are manifestations of an object living in in their respective coordinate systems, i.e., it has meaning independent of the choice of inertial frames.
Any tensorial quantity transforming in this fashion from one inertial frame to another (e.g., for the electromagnetic tensor) is called a Lorentz covariant tensor and can be regarded as elements of a tensor bundle on . This is the usual way that physicists take to express the fact that a quantity has an invariant meaning in all inertial frames of reference.
How does this principle affect the description of QM? In special relativistic scenarios, one is interested in two inertial observers’ perceptions of one physical reality. Accordingly, consider two inertial observers Alice and Bob, whose classical observations are related by Eq. (2.11), who are now interested in the investigation of a quantum system described by the states in the Hilbert space . We naturally expect that there is a certain transformation on which depends on the Lorentz transformation such that whenever Alice perceives a quantum state , Bob would perceive it as .
Recalling Definition 2.1, the principle of SR naturally requires that the two inertial observers should obtain the same transition probability. In view of Definition 2.2, this means that is a physical symmetry. I.e., the Lorentz transformations act as physical symmetries on a quantum system.
By Theorem 2.6, this implies the existence of a map (cf. Eq. (2.7)). A moment’s thought suggests that it is natural to require that be a continuous group homomorphism.666E.g., the change of reference frame from Alice to Bob and then again to Alice should be the identity transformation and that “nearly same” inertial reference frames should observe “nearly same” quantum states, etc. See [50] pp.50–52 for details. Therefore, the range of is entirely contained in the identity component since the group is connected. In short, the principle of SR gives us a projective representation .
We can ask a question at this point. As in Wigner’s theorem, can we lift the representation to so that the following diagram holds?
The answer is “No” in general. But, Bargman’s theorem ([24], p.40) asserts that passing to the universal cover of , we always get a unitary representation. To see this, we must first identify a covering map .
Given , let be the matrix which acts on a four-vector as
(2.13a) | |||||
(2.13b) |
(cf. Eq. (2.3)) where the RHS are ordinary products of matrices in and denotes the Hermitian conjugation of a complex matrix. Then, the map
(2.14) |
is a double covering homomorphism (cf. [24]) and since is simply connected, it is a universal covering homomorphism. Via , we obtain an action of on . We will often suppress when we denote an action of an element on an element of . (e.g., and so on.) We can form a semi-direct product using this action. The map defined by is also a universal covering homomorphism. The following is a consequence of Bargman’s theorem.
Theorem 2.9.
Given a projective unitary representation which is continuous with respect to the quotient strong operator topology on , there is a (continuous) unitary representation such that the following diagram commutes.
Accordingly, we make the following definition.
Definition 2.10.
A pair is called a quantum system with Lorentz symmetry if is a Hilbert space and is a unitary representation.
Quantum systems possessing Lorentz symmetry are the right playground for testing relativistic considerations in QM.
Remark 2.11.
Let be a quantum system with Lorentz symmetry. Here comes how we should interpret relativistic scenarios using this system. Suppose two inertial observers Alice and Bob are related by a Lorentz transformation as in Eq. (2.11) and the two observers’ perceptions of one quantum state are given by and , respectively. Then, by the above discussions, we require
(2.15) |
where is a lift of via the covering map .
This transformation formula is the quantum analogue of the classical transformation formula Eq. (2.11). If for some scalar so that it descends to a projective representation as in Theorem 2.9, then this transformation does not depend on the choice of the lift . We will see that this is true in all the cases that we will be looking at (cf. Theorems 4.10).
2.4 A Standard Choice of Lorentz Boostings
Fix an inertial frame of reference (call this frame Alice) and consider a massive particle moving with respect to the frame. If the particle has some internal states (such as spin), one may want to know how it is observed in a “particle-rest frame”. But, there is an ambiguity in this concept. Namely, if one fixes a particle-rest frame, then any other frame transformed by a rotation (that is, an element in ) from this frame is also a particle-rest frame. So, to speak of internal states of a moving particle, it would be convenient for Alice to set up a choice of Lorentz transformation for each possible motion state of the particle.
We make one standard choice in this section. This will be important in later discussions and would serve as a good opportunity to get familiar with the notations of Sect. 2.1 and Eq. (2.13).
Let be the mass of the particle and denote . Then, the set of possible momentums that the particle can assume is given by
(2.16) |
For each , by Eq. (2.4b). Also, these two matrices are positive matrices with the square roots given by
(2.17a) | |||
(2.17b) |
It is easy to see that holds, which may be expressed as
(2.18) |
If we observe , we see that for the matrix
(2.19) |
we have by Eq. (2.13). is called the standard boosting sending to .
Remark 2.12.
If with and , then
2.5 Relativistic Perception
In this section, we introduce the concept of “relativistic perception”, which is the central topic of this paper. Let an inertial frame of reference be given (cf. Definition 2.7). Then, any tensorial quantity represented in the coordinate system of the frame that transforms covariantly under Lorentz transformations is called “relativistic perception” of the frame. Perhaps the best way to illustrate this concept is by giving examples and nonexamples.
Fix an inertial frame of reference (call this frame Alice) and suppose we are given a point particle with mass whose relativistic momentum and angular momentum are represented as and 777There is a systematic way to promote non-relativistic, frame-dependent dynamical quantities (e.g. angular momentum) to corresponding relativistic concepts that have meaning in every inertial frame (see the discussions right below Eq. (2.11)). For example, the non-relativistic momentum is an observer-dependent quantity, which is promoted to the four-momentum where . Likewise, there is an antisymmetric 2-tensor called the relativistic angular momentum which is promoted from the ordinary angular momentum 2-tensor . Usually, one uses a three-vector defined by , , and as the angular momentum three-vector. For more details, see [54] and [3]. in the frame, respectively. The two quantities are relativistic perceptions of Alice.
Now, suppose that the particle has non-zero spin (for the concept of spin in classical SR, see [3]). Since spin is an internal angular momentum of the particle, we come to consider a particle-rest frame (Bob) in which the spin is represented as a three-vector . Is the spin of the particle a relativistic perception of Alice? No, apart from the case when . Rather, it is a relativistic perception of Bob.
Example 2.13 (Pauli-Lubansky four-vector and Newton-Winger Spin).
Naturally, we come to wonder how the spin of a particle is perceived by arbitrary inertial frames of reference with respect to which the particle might be moving (such as Alice). The quantity should be a Lorentz covariant vector (cf. Eq. (2.12)) and become a three-vector in any particle-rest frame. The Pauli-Lubansky four-vector turns out to be the right object (see [3] for an extended discussion of this vector). In Alice’s frame, it is defined as
(2.21) |
where is an alternating -tensor which is when is a cyclic permutation of . One can show that this is a Lorentz covariant vector (i.e., relativistic perception of Alice),
(2.22) |
and when (that is, in a particle-rest frame),
(2.23) |
as it should be. So, using the concept of “relativistic perception” introduced in this section, one can say that the Pauli-Lubansky four-vector of a particle is the internal angular momentum (i.e., the spin) of the particle perceived by an observer who perceives the spin-carrying particle as moving with momentum .
Using the choice of boostings obtained in Sect. 2.4, we can obtain another important object, which will be relevant in later discussions.
Observe that for all ,
(2.24) |
holds (see Eqs. (37)–(38) of [32]), where
(2.25) |
is called the Newton-Wigner spin three-vector. The Newton-Wigner spin is just the Pauli-Lubansky four-vector perceived by an -transformed inertial observer, with respect to whom the particle is at rest consequently.
Note that while the Pauli-Lubansky vector transforms covariantly under Lorentz transformations, the Newton-Wigner spin does not. Therefore, the Pauli-Lubansky vector is relativistic perception whereas the Newton-Wigner spin is not. The relation between these two vector descriptions of the internal angular momentum of a particle (cf. Eq. (2.23)) will be a recurrent theme throughout the paper (cf. Sect. 3.3.2).
2.5.1 A scheme by which inertial observers can obtain their relativistic perception of the spin of a moving particle
In a relativistic scenario where several inertial observers are interested in the spin of a particle, it is desirable for each observer to record the spin information in the form of relativistic perception, i.e., as the Pauli-Lubansky four-vector in each frame since it is the information that has meaning in every frame (see the discussion surrounding Eq. (2.12)).
So, let’s consider an inertial observer Bob who is trying to calculate the Pauli-Lubansky four-vector of a moving particle. Classically, Bob could, in principle, measure the momentum of the particle, conceive of a frame change to a particle-rest frame using the transformation , measure the spin three-vector in that frame using spin-magnetic field interaction (cf. Ch. 7, pp.248–253 of [3]), which is precisely the Newton-Wigenr spin of the particle, and recover the Pauli-Lubansky four-vector by using Eq. (2.24).
Remark 2.14 (The quantum particle case).
However, if the particle under investigation is a quantum particle, the quest of determining the Pauli-Lubansky four-vector of the particle becomes subtle. Since the motion state of a quantum particle (see Sect. 3 for the definition) is given by a superposition of possible motion states, there is no such thing as a “particle-rest frame” in which the value of gets meaningful, from which one can calculate . In fact, there is no consensus among researchers about the precise definition of the relativistic spin operator in Relativistic Quantum Mechanics and consequently on how to measure the Pauli-Lubansky four-vector of a moving quantum particle (see [5, 4, 17, 21] on this issue).
One solution to this subtlety is to consider the wave functions representing the states of the quantum particle as fields of spin states corresponding to all possible motion states888This is where the language of bundle theory naturally comes in. apply the above classical scheme to each spin-motion state to make it contain information of the Pauli-Lubansky four-vector, i.e., relativistic perception. This will expose a critical flaw of the standard Hilbert space description of single-particle state spaces and suggest a way to fix it. These statements will be illustrated in Sects. 3.2–3.3 for massive particles with spin-1/2.
Arranging the internal quantum states in this way not only has the conceptual advantage as explained in this subsection (i.e., it is a faithful reflection of the reality demanded by the principle of SR), but also has observable consequences as we will see in Sect. 7.
3 The RQI of massive particles with spin-1/2
In this section, we define the single-particle state space and use one particular example of them (namely, the particle with mass and spin-1/2) to briefly survey the fundamental perplexities of RQI first observed by the two pioneering papers [36, 26] and how these perplexities have finally reached a definitive clarification in the recent work [32]. Those who are interested in other aspects of RQI as well are referred to [37, 34] and references therein.
Definition 3.1.
The irreducible unitary representation spaces of the group are called single-particle state spaces.
That is, single-particle state spaces are the smallest possible quantum systems which possess Lorentz symmetry. This definition is due to Wigner [51]. We will see in Sect. 6 that the Hilbert space
(3.1a) | |||
on which the representation acts as | |||
(3.1b) |
upon identifying , is a single-particle state space, which can be called the single-particle state space for particles of mass and spin-1/2. (Here for and is the Wigner rotation matrix.) Many elementary particles including electron and quarks, and also very important non-elementary particles such as proton and neutron can be described by this representation. This case has been the most intensely studied class of particles in the context of RQI and Eq. (3.1) has been the standard representation that has been used to describe the particles of this type.999Note that this representation is different from the one used in the textbook [50] by the normalization factor . This is because this factor has been subsumed into the measure in the definition of the -space in Eq. (3.1a). Throughout this paper, except in Sect. 5, will always denote the group .
3.1 The pioneering works
Here comes a brief mathematical analysis of the two pioneering works [36] and [26]. Throughout, the identification (cf. Eq. (2.16)) given by will be assumed and we will freely identify with (i.e., ). In this identification, the measure will be denoted as .
The work of Peres, Scudo, and Terno
In the seminal paper [36], the authors considered a massive spin-1/2 single-particle state space Eq. (3.1). So, an element can be written as
On this space, they formed the density matrix corresponding to a unit vector (i.e., the projection onto the one dimensional space spanned by )
and defined the reduced density matrix for spin of by taking the partial trace (cf. Ch. 19 of [28]) with respect to the -component of the Hilbert space, i.e.,
(3.2) |
Since is a tensor product system, the -factor of which contains the spin information of the single-particle states, the reduced -matrix is supposed to give the “spin information stored in of the single-particle state independent of the momentum variable ” according to the usual treatment of composite systems in QIT (cf. [30]). Naturally, the authors of the paper defined the spin entropy of the state as
(3.3) |
which is (supposedly) a quantitative measure of the spin information contained in the state .
Consider a scenario where two parties communicate with each other by using massive particles with spin-1/2 as qubit carriers. One party encodes one bit of information in the spin of a massive spin-1/2 particle and transmits the particle to another party. The receiving party is only interested in the spin information of the particle independent of its momentum. So, the reduced matrix Eq. (3.2) is expected to function as an information resource that can be manipulated as in the usual treatment of QIT.
However, the authors of the paper found a certain perplexity which was against this innocuous expectation. They examined a situation in which one inertial observer (Alice) prepares a (supposed) spin-up state
where is a normalized Gaussian distribution function, while the other observer (Bob), moving along the -axis of Alice’s coordinate system with constant velocity (denote this Lorentz transformation as ), is trying to measure the spin -component of the prerpared state. Let
be the above state in Bob’s reference frame. According to Remark 2.11, the two states are related by
Thus, if Bob is able to carry out a momentum-independent spin measurement, what he would get is the quantum informational property of the reduced density matrix given by
(3.4) |
while the spin information that Alice has prepared is contained in the matrix
(3.5) |
The authors calculated the spin entropies of Eqs. (3.1)–(3.5) and showed that, while always, is in general non-zero depending on , showing that the spin entropy of the particle has no relativistically invariant meaning. From this, they concluded that there is no definite transformation law between and which depends only on and thus, the notion “spin state of a particle” is meaningless unless one does not specify its complete state, including the momentum variables.
The work of Gingrich and Adami
Shortly, the paper [26] considered a similar scenario, but with two massive spin-1/2 particles. This time the quantum Hilbert space is given by
(3.6) |
Following [36], the authors considered a two-particle state , formed the density matrix corresponding to as
and took the partial trace with respect to the momentum variable to obtain a two-qubit bipartite state
(3.7) |
where each component represents the spin quantum system of each particle, respectively. The entanglement of this bipartite state
(3.8) |
is called the spin entanglement of the two-particle state . Here, the trace in the RHS is done with respect to any one -component of the tensor product space . The result does not depend on the choice (cf. [30]).
With these notions at hand, they considered a situation where Alice has prepared a maximal Bell state with Gaussian momentum distribution
where
and is a normalized Gaussian distribution function.
Bob is now moving with constant velocity along the -axis with respect to Alice. Denote this Lorentz transformation as . Then, using Eq. (3.1b) on the tensor product system, the state
is what the inertial observer Bob perceives as the Bell state that Alice has prepared (cf. Remark 2.11).
Now, following the above procedure, they form qubit bipartite states and , measure the spin entanglements and in their respective frames, and compare. Since
we see that is a maximally entangled state and hence always. However, the authors found that might even vanish depending on 111111In the paper, however, the authors used Wootter’s concurrence instead of our entanglement . Nevertheless, for two-qubit systems, the relations and hold. Therefore, the two notions can be equivalently used for the same purpose of showing whether a pure state is separable or not. See [53] for details., which happens precisely when the bipartite state is separable (cf. [30]). So, in particular, a two-particle state that is maximally entangled in spin with respect to one inertial frame may be perceived as a state that is completely unrelated in spin with respect to another inertial observer, a striking perplexity.
Therefore, just like the spin entropy in [36], the spin entanglement of a two-particle state is also an observer-dependent quantity, showing its inadequacy as an informational resource in the context of RQI.
As written in the introduction, an implication that these two works entailed was that when one wants to use the spin of massive particles with spin-1/2 (such as electron) as information carriers (i.e., qubit carriers), the concepts of entropy, entanglement, and correlation of the spins, which are important informational resources in QIT, may require a reassessment [37].
3.2 A problem with the standard description Eq. (3.1)
Some have questioned the meaning of the reduced density matrix Eq. (3.2). For example, [43] claimed, on the basis of a physical consideration, that a momentum-independent measurement of spin is impossible, and hence Eq. (3.2) is in fact meaningless. A related issue is the search for a right definition of relativistic spin operator, which still has no universally agreed upon definition (cf. [2, 15, 5, 4, 17, 21, 45]) whereas the paper [36] assumed it as the operator defined on the space Eq. (3.1a).
Therefore, in effect, these have questioned the validity of the interpretation that the -component in Eq. (3.1a) should give the momentum-independent spin states of the particle. As we shall see, the -component in Eq. (3.1a) is indeed inherently momentum dependent. This is most clearly seen if we look at the bundle underlying the Hilbert space instead of the space itself.
In [32], it was pointed out that can be viewed as the -section space of the trivial bundle with inner product
Denote this bundle as . This bundle is an assembly of the two-level quantum systems corresponding to each motion state (momentum) , and each wave function becomes a field of qubits. The so-called momentum-spin eigenstate used in the physics literature can be identified with the point in this formalism.
Since the full information of each quantum state of a massive particle with spin-1/2 can be recorded in the bundle , being an -section on the bundle121212This mathematical fact has nothing to do with physical measurement., each inertial observer can use the bundle instead of the space for the description of a massive particle with spin-. How is this bundle description related among different inertial observers? Suppose two inertial observers Alice and Bob are related by a Lorentz transformation as in Eq. (2.11). If Alice has prepared a particle in the state in her frame, then Bob would perceive this particle as in the state according to Sect. 2.3 (cf. Remark 2.11).
For these transformation laws for wave functions to be true, Alice’s bundle and Bob’s bundle should be related by the bundle isomorphism
(3.9) |
so that the transformation law for the sections
(3.10) |
becomes . The following commutative diagram is useful in visualizing the transformation law.
(3.11) |
Now, suppose two inertial observers Alice and Bob are related by a Lorentz transformation as in Eq. (2.11). Since the -bundle description of the two observers are related by Eq. (3.9), we have
(3.12) |
for .
To see what physical implications that this equation entails, we need a brief digression into the quantum mechanics of the two-level system.
If is a qubit, that is, , then, it is the definite spin-up state along the direction , which means . In fact,
(3.13) |
since a state orthogonal to is the spin-down state along the direction . So, we see that the state is completely characterized by the three-vector and we may call it the spin direction of .
Now, suppose an inertial observer Bob is interested in the relativistic perception of the spin of a quantum particle whose state is given by . Since the particle does not have definite momentum, Bob cannot naively apply the classical scheme given in Sect. 2.5.1 to obtain the relativistic perception. So, he resorts to the strategy outlined in Remark 2.14.
As argued above, the state of the particle can be represented as a section of the -section space of the bundle . So, the full information of the state can be expressed as . Now, treating each motion-spin state as a moving qubit with momentum and spin state , we try to apply the scheme of Sect. 2.5.1.
First, Bob transforms his frame by , getting an inertial frame Alice in whose frame the qubit is at rest, calculate the spin direction of the qubit in that frame, and use Eq. (3.12) to obtain his relativistic perception of the spin. If, by calculating the spin direction , Alice finds that the qubit is , then Bob would conclude that his relativistic perception of the qubit is according to Eq. (3.12), whose spin direction is again by Eq. (3.13).
However, the relativistic perception of in Bob’s frame should be according to Eq. (2.12), which is not equal to in general (cf. [19]). Therefore, we conclude that, without recourse to the frame change , the three-vector , and hence the qubit itself, does not reflect Bob’s perception of the spin state.
So, Eq. (3.12) tells us that the qubits in are not Bob’s perception (in the sense of Sect. 2.5) of the spin state if the qubits in are the perception of the -transformed observer Alice131313Throughout the paper, we assume (for obvious reason) that the elements in the fiber over the stationary state correctly reflect the relativistic perception.. In other words, the vectors contained in themselves don’t have meaning in Bob’s reference frame. They become useful only if Bob is also provided with the knowledge of . So, in particular, a state of the form in Bob’s frame cannot be called “the spin-up state along the -axis of Bob”. It only tells us that if the particle happens to have momentum , then the -transformed observer Alice would see that the particle is in the spin-up state along the -axis in her frame.
Because of this fact, when we have no access to the momentum variable, the mere information of the -component in Eq. (3.1a) does not give us any information about the spin at all, let alone the reduced density matrix Eq. (3.2) which is formed by summing over these pieces of information.
To see this last assertion explicitly, let’s look more closely at the anatomy of the reduced density matrix for spin (Eq. (3.2)). Let be a state where is a continuous -normalized function and is a continuous section such that for all , i.e. is a qubit in for each . By denoting the spin direction of each qubit as (i.e., ), we have
(3.14) |
by Eq. (3.13) (for the last expression, see Eq. (2.3)). So, the spin reduced density matrix Eq. (3.2) becomes
(3.15) |
which is just a weighted average of the spin direction of the qubits . However, since each three-vector gets its meaning only with respect to the -transformed frame (as shown above), Eq. (3.15) is a summation of vectors living in a whole lot of different coordinate systems. So, we see that this average value really has no meaning at all.141414This mathematical proof is taken from [32]. For a physical reasoning for the meaninglessness of Eq. (3.2), see [43].
Although we will not give as detailed analysis as for Eq. (3.2), we remark that the matrix Eq. (3.7) is meaningless also for the same reason. That is, since the fibers don’t reflect the perception of a fixed inertial observer who is using the bundle for the description of two particles, the mere information of the -component of Eq. (3.6) does not give the observer any information of the spin unless the observer has access to the momentum variable. Therefore, the matrix Eq. (3.7), which is just the sum of these pieces of information, has no real meaning.
This definitive clarification of the perplexities that we explored in Sect. 3.1 is due to the recent work [32]. After giving this proof, the paper went further to remark that “any anticipation that this (the matrix Eq. (3.2)) would give the spin information independent of the momentum variable is an illusion caused by the form of the standard representation space Eq. (3.1a) as a tensor product system.”
Having seen a problem with the representation space Eq. (3.1) regarding the perception of a fixed inertial observer, which was the root of the fundamental perplexities posed by the pioneering works, we now proceed to resolve this difficulty.
3.3 The perception and boosting bundle descriptions for massive spin-1/2 particles
The central idea of the paper [32] was that by introducing an Hermitian metric on the bundle , we can construct another bundle , called perception bundle, whose fibers correctly reflect each inertial observer’s “relativistic perception” introduced in Sect. 2.5. So, the problem of the -bundle description as noted in the preceding subsection is resolved in the perception bundle description. These statements will be made clear in this subsection.
Before we begin, we note that in Eq. (2.20) is not the only boosting which maps to . In fact, for any does the same job and all the preceding arguments hold just as well. Of course, if one uses a different definition of , then the representation Eq. (3.1b) is changed along with the physical meaning of the -component in Eq. (3.1a).
So, there is certain arbitrariness in the -bundle description Eq. (3.1), which reveals additional superiority of the perception bundle description since it is completely free from such choices. But, we will not pursue this -arbitrariness issue any further in this paper for simplicity (see [44, 32]). Nevertheless, for this reason, the bundle will be called the boosting bundle for massive particle with spin-1/2, signifying its dependence of the boosting .
3.3.1 The perception bundle description
On the bundle , we introduce the following Hermitian metric
(3.16) |
The Hermitian bundle will be denoted as and called the perception bundle for massive particle with spin-1/2.
Note that the map
(3.17) |
is an Hermitian bundle isomorphism. Via , the -action Eq. (3.9) is pulled back to the following -action on .
(3.18) |
Let be a qubit, i.e., , which is equivalent to . Denote the spin direction of the qubit as . Then, by Eqs. (2.20), (3.13), and (2.13),
(3.19) |
So, there is such that
(3.20) |
which will be called the Pauli-Lubansky four-vector of the qubit (cf. Example 2.13). Note that this definition is completely free from any reference to the boostings . came into the picture for the sole purpose of showing that the RHS of Eq. (3.20) can be represented by an element of in the form of Eq. (2.3).
Let Alice and Bob be inertial observers related by a Lorentz transformation as in Eq. (2.11). Then, via the isomorphism Eq. (3.17), we see that the perception bundle descriptions of the two observers are related by Eq. (3.18). Substituting into the transformation law, we obtain
(3.21) |
As in Sect. 3.2, Alice prepares a qubit in her rest frame. By Eq (3.21), the qubit looks like in Bob’s frame. He forms the Pauli-Lubansky vector for the qubit according to Eq. (3.20) to find that
(3.22) |
where is the spin direction of the qubit in Alice’s frame. This four-vector is exactly the information content of the qubit as perceived in Bob’s frame (see the paragraph following Eq. (3.13)). So, we see that each fiber correctly reflects Bob’s perception (in the sense of Sect. 2.5) of the particle’s spin state when the particle is moving with momentum (hence the name perception bundle). In this regard, choosing the perception bundle description instead of the more standard boosting bundle description seems more sensible in addressing relativistic questions. Also, see [32] for more features of the perception bundle description.
3.3.2 A relation between the two descriptions; the bundles
The relation between the two bundle descriptions and is the quantum analogue of the relation between the Pauli-Lubansky four-vector and the Newton-Wigner spin in classical SR (cf. Example 2.13). More precisely, a qubit has information of the Pauli-Lubansky four-vector of the particle (cf. Eq. (3.20)) and the corresponding vector in the boosting bundle, , has information of the Newton-Wigner spin. To see this, form the spin three-vector of as in Eq. (3.13). Then, by Eqs. (3.20) and (2.24),
(3.23) |
where is the Newton Wigner spin given by Eq. (2.25) in terms of the Pauli-Lubansky four-vector of the qubit given by Eq. (3.20).
So, we conclude that the information contained in the qubits of the bundle in relation to those of via the bundle isomorphism Eq. (3.17) is precisely the Newton-Wigner spin of the particle. The qubits in the perception bundle are “relativistic perception” just like the Pauli-Lubansky vector is (cf. Example 2.13), whereas those in the boosting bundle are not, just like the Newton-Wigner spin vector.
Now, we can give a classical analogue for each bundle description. Let be the Minkowski spacetime. Fix an inertial frame of reference (cf. Definition 2.7) and suppose there is a spinning particle with momentum and Pauli-Lubansky vector with respect to the frame. These information of the particle can be recorded as a point in the tangent bundle and expressed as in the coordinate representation of the chosen frame.
The perception bundle is the faithful quantum analogue of this coordinate representation for moving quantum systems as we have just seen in this subsection. However, the boosting bundle is the quantum version of the altered trivialization of the tangent bundle , which moreover depends on the choice of the boostings . This is an utter artificiality given the fact that there is certain arbitrariness in the choice of (see the introduction to Sect. 3.3 and references therein).
One should note, however, that the boosting bundle description has been the standard approach to the problems in RQI.
3.3.3 A relation between the two descriptions; the representations
Note that as the action gave rise to the representation (cf. Eq. (3.10)), the action also gives rise to a representation of by the formula
(3.24) |
on the Hilbert space
(3.25) |
This representation is equivalent to Eq. (3.1) via the isomorphism Eq. (3.17) and hence can be used to describe massive particles with spin-1/2 (cf. Definition 3.1). One may wonder whether the relation between the two bundles and manifests itself on the level of the two representations and . Later, we will see that this is indeed the case. But, we are forced to defer the discussion until Sect. 6.2.2 since we need to introduce several quantum operators before we can precisely state in what sense this is true.
3.4 A preview of the main results of the paper
We have seen that the fundamental perplexities posed by the two pioneering papers of RQI ([36, 26]) have arisen because the standard representation that has been predominantly used in the RQI literature (Eq. (3.1)) was constructed from a “wrong” bundle (the boosting bundle) and that by using a “right” bundle, the fibers of which correctly reflect relativistic perception (cf. Sect. 2.5) of inertial frames (the perception bundle), the perplexities are resolved.
A natural question that immediately comes to one’s mind would be that whether the same kind of bundle theoretic descriptions are possible for all kinds of particles, not just the massive spin-1/2 ones. In this paper, we are going to show that this is indeed possible for massive particles with arbitrary spin151515We leave out the massless case to a sequel paper., i.e., we are going to construct bundles whose fibers correctly reflect relativistic perception of inertial frames. Also, we will explore some of the theoretical implications of this bundle theoretic description. Specifically, we will see that some of the fundamental equations of Quantum Field Theory (QFT) are just manifestations of relativistic perception of inertial observers.
3.5 Other approaches to RQI and the scope of the paper
Before we begin, we want to mention other existing apporaches to RQI that are not covered in this paper and how the results of the present paper are related to them.
First, localized quantum systems that are relevant to quantum informational tasks such as moving cavities, point-like detectors, and localized wave packets have been discussed in the literature based on the language of QFT (cf. [2]). Since single-particle state spaces are basic building blocks of QFT (cf. [50]), the results of the present paper are closely related to this approach (cf. [13]).161616In fact, we expect that the results of this paper will give a new insight into the QFT approach. However, we do not need to use the language of QFT in this paper since we restrict our attention to how the principle of SR affects our perception of the quantum reality (of which the single-particle state spaces are the simplest examples) and leave out applications of the theory introduced in this paper to actual quantum informational scenarios, which might require QFT, to a future research direction (see the concluding remarks in Sect. 8). Those who are interested in the QFT approach are referred to [2] and references therein.
Also, in order to apply the results of the present paper to actual problems of RQI (which we leave out as a future research), one needs to know the theory of relativistic quantum measurement. One can find a good treatment in Ch. 11 of [9]. We will give a link between this theory and some of the results of the present paper in Sect. 7.4.
4 Single-particle state spaces
In this section, we identify and classify the single-particle state spaces that are called “massive particles”. The main technical tool that is needed to obtain a classification of single-particle state spaces is “Mackey machine”. Let’s set the stage for the main technical theorem. All the discussions until Theorem 4.2 can be found in [25]. First, we define induced representations.
Definition 4.1 (Induced representation).
Let be a locally compact group and be a closed subgroup such that there is a -invariant measure on . Given a unitary representation of on the Hilbert space , define
(4.1a) | |||
where , for , and is the set of all Borel functions from into . 171717A discussion about the measurability of Banach space-valued functions can be found, for example, in Appendix B of [52]. But, in all the cases that we will be looking at in this paper, is finite dimensional, to which the elementary measure theory as presented in [41] can be applied. is a vector space, of which is a subspace. Let | |||
(4.1b) |
Then, the map is a well-defined inner product on the vector space , with respect to which becomes a Hilbert space.
On this Hilbert space, we have a (continuous) unitary representation defined by
(4.2) |
∎
Now, let be a second countable locally compact group and be a closed abelian normal subgroup of such that for some closed subgroup , which means that the map given by is a homeomorphism.
Then, has a natural left action on (the dual of ) given by for and . Let be the isotropy group for . We call the little group for . Note that .
Let and be an irreducible representation of . Then, the map defined by
(4.3) |
is a well-defined irreducible representation of .
We say that the action of on is regular if the natural bijections are homeomorphisms for all when is endowed with the subspace topology. Now, let’s state the main technical theorem.
Theorem 4.2 ([25], Theorem 6.43).
Suppose , where is a closed abelian normal subgroup, a closed subgroup, and the second countable group acts regularly on . Then, the following conclusions hold.
-
1.
If and is an irreducible representation of , then is an irreducible representation of .
-
2.
Every irreducible representation of is equivalent to one of this form.
-
3.
and are equivalent if and only if and belong to the same orbit, say , and and are equivalent representations of .
Let’s apply this theorem to the group . From here on, we will follow the approach of [24]. Observe that is a closed abelian normal subgroup. To show that the action is regular, we find all the orbits in .
First, the map is a topological group isomorphism from onto ([25], p.98). Via this isomorphism, the natural action of on as defined in this section translates into a -action on given by since
where we used the fact that preserves the scalar product . For the rest of the paper, we shall remove from all expressions involving an action of on via , i.e., we write for . So, the action of on becomes
(4.4) |
from which we see that the -orbits of this action are exactly the orbits of its canonical action on .
Proposition 4.3.
The -orbits in are exactly the -orbits in , which consist of
(4.5) |
for ,
(4.6) |
for , and
The following can be used as representatives (elements for ) for these orbits:
For ,
(4.7) |
For ,
(4.8) |
For ,
For , .
Proof.
The proof is easy once one notices that each subset listed above is -invariant. ∎
Note that and used in Sect. 3 are equal to and , respectively.
These orbits are all embedded submanifolds of and the bijections are -equivariant smooth maps between transitive -manifolds. So, these bijections are of constant rank and hence diffeomorphisms when are endowed with the subspace topologies (cf. [33]), which implies that the action of on is regular. Therefore, we can apply Theorem 4.2 to .
Remark 4.4.
So, if and is the corresponding little group (that is, the isotropy subgroup of ), then every irreducible representation induces an irreducible representation
of (cf. Eq. (4.3)), which in turn induces an irreducible representation
of by Theorem 4.2.1. Moreover, Theorem 4.2.2 asserts that every irreducible representation of arises in this way and Theorem 4.2.3 tells us that if we restrict the choice of to the chosen representatives listed in Proposition 4.3, the resulting representations are all distinct.
So, the classification of single-particle state spaces will be completed once we calculate the little group for each representative listed in Proposition 4.3, find all irreducible representations of this little group, and calculate . In this paper, we will only consider the representations associated with the orbits for , which correspond to massive particles.
Let’s investigate the physical meaning of the constant which was used to classify the orbits as in Proposition 4.3. Let be any element and be an irreducible representation of the little group for . By unraveling Definition 4.1, the induced irreducible representation satisfies, for , , and ,
(4.9) |
Write . Since would represent spacetime translations (cf. Remark 2.11), we see that the four-momentum operators on this representation space, which are by definition the infinitesimal generators of the spacetime translations (cf. [28]), are given by the following formulae
(4.10a) | ||||
(4.10b) |
which are (unbounded) multiplication operators.
Since , the operator acts on the -representation space as , the multiplication by the constant . So, we see that all the vectors in the representation space of are eigenvectors of the operator with the eigenvalue . Inspired by the famous energy-momentum relation from SR (cf. [54]), we make the following definition.
Definition 4.5.
The mass of the single-particle states associated with the irreducible representation is the constant .
For the orbits , we have and hence the nonnegative number represents the mass of the particles associated with the orbit . For this reason, the orbits are called the mass shells. But, for the orbits , is an imaginary number (and hence there is an ambiguity in the definition of ). In [50], it is stated that there is no known interpretation, in terms of physical states, of the states associated with the orbits .
From now on, we will focus our attention on the representations associated with the orbits with , the massive particles, leaving the analysis of the orbit , the massless particles, to a sequel paper.
Let’s embark on the job that was set in Remark 4.4 for with .
Proposition 4.6.
For , the little group for is .
Proof.
if and only if , i.e. by Eq. (2.13), if and only if . ∎
The irreducible representations of the group are well-known to both mathematicians and physicists. But, for later discussions, we need a concrete realization. The following arguments are adapted from [49].
Let . Fix and consider the following vector space
(4.11) |
where
(4.12) |
We denote the image of in the quotient space as . There is a natural embedding given by
(4.13) |
Let be the Hermitian inner product on . It extends to a unique inner product on satisfying
(4.14) |
Via the embedding Eq. (4.13), inherits this inner product to become an inner product space. Denote . Then, is of dimension with an orthonormal basis give by
(4.15) |
Given a linear map , the map restricts to a well-defined linear map defined on the basic elements by
(4.16) |
which is unitary if is unitary.
So, the map defined by
(4.17) |
is a unitary representation of on the ()-dimensional Hilbert space , which has a natural extension given by
(4.18) |
To show that the representations are irreducible, we need the following well-known facts about the Lie algebras . Recalling the definitions of the Pauli matrices (Eq. (2.2)),
(4.19a) | |||
(4.19b) |
are respectively called the angular momentum and the boosting along the -th axis. Thery are -linearly independent, and
(4.20a) | |||||
(4.20b) |
Now, returning to and , observe that for , one can prove, by carrying out a differentiation, that
(4.21) |
Theorem 4.7.
The representations are irreducible, distinct, and exhaust all irreducible representations of . Note that the orthonormal basis Eq. (4.15) consists of the eigenvectors of the operator whose eigenvalues are given by for , respectively.
Proof.
So, if we define
(4.24) |
following the procedure of Remark 4.4, we see from Theorem 4.2 that each is distinct for each value of , and the signs, and they exhaust all irreducible representations associated with the orbits .
Remark 4.8.
We know from non-relativistic quantum mechanics that if a particle is described by the states in with carrying an irreducible -representation given in Theorem 4.7, then the number is called the spin of the particle (cf. Ch. 17 of [28]). We will see a direct link between this tensor product space and the representation space of later (see the rightmost column of Table 2).
This remark suggests the following definition.
Definition 4.9.
The value for the irreducible representation is called the spin of the single-particle states associated with this representation.
The following is the conclusion of this section.
Theorem 4.10.
Proof.
5 A bundle theoretic description of induced representation
In this section, we develop a relevant mathematical theory that will be needed in the following discussions on RQI. We assume that the readers are familiar with the basic notions of vector bundles such as sections, metrics, subbundles, and tensor products, etc. These materials can be found in [33] and [48]. All the pre-induced representations in this section will be assumed to be smooth and finite-dimensional, and all the bundles, sections, and bundle homomorphisms appearing in this section will mean smooth ones unless stated otherwise.
Section spaces
Let be a complex vector bundle. We denote its smooth and continuous section spaces by and , respectively. We define the Borel-section space of as
(5.1) |
It is an easy exercise to check that becomes a vector space with respect to the pointwise addition and scalar multiplication. In fact, it is a module over , the ring of Borel functions on .
Let be a positive Borel measure on and be an Hermitian metric on . We define the -section space of as
(5.2) |
Proposition 5.1.
Upon identifying almost everwhere equal functions, becomes a Hilbert space with the inner product
(5.3) |
Proof.
We omit the proof. ∎
Hermitian -bundle
Definition 5.2.
Let be a vector bundle. Let be a Lie group. Suppose there are -actions and such that for each , the following diagram commutes
(5.4) |
If is endowed with a metric with respect to which each becomes an isometric bundle isomorphism, then we call the triple an Hermitian -bundle. When the base space is understood, we often write it simply as and call it an Hermitian -bundle over .
Given two Hermitian -bundles and over , -equivariant isometric homomorphisms from into over are called Hermitian -bundle homomorphisms from into over .
Hermitian -bundles are related to induced representation by the following construction.
Definition 5.3.
Let be a (left) -invariant measure space and be an Hermitian -bundle over . Then, the map given by
(5.5) |
is easily seen to be a (strongly continuous) unitary representation. This representation is called the induced representation associated with .
As we shall see, these representations have a close relationship with the induced representation introduced in Definition 4.1.
Proposition 5.4.
Let be a -invariant measure space and let be an Hermitian -bundle isomorphism over . Then, the map is a Hilbert space isomorphism and gives a unitary equivalence between the two induced representations. I.e., if we denote the associated induced representations by and respectively, then
(5.6) |
for all .
Proof.
is a Hilbert space isomorphism because it is isometric on the level of the bundles. Observe that, for ,
due to the -equivariance of . ∎
The following theorem is the main result of this section.
Theorem 5.5.
Let and fix . Suppose is a unitary representation of on the Hilbert space that extends to a representation , is a global section, and there is an -invariant measure on .
Define a group element
(5.7) |
which will be called the Wigner transformation and consider the two Hermitian -bundles in Table 1 and their associated induced representations and . Then,
(5.8) |
and the map
(5.9) |
is an Hermitian -bundle isomorphism that intertwines the structures listed in Table 1.
(The perception bundle) | (The boosting bundle) | |
---|---|---|
Bundle | ||
Metric |
|
|
Action |
|
|
Space | ||
The Hermitian -bundles and in Table 1 will be called the perception bundle associated with and the boosting bundle associated with and , respectively, for reasons that will become clear in Sect. 6. Accordingly, the representation spaces and in Table 1 will be called the perception space and the boosting space, respectively.
Proof.
Since the proof needs a long list of new definitions and lemmas, it has been exiled to A. Note that the action of on is trivial. ∎
As shown in Remark 4.4, all single-particle state spaces are of the form . Thus, we have just seen that the single-particle state spaces can be expressed in terms of induced representations associated with Hermitian -bundles as defined in Definition 5.3. We have listed two relevant such descriptions in Table 1, comparisons of which lie at the heart of this paper.
6 Bundle theoretic descriptions of massive particles
In this section, we apply the mathematical framework developed in Sect. 5 to massive particle state spaces listed in Theorem 4.10 and obtain bundle theoretic descriptions of massive particles with arbitrary spin, which was first suggested in [32] for spin-1/2 case (cf. Sect. 3). For the rest of the paper, will always denote the group . Fix once and for all.
A -invariant measure on the mass shell
First, it is necessary to identify a -invariant measure on the orbit space to apply the result of Sect. 5. Write . Then, the map given by
(6.1) |
is a diffeomorphism, by which we always identify with and write . I.e., we set .
Proposition 6.1.
The following is a -invariant measure on the orbit .
(6.2) |
Proof.
For a proof, see Ch. 1 of [24]. ∎
The description table for massive particles
Note that given by Eq. (2.19) is a continuous global section. Let and consider the irreducible representation which extends to (cf. Eqs. (4.17)–(4.18)). Then, Theorem 5.5 gives us Table 2 with an intertwining isomorphism
(6.3) |
Bundle | ||
Metric |
|
|
Action |
|
|
Space | ||
6.1 The vector bundle point of view for massive particles
In [32], it was suggested that expressing some problems of RQI in terms of Hermitian -bundles has several advantages. In this picture, the bundles and are assemblies of the -level quantum systems and corresponding to each motion state (momentum) , and each wave function becomes a field of qudits. The so-called momentum-spin eigenstate used in the physics literature can be identified with the point in this formalism.191919However, each point in corresponds to a “relativistic chiral qubit” introduced in [38].
Since the single-particle state space for massive particle with spin- can be constructed from the bundles and according to Table 2, each inertial observer can use the bundles and instead of for the description of a massive particle with spin- in the sense that the full information of each quantum state that the particle can assume (which is an -section of the bundles) can be recorded in the bundle.202020This mathematical fact has nothing to do with physical measurement. How are these bundle descriptions related among different inertial observers? Suppose two inertial observers, Alice and Bob, are related by a Lorentz transformation as in Eq. (2.11). If Alice has prepared a particle in the state (cf. Eq. (6.3)) in her frame, then Bob would perceive this particle as in the state according to Sect. 2.3 (cf. Remark 2.11).
For these transformation laws for wave functions to be true, Alice’s bundles , and Bob’s bundles , should be related by the Hermitian -bundle isomorphisms
(6.5) |
and
(6.6) |
respectively, so that the transformation laws for the sections
(6.7) |
and
(6.8) |
become and , respectively. The following commutative diagrams are useful in visualizing the transformation laws.
(6.9) |
Remark 6.2.
This vector bundle viewpoint is similar to the setting up of a coordinate system in classical SR. In fact, as we see from the diagrams Eq. (6.9), it is nothing more than a momentum coordinate system with the particle’s internal quantum systems (corresponding to each possible motion state) taken into account, whose transformation law is governed by the Hermitian -actions given in Table 2. Note that the two quantum transformation laws between inertial observers (Eqs. (6.5) and (6.6)) are extensions of the classical transformation law for the momentum observation expressed by the base space transformation .
Fix an inertial observer who is interested in describing a massive quantum particle with spin-. The full information of the quantum states of the particle as perceived by the observer can be recorded either in the perception bundle or in the boosting bundle (see footnote 20). The recurring theme of the analyses given in this paper is that while the fibers of the perception bundle reflect correctly the perception (in the sense of Sect. 2.5) of the fixed observer (hence the name), each fiber of the boosting bundle is rather the perception of an -boosted observer (with respect to the fixed one) for each (hence the name) and hence is not directly accessible from the fixed observer, just as in the case which we observed in Sect. 3. So, in the context of RQI, the description provided by the bundle is conceptually more appropriate than .
Theses interpretations of the two bundles will be in a sense proved in Sect. 7, where we will see that the Dirac equation and the Proca equations, which are fundamental equations of QFT obeyed by massive particles with spin-1/2 and 1, respectively, emerge as the defining equations of the respective perception bundles. Therefore, one may say that the Dirac equations and the Proca equations are nothing but manifestations of a fixed inertial observer’s perception of the internal quantum states of massive particles with spin-1/2 and 1, respectively.
6.2 The perception and boosting bundle descriptions for massive particles with arbitrary spin
Let’s take where and see if the discussions for the case (cf. Sect. 3.3) carry over to this case as well.
6.2.1 A relation between the two descriptions; the bundles
In this case, it is not obvious how to find a relationship between the two descriptions since, for higher , qudits in a -level quantum system are not characterized by three-vectors, unlike the case.
Therefore, instead of considering a general qudit , we argue as follows. Suppose Alice has prepared a qudit which is a spin eigenstate with eigenvalue along the -axis in her rest frame. According to Theorem 4.7, this means that she has picked the state from the basis Eq. (4.15). From the -transformed Bob’s frame, the qudit should be a spin eigenstate along the -axis with eigenvalue . But, what are spin eigenstates along the -axis, a four-vector direction?
According to the discussion of Sects. 3.2–3.3, on the two-level system case, the vectors and might be called the spin eigenstates along the -axis with the eigenvalues and respectively. Let . Observe that the traceless operator
(6.10) |
(cf. Eqs. (2.13) and (2.19)) is an Hermitian operator in the fiber and , are two eigenvectors of this operator with eigenvalues , , respectively. So, we see that Eq. (6.10) is the observable for the spin along the -axis. (In fact, as can be seen from Eq. (7.26), it is the third component of the Newton-Wigner spin operator restricted to the fiber .)
Generalizing this to the -level quantum system, we see that the operator
(6.11) |
which is Hermitian on the fiber , is the spin observable along the -axis on this system. (Actually, this is the third component of the Newton-Wigner spin operator restricted to the fiber . See the remark of Sect. 6.2.2.) Since the -transformed Bob should perceive the qudit prepared by Alice as a spin eigenstate with eigenvalue along the -axis, the qudit as perceived from Bob’s frame should be an eigenstate of the operator whose eigenvalue is . By Eq. (4), we see that this is precisely
(6.12) |
Since this holds for all the basis elements listed in Eq. (4.15), we conclude that Bob’s perception (in the sense of Sect. 2.5) of the qudit , which is prepared in Alice’s rest frame, is
(6.13) |
which is precisely captured by the transformation law Eq. (6.5). Hence as remarked in Sect. 3.3, the qudits in the bundle are “relativistic perception” of a fixed inertial observer. I.e., the fibers of the perception bundle correctly reflect the perception of the fixed inertial observer (hence the name).
Also as a consequence of this fact, the equation
(6.14) |
which follows from the transformation law Eq. (6.6), tells us that the qudits in don’t reflect the perception of the fixed inertial observer in whose frame the qudit-carrying particle is moving with momentum . Rather, they are the perception of an -boosted observer (hence the name).
We conclude that the interpretations and relations given in Sect. 3.3 about the two descriptions for the spin-1/2 case hold in full generality, i.e., for all possible values of spin.
6.2.2 A relation between the two descriptions; the representations
We need to check whether the description is related to the Pauli-Lubansky four-vector and is related to the Newton-Wigner spin in relation to the former just as in Sect. 3.3. On the bundle levels, this fact is not so obvious since the qudits in a higher-level system are in general not characterized by vectors in . But, moving into the level of wave functions and operators, we can obtain an analogous relation (see Sect. 3.3.3).
For the discussion on the level of Hilbert spaces and operators, we define the Pauli-Lubansky operators which are elements of the universal enveloping algebra of (here, is the complexification of the Lie algebra of ) by
(6.15) |
where the relativistic angular momentum operators are defined as , , and , respectively (cf. Eq. (4.19)), and hence
(6.16a) | ||||
(6.16b) |
Then, the Newton-Wigner spin operator is defined as
(6.17) |
which is also an element of the universal enveloping algebra of , which will then become operators on any quantum system with Lorentz symmetry via the given representation of the group (cf. Definition 2.10).
In [32], it is proved212121The paper only deals with the case. However, if we replace by in the proof given there, then we obtain Eq. (6.19). that the operator
(6.18) |
on the Hilbert space becomes the Newton-Wigner spin operator on the Hilbert space (cf. Eq. (6.17)), i.e.,
(6.19) |
where in general, given a unitary representation of a Lie group, denotes the induced -representation of the universal enveloping algebra of the comlexified Lie algebra of the Lie group (cf. Ch. 0 of [46]).
6.2.3 The spin and Pauli-Lubansky reduced density matrices
Let be a state and be the density matrix corresponding to . Just as in Sect. 3.1, we form the spin reduced density matrix for by
(6.20) |
which is a density matrix.
We saw in Sect. 3.2 that this matrix for the case has no meaning at all. This was because, since the fibers of the bundle do not reflect the perception of a fixed inertial observer who is taking the partial trace, Eq. (6.20) becomes a summation over the objects living in a whole lot of different reference frames, which is an absurdity unless the objects are first pulled back to the fixed inertial frame before the summation takes place.
In Sect. 6.2.1, we saw that the same problem resides in the general spin case as well. I.e., the fibers of the boosting bundle for general also do not reflect the perception of a fixed inertial observer who is using this bundle. Therefore, in particular, given a state defined analogously as in Sect. 3.2, each qudit state gets meaningful only in an -transformed inertial observer (cf. Eq. (6.14) and the remark following it). So, we conclude that the spin reduced density matrix Eq. (6.20), which is expressed as
(6.21) |
is meaningless either for all values of spin .
Even though it is of some interest to see whether the phenomenon observed in [36] (cf. Sect. 3.1) is still present in the general spin case by carrying out an analytic computation of Eq. (6.20) using the formalism presented in this paper, we will not pursue that direction any further since we have just seen that Eq. (6.20) is meaningless.
In [32], moreover, it was suggested that the only way to modify Eq. (6.20) in order for it to attain a substance is by first pulling back the integrand states to the fixed inertial frame and then carry out the integration. In Sect. 6.2.1, we saw that the pulled-back integrands are precisely (cf. Eq. (6.13)). So, the modified reduced matrix is
(6.22) |
which is just the operation
(6.23) |
applied to . One should note that this operation cannot be defined for all elements in due to the non-trivial Hermitian metric (cf. Table 2). However, this operation is well-defined at least on the Schwartz section space where is a component function of the section of the trivial bundle .
In [32], Eq. (6.23) was called the Pauli-Lubansky reduced matrix since it has information about the average Pauli-Lubansky four-vector plus the average momentum in the case. It is very important to notice that Eq. (6.23) is not a partial trace operation since, after all, is not a tensor product system and second, is not the state corresponding to the qudit due to the form of the inner product (cf. Table (2)).
Nevertheless, Eq. (6.23) has some desirable features. It is positive and has a nonzero trace:
(6.24) |
and
(6.25) |
So, the matrix can be normalized to yield a density matrix. Let’s find its transformation law under a change of reference frame.
Suppose Alice has prepared a state and formed the matrix . Consider another observer Bob, in whose frame the state is . Then, according to the transformation law for the perception bundle description (cf. Table 2), we have
(6.26) |
So, we see that Eq. (6.23) is Lorentz covariant and hence has a relativistically invariant meaning, which may be interpreted as the average internal quantum state of the single-particle state as perceived by a fixed inertial observer. Investigating operational aspects of this matrix is beyond the scope of this paper. So, we leave it to researchers who are interested in exploring it.
7 Theoretical implications
In this section, we explore some of the theoretical implications of the perception bundle description. Specifically, we will see that the Dirac equation and the Proca equations (cf. [24]) are manifestations of a fixed inertial observer’s perception of the internal quantum states of massive particles with spin-1/2 and 1, respectively.
7.1 A modified framework
Besides the single-particle state spaces dealt with in Sect. 6, there are some special forms of single-particle state spaces to which the formalism of Sect. 5 cannot be directly applied. These include the Dirac bispinor representation for massive particles with spin-1/2 and the Minkowski space representation of massive particles with spin-1 (see below). To accommodate these into our formalism, we need the following modified version of Theorem 5.5.
Theorem 7.1.
Let and fix . Suppose is a unitary representation of on the Hilbert space that extends to a representation where contains as a closed subspace, is a global section, and there is an -invariant measure on .
Consider the two Hermitian -bundles in Table 1 and their associated induced representations and where the bundle is given by the range of the bundle embedding
(7.1) |
Then, this map is an Hermitian -bundle isomorphism that intertwines the structures listed in Table 3 and
(7.2) |
(The perception bundle) | (The boosting bundle) | |
---|---|---|
Bundle | ||
Metric |
|
|
Action |
|
|
Space | ||
Analogously as in Sect. 5, we call Hermitian -bundles obtained in this way perception bundles. Although we didn’t need to modify the boosting bundle description, we have written it here for the sake of comparison.
7.2 The Dirac bispinor representation of massive particles with spin-1/2
In addition to the description given in Sect. 3, there is an equivalent way to describe massive particles with spin-1/2 called the Dirac bispinor representation. In the QFT literature this representation is of paramount importance (cf. [50]). In the context of RQI, this representation has been investigated, for example in [6, 7]. Particles/antiparticles described by this representation will be referred to as Dirac particles.
Since antiparticle states will also be relevant to the discussion, we need to consider the representations associated with the two mass shells simultaneously (cf. Proposition 4.3). One must be careful in keeping track of the superscripts . Note that (cf. Proposition 4.6).
Since we are dealing with two mass shells, we must have two choices of boostings (cf. Sect. 2.4). We choose
(7.3) |
It is easy to check that for . A remark similar to Remark 2.12 also holds for with obvious modifications. To avoid clutter, we will suppress the superscripts from when appears as a subscript for an object related to the boosting bundle description.
The perception bundle for Dirac particles
Instead of choosing as in Sect. 3, we choose and its (non-unitary) extension given by
(7.4) |
Observe that the subspaces are 2-dimensional orthogonal invariant spaces with respect to . We write its corresponding subrepresentations as , i.e., we set for .
The maps given by are unitary maps intertwining and , respectively. So, we see and thus are irreducible. With the understanding that , we apply Theorem 7.1.
Proposition 7.2.
Proof.
Throughout the proof, let’s denote for for simplicity of notation. Observe that for , and ,
and hence indeed the range of the bundle maps given by Eq. (7.1) are contained in the subbundles .
Since (cf. Eq. (2.4b)), the map decomposes into two eigenspaces corresponding to the eigenvalues . Since and , we see the multiplicities of are both 2. So, are subbundles of the trivial bundle with rank 2. Since the maps Eq. (7.1) are injective at each fiber of the boosting bundle , this implies that the range bundles are all of .
The first equality of Eq. (7.6) is proved by the same calculation presented right below Table 2. Observe
Since on for each , we see the second equality in Eq. (7.6) holds. A direct computation would show that for and for . Now, observe
and use the polarization identity to see that the third identity also holds. ∎
The description table for Dirac particles
Table 4 below, which is a consequence of Theorem 7.1 and Proposition 7.2, is the description table for Dirac particles. Notice that since , we have , which represent particles/antiparticles of mass and spin-1/2, respectively.
Bundle | ||
Metric | ||
Action |
|
|
Space | ||
The isomorphisms between the two descriptions (Eq. (7.1)) in this case are given by the Hermitian -bundle isomorphisms
(7.7) |
7.2.1 The vector bundle point of view for Dirac particles
As in Sect. 6.1, the description table Table 4 tells us that if two inertial observers Alice and Bob, who are related by a Lorentz transformation as in Eq. (2.11), are using the two bundle descriptions for Dirac particles to describe a massive particle/antiparticle with spin-1/2,222222For the precise meaning of this sentence, see Sect. 6.1. then the descriptions should be related by
(7.8) |
and
(7.9) |
respectively.
7.2.2 Physical interpretations of the two bundle descriptions
Let’s see whether the discussions in Sect. 3.3 carry over to the two descriptions and as well.
For that, we need analogues of Eqs. (3.13) and (3.20). Given a bispinor , we form
(7.10) |
where is the spin direction of the qubit (cf. Eq. (3.13)). Thus,
(7.11) |
where is the Pauli-Lubansky four-vector of the qubit (cf. Eq. (3.20)).
So, just as for Eqs. (3.13) and (3.20), we define the spin direction of the bispinor as the three-vector which satisfies
(7.12) |
(here denotes the upper left component of the complex matrix ) and the Pauli-Lubansky four-vector of the bispinor as the four-vector which satisfies
(7.13) |
Using these, one can repeat the arguments in Sect. 3.3 to see that the same interpretations also hold for Dirac particles. I.e., the description is related to the Pauli-Lubansky four-vector and is related to the Newton-Wigner spin in relation to the former.
In particular, by inserting into Eq. (7.9), we see the following analogue of Eq. (3.12) still holds
(7.14) |
for (cf. Eq. (6.4)). Thus, the same remark discussed right below Eq. (3.12) still holds for . I.e., the elements in don’t reflect the perception of the fixed inertial observer who is using the bundle and hence the description inherently depends on frame change considerations.
Also, by inserting into Eq. (7.8) for and checking Eq. (7.2.2) once more, we see that one can recover the “relativistic perception” from the bispinor without recourse to frame change considerations and vice versa. In other words, the perception bundle description correctly reflects the perception of a fixed inertial observer who is using this bundle for the description of a Dirac particle.
7.2.3 Theoretical implications on the representations
The Dirac equation as a manifestation of relativistic perception
We first investigate a striking consequence of the definition of the perception representation . Fix . From Table 4, we have
(7.15) |
If we define the four-momentum operators on as in Eq. (4.10), then Eq. (7.15) and a computation analogous to Eq. (4.10) would show that by virtue of Eq. (7.5),
(7.16) |
always holds for .
Eq. (7.16) is the Dirac equation232323In Sect. 7.4, we will see how Eq. (7.16) can be converted into the more familiar form of differential equation. Cf. Eq. (7.32). which is obeyed by massive spin-1/2 particles/antiparticles and is of fundamental importance in QFT (cf. [50]). We have just found that it is automatically satisfied for all wave functions in . Given the interpretations of the perception bundles presented in Sect. 7.2.2, we find that the Dirac equation is nothing but a manifestation of a fixed inertial observer’s perception of the internal quantum states of massive particles/antiparticles with spin-1/2. This fact is even more clear if we look once again at the definition of the bundles given in Eq. (7.5). The Dirac equation is not only satisfied by the wave functions in but also manifests itself in the level of bispinors in the fibers of the perception bundles as perceived by a fixed inertial observer (See Remark 6.2 for more on this point).
The Foldy-Wouthuysen transformation
The boosting representation
(7.17a) | |||
(7.17b) |
from Table 4 has been the standard approach to the description of Dirac particles in the physics literature. However, the perception representation for Dirac particles
(7.18a) | |||
(7.18b) |
from Table 4 has also been given some attention. In fact, composing the Hermitian -bundle isomorphism Eq. (7.7) to wave functions in , we get a unitary map intertwining the two representations and . Unwinding the definitions, we see for ,
(7.19) |
holds. Notice that the last expression is the Foldy-Wouthuysen transformation suggested in [23]. (cf. [20])
This transformation has been widely used to arrange the Dirac Hamiltonian in a mathematically palatable way. Interested readers are referred to [18] for a brief historical account of it and its usefulness in dealing with Dirac particles. We have found that the Foldy-Wouthuysen transformation is a change of representations from the boosting description into the perception description.
The same reasoning as in Sect. 6.2.2 would show that
(7.20) |
holds. I.e., the -component of the space contains information of the Newton-Wigner spin on the representation space .
7.3 The Minkowski space representation of massive particles with spin-1
In this subsection, we analyze massive particles with spin-1. The and bosons which are responsible for the weak interaction are of this type. In the context of RQI, this case has been investigated, for example, in [14, 10]. Again in this subsection, we restrict our attention to the mass shell and remove all the -superscripts as we had done in Sects. 6–6.2.
The perception bundle for massive particles with spin-1
Just as in Sect. 7.2, we do not choose from Theorem 4.7. Instead, note that the representation (a restriction of the covering map Eq. (2.14)) is an irreducible unitary representation of dimension . So, by Theorem 4.7, it is equivalent to . Notice that the representation has a (non-unitary) extension . So, we can apply Theorem 7.1 with the understanding that .
Proposition 7.3.
The range bundle of Table 3 for the Minkowski space representation is given by
(7.21) |
which is a rank-3 subbundle.
Proof.
Let . Then,
since and while . So, indeed the map Eq. (7.1) maps the boosting bundle into . It is an isomorphism being an injection between two bundles of rank 3.
The first part of Eq. (7.22) is easy and for the second part, notice that the preceding calculation shows that for all and hence
where here denotes the complexified Minkowski metric. ∎
The description table for massive particles with spin-1
With the help of Proposition 7.2, we apply Theorem 7.1 to obtain Table 5, the description table for massive particles with spin-1. Note that since , we see , which represents particles of mass and spin-1. We call this representation the Minkowski space representation of massive particle with spin-1.
Bundle | ||
Metric | ||
Action |
|
|
Space | ||
7.3.1 The vector bundle point of view for massive particles with spin-1
As in Sect. 7.2.1, the description table Table 5 tells us that if two inertial observers Alice and Bob, who are related by a Lorentz transformation as in Eq. (2.11), are using the two bundle descriptions to describe a massive particle with spin-1, then the descriptions should be related by
(7.23) |
and
(7.24) |
respectively.
7.3.2 Physical interpretations of the two bundle descriptions
To find physical interpretations of the two bundle descriptions, we need to examine the three-level quantum system . Since
(7.25) |
in this case, the three vectors
(7.26) |
are eigenvectors of the operator with eigenvalues , respectively.
The vectors have the meaning of polarization in QFT (cf. [50]). In this interpretation, gives the right-handed circular polarization, the left-handed circular polarization, and the longitudinal polarization along the -axis, respectively. This interpretation becomes clear only when one expands the solutions of the Proca equations (Eq. (7.29)) as generalized linear combinations (i.e., integrals) of the plane wave solutions . In such an expression, each vector of has the meaning of the polarization along the direction of each momentum . For more details, see Sect. 5.3 of [50] together with any physics textbook that deals with electromagnetic waves.
The point is that each element is a genuine (complex) three-vector in Alice’s rest frame. So, in the -transformed Bob’s frame, the vector is perceived as the four-vector , which is precisely captured by the transformation law Eq. (7.23). Therefore, we conclude that the elements in are “relativistic perception” of a fixed observer who is using for the description of a massive particle with spin-1.
As usual, Eq. (7.24), evaluated at would give
(7.27) |
which implies that the fibers of the bundle does not reflect the perception of a fixed inertial observer who is using for the description of a massive particle with spin-1, in contrast to the -bundle description. So, we see that the interpretation of Sect. 3.3 also holds for the Minkowski space representation of massive spin-1 particles.
7.3.3 Theoretical implications on the representations
The Proca equations as a manifestation of relativistic perception
Fix . From Table 5, we have
(7.28) |
If we define the four-momentum operators on as in Eq. (4.10), then Eq. (7.28) and a computation analogous to Eq. (4.10) would show that, by virtue of Eq. (7.21) and Definition 4.5,
(7.29) |
always hold for .
The set of equations Eq. (7.29) are the Proca equations242424In Sect. 7.4, we will see how Eq. (7.29) can be converted into the more familiar form of differential equation. Cf. Eq. (7.36). which are obeyed by massive spin-1 particles and become the Maxwell equations with the Lorentz gauge condition when (cf. [50]). As in Sect. 7.2.2, we remark that given the interpretations of the bundle presented in Sect. 7.3.2, we find that the Proca equations are nothing but a manifestation of a fixed inertial observer’s perception of the internal quantum states of massive particles with spin-1. In fact, as one can see from Eq. (7.21), the Proca equations manifest themselves even in the level of elements in the fibers of the perception bundle as perceived by a fixed inertial observer.
7.4 A link between the theory of relativistic quantum measurement
Even though we have not covered any aspect of measurement in this paper, one must be conversant with the theory of relativistic quantum measurement in order to apply the mathematical framework developed in this paper to actual problems of RQI. Particularly, a relativistic measurement theory based on foliations of space-time and the Schwinger-Tomonaga equation (cf. Ch. 11 of [9]) can be applied to the single-particle state spaces analyzed in Sect. 7. We want to indicate how in this subsection.
Dirac particles
Let (cf. Table 4). For each , we define
(7.30) |
Observe that
by the definition of the norm of and Eqs. (6.2), (7.6). Therefore, we see that for each , we have and each map
(7.31) |
is an isometry (by Plancherel’s theorem). Note that Eq. (7.30) is the four-dimensional Fourier inversion formula restricted to the mass shells .
So, we see that the function defined on the spacetime at least gives rise to an -valued functional defined on the set of foliations by spacelike hyperplanes of the spacetime (such as or the foliations obtained from it by applying Lorentz transformations). On this functional, we can apply the formalism of [9] to test the relativistic measurement schemes developed there on the state of the perception space .
As a final note, observe that if we think of as a function defined on the Minkowski space , then formally we have
Massive particles with spin-1
Again, we restrict our attention to the mass shell and suppress all the -signs in the superscripts. Let (cf. Table 5). For each , we define
(7.33) |
Then,
by the definition of the norm of and Eqs. (6.2), (7.22). Since, for arbitrary -valued Schwartz class functions on ,
(here denotes the Fourier transform) holds (cf. [40]), we see that for each , we have
(7.34) |
and each map
(7.35) |
is an isometry if we endow with the obvious inner product that uses .
As in the case of Dirac particles, we can use the function defined on to obtain a -valued functional on the set of foliations by spacelike hyperplanes of the spacetime, thus providing a link between the theory of relativistic measurement.
8 Concluding remarks and future research
From the basic principles of SR and QM, we have obtained the definition of single-particle state spaces, which are the smallest possible quantum systems in which one can test relativistic considerations. We briefly surveyed the pioneering works of RQI and observed that the notions of spin state independent of momentum, spin entropy, and spin entanglement, which are important quantum informational resources, are not relativistically meaningful. Rephrasing the definition of single-particle state spaces in terms of the bundle theoretic language which is developed in this paper, we were able to figure out the root of the problem. Namely, the boosting bundle description, which has been used in the RQI literature almost exclusively, does not correctly reflect the perception of a fixed inertial observer and therefore the definitions of the above notions become illegitimate algebraic operations.
We have seen that the perception bundle description is free from this issue and hence can be used as a kind of coordinate system for a moving finite-dimensional quantum system which naturally extends the classical coordinate for a moving classical particle. We have extended the bundle descriptions to the case of massive particle with arbitrary spin, observed that the results for the spin-1/2 case holds in full generality, and defined the Pauli-Lubansky reduced matrix for massive particles with arbitrary spin, which is a Lorentz covariant -matrix containing information of average internal quantum state as perceived by a fixed inertial observer. As an application of the perception bundle description developed in this paper, we have seen that the Dirac equation and the Proca equations, which are fundamental equations of QFT obeyed by massive particles with spin-1/2 and 1, respectively, emerge as manifestations of a fixed inertial observer’s perception of the internal quantum states of massive particles with spin-1/2 and 1, respectively. We also briefly indicated a link between the formalism developed in this paper and the theory of relativistic quantum measurement.
While this paper has laid the mathematical foundation for a new framework of single-particle state spaces better suited for RQI investigation and seen some striking theoretical implications of the framework, it has not given any application of the perception bundle description to actual problems of RQI. Given the conceptual advantages of this description over the more standard boosting bundle description as shown in this paper, it is very likely that recasting subtle problems of RQI in terms of the perception bundle description will give profound insight into the problems. An approach closely related to this has appeared only very recently in [39, 38]. Interested researchers are invited to pursue this direction of study.
In the sequel to this work, however, the author is planning to investigate massless particles with helicity by applying the mathematical theory developed in this paper. More precisely, we are going to give the massless analogues of the boosting and perception bundle descriptions, survey some of the RQI papers that deal with massless particles, see if the same interpretations are possible, and draw some interesting theoretical implications from them.
Appendix A Proof of Theorem 5.5
In this appendix, we provide a proof for Theorem 5.5.
A.1 Preliminaries
To prove Theorem 5.5, we need to relate the two induced representation constructions of Definitions 4.1 and 5.3. The relation is provided by the language of principal fiber bundle and associated bundles.
Principal fiber bundle and associated bundle
The associated bundle construction of a principal fiber bundle is the primary source of the Hermitian -bundles that will be addressed in this paper. The main reference for this construction is [48], Ch. 6.
Definition A.1.
Let be a Lie group and be a right -manifold whose action is smooth and free. A smooth map is called a principal -bundle if, for every , there is an open set and an -equivariant fiber preserving diffeomorphism
If is a principal -bundle, then the right action of on is free and proper, and . Conversely, it is easy to show that if an action of on is free and proper, then is a principal -bundle (cf. [33], Ch. 21).
In particular, for every Lie group and a closed subgroup , the right multiplicative action of on is free and proper and hence is a principal -bundle. This particular class of principal bundles will be of paramount importance in what follows.
Proposition A.2.
Fix a principal -bundle . Let be a Lie group representation. Then, becomes a right -space with the action . The orbit space of this action, denoted by becomes a vector bundle over with fiber , called the bundle associated with , whose projection map is induced from the following commutative diagram.
We denote the quivalence class of by .
Proof.
To each local trivialization for corresponds a local trivialization for given by . ∎
Let . For each and , the map given by is a vector space isomorphism. For each and , there is a commutative diagram of vector space isomorphisms
(A.1) |
by the definition of .
Proposition A.3.
Let be an associated bundle where is a unitary representation. Then, the map defined in each fiber as
(A.2) |
is a well-defined (Hermitian) metric on the bundle , making an Hermitian bundle over . For an associated bundle of this form, we always regard it as an Hermitian bundle endowed with this metric.
Proof.
The diagram (A.1) tells us that we can define an inner product on by transplanting the inner product of into via the map and it does not depend on the choice of . That is, the map defined by is a well-defined inner product on . The smoothness is easily checked using local trivializations. ∎
Proposition A.4.
Let be an associated bundle. Let
(A.3a) | ||||
(A.3b) | ||||
(A.3c) |
Then, there are linear isomorphisms
(A.4a) | |||
(A.4b) | |||
(A.4c) |
all given by the same formula
(A.5) |
where is any element in the fiber . The inverses will be denoted as , i.e., .
Let
(A.6a) | ||||
and , and put | ||||
(A.6b) |
Then, the isomorphism Eq. (A.4c) induces a linear isomorphism
(A.7) |
Proof.
Given a section , define . Then, for and ,
Also, given a map satisfying for , the expression does not depend on the choice of and gives a well-defined section .
Using smooth local trivializations for and corresponding trivializations for (cf. the proof of Proposition A.2), it is an easy matter to check that and preserve continuity, smoothness, and Borel measurability. Also, it is easy to see that the two maps are inverses to each other. The rest is a straightforward calculation. ∎
Associated Hermitian -bundles
Let be a Lie group and be a closed subgroup. Consider the principal -bundle . If is a unitary representation, then the associated bundle is an Hermitian bundle over with the metric given by Eq. A.2 according to Proposition A.3.
Proposition A.5.
The bundle becomes an Hermitian -bundle over with the action
(A.8) |
covering the left multiplication map on the base space.
Proof.
The well-definedness and Hermiticity of the action are easily checked. ∎
The Hermitian -bundle over will be denoted as and called the primitive bundle associated with .
Induced representations and associated Hermitian -bundles
We can rephrase the definition of induced representation, Definition 4.1, in terms of induced representation associated with Hermitian -bundles (cf. Definition 5.3). Notice the similarity between Eqs. (4.1) and Eqs. (A.6).
Theorem A.6.
Suppose has a -invariant measure and consider the primitive bundle defined in the preceding paragraph. Denote the induced representation associated with as . Then, the isomorphism Eq. (A.7) gives a unitary equivalence between and . I.e., for and ,
(A.9) |
Proof.
∎
Thus, in what follows, when speaking of an induced representation, we always mean and denote it as .
A.2 Perception bundle
Consider the principal -bundle .
Theorem A.7.
Suppose that a unitary representation extends to a (non-unitary) representation . Then, the bundle is trivial. In fact, there is a vector bundle isomorphism
(A.10) |
Via this isomorphism, the Hermitian metric and -action on are translated into the metric
(A.11) |
(here is the adjoint operation on the algebra of continuous operators on ) and the -action
(A.12) |
on the RHS bundle, with respect to which the isomorphism Eq. (A.10) becomes an Hermitian -bundle isomorphism. The Hermitian -bundle over will be denoted as .
Proof.
The map is well-defined since . It is an isomorphism at each fiber and hence a vector bundle isomorphism.
Also, note that for and ,
since is unitary. So, is a well-defined sesquilinear form at each fiber and it is easy to check that the map Eq. (A.10) becomes a unitary map at each fiber with respect to these metrics. The statement about the actions is easy. ∎
A.3 Boosting bundle
The method of Sect. A.2 is not the only way to show that the associated bundle is trivial. Let be a principal -bundle. Given a local section , we know that the map given by
(A.13) |
is a local trivialization of (cf. [48]).
Lemma A.8.
Let be a representation. Given a (smooth) local section , the map
(A.14) |
is a (smooth) local trivialization of .
Proof.
Easy. ∎
So, in particular, if there is a global section , then the bundles and are trivial. Let’s specialize this to the case of the principal -bundle .
Theorem A.9.
Let be a unitary representation and be a global section. If the trivial bundle is endowed with the metric
(A.15) |
and the -action
(A.16) |
then it becomes an Hermitian -bundle over and the global trivialization
(A.17) |
becomes an Hermitian -bundle isomorphism onto the primitive bundle . The Hermitian -bundle will be denoted as , signifying its dependence on the choice of section .
Proof.
Straightforward. ∎
A.4 Semidirect products
We apply the preceding constructions to the case of semidirect products.
Let be a Lie group and closed subgroups such that is normal and abelian and , i.e., the map given by is a diffeomorphism. Since continuous homomorphisms between Lie groups are automatically smooth (cf. [33], Ch. 20), consists of Lie group homomorphisms from to .
The following lemma shows that the vector bundles associated with the principal bundle for not only have a (left) -action provided by Eq. (A.8), but also a (left) -action which extends it.
Lemma A.10.
Fix and a unitary representation , which induces a unitary representation as in Eq. (4.3). Consider the principal -bundle and the principal -bundle . Then, there is an -equivariant isometric bundle isomorphism
(A.19) |
whose inverse is given by . By pulling-back the -action on via this map, the -action on the bundle is extended to a -action which is given by
(A.20) |
with respect to which becomes an Hermitian -bundle over .
Proof.
is well-defined and injective since . Also, given , we have and hence , which implies that is surjective as well. Since it is an -equivariant map from a transitive -space, it is a diffeomorphism (cf. [33]). So, .
is easily seen to be a well-defined vector bundle homomorphism covering , which is an isomorphism at each fiber and hence a vector bundle isomorphism. This also preserves the metrics at each fiber essentially by definition and is trivially -equivariant. The remaining statements are now easily checked. ∎
Upon identifying , we can apply Proposition 5.4 and Theorem A.6 to represent on the Hermitian -bundle .
Lemma A.11.
Now, we are prepared to prove Theorem 5.5.
Acknowledgments
H. Lee was supported by the Basic Science Research Program through the National Research Foundation of Korea (NRF) Grant NRF-2022R1A2C1092320.
Data availability statement
Data sharing is not applicable to this article as no new data were created or analyzed in this study.
References
References
- [1] M. Aghaee, A. Rabeie, and M.V. Takook. Two and three particles entanglement; helicity and spin with momentum. J Theor Appl Phys, 11:263–268, 2017.
- [2] Paul M Alsing and Ivette Fuentes. Observer-dependent entanglement. Classical and Quantum Gravity, 29(22):224001, oct 2012.
- [3] J. L. Anderson. Principles of Relativity Physics. Academic Press, New York, 1967.
- [4] Heiko Bauke, Sven Ahrens, Christoph H. Keitel, and Rainer Grobe. Relativistic spin operators in various electromagnetic environments. Phys. Rev. A, 89:052101, May 2014.
- [5] Heiko Bauke, Sven Ahrens, Christoph H Keitel, and Rainer Grobe. What is the relativistic spin operator? New Journal of Physics, 16(4):043012, apr 2014.
- [6] Victor A. S. V. Bittencourt, Alex E. Bernardini, and Massimo Blasone. Effects of lorentz boosts on dirac bispinor entanglement. Journal of Physics: Conference Series, 1071:012001, aug 2018.
- [7] Victor A. S. V. Bittencourt and Massimo Blasone. Lorentz boosts of bispinor bell-like states. Journal of Physics: Conference Series, 1275:012026, sep 2019.
- [8] David Bleecker. Gauge Theory and Variational Principles. Dover Publications, Inc., 2005.
- [9] Heinz-Peter Breuer and Francesco Petruccione. The Theory of Open Quantum Systems. Oxford University Press, 01 2007.
- [10] Paweł Caban. Helicity correlations of vector bosons. Phys. Rev. A, 77:062101, Jun 2008.
- [11] Paweł Caban and Jakub Rembieliński. Photon polarization and wigner’s little group. Phys. Rev. A, 68:042107, Oct 2003.
- [12] Paweł Caban and Jakub Rembieliński. Lorentz-covariant reduced spin density matrix and einstein-podolsky-rosen–bohm correlations. Phys. Rev. A, 72:012103, Jul 2005.
- [13] Paweł Caban and Jakub Rembieliński. Einstein-podolsky-rosen correlations of dirac particles: Quantum field theory approach. Phys. Rev. A, 74:042103, Oct 2006.
- [14] Paweł Caban, Jakub Rembieliński, and Marta Włodarczyk. Einstein-podolsky-rosen correlations of vector bosons. Phys. Rev. A, 77:012103, Jan 2008.
- [15] Paweł Caban, Jakub Rembieliński, and Marta Włodarczyk. Spin operator in the dirac theory. Phys. Rev. A, 88:022119, Aug 2013.
- [16] Paweł Caban, Jakub Rembieliński, and Marta Włodarczyk. Covariant abstract description for a dirac particle. Open Systems & Information Dynamics, 19(4):1250027, 2012.
- [17] Lucas C. Céleri, Vasilis Kiosses, and Daniel R. Terno. Spin and localization of relativistic fermions and uncertainty relations. Phys. Rev. A, 94:062115, Dec 2016.
- [18] John P. Costella and Bruce H. J. McKellar. The foldy–wouthuysen transformation. American Journal of Physics, 63(12):1119–1121, Dec 1995.
- [19] TIAGO DEBARBA and REINALDO O. VIANNA. Quantum state of a free spin-½ particle and the inextricable dependence of spin and momentum under lorentz transformations. International Journal of Quantum Information, 10(04):1230003, Jun 2012.
- [20] A. A. Deriglazov. Nonminimal spin-field interaction of the classical electron and quantization of spin. Physics of Particles and Nuclei Letters, 17(5):738–743, Sep 2020.
- [21] Alexei A. Deriglazov and Andrey M. Pupasov-Maksimov. Relativistic corrections to the algebra of position variables and spin-orbital interaction. Physics Letters B, 761:207–212, 2016.
- [22] M. Duflo. Généralités sur les représentations induites. représentations des groupes de lie résolubles. Monographies de la Soc. Math. de Framce, 4:93–119, 1972.
- [23] Leslie L. Foldy and Siegfried A. Wouthuysen. On the dirac theory of spin 1/2 particles and its non-relativistic limit. Phys. Rev., 78:29–36, Apr 1950.
- [24] Gerald B. Folland. Quantum Field Theory, A Tourist Guide for Mathematicians. Mathematical Surveys and Monographs. American Mathematical Society, 2008.
- [25] Gerald B. Folland. A Course in Abstract Harmonic Analysis. CRC Press, 2 edition, 2015.
- [26] Robert M. Gingrich and Christoph Adami. Quantum entanglement of moving bodies. Phys. Rev. Lett., 89:270402, Dec 2002.
- [27] Robert M. Gingrich, Attila J. Bergou, and Christoph Adami. Entangled light in moving frames. Phys. Rev. A, 68:042102, Oct 2003.
- [28] Brian C. Hall. Quantum Theory for Mathematicians. Graduate Texts in Mathematics. Springer, 2013.
- [29] Song He, Shuxin Shao, and Hongbao Zhang. Quantum helicity entropy of moving bodies. Journal of Physics A: Mathematical and Theoretical, 40(36):F857–F862, aug 2007.
- [30] Alexander S. Holevo. Quantum Systems, Channels, Information: A Mathematical Introduction. De Gruyter, 2019.
- [31] Arthur Jaffe. Lorentz transformations, rotations, and boosts, 2013.
- [32] Heon Lee. Relativistic massive particle with spin-1/2: A vector bundle point of view. Journal of Mathematical Physics, 63(1):012201, 2022.
- [33] John M. Lee. Introduction to Smooth Manifolds. Springer, 2 edition, 2012.
- [34] R B Mann and T C Ralph. Relativistic quantum information. Classical and Quantum Gravity, 29(22):220301, oct 2012.
- [35] Matthias Ondra and Beatrix C Hiesmayr. Single particle entanglement in the mid- and ultra-relativistic regime. Journal of Physics A: Mathematical and Theoretical, 54(43):435301, sep 2021.
- [36] Asher Peres, Petra F. Scudo, and Daniel R. Terno. Quantum entropy and special relativity. Phys. Rev. Lett., 88:230402, May 2002.
- [37] Asher Peres and Daniel R. Terno. Quantum information and relativity theory. Rev. Mod. Phys., 76:93–123, Jan 2004.
- [38] Jakub Rembieliński and Paweł Caban. Relativistic chiral qubits, their time evolution, and correlations. Phys. Rev. A, 99:022320, Feb 2019.
- [39] Jakub Rembieliński, Paweł Caban, Kordian A. Smoliński, and Sviatoslav Khrapko. Lorentz-covariant, unitary evolution of a relativistic majorana qubit. Quantum Information Processing, 17(262), 2018.
- [40] Walter Rudin. Functional Analysis. McGraw-Hill, 2 edition, 1973.
- [41] Walter Rudin. Real and Complex Analysis. McGraw-Hill, 3 edition, 1987.
- [42] P. Saldanha and V. Vedral. Spin quantum correlations of relativistic particles. Physical Review A, 85:062101, 2012.
- [43] Pablo L Saldanha and Vlatko Vedral. Physical interpretation of the wigner rotations and its implications for relativistic quantum information. New Journal of Physics, 14(2):023041, feb 2012.
- [44] E. R. F. Taillebois and A. T. Avelar. Spin-reduced density matrices for relativistic particles. Phys. Rev. A, 88:060302, Dec 2013.
- [45] E.R.F. Taillebois and A.T. Avelar. Relativistic spin operator must be intrinsic. Physics Letters A, 392:127166, 2021.
- [46] Michael E. Taylor. Noncommutative Harmonic Analysis. Mathematical Surveys and Monographs. American Mathematical Society, 1986.
- [47] Daniel R. Terno. Two roles of relativistic spin operators. Phys. Rev. A, 67:014102, Jan 2003.
- [48] Loring W. Tu. Differential Geometry, Connections, Curvature, and Charicteristic Classes. Graduate Texts in Mathematics. Springer, 2017.
- [49] V.S. Varadarajan. Lie groups, Lie algebras, and their representations, pages 271–273. Prentice-hall, 1974.
- [50] Steven Weinberg. The Quantum Theory of Fields Volume I, Foundations. Camebridge University Press, 1995.
- [51] Eugene Wigner. On unitary representations of the inhomogeneous lorentz group. Annals of Math, 40(1):191–195, 1939.
- [52] Dana P. Williams. Crossed Products of -Algebras. Mathematical Surveys and Monographs. American Mathematical Society, 2007.
- [53] William K. Wootters. Entanglement of formation of an arbitrary state of two qubits. Phys. Rev. Lett., 80:2245–2248, Mar 1998.
- [54] Anthony Zee. Einstein Gravity in a Nutshell. Princeton University Press, 2013.