Abstract
We formulate a covariant description of a relativistic qubit identified with an irreducible set of quantum spin states of a Majorana particle with a sharp momentum. We treat the particle’s four-momentum as an external parameter. We show that it is possible to define an interesting time evolution of the spin density matrix of such a qubit. This evolution is manifestly Lorentz covariant in the bispinor representation and unitary in the spin representation. Moreover, during this evolution the Majorana particle undergoes an uniformly accelerated motion. We classify possible types of such motions, and finally we illustrate the behaviour of the polarization vector of the Majorana qubit during the evolution in some special cases.
Similar content being viewed by others
Avoid common mistakes on your manuscript.
1 Introduction
In the last two decades, the relativistic quantum information theory became an important area of research, see, e.g. [1, 2, 5, 7,8,9,10, 12, 15, 19, 21, 23,24,25,26,27]. One of the difficulties in this theory is related to the notion of a qubit modelled on the space of states of a massive spinning relativistic particle. The main problem lies in the fact that the procedure leading to the reduced density matrix is not Lorentz covariant regardless of the Lorentz invariance of the integration measure [22] (see also [16]). This problem stems from the fact that the Wigner rotation is momentum-dependent and consequently wave packets with momentum spread transforms differently for each energy/momentum mode. This problem was overcame in our previous paper [11] where we obtained the Lorentz-covariant reduced matrix which contains not only the information about the polarization of the particle but also the information about average values of the kinematical degrees of freedom. However, because the averages do not keep of the physically important interrelations like dispersion relation for four-momentum, Minkowski transversality condition between four-momentum and relativistic pseudospin four-vector, etc., we restrict here our attention to the case of sharp momentum treated as an external parameter. Therefore, in the present paper we define a covariant form of a spin density matrix in the bispinor basis for a relativistic Majorana particle with a sharp four-momentum. We choose the Majorana particle as an elementary system since it is the simplest spin-1/2 relativistic system. (In contrast, Dirac field admits particle and antiparticle excitations.) However, the main goal of this paper is to propose a model of a manifestly Lorentz- covariant, unitary evolution of a qubit. Unitarity of the evolution enables us to treat four-momentum as an external classical parameter—in this sense, our approach is a semiclassical one. On the other hand, the spin state of the particle undergoes an unitary evolution. This approach is similar to that used in the description of kinematical evolution of particles in Stern–Gerlach experiment. Therefore, an interpretation of four-momentum as an external parameter allows to associate the classical trajectory with the motion of the Majorana particle. We consider the class of motions for which the square of a four-acceleration is constant during the evolution.
The proposed model of evolution can be useful in the discussion of spin correlations and entanglement evolution in experiments with accelerating particles. Paper on this subject is in preparation.
2 The setting
In this section, we introduce basic notions, definitions, and conventions used through this paper.
2.1 Majorana field
We recall here briefly the description of Majorana spin 1 / 2 particles.
The Majorana field operator has the standard momentum expansion
where \(\alpha \) is a bispinor index, \(a_{\sigma }^{\dagger }(k)\) are creation operators of the particle with four-momentum k, mass m, and spin component along the z-axis equal to \(\sigma \); moreover, \(k^0=\sqrt{\mathbf {k}^2+m^2}\). Creation and annihilation operators fulfil the canonical anticommutation relations
The field operator, \(\hat{\phi }(x)\), fulfils the Dirac equation
where \(\gamma ^\mu \) are Dirac matrices (for our convention concerning Dirac matrices, see “Appendix A”). This equation implies the following standard conditions for amplitudes:
where v(k) and u(k) denote matrices \([v_{\alpha \sigma }(k)]\) and \([u_{\alpha \sigma }(k)]\), respectively, and \(k\gamma =k_\mu \gamma ^\mu \). Operators v(k) and u(k) can be treated as intertwining operators between spin basis (corresponding to indices \(\sigma \)) and covariant bispinor basis (corresponding to indices \(\alpha \)).
For further convenience, let us introduce the standard projectors
Next, the field operator transforms under Lorentz group action in the following way:
where \(U(\varLambda )\) is an element of the unitary irreducible representation of the Poincaré group and \(S(\varLambda )\) is the bispinor representation of the Lorentz group (for the explicit form of bispinor representation employed in this paper, see “Appendix A”, in particular \(S(\varLambda )\) is given in Eq. (78)).
Creation and annihilation operators transform as follows:
where \({\mathbb {W}}^{}(\varLambda ,k)\in {\mathsf {SL}}(2,{\mathbb {C}})\) corresponds to the Wigner rotation in a standard homomorphism of \({\mathsf {SL}}(2,{\mathbb {C}})\) onto a Lorentz group, compare (79).
Consistency of Eqs. (6 and 7) imply standard Weinberg conditions for amplitudes
A Majorana particle is its own antiparticle; therefore, it does not change under the action of the charge conjugation operator, i.e.
where \(\mathsf {C}\) is a charge conjugation operator.
The charge conjugation operator acting on the Majorana field gives
where we use standard notation \(\hat{\bar{\phi }} = \hat{\phi }^\dagger \gamma ^0\) and \(\mathscr {C}\) is the charge conjugation matrix (75). Equation (10) implies the following condition for amplitudes:
Explicit form of amplitudes depends on the chosen representation of gamma matrices. We have determined v(k) in “Appendix A”; its final form is the following:
where \(k^\pi =(k^0,-\mathbf {k})\), and \(\sigma _i\), \(i=1,2,3\), are the standard Pauli matrices, \(\sigma _0=I\). The explicit form of the amplitude u(k) can be found with the help of Eq. (11a)
where \(\mathbb {L}_k\) is the matrix corresponding to the standard Lorentz boost transforming the particle of the mass m from the rest to the state with four-momentum k (see “Appendix A”, Eq. (80) for the details).
2.2 One-particle states
The state of a particle with momentum k and spin component \(\sigma \) in the spin basis is defined as
where \(|0\rangle \) is a Lorentz-invariant vacuum vector, \(\langle 0|0\rangle =1\), \(a_{\sigma }(k)|0\rangle =0\).
The states \(\{ |k,\sigma \rangle \} \) span the carrier space of the irreducible unitary representation \(U(\varLambda )\) of the Poincaré group
where \({\mathbb {W}}^{}(\varLambda ,k)\) is defined in (7). Equation (2) implies that states \(\{ |k,\sigma \rangle \}\) are normalized covariantly
where \(k=(k^0,\mathbf {k})\). Notice that Eq. (15) is consistent with Eq. (6) due to Weinberg conditions (8).
With the help of operators v(k), one can define statesFootnote 1
transforming covariantly under Lorentz group action
Here \(S(\varLambda )\) is a bispinor representation of a Lorentz transformation; its explicit form is given in Eq. (78). Therefore, (17) defines an overcomplete bispinor basis in a Hilbert space of one-particle states. It holds
Using Eq. (84), we find
where \(\bar{v}(k) = v(k)^\dagger \gamma _0\).
3 Relativistic Majorana qubit
The problem of a covariant reduced spin density matrix in a relativistic framework was widely discussed in the literature, see, e.g. [11, 16, 22].
Here we restrict our attention to a particle with a definite (sharp) momentum. The density operator describing such a particle can be written in the spin basis \(\{|k,\sigma \rangle \}\) as
The same density operator can be written in the covariant basis \(\{|\alpha ,k\rangle \}\) as
(notice the reversed order of indices in \(\varOmega \), we use such an order for further convenience) where we define
Taking into account Eq. (17), matrices \(\rho (k)=[\rho (k)_{\sigma \lambda }]\) and \(\varOmega (k)=[\varOmega (k)_{\alpha \beta }]\) can be related via the following equation:
To determine \(\varOmega (k)\) as a function of \(\rho (k)\), we have to take into account that vectors \(|\alpha ,k\rangle \) are not linearly independent. Therefore, to fix uniquely a matrix \(\varOmega \), we demand that
Now, applying Lorentz transformation \(U(\varLambda )\) to the density operator \(\hat{\rho }(k)\) we get
and using Eqs. (15 and 18) we find the following transformation rules for matrices \(\rho (k)\) and \(\varOmega (k)\)
We see that, in contrast to the density matrix \(\rho \), the matrix \(\varOmega (k)\) transforms in a manifestly covariant way under Lorentz group action.
The properties of the matrix \(\rho (k)\) imply that it can be written in the standard Bloch form
The corresponding matrix \(\varOmega (k)\) can be determined with the help of Eq. (26). We obtain
where we introduced the Pauli–Lubanski four-vector
satisfying:
\(L_k\) stands here for the standard boost defined before Eq. (80). We also use the standard notation \(k^\pi =(k^0,-\mathbf {k})\), \(k\sigma = k^\mu \sigma _\mu \) (and analogously \(w^\pi =(w^0,-\mathbf {w})\) and \(w\sigma =w^\mu \sigma _\mu \)).
In terms of gamma matrices, the density matrix \(\varOmega (k)\) takes the form
Moreover, the relation \(kw=0\) implies that \((k\gamma )(w\gamma ) = - (w\gamma )(k\gamma )\).
Notice that the hermicity of \(\rho (k)\) implies
while the property \({{\mathrm{Tr}}}\rho (k)=1\) gives
From Eq. (35), we see that the covariant matrix \(\varOmega (k)\), representing the density matrix \(\rho \) in the bispinor basis, is a function of k and \({\xi }\) (via the Pauli–Lubanski four-vector). In the following, we will treat four-momentum as an external parameter determining a classical kinematical state of a particle. The quantum state of a particle is determined by spin.
3.1 Spin observable
The spin operator in the spin basis is defined as
Thus, to calculate the average value of the spin observable in a state \(\hat{\rho (k)}\) we use the formula
Therefore, using (39,24,25) and taking into account that \(\varLambda _- u(k)=0\) we find
We have included terms with u(k) to be able to apply the spin operator to negative energy states. So, finally, in the bispinor basis the spin operator takes the following form:
Explicitly, we have:
It is worth noticing here that the problem of choice of a proper spin observable for a relativistic particle has a long history, see, e.g. [4, 6, 14] and references therein. In our previous papers, e.g. [13, 14], we have shown that the best spin operator has the following form:
where
is a Pauli–Lubanski four-vector and \(\hat{J}_{\mu \nu }\) are generators of the Lorentz group, in a bispinor case
In Eq. (43), we used the subscript ‘NW’ because this spin operator is related to Newton–Wigner localization (for the details see [13, 14]). Using the explicit form of gamma matrices (74), one can show that \( \hat{\mathbf {S}}_{NW}\) is equal to the spin operator given in Eq. (42). Therefore, we can write
4 Unitary, covariant evolution of a qubit
Formalism introduced in the previous section enables us to find a model of Lorentz-covariant and unitary evolution of a Majorana qubit. To this end, let us consider the following element of the bispinor representation of the \(\textsf {SL}(2,{\mathbb {C}})\) group:
where the most general form of F reads
In the above equation, we have introduced the standard notation for generators of rotations and pure Lorentz boosts
The explicit form of \(\mathbf {J}\) and \(\mathbf {K}\) in the Weyl representation of gamma matrices used in this paper is the following:
Now, we identify \(\tau \) in \(K(\tau )\) (Eq. (47)) with a proper time of the particle. Transformations \(K(\tau )\) form one-parameter subgroup of a bispinor representation of the \(\textsf {SL}(2,{\mathbb {C}})\) group. The whole family \(\{K(\tau )\}\) transforms in an explicitly covariant manner under inner automorphisms of the \(\textsf {SL}(2,{\mathbb {C}})\) group. Thus, equivalent trajectories are determined by the values of invariants corresponding to Casimir operators in the Lie algebra of the \(\textsf {SL}(2,{\mathbb {C}})\) group. These invariants read:
In the bispinor representation, \(\gamma ^\mu \) transforms like four-vector; therefore,
In the following, \(p_\mu (\tau )\) will be identified with a four-momentum of an evolving Majorana qubit.
Taking into account the form of \(K(\tau )\) and Eq. (52), one can easily show that the Minkowski square of a four-acceleration
is negative and independent of a proper time \(\tau \). This means that a motion defined by (52) is an uniformly accelerated motion. Furthermore, when we determine \(p^\mu (\tau )\) we can estimate a classical trajectory of a qubit using the formula
Now, choosing various \(C_1\) and \(C_2\) we obtain different types of motion. In particular, we can distinguish the following special types:
-
1.
\(\omega =\eta \not =0\), \({\varvec{\omega }}\perp {\varvec{\eta }}\) (\(C_1=C_2=0\))
-
2.
\(\omega =0\) (\(C_2=0\), \(C_1<0\))
-
3.
\(\eta =0\) (\(C_2=0\), \(C_1>0\))
Of course, in general motions with arbitrary values of \(C_1\) and \(C_2\) are possible. Analogous classification of uniformly accelerated motions was considered in [17, 18, 20].
Next, by means of Weinberg conditions (8) we can connect the action of one-parametric subgroup \(K(\tau )\in \textsf {SL}(2,{\mathbb {C}})\) in bispinor basis with its action on objects in spin basis (and vice versa). Formulas (27,28) and (8) imply that inserting \(A=K(\tau )\) we get
and
where the unitary matrix \({\mathbb {W}}^{}(K(\tau ),q)\) represents the Wigner rotation \(L^{-1}_{K(\tau )q}K(\tau )L_q\)—compare Eq. (79). In this way explicitly covariant (but in general nonunitary) transformation of a matrix \(\varOmega \) is realized as unitary transformation of a corresponding density matrix \(\rho \).
Using the form of \(\varOmega \) given in Eq. (35), we obtain
where w(0) can be determined from Eq. (33) by inserting \(q^\mu \) as a four-momentum and \({\xi }(0)\) as a polarization vector.
\(w^\mu (\tau )\) is a (pseudo-)four-vector; therefore, excluding space–time inversions, it transforms like \(p^\mu (\tau )\). Using this observation, we can determine \(w^\mu (\tau )\) with the help of the following formula:
Having \(w(\tau )\) and \(p(\tau )\) one can calculate \({\varvec{\xi }}(\tau ,q)\) from Eq. (33). Alternatively, we can determine a Wigner rotation \({\mathbb {W}}^{}(K(\tau ),q)\) and eventually \(\rho ({\varvec{\xi }}(\tau ,q))\).
In general formulas for \(p^\mu (\tau )\) and \({\varvec{\xi }}(\tau ,q)\) for arbitrary \(q^\mu \), \({\varvec{\xi }}(0,q)\), \({\omega }\) and \({\eta }\) obtained from (52) and (58) are very long. Therefore, we will not present them here explicitly, but instead we illustrate our considerations by characteristic examples.
First, let us consider the simplest case \(\omega =\eta \not =0\), \({\varvec{\omega }}\perp {\varvec{\eta }}\) (\(C_1=C_2=0\)). Using this case, we will illustrate all steps that are necessary to find formulas for \(p^\mu (\tau )\) and \({\varvec{\xi }}(\tau ,q)\). We start with four-momentum. With the help of (52), we find explicitly:
The trajectory can be determined from (54). We receive
Let us notice that we can interpret Eq. (61) as a relationship between a coordinate time \(x^0\) and a proper time \(\tau \). We can invert this relation to obtain \(\tau \) as a function of coordinate time.
As a next step, we determine a four-acceleration using (53). We get
and
We want to obtain the evolution of a polarization vector \({\varvec{\xi }}(\tau )\). To this end, we first determine a Pauli–Lubanski four-vector as a function of \(\tau \). Using (58), we obtain
where for notational simplicity we have denoted \({\varvec{\zeta }}={\varvec{\xi }}(0,q)\) and \(\kappa =\frac{\mathbf {q}\cdot {\varvec{\zeta }}}{m+q^0}\).
Finally, \({\varvec{\xi }}(\tau ,q)\) can be obtained from (33) via the relation
After tedious calculation, we have
where
Evolution in the case \(\omega =\eta \not =0\), \({\varvec{\omega }}\perp {\varvec{\eta }}\). We assume that \(m=1\), \(|{\varvec{\xi }}|=1\) and \(q^\mu =(\sqrt{1+q^2},0,0,q)\), \({\varvec{\omega }}=\omega (\cos \alpha ,0,\sin \alpha )\), \({\varvec{\eta }}=\omega (\sin \alpha \sin \beta ,\cos \beta , -\cos \alpha \sin \beta )\), \({\varvec{\xi }}(0,q)=(\cos \phi \sin \varOmega , \sin \phi \sin \varOmega ,\cos \varOmega )\). In a we present the evolution of the momentum \(\mathbf {p}(\tau )\), in b we present the classical trajectory \(\mathbf {x}(\tau )\) and in c we present the evolution of the polarization vector \({\varvec{\xi }}(\tau )\). All plots are drawn for the following initial conditions: \(q=3\), \(\omega =0.4\), \(\alpha =\pi /8\), \(\beta =\pi /4\), \(\phi =\pi /8\), \(\varOmega =\pi \). All of the plots are drawn for the proper time \(\tau \in \langle 0,\tau _{\mathrm {max}}=9.6\rangle \). Points and arrows correspond to \(\tau =0\), \(\tau =\tau _{\mathrm {max}}/3\), \(\tau =2\tau _{\mathrm {max}}/3\). The fourth arrow in the plot (c) corresponds to the limit \({\varvec{\xi }}(\tau \rightarrow \infty )\)
Evolution in the case \({\varvec{\omega }}||{\varvec{\eta }}\). We assume that \(m=1\), \(|{\varvec{\xi }}|=1\) and \(q^\mu =(\sqrt{1+q^2},0,0,q)\), \({\varvec{\omega }}=\omega (\cos \alpha ,0,\sin \alpha )\), \({\varvec{\eta }}=\eta (\cos \alpha ,0,\sin \alpha )\), \({\varvec{\xi }}(0,q)=(\cos \phi \sin \varOmega , \sin \phi \sin \varOmega ,\cos \varOmega )\). In a we present the evolution of the momentum \(\mathbf {p}(\tau )\), in b we present the classical trajectory \(\mathbf {x}(\tau )\) and in c we present the evolution of the polarization vector \({\varvec{\xi }}(\tau )\). All plots are drawn for the following initial conditions: \(q=1\), \(\omega =0.7\), \(\eta =0.1\) \(\alpha =3\pi /8\), \(\phi =\pi /10\), \(\varOmega =10\pi /9\). All of the plots are drawn for the proper time \(\tau \in \langle 0,\tau _{\mathrm {max}}=9.6\rangle \). Points and arrows correspond to \(\tau =0\), \(\tau =\tau _{\mathrm {max}}/3\), \(\tau =2\tau _{\mathrm {max}}/3\)
Evolution in the case \({\varvec{\omega }}||{\varvec{\eta }}\). As in Fig. 2, we assume that \(m=1\), \(|{\varvec{\xi }}|=1\) and \(q^\mu =(\sqrt{1+q^2},0,0,q)\), \({\varvec{\omega }}=\omega (\cos \alpha ,0,\sin \alpha )\), \({\varvec{\eta }}=\eta (\cos \alpha ,0,\sin \alpha )\), \({\varvec{\xi }}(0,q)=(\cos \phi \sin \varOmega , \sin \phi \sin \varOmega ,\cos \varOmega )\). In Fig. 2a we present the evolution of the momentum \(\mathbf {p}(\tau )\), in Fig. 2b we present the classical trajectory \(\mathbf {x}(\tau )\) and in Fig. 2c we present the evolution of the polarization vector \({\varvec{\xi }}(\tau )\). All plots are drawn for the following initial conditions: \(q=-3\), \(\omega =2\), \(\eta =0.1\) \(\alpha =\pi /4\), \(\phi =\pi /18\), \(\varOmega =\pi /6\). All of the plots are drawn for the proper time \(\tau \in \langle 0,\tau _{\mathrm {max}}=9.6\rangle \). Points and arrows correspond to \(\tau =0\), \(\tau =\tau _{\mathrm {max}}/3\), \(\tau =2\tau _{\mathrm {max}}/3\)
In Fig. 1, we have depicted \(\mathbf {p}(\tau )\), \(\mathbf {x}(\tau )\) and \({\varvec{\xi }}(\tau )\) for chosen initial conditions. For plots we assume, without loss of generality, that \(m=1\) and the initial momentum is directed along z-axis, \(q^\mu =(\sqrt{1+q^2},0,0,q)\). Again, without loss of generality we take \({\varvec{\omega }}\) in \(x\text {--}z\) plane, \({\varvec{\omega }}=\omega (\cos \alpha ,0,\sin \alpha )\) and \({\varvec{\eta }}\) as an arbitrary vector such that \(|{\varvec{\eta }}|=|{\varvec{\omega }}|\), \({\varvec{\eta }}\perp {\varvec{\omega }}\). As an initial polarization vector we take an arbitrary unit vector, \({\varvec{\xi }}=(\cos \phi \sin \varOmega , \sin \phi \sin \varOmega , \cos \varOmega )\). In Fig. 1a we present the evolution of momentum \(\mathbf {p}(\tau )\), in Fig. 1b a classical trajectory of a qubit \(\mathbf {x}(\tau )\) and in Fig. 1c an evolution of a polarization vector \({\varvec{\xi }}(\tau ,q)\) for \(\tau \in \langle 0,\tau _{\mathrm {max}} \rangle \). In all three plots, we use the same initial conditions. Points in plots 1a, b correspond to proper times: 0, \(\frac{1}{3}\tau _{\mathrm {max}}\), \(\frac{2}{3}\tau _{\mathrm {max}}\). In plot 1c we have depicted the trajectory of a polarization vector \({\varvec{\xi }}\) on a sphere \(|{\varvec{\xi }}|=\)const (notice that unitary evolution (56) preserves the length of a polarization vector, \(|{\varvec{\xi }}(\tau ,q)|\)=const). Arrows correspond to \({\varvec{\xi }}(0)\), \({\varvec{\xi }}(\frac{1}{3}\tau _{\mathrm {max}})\), \({\varvec{\xi }}(\frac{2}{3}\tau _{\mathrm {max}})\), and to the limit \({\varvec{\xi }}(\tau \rightarrow \infty )\). Notice that the end of the polarization vector describes a fragment of a circle on the Bloch sphere. It is a general feature of the considered case \(|{\varvec{\omega }}|=|{\varvec{\eta }}|\not =0\), \({\varvec{\omega }}\perp {\varvec{\eta }}\).
As we have seen, general formulas for \(x^\mu (\tau )\), \(p^\mu (\tau )\), \(w^\mu (\tau )\), \({\varvec{\xi }}(\tau )\) are rather long even in the simplest case \(|{\varvec{\omega }}|=|{\varvec{\eta }}|\not =0\), \({\varvec{\omega }}\perp {\varvec{\eta }}\). In all other cases, the corresponding formulas are much longer. Therefore, we do not present them here explicitly but rather describe general features of each of the cases.
In the case of the hyperbolic motion (\({\varvec{\omega }}=\mathbf {0}\), \({\varvec{\eta }}\not =\mathbf {0}\)), the trajectory of a particle is situated in a plane determined by the initial momentum \(\mathbf {q}\) and the vector \({\varvec{\eta }}\). Let us stress that in this case it is possible to arrange initial conditions in such a way that the quantum spin state does not change during the evolution. It holds when the initial momentum \(\mathbf {q}\) is parallel to the vector \({\varvec{\eta }}\).
In the case of the circular motion (\({\varvec{\omega }}\not =\mathbf {0}\), \({\varvec{\eta }}=\mathbf {0}\)), the trajectory in general is a helix, except the special case \(\mathbf {q}\perp {\varvec{\omega }}\) when the trajectory is a circle. The end of the Bloch vector moves on a circle on a Bloch sphere. Notice that when the initial momentum \(\mathbf {q}=\mathbf {0}\) the particle stays at rest but the polarization vector rotates.
The most complicated behaviour we have in a general situation \(C_1\not =0\), \(C_2\not =0\). Therefore, as a next example we consider the case \({\varvec{\omega }}||{\varvec{\eta }}\) belonging to this class. In Figs. 2 and 3, we have depicted \(\mathbf {p}(\tau )\), \(\mathbf {x}(\tau )\) and \({\varvec{\xi }}(\tau )\) for chosen initial conditions. For plots, we assume as in the previous case that \(m=1\) and the initial momentum is directed along z-axis, \(q^\mu =(\sqrt{1+q^2},0,0,q)\). Again, without loss of generality we take \({\varvec{\omega }}\) in \(x\text {--}z\) plane, \({\varvec{\omega }}=\omega (\cos \alpha ,0,\sin \alpha )\). Now, for simplicity we assume that \({\varvec{\eta }}\) is parallel to \({\varvec{\omega }}\) but has different magnitude, i.e. \({\varvec{\eta }}=\eta (\cos \alpha ,0,\sin \alpha )\). As an initial polarization vector, we take an arbitrary unit vector, \({\varvec{\xi }}=(\cos \phi \sin \varOmega , \sin \phi \sin \varOmega , \cos \varOmega )\). In Figs. 2a and 3a we have depicted the evolution of momentum \(\mathbf {p}(\tau )\), in Figs. 2b and 3b classical trajectory of a qubit \(\mathbf {x}(\tau )\) and in Figs. 2c and 3c evolution of a polarization vector \({\varvec{\xi }}(\tau ,q)\) for \(\tau \in \langle 0,\tau _{\mathrm {max}} \rangle \). Like in Fig. 1, in all three plots we use the same initial conditions. Points in plots 2a, b 3a, b correspond to proper times: 0, \(\frac{1}{3}\tau _{\mathrm {max}}\), \(\frac{2}{3}\tau _{\mathrm {max}}\). In plots 2c and 3c, we have depicted the trajectory of a polarization vector \({\varvec{\xi }}\) on a sphere \(|{\varvec{\xi }}|=\)const (as in the previous example, unitary evolution (56) preserves the length of a polarization vector, \(|{\varvec{\xi }}(\tau ,q)|\)=const). Arrows correspond to \({\varvec{\xi }}(0)\), \({\varvec{\xi }}(\frac{1}{3}\tau _{\mathrm {max}})\), \({\varvec{\xi }}(\frac{2}{3}\tau _{\mathrm {max}})\). We see that in this case the end of the polarization vector describes quite a complicated curve on the Bloch sphere. The trajectory of the Majorana particle is a composition of a circular and hyperbolic motion; its detailed shape depends on initial condition.
5 Conclusions
We have defined a relativistic spin density matrix for a Majorana qubit, using ideas developed in [11] where a covariant description is formulated within the four-dimensional (bispinor) formalism. We have also discussed an appropriate representation of a spin observable in a covariant basis.
Next, we have developed a model of a time evolution of the density matrix. This evolution is manifestly Lorentz covariant in the bispinor basis while unitary in the spin basis. Treating four-momentum as an external classical parameter, we can determine the classical trajectory of a particle. Such an approach allows us to treat a Majorana particle classically with respect to the evolution of the kinematical parameters, while quantum with respect to the evolution of the spin. We have shown that in our model the motion on a classical trajectory is an uniformly accelerated motion (the square of a four-acceleration is constant), we have also distinguished different types of these motions (see also [17, 18, 20]). In the simplest case, we have derived explicit formulas for \(p^\mu (\tau )\), \(a^\mu (\tau )\), \(x^\mu (\tau )\), \(w^\mu (\tau )\), and \({\varvec{\xi }}(\tau )\). The obtained formulas are quite complicated even in this case. Therefore, the second, more general, example we have treated only numerically. We have depicted the behaviour of \(\mathbf {p}(\tau )\), \(\mathbf {x}(\tau )\), and \({\varvec{\xi }}(\tau )\) in a number of plots. As an evolution parameter, we have taken the proper time \(\tau \), but one can instead use a coordinate time—compare the discussion after (62).
We hope that the proposed model of evolution will be useful in the discussion of correlation experiments with accelerated particles.
References
Alsing, P.M., Milburn, G.J.: Lorentz invariance of entanglement. Quantum Inf. Comput. 2, 487–512 (2002)
Bartlett, S.D., Terno, D.R.: Relativistically invariant quantum information. Phys. Rev. A 71, 012,302 (2005)
Barut, A.O., Ra̧czka, R.: Theory of Group Representations and Applications. PWN, Warszawa (1977)
Bauke, H., Ahrens, S., Keitel, C.H., Grobe, R.: What is the relativistic spin operator? New J. Phys. 16, 043,012 (2014)
Bittencourt, V.A.S.V., Bernardini, A.E., Blasone, M.: Global Dirac bispinor entanglement under Lorentz boosts. Phys. Rev. A 97, 032,106 (2018)
Bliokh, K.Y., Dennis, M.R., Nori, F.: Position, spin, and orbital angular momentum of a relativistic electron. Phys. Rev. A 96, 023,622 (2017)
Bradler, K.: Relativistically invariant photonic wave packets. J. Opt. Soc. Am. B 28, 727–736 (2011)
Bradler, K., Castro-Ruiz, E., Nahmad-Achar, E.: Quantum and classical capacity boosted by a Lorentz transformation. Phys. Rev. A 90, 022,308 (2014)
Caban, P., Dziȩgielewska, A., Karmazyn, A., Okrasa, M.: Polarization correlations of Dirac particles. Phys. Rev. A 81, 032,112 (2010)
Caban, P., Rembieliński, J.: Photon polarization and Wigner’s little group. Phys. Rev. A 68, 042,107 (2003)
Caban, P., Rembieliński, J.: Lorentz-covariant reduced spin density matrix and Einstein–Podolsky–Rosen–Bohm correlations. Phys. Rev. A 72, 012,103 (2005)
Caban, P., Rembieliński, J.: Einstein–Podolsky–Rosen correlations of Dirac particles: quantum field theory approach. Phys. Rev. A 74, 042,103 (2006)
Caban, P., Rembieliński, J., Włodarczyk, M.: Strange bahavior of the relativistic Einstein–Podolsky–Rosen correlations. Phys. Rev. A 79, 014,102 (2009)
Caban, P., Rembieliński, J., Włodarczyk, M.: Spin operator in the Dirac theory. Phys. Rev. A 88, 022,119 (2013)
Czachor, M.: Einstein–Podolsky–Rosen–Bohm experiment with relativistic massive particles. Phys. Rev. A 55, 72–77 (1997)
Czachor, M.: Comment on ‘Quantum entropy and special rlativity’ by A. Peres, P. F. Scudo, and D. R. Terno, Phys. Rev. Lett. 88, 230402 (2002). Phys. Rev. Lett. 94, 078,901 (2005)
Friedman, Y., Scarr, T.: Covariant uniform acceleration. J. Phys.: Conf. Ser. 437, 012,009 (2013)
Friedman, Y., Scarr, T.: Spacetime transformations from a uniformly accelerated frame. Phys. Scr. 87, 055,004 (2013)
Lamata, L., Martin-Delgado, M.A., Solano, E.: Relativity and Lorentz invariance of entanglement distillability. Phys. Rev. Lett. 97, 250,502 (2006)
Mashhoon, B., Muench, U.: Length measurement in accelerated systems. Ann. Phys. (Leipzig) 11, 532–547 (2002)
Omkar, S., Banerjee, S., Srikanth, R., Alok, A.K.: The Unruh effect interpreted as a quantum noise channel. Quantum Inf. Comput. 16, 757–770 (2016)
Peres, A., Scudo, P.F., Terno, D.R.: Quantum entropy and special relativity. Phys. Rev. Lett. 88, 230,402 (2002)
Peres, A., Terno, D.R.: Quantum information and relativity theory. Rev. Mod. Phys. 76, 93–124 (2004)
Rembieliński, J., Smoliński, K.A.: Einstein–Podolsky–Rosen correlations of spin measurements in two moving inertial frames. Phys. Rev. A 66, 052,114 (2002)
Saldanha, P.L., Vedral, V.: Physical interpretation of the Wigner rotations and its implications for relativistic quantum information. New J. Phys. 14, 023,041 (2012)
Saldanha, P.L., Vedral, V.: Spin quantum correlations of relativistic particles. Phys. Rev. A 85, 062,101 (2012)
Saldanha, P.L., Vedral, V.: Wigner rotations and an apparent paradox in relativistic quantum information. Phys. Rev. A 87, 042,102 (2013)
Funding
Funding was provided by Narodowe Centrum Nauki (Grant No. 2014/15/B/ST2/00117), and by University of Lodz.
Author information
Authors and Affiliations
Corresponding author
A Conventions
A Conventions
Dirac matrices fulfil the relation \(\gamma ^\mu \gamma ^\nu +\gamma ^\nu \gamma ^\mu =2g^{\mu \nu }\), where we choose the Minkowski metric tensor \(g^{\mu \nu }=\text {diag}(1,-1,-1,-1)\); we also take \(\varepsilon ^{0123}=1\). The following explicit representation of gamma matrices is used throughout the paper:
where \(\varvec{\sigma }=(\sigma _1,\sigma _2,\sigma _3)\) and \(\sigma _i\) are standard Pauli matrices.
The charge conjugation matrix has the form
so
and
The bispinor representation of the Lorentz group is the representation \(D^{(\frac{1}{2},0)}\oplus D^{(0,\frac{1}{2})}\). Explicitly, if \(A\in \textsf {SL}(2,{\mathbb {C}})\) and \(\varLambda (A)\) is an image of A in the canonical homomorphism of the \(\textsf {SL}(2,{\mathbb {C}})\) group onto the Lorentz group, we take
(so-called Weyl or chiral form of the bispinor representation). The canonical homomorphism between the group \(\textsf {SL}(2,{\mathbb {C}})\) (universal covering of the proper orthochronous Lorentz group \(L_{+}^{\uparrow }\)) and the Lorentz group \(L_{+}^{\uparrow }\sim \textsf {SO}(1,3)_0\) is defined as follows [3]: With every four-vector \(k^\mu \) we associate a two-dimensional Hermitian matrix \(k^\mu \sigma _\mu \), where \(\sigma _0=I\) and \(\sigma _i\), \(i=1,2,3\), are the standard Pauli matrices. In the space of two-dimensional Hermitian matrices, the Lorentz group action is given by \({\mathsf{k}^\prime }^\mu \sigma _\mu = A ({\textsf {k}}^\mu \sigma _\mu ) A^\dag \), where A denotes the element of the \(\textsf {SL}(2,{\mathbb {C}})\) group corresponding to the Lorentz transformation \(\varLambda (A)\) which converts the four-vector k to \(k^\prime \) (i.e. \({k^\prime }^\mu =\varLambda _{\phantom {\mu }\nu }^{\mu }k^\nu \)).
In our paper, we use blackboard bold typeface style to denote matrices from \(\textsf {SL}(2,{\mathbb {C}})\) group corresponding to the Lorentz transformations. In particular, we use the following transformations
-
\({\mathbb {W}}^{}(\varLambda ,k)\) corresponding to the Wigner rotation
$$\begin{aligned} R(\varLambda ,k)=L_{\varLambda k}^{-1}\varLambda L_k, \end{aligned}$$(79)where \(L_k\) denotes the standard Lorentz boost defined by the relations \(L_k\tilde{k}=k\), \(L_{\tilde{k}}=I\), \(\tilde{k}=(m,\mathbf {0})\). In fact, \({\mathbb {W}}^{}(\varLambda ,k)\) coincides with the matrix spin 1 / 2 representation of the \(R(\varLambda ,k)\in \textsf {SO(3)}\), \({\mathbb {W}}^{}(\varLambda ,k)={\mathscr {D}}^{1/2}(R(\varLambda ,k))\).
-
\({\mathbb {L}}_k\) corresponding to the standard Lorentz boost defined by the relations \(L_k\tilde{k}=k\), \(L_{\tilde{k}}=I\), \(\tilde{k}=(m,\mathbf {0})\). Explicitly
$$\begin{aligned} {\mathbb {L}}_k = \frac{1}{\sqrt{2(1+\frac{k^0}{m})}} \left( I+\frac{k^\mu \sigma _\mu }{m} \right) . \end{aligned}$$(80)Moreover,
$$\begin{aligned} {\mathbb {L}}_{k}^{-1} = {\mathbb {L}}_{k^\pi },\qquad k^{\pi \mu }=(k^0,-\mathbf {k}). \end{aligned}$$(81)
To determine amplitudes v(k) and u(k), we use the Weinberg conditions (8). The most general form of v(k) fulfilling (8) reads
where \({\mathbb {L}}_k\) is given in (80). Now, the Dirac equation (4a) implies that
Further restrictions on \(c_1\) come from the normalization condition. Requiring that \(v(k) \bar{v}(k) = - \varLambda _-\) (the standard projector defined in (5)), we obtain \(c_1=\tfrac{\chi }{\sqrt{2}}\) with \(|\chi |=1\). Under this choice, also relation (84) holds. Since the phase factor \(\chi \) is irrelevant, we set for convenience \(\chi =1\). In this way, we arrive at formula (12).
Here we gathered some useful relations for the amplitudes v(k) and u(k):
Rights and permissions
Open Access This article is distributed under the terms of the Creative Commons Attribution 4.0 International License (http://creativecommons.org/licenses/by/4.0/), which permits unrestricted use, distribution, and reproduction in any medium, provided you give appropriate credit to the original author(s) and the source, provide a link to the Creative Commons license, and indicate if changes were made.
About this article
Cite this article
Rembieliński, J., Caban, P., Smoliński, K.A. et al. Lorentz-covariant, unitary evolution of a relativistic Majorana qubit. Quantum Inf Process 17, 262 (2018). https://doi.org/10.1007/s11128-018-2025-4
Received:
Accepted:
Published:
DOI: https://doi.org/10.1007/s11128-018-2025-4