You are on page 1of 9

Einstein-Podolsky-Rosen correlations of spin measurements in two moving inertial frames

Jakub Rembielinski and Kordian Andrzej Smolinski


Katedra Fizyki Teoretycznej, Uniwersytet odzki, Pomorska 149/153, 90-236 odz, Poland
(Dated: 26 November 2002)
The formula for the correlation function of spin measurements of two particles in two moving inertial frames
is derived within Lorentz-covariant quantum mechanics formulated in the absolute synchronization framework.
These results are the first exact Einstein-Podolsky-Rosen correlation functions obtained for Lorentz-covariant
quantum-mechanical systems in moving frames under physically acceptable conditions, i.e., taking into account
the localization of the particles during the detection and using the spin operator with proper transformation
properties under the action of the Lorentz group. Some special cases and approximations of the calculated
correlation function are given. The resulting correlation function can be used as a basis for a proposal of a
decisive experiment for a possible existence of a quantum-mechanical preferred frame.
arXiv:quant-ph/0204155v2 29 Nov 2002

PACS numbers: 03.65.Ta, 03.65.Ud, 03.30.+p

I. INTRODUCTION mechanics requires a preferred frame (PF) at the fundamental


level (it is interesting that also Einstein and Dirac had admitted
Contemporary considerations of the Einstein-Podolsky- such a nonmechanical notion of a preferred frame [26, 27]).
Rosen (EPR) [1, 2] correlations are restricted mostly to ob- Bell gives the very clear point of view on to this question in
servers staying in a fixed inertial frame of reference (for the Ref. [28].
theoretical prescriptions and experimental results see, e.g., A conceptual difficulty related to the notion of the PF lies
Refs. [3, 4, 5, 6, 7, 8, 9, 10, 11, 12, 13]). This is motivated in an apparent contradiction with the Lorentz symmetry. In
not only by the experimental requirement but, first of all, be- Refs. [29, 30, 31] it was shown that this is not the case: it
cause of very serious difficulties connected with description is possible to arrange Lorentz group transformations in such
of EPR-like experiments in frames in a relative motion. There a way that the Lorentz covariance survives while the relativ-
are two reasons of the troubles with understanding and cal- ity principle (democracy between inertial frames) is broken
culating the EPR correlation function in this case. The first on the quantum level. Moreover, such an approach is con-
one is related to the relativity of the notion of simultaneity for sistent with all the classical phenomena. The physical mean-
moving observers versus instantaneous state reduction. The ing of the new form of the Lorentz group transformations lies
second problem is related to the nonexistence of a covariant in new, absolute synchronization scheme for clocks different
notion of localization in the relativistic quantum mechanics from Einsteins scheme [30, 31, 32, 33, 34, 35, 36, 37]. Both
[14]. The latter deficiency is especially serious because ev- synchronizations, the new and the standard one, are physically
ery realistic measurement involves localization in the detector inequivalent on the classical level only for velocities greater
area. than the velocity of light. Furthermore, the causality notion,
Proposed solutions to these problems strongly depend on which is implied by the nonstandard absolute synchronization,
the adopted interpretation of quantum mechanics. From an is more general than the Einstein one and thus it is applicable
orthodox point of view, attribution of physical meaning to the to nonlocal phenomena. A Lorentz-covariant formulation of
final probabilities only does not lead to a serious tension be- QM based on the above mentioned absolute synchronization
tween quantum mechanics (QM) and special relativity, so they scheme was given in [29]. In such a formalism it is possible
can peacefully coexist [15, 16, 17, 18]. to define the Lorentz covariant notion of localization and spin,
The second line of understanding of QM lies in attributing i.e., covariant localized states and a covariant position opera-
a physical meaning to the physical state, its time evolution, lo- tor as well as the spin operator transforming properly under
calization, etc. From this point of view there are serious prob- the action of the Lorentz group. Note, that exactly these no-
lems on the border between quantum mechanics and special tions are relevant to a correct discussion of (non) locality in
relativity [19, 20, 21, 22, 23]. The most important ones are: QM.
lack of the manifest Lorentz covariance of quantum mechan- A serious candidate for a PF is the cosmic background ra-
ics with finite degrees of freedom and the above mentioned diation frame (CBRF); this choice is connected with possible
nonexistence of a covariant notion of localization. Troubles dynamical (cosmological) distinguishing of a local privileged
with a sharp localization in the relativistic QM arise also if frame. Most recent EPR experiments performed in Geneva
we restrict ourselves to a fixed inertial frame (cf. Hegerfeld [38] have been analyzed according to PF hypothesis [29] and
theorem [24, 25]). give a lower bound for the speed of quantum information in
Following Bell [19], a consistent formulation of quantum CBRF at 2 104c. Moreover some attention was also devoted
to PF as a consequence of a possible breaking of the Lorentz
invariance [39, 40] in high-energy processes.
Since the covariant spin operator also exists in the formu-
Electronic address: J.Rembielinski@merlin.fic.uni.lodz.pl lation of QM based on the absolute synchronization scheme
Electronic address: K.A.Smolinski@merlin.fic.uni.lodz.pl [29], therefore we can calculate precisely the EPR correla-
2

tion function for any spin. To our knowledge, our results are of a preferred frame, which [according to Eq. (1a)] takes the
the first exact EPR correlation functions obtained for Lorentz- form
covariant quantum-mechanical systems in moving frames un-
der physically acceptable conditions (some attempts were u = D(, u)u. (1b)
given in interesting papers by Czachor [41, 42]; see however
Ref. [48]). Because the resulting formula for the correlation We point out that both Eqs. (1) are written for contravariant
function depends on the velocities of the preferred frame it components of coordinate and four-velocity.
can also help us to answer the old question concerning the The explicit form of the matrix D(, u) is (see Refs. [29,
existence of a PF by means of the quantum mechanical EPR 31]), for rotations
experiment and possibly solve the dilemma posed by Bell.  
1 0
D(R, u) = , (2a)
0 R
II. PRELIMINARIES
where R SO(3) is a standard rotation matrix, and for boosts,
A. Realizations of the Lorentz group in the absolute
synchronization scheme
(w0 )1 0
D(w, u) = w wT ,

In this section we briefly describe main features of the 0 T
w I + p u wu
absolute synchronization scheme mentioned above which is 1 + 1 + |w| 2
used in this work. The derivation of the presented results (2b)
can be found in Refs. [29, 30, 31]. The main idea is based where w = (w0 , w) denotes a four-velocity of the frame Ou as
on a well-known fact that the definition of time coordinate seen by the observer in the frame Ou .
depends on the procedure used to synchronize clocks [33]. Hereafter we use the natural system of units with c = h = 1.
If we restrict ourselves to the timelike or lightlike signal Transformations (1) leave the line element ds2 =
propagation, the choice of this procedure is a convention g (u)dx dx invariant, where
[32, 33, 34, 35, 36, 37]. Now, the form of Lorentz transfor-
mations depends on the synchronization scheme, and we can
!
1 u0 uT
find a synchronization procedure which leads to the desired [g (u)] = .
form of Lorentz transformation preserving instant time (i.e., u u I + (u0 )2 u uT
0

x0 = const) hyperplanes. To perform such a program one has


to distinguish an inertial frame, called the preferred frame: Notice that g(u) is constant (i.e., x independent) in each in-
Every absolute synchronization scheme (ASS) distinguishes ertial frame and is congruent to the Minkowskian metric =
formally such a priviledged inertial frame. We can go from diag(+, , , ). It is easy to check that the space element is
one ASS to another by the action of the so-called synchro- Euclidean, i.e., dl 2 = dx2 .
nization group [29, 31]. The classical relativity principle can The four-velocities u, u , and w are related by
be formulated in this language as the invariance of physical
0
laws under the action of the synchronization group, or more u0 (u0 + u )(u u )
w0 = , w= . (3)
simply, by the statement that each inertial frame can be chosen u 0 1 + u0u 0 (1 + u u)
as the preferred frame, i.e., the choice of the preferred frame
is physically irrelevant. The very serious advantage of ASS The relation between coordinates in the standard and the
is the separation of the two fundamental notions of special absolute synchronization is given by
relativity, namely, the relativity principle and the Lorentz co-
variance. In the absolute synchronization scheme, even in the x0E = x0 + u0u x, xE = x, (4a)
case if the relativity principle is broken, the Lorentz symmetry 0 1
u0E = (u ) , uE = u, (4b)
survives.
Now, each inertial frame is determined by its four-velocity where the subscript E indicates coordinates in the standard
with respect to the preferred one. We shall denote the four- (Einsteins) synchronization, while the coordinates in the ab-
velocity of the preferred frame as seen by an observer at rest solute synchronization are written without any subscript. We
in an inertial frame by u = (u0 , u). see that only the time coordinate changes. Note also that in
According to Refs. [30, 31] the transformation of the coor- the same point of space we have x0E = x0 , so the time lapse
dinates between inertial frames Ou and Ou takes the following is the same in both synchronizations. The coordinates xE
form: in the Einsteins synchronization transform according to the

x (u ) = D(, u)x(u), (1a) standard law, i.e., x E = xE .
It is important to stress that the transformations (1) form
where is an element of the Lorentz group, u is the four- a realization of the Lorentz group which transforms linearly
velocity of the preferred frame with respect to Ou , and D(, u) space-time coordinates according to Eq. (1a) and simultane-
is a 4 4 matrix depending on and u. This equation must be ously, nonlinearly transforms the PF four-velocity according
accompanied by the transformation law for the four-velocity to (1b). The round-trip velocity of light is invariant under
3

Eqs. (1). In particular, the Reichenbach synchronization co- where u = D(, u)u and D(, u) is given by Eqs. (2). Using
efficient [32, 33] is given by (n, u) = (1 u0n u)/2. More- Eqs. (7) we can transform Eqs. (6) to another reference frame.
over, from Eqs. (4) we have the following relation between We point out once again that under transformations (7a) for
velocities in the absolute and the standard synchronizations: the time component x0 does not mix with spatial components
xk (k = 1, 2, 3). One can also check that
vE
v= vE uE , (5a)
1 [x (u), p2 (u)] = [ p (u), p2 (u)] = 0, (8)
u0E
which means that a localized state has a definite mass. It is
v important to stress that the unitary map which connects one
vE = . (5b) choice of ASS to another choice of ASS and preserves Eqs. (6)
1 + u0 v u
and (7) does not exist (this means that the synchronization
Notice that for |vE | > 1 the above formulas have singulari- group [29, 31] cannot be unitarily realized in this case). For
ties, i.e., if a superluminal propagation (possibly related to the this reason QM distinguishes an ASS, i.e., a particular pre-
nonlocality of the theory) takes place then both descriptions ferred framethe quantum preferred frame. In Ref. [31] it
are no longer equivalent and consequently an ASS is physi- was shown that the choice of the quantum preferred frame
cally distinguished in such a case even on the classical level can be done by the spontaneous breaking of the synchroniza-
[31]. It is remarkable that the velocity manifold of spacelike tion group. As it was mentioned earlier, a natural candidate
particles is a proper carrier space for the Lorentz group only for quantum preferred frame is the CBRF [49].
in an ASS [31]. Transformations of the Lorentz group induce an orbit in a
We point out that the triangular form (2b) of a boost matrix bundle of Hilbert spaces Hu . Unitary orbits are parameterized
implies that under Lorentz transformations the time coordi- by mass and spin, similarly as for standard unitary represen-
nate is only rescaled by a positive factor, i.e., x 0 = x0 /w0 , tations of the Poincare group.
so the time ordering of events cannot be inverted by any An orbit induced by an action of the operator U() in the
Lorentz transformations between inertial frames, regardless bundle of Hilbert spaces under consideration is fixed by the
of the space-time separation. This is important in the QM following covariant conditions: (i) k2 = m2 , (ii) sgn(k0 ) is in-
context because the transformations of time do not involve variant; for physical representations k0 > 0, sgn(k0 ) = 1. As a
position operators. consequence there exists a positive defined Lorentz-invariant
measure

B. Lorentz covariant quantum mechanics d (k, m) = d 4 k (k0 ) (k2 m2 ). (9)

Now, applying the Wigner method and using Eqs. (7) one can
The Lorentz-covariant QM was discussed in the framework easily determine the action of the operator U() on a basis of
of an absolute synchronization scheme in Ref. [29]. We asso- eigenvectors of the four-momentum operator [29]
ciate with each inertial observer in Ou a Hilbert space Hu , so
we have a bundle of Hilbert spaces rather than a single Hilbert p (u)|k, u, m; s, i = k |k, u, m; s, i. (10)
space of states. It has been shown in Ref. [29] that one can in-
troduce Hermitian momentum and coordinate four-vector op- We find [50]
erators satisfying
U()|k, u, m; s, i = Ds (R(,u) ) |k , u , m; s, i, (11)
u p (u)
 

[x (u), p (u)] = i , (6a)
u p (u) where the contravariant components u and k transform as
[ p (u), p (u)] = 0, (6b) follows

[x (u), x (u)] = 0. (6c) u = D(, u)u = D(Lu , u)u, (12)
k = D(, u)k, (13)
We see that x0 commutes with all the observables. This al-
lows us to interpret x0 as a parameter just like in the standard
while
nonrelativistic quantum mechanics. Moreover, for x Eq. (6a)
is equivalent to [xi , pk ] = iki and [xi , p0 ] = pi / p0 (notice that R(,u) = D(R(,u) , u)
the covariant components ui = 0 in each frame), i.e., it has
the standard form. We stress that the commutation relations = D1 (Lu , u)D(, u)D(Lu , u) SO(3). (14)
(6) are covariant in the absolute synchronization. In fact, we
have the following transformation law for four-vector opera- Here u = (1, 0), u = D(Lu , u)u and Ds is the standard spin
tors s matrix representation of SU(2), s = 0, 21 , 1, . . .; , =
s, s + 1, . . . , s 1, s. R(,u) is a Wigner rotation belong-
U()x (u)U () = [D1 (, u)] x (u ), (7a) ing to the little group of a vector u. It should be noted that
T
in this approach, contrary to the standard one, representations
U() p (u)U () = [D (, u)] p (u ), (7b) of the Poincare group are induced from the little group of the
4

vector u, and not k = (m, 0, 0, 0). Finally, the normalization The invariant u-independent spin square operator S2 can be
condition for the basis vectors takes the form written in terms of S(u) in the standard form

hk, u, m; s, |k , u, m; s , i = 2k0 3 (k k)s s , (15) S2 = (S(u))2 = s(s + 1)I. (22)

where k denotes the vector formed from covariant compo- We stress that only in that formulation of QM it is possible to
nents of the momentum, i.e., k = (k1 , k2 , k3 ). introduce the spin operator which transforms properly under
the action of the Lorentz group [see Eq. (20)] and satisfies the
standard commutation relations (21) [52].
C. The localized states and spin To analyze the EPR-type experiments we define an observ-
able n S(u), where
Following Ref. [29] we construct the localized states (i.e.,
the eigenvectors of the position operator which coincides in sin cos
n = sin sin ,

PF with the Newton-Wigner one) and the covariant spin op-
erator. Eigenstates of the position operator x(u) (locked up in cos
the t0 = 0) are of the form [29]
which is the projection of operator S(u) on the direction of
1 d3k
Z q
|x, u, m; s, i = u k eikx |k, u, m; s, i, a unit vector n in the frame of reference Ou . Since S and
(2 )3/2 2 (k) x commute, i.e., [S(u), x(u)] = 0, we can introduce a set of
(16) common eigenvectors of x(u) and n S(u). They are given by
where (k) = k0 is a positive solution of the dispersion rela-
tion g (u)k k = m2 . In the Schrodinger picture, after time |x, n, u, m; s, i = 2u0 exp i en S(u) |x, u, m; s, i

t = x0 they develop as 
= Ds ei en
 s
2u0|x, u, m; s, i, (23)

|x0 , x, u, m; s, i
where
1 d3k
Z q
= u k eik x |k, u, m; s, i, (17)
(2 )3/2 2 (k) sin
en = cos .

which is not an eigenvector of x(u) except for x0 = 0. These 0
vectors transform under the action of the Lorentz group ac-
cording to the following law: Vectors (23) satisfy the following eigenequations:
0
U()|x0 , x, u, m; s, i = Ds (R(,u) ) |x , x , u , m; s, i, x(u)|x, n, u, m; s, i = x|x, n, u, m; s, i, (24a)
(18) n S(u)|x, n, u, m; s, i = |x, n, u, m; s, i, (24b)
where x and u are given by Eqs. (1). Notice that for x0 = 0
0 k
we have x = 0 and x = D(, u)k i xi . with the normalization
Now we define a spin operator [51] in absolute synchro-
nization as follows: hx, a, u, m; s, |y, b, u, m; s, i
= 3 (x y)Ds eia ea eib eb
 
S(u)|k, u, m; s, i = s |k, u, m; s, i, (19a) . (25)

Thus the projector corresponding to a region and to a value


so
of the spin component in the n direction in the frame Ou is
of the form
S(u)|x, u, m; s, i = s |x, u, m; s, i, (19b) Z

P,n (u) = d 3 x |x, n, u, m; s, ihx, n, u, m; s, |. (26)
where s are the standard generators of rotation in the repre-
sentation Ds . The transformation law (11) for states implies
(u), locked up
Now, in the Schrodinger picture projectors P,n
the following transformation law for the components of S(u):
in x0 = 0, are time independent and transform under Lorentz
group transformations by means of Eqs. (5) and (23) as fol-
U()Si (u)U () = RT(,u) i j S j (u ), (20) lows:

where R(,u) is a Wigner rotation as above. U()P,n (u)U () = P ,n (u ), (27)
Moreover, Si (u) fulfill the standard commutation relations
such that here n = R(,u) n and the region is obtained from the region
k
by x = D(, u)k i xi . We stress that there is no analog of
[S (u), S (u)] = i
i j i jk k
S (u). (21) Eq. (27) in the standard formulation of relativistic QM.
5

III. EPR CORRELATIONS (2) The observer B sees the state A (uA ,tA1 ; a ) at a time tB1 as

In this section we employ the formalism introduced above


to the calculation of the correlation function of the EPR-type A (uB ,tB1 ; a ) = U()A (uA ,tA1 ; a )U (),
experiment. We consider distinguishable particles (the case of
identical particles is quite analogous). In this case vectors de- where xB = D(, uA )xA , uB = D(, uA )uA ; so tB1 =
s
scribing pure states belong to Hs (u) H (u), where indices D(, uA )0 0tA1 .
and denote particles. We associate with the observers A
and B the two frames AuA and BuB , the preferred frame four-
velocities with respect to AuA and BuB are uA and uB , respec- (3) The state evolves freely in time from tB1 to tB2 to
tively. These observers measure the spin component in the a
and b directions, respectively (|a| = |b| = 1), in the space re-
gions A and B, respectively. Let us denote their observables as A (uB ,tB2 ; a ) = U(tB2 tB1 )A (uB ,tB1 ; a )U (tB2 tB1 ).
MA,a and MB,b , respectively. If we assume that the observer A
registers the particle and the observer B registers the parti-
cle , then
(4) The observer B performs measurement with selection of
s s
the observable MB,b at a time tB2
MA,a (uA ) = PA,a (uA ) I A,a , (28a)
=s =s
s s
B,b
b
A (uB ,tB2 ; a )B,b
b
MB,b (uB ) = I
PB,b (uB )
B,b , (28b) A (uB ,tB2 ; a ) 7
=s =s Tr[A (uB ,tB2 ; a )B,b
b
]

AB (uB ,tB2 ; b |a ).
where PA,a and PB,b are given by Eq. (26).
A state of the system under consideration in frame Ou at a
time t is denoted by (u,t). Now we write down the sequence
of events describing the development of the state (u,t). Recall that in the absolute synchronization tB2 tB1 =
(1) The observer A performs measurement with selection of D(, uA )0 0 (tA2 tA1 ) and D(, uA )0 0 > 0, so the causal rela-
the spin component in the direction a, localizing the tionship between measurements in A and B is well established
particle in the space region A at a time tA1 . This causes the (contrary to the Einsteins synchronization).
following state reduction Therefore the probability p(a ) that the observer A has
measured value a and the probability p(b |a ) that the ob-

A,a
a
(uA ,tA1 )A,a
a server B has measured the value b if the observer A had mea-
(uA ,tA1 ) 7 A (uA ,tA1 ; a ). sured a are
Tr[ (uA,tA1 )A,a
a
]


p(a ) = Tr[ (uA ,tA1 )A,a
a
],


p(b |a ) = Tr[A (uB ,tB2 ; a )B,b
b
]
a b a
h i
Tr (uA,tA1 )A,a U ()U (tB2 tB1 )B,bU(tB2 tB1 )U()A,a
= ,
p(a )
thus
a b a
h i
p(a )p(b |a ) = Tr (uA ,tA1 )A,a U ()U (tB2 tB1 )B,bU(tB2 tB1 )U()A,a .

Therefore the correlation function reads Recall that in H H , U() = U() U() and for the
free evolution U(t) = U(t) U(t) .
C(a, b) = a b p(a )p(b |a )
a , b
a
= a Tr (uA ,tA1 )A,a
h
U ()U (tB2 tB1 )
a
a
i
MB,bU(tB2 tB1 )U()A,a . (29)
6

IV. CORRELATION FUNCTIONA PARTICULAR CASE


b
In this section we discuss the case when the measurements
a B
in A and B are simultaneous. So we assume that tB2 = tB1 tB
B
[i.e., there is no free evolution of a state between measure- A
ments 1 and 2, so U(tB2 tB1 ) = I]. Moreover, we assume A V
that the regions A and B are disjoint. Therefore in Eq. (29)
a
MB,b commutes with U()A,a U () and in this case we
have (tA1 tA ) B
A
C(a, b) = Tr (uA ,tA )MA,aU ()MB,bU() .
 
(30)

Assume that the initial state is a pure state |i H (uA )


H (uB ), thus (uA ,tA ) = |ih|, h|i = 1. Since in this PF
case

C(a, b) = h|MA,a (uA )U ()MB,b (uB )U()|i, FIG. 1: A schematic EPR experiment in moving frames. The detec-
tors A and B are at rest in the frames A and B, respectively. A and
therefore using U() = U() U() , we find B denote the velocities of PF with respect to A and B, respectively;
while V denotes the velocity of B with respect to A.



C(a, b) = h| PA,a (uA )
,
i.e., up to a factor

U(1 )PB,b (uB )U (1 ) |i. (31)
C(a, b) a RT(,uA ) b. (36)
Hence, taking into account Eq. (27) we obtain
If the orientation of axes in the frames AuA and BuB is the

C(a, b) = h|PA,a (uA ) PB ,b (uA )|i,
A
(32) same, we need to deal with boosts (w) only and
,
C(a, b) a RT((w),uA ) b, (36a)
where BA is obtained from the region B by transformation
i
x = D1 (, uA )i j x j and b = RT(,u ) b. Now, using the ex-
A
where w are components of four-velocity of the frame BuB
pansion of the vector |i such that with respect to AuA .
From Eq. (14) we can calculate the explicit form of the
Wigner matrix R((w),uA ) ,
Z Z
|i = d 3x d 3 y 2u0 (x, y, uA )
,
R((w),uA ) = B1 (uB )(w, uA )B(uA ), (37)
|x, uA, m ; s , i |y, uA, m ; s , i, (33)
where
where
u0
B(u) = I + u uT ,
Z Z
(38a)
3
d y Tr (x, y, uA ) (x, y, uA ) = 1, (34)
3
 
h|i = d x 1 + u0
1
(w, u) = I + w wT u0 w uT , (38b)
(hereafter denotes the matrix = [ ]) and using 1+ 1+w 2
Eqs. (30) and (31) we get, after some calculations, the fol-
lowing formula: and by means of Eq. (3)
Z Z u0A w 1 + w0
C(a, b) = d3x d 3 y Tr[ (x, y, uA )a s (x, y, uA ) u0B = , uB = uA . (39)
A BA
w0 u0A 1 + 1 + w2
T
(RT(,uA ) b) s ]. (35) The corresponding velocities of the preferred frame with re-
spect to frames A and B are A = uA /u0A and B = uB /u0B,
Consider now the case of the spin s = s = 1/2. We can respectively, while the velocity of the frame B with respect

write then (x, y, uA ) = (i/ 2) (x, y, uA ) 2 and = 12 , to A is V = w/w0 (see Fig. 1). We remark that it is possible
where i (i = 1, 2, 3) are the Pauli matrices. Thus to express R((w),uA ) , given by Eq. (37), by these velocities
as well as by the corresponding velocities in the Einsteins
1
Z Z
synchronization with the help of Eqs. (5) because it is only
C(a, b) = d 3x d 3 y | (x, y, uA )|2 (a RT(,uA ) b),
4 A BA a reparametrization on the level of classical parameters, so it
7

cannot affect the quantum correlations: They are still depen-


dent on the corresponding velocities of PF with respect to the
observers. Indeed, as it was discussed in Sec. II B, the QMs
built up on the different PFs are not unitary equivalent. Thus
the dependence of quantum correlation functions on the ve- A B


locities of PF is unremovable because it is a pure quantum 2
,b 2
phenomenon. CHa L 0
Now, the correlation function (36a) is
A
B
-
2 -
C(a, b) a B(uA)T (w, uA )B1 (uB )b, (40)

where B and are given by the formulas (38). Note, that the 0
correlation function given by Eq. (40) depends on the choice
of PF, i.e., the two correlation functions, say C(a, b) obtained 0
for PF with the four-velocities uA and uB with respect to the
observers and C(a, b) obtained under another choice of PF FIG. 2: Correlation function C(a, b) given by Eq. (43) for the case
with the four-velocities uA and uB with respect to the ob- when a b. Here is the angle between a b and A B , and
servers, do not turn into themselves when expressing uA and is the angle between A and B .
uB by uA and uB or vice versa. This property, related to the
above mentioned nonequivalence of QMs built on different
PFs, can be used to set up the experiments testing the exis-
tence and/or identification of the quantum preferred frame. Here A , B and V are related by the approximate for-
Let us discuss some special cases of Eq. (40). mula B A V. In the formula (43) the velocities are
given in the absolute synchronization scheme but up to
(1) w = 0 (i.e. V = 0). In this case both measurements are the fourth-order corrections they have the same form in
performed in the same inertial frame. It follows from terms of velocities VE , AE , B E defined in the Einsteins
Eq. (40), that the correlation function has the standard synchronization scheme (as it was mentioned above the
nonrelativistic form in this case, reparametrization of the classical velocities cannot affect
the distinguishing of the quantum preferred frame, i.e., the
C(a, b) a b = cos ab , (41) quantum correlation function is still dependent on the cor-
responding velocities of PF with respect to the observers).
as it should be expected. We would like to point out that The deviation from the standard formula when a and b are
the correlation function for relativistic EPR particles cal- perpendicular is shown in the Fig. 2.
culated in Refs. [41, 42] contains corrections of the order
(particle velocity/c)2 to Eq. (41). It would be interesting Note that it follows from Eq. (43) that the corrections to
to verify both the predictions experimentally. the standard formula are of the order 2 in velocities. With
the identification of the preferred frame with the CBRF
(2) uA = 0 or uB = 0. In this case one of the observers per-
and A and B with the solar system these corrections are
forms his/her measurement in the preferred frame. With
of the order 106. Therefore, we can imagine an experi-
the help of Eqs. (40) and (39) we find that
ment testing this identification based on the measurement
C(a, b) a b, (42) of the quantum correlations under the condition that the
vectors a and b are perpendicular. In this case the stan-
that is, we get the standard nonrelativistic formula. dard part of the correlation function vanishes and only the
effect caused by the existence of the quantum preferred
(3) Let us assume that the velocities A and B are small, frame remains [see Eq. (43) and Fig. 2]. Now, unlike in
i.e. |A | 1 and |B | 1. Such a situation occurs if the standard EPR experiments, we should not measure the
the quantum-mechanical preferred frame coincides with dependence of the correlation function on the angle be-
the CBRF and the observers velocities are similar to the tween the vectors a and b, but rather its dependence on
velocity of the solar system (i.e., |A | and |B | 103 ). the change of the velocities of PF, A and B , caused by
In this case the movement of the Earth.
V AT A VT
R((w),uA ) I + (4) Finally we consider the case when velocities of the pre-
2
A BT B AT ferred frame are high. Denoting uA /|uA | = nA , uB /|uB | =
=I+ , nB we obtain in this case
2
so
R((w),uA ) I nA nTA + nB nTB + nA nTB
(a b) (A B ) 1
(1 + 2nA nB )nB nTA (1 + nA nB ) ,

C(a, b) a b + . (43)
2
8

hence, have shown that in the case when both measurements are per-
formed in the same inertial frame we obtain the standard non-
1 relativistic result that the correlation function is proportional
C(a, b) ab [(a nA)(b nA ) + (a nB)(b nB )
1 + nA nB to the scalar product of the direction vectors. This result also
+(a nB)(b nA ) (1 + 2nA nB )(a nA )(b nB )] . (44) holds if one of the measurements is performed in the preferred
frame. We have also found the limit of the correlation function
for small velocities and shown that it leads to the correction of
We point out that the simultaneity of the measurements
the second order in velocities to the standard a b relation. On
(tA = tB ) is defined in the corresponding absolute synchroniza-
the other hand, the correlation function for the very high ve-
tion scheme related to the choice of the PF [53].
locities of the PF with respect to the observers depends only
on the directions of movement of the PF.
V. CONCLUSIONS It is important to stress that the exact EPR correlation func-
tion (29) depends on the PF velocity in an essential way, i.e.,
In the framework of the Lorentz-covariant quantum me- this dependence cannot be removed by expressing the cor-
chanics with the preferred frame one can build the formalism relation function by classical quantities (velocities) given in
that allows to calculate correlation function in the EPR-type the Einsteins synchronization scheme. This means that the
experiments [see Eqs. (29) and (30)] performed in moving Lorentz-covariant quantum mechanics must distinguish a pre-
inertial frames. We would like to point out that our results ferred frame. The above results can be used to propose a re-
are the exact EPR correlation functions obtained for Lorentz- alistic experiment which can answer the question of the ex-
covariant quantum mechanical systems in moving frames un- istence of quantum-mechanical preferred frame (and its pos-
der physically acceptable conditions, i.e., taking into account sible identification with the CBRF). A more exhaustive dis-
the localization of the particles during the detection and using cussion of this problem as well as an analysis of the subtle
the spin operator with proper transformation properties under question concerning the synchronization of clocks in the ex-
the action of the Lorentz group. perimental setup will be given in the forthcoming paper.
We applied the general result to the case of simultaneous Acknowledgments
measurements of the spin component for bipartite spin-1/2
system done by the spatially bounded detectors. The result- One of the authors (JR) is grateful to Marek Czachor,
ing correlation function is proportional to a RT(,u ) b, where Ryszard Horodecki, Valerio Scarani, and Anton Zeilinger for
A
a and b are the direction vectors and R(,uA ) is the Wigner discussions during the second EFS QIT conference in Gdansk
rotation matrix associated with the Lorentz transformation as well as Harvey R. Brown for discussing the conventionality
connecting the frames of the detectors. Next we have studied of the synchronization in the special relativity. This work was
the limiting cases of this particular correlation function and supported by Lodz University Grant No. 267.

[1] A. Einstein, B. Podolsky, and N. Rosen, Phys. Rev. 47, 777 [13] H. Zbinden, J. Brendel, N. Gisin, and W. Tittel, Phys. Rev. A
(1935). 63, 022111 (2001).
[2] D. Bohm, Quantum Theory (Prentice-Hall, Englewood Cliffs, [14] H. Bacry, Localizability and Space in Quantum Physics, vol.
1951). 308 of Lecture Notes in Physics (Springer, Berlin, 1988).
[3] A. Aspect, P. Grangier, and G. Roger, Phys. Rev. Lett. 47, 460 [15] Y. Aharonov and D. Z. Albert, Phys. Rev. D 24, 359 (1981).
(1981). [16] A. Peres, Quantum Theory: Concepts and Methods, vol. 72 of
[4] A. Aspect, P. Grangier, and G. Roger, Phys. Rev. Lett. 49, 91 Fundamental Theories of Physics (Kluwer, Dordrecht, 1995).
(1982). [17] A. Peres, Phys. Rev. A 61, 022116 (2000).
[5] A. Aspect, J. Dalibard, and G. Roger, Phys. Rev. Lett. 49, 1804 [18] A. Peres, Phys. Rev. A 61, 022117 (2000).
(1982). [19] J. S. Bell, in Quantum Gravity 2, edited by C. Isham, R. Pen-
[6] H. J. Bernstein, D. M. Greenberger, M. A. Horne, and rose, and D. Sciama (Oxford University Press, New York,
A. Zeilinger, Phys. Rev. A 47, 78 (1993). 1981), pp. 611637.
[7] D. Bouwmeester, J.-W. Pan, M. Daniell, H. Weinfurter, and [20] L. Hardy, Phys. Rev. Lett. 68, 2981 (1992).
A. Zeilinger, Phys. Rev. Lett. 82, 1345 (1999). [21] H. P. Stapp, Nuovo Cimento B 40, 191 (1977).
[8] J.-W. Pan, M. Daniell, S. Gasparoni, G. Weihs, and [22] A. Suarez, Preferred frame versus multisimultaneity: Meaning
A. Zeilinger, Phys. Rev. Lett. 86, 4435 (2001). and relevance of a forthcoming experiment, quant-ph/0006053.
[9] A. Stefanov, H. Zbinden, N. Gisin, and A. Suarez, Phys. Rev. [23] V. Scarani and N. Gisin, Phys. Lett. A 295, 167 (2002).
Lett. 88, 120404 (2002). [24] G. C. Hegerfeld, Ann. Phys. (Leipzig) 7, 716 (1998).
[10] W. Tittel, J. Brendel, H. Zbinden, and N. Gisin, Phys. Rev. Lett. [25] G. C. Hegerfeld, in New Developments in Fundamental Inter-
81, 3563 (1998). action Theories, edited by J. Lukierski and J. Rembielinski
[11] W. Tittel, J. Brendel, N. Gisin, and H. Zbinden, Phys. Rev. A (American Institute of Physics, Melville, NY, 2001), vol. 589
59, 4150 (1999). of AIP Conference Proceedings, pp. 357366.
[12] G. Weihs, T. Jennewein, C. Simon, H. Weinfurter, and [26] A. Einstein, Sidelights on Relativity (Dutton, New York, 1922).
A. Zeilinger, Phys. Rev. Lett. 81, 5039 (1998). [27] P. A. M. Dirac, Nature 168, 906 (1951).
9

[28] P. C. W. Davies and J. R. Brown, eds., The Ghost in the Atom [47] D. R. Terno, Some notes on the true relativistic spin operator,
(Cambridge University Press, Cambridge, 1986), chap. 3. quant-ph/0208074.
[29] P. Caban and J. Rembielinski, Phys. Rev. A 59, 4187 (1999). [48] In Refs. [41, 42] an average value of the operator a W
[30] J. Rembielinski, Phys. Lett. A 78, 33 (1980). b W , where W is PauliLubanski four-vector, was calcu-
[31] J. Rembielinski, Int. J. Mod. Phys. A 12, 1677 (1997). lated. However, in our opinion, this average cannot be treated
[32] H. Reichenbach, Axiomatization of the Theory of Relativity as a correlation function of spin measurements in the relativis-
(University of California Press, Berkeley, 1969). tic case because the spatial part of W is not the spin operator
[33] M. Jammer, in Problems in the Foundations of Physics, edited in QM (W belongs to the enveloping algebra of Lie algebra of
by G. Toraldo di Francia (North-Holland, Amsterdam, 1979), Poincare group, while the spin operator is a generator of the in-
pp. 202236. trinsic rotationssee, e.g., Ref. [43]). Moreover, the derivation
[34] C. M. Will, Phys. Rev. D 45, 403 (1992). of correlation function in Refs. [41, 42] does not involve local-
[35] C. M. Will, Theory and Experiment in Gravitational Physics ization of measured particles in detectors and is restricted to the
(Cambridge University Press, Cambridge, 1993). measurements performed in the same inertial frames.
[36] R. Mansouri and R. U. Sexl, Gen. Relativ. Gravit. 8, 497 (1977). [49] Another motivation for such a choice is the very recent cos-
[37] R. Anderson, I. Vetharaniam, and G. E. Stedman, Phys. Rep. mological hypothesis of the so-called rolling tachyon field
295, 93 (1998). [44, 45, 46]. In Ref. [31] it was proved that quantization of the
[38] V. Scarani, W. Tittel, H. Zbinden, and N. Gisin, Phys. Lett. A tachyonic field must be necessarily associated with the sponta-
276, 1 (2000). neous breaking of the synchronization group and consequently
[39] S. Coleman and S. L. Glashow, Phys. Rev. D 59, 116008 (1999). with the distinguishing of a privileged frame.
[40] D. Colladay and V. A. Kostelecky, Phys. Rev. D 58, 116002 [50] Here we have chosen slightly different convention that in
(1998). Ref. [29] in the definition of this unitary action.
[41] M. Czachor, Phys. Rev. A 55, 72 (1997). [51] The operator S(u) is connected with the operator Si j (u) in-
[42] M. Czachor, in Photonic Quantum Computing, edited by S. P. troduced in Ref. [29] by the formula Si (u) = (1/2u0 )( i j
Hotaling and A. R. Pirich (SPIEThe International Society for (u0 )2 /(1 + u0 )ui u j ) jkl Skl (u).
Optical Engineering, Bellingham, WA, 1997), vol. 3076 of Pro- [52] Recently the problem of the spin operator in the standard rela-
ceedings of SPIE, pp. 141145. tivistic QM has been discussed in Ref. [47].
[43] N. N. Bogolubov, A. A. Logunov, and I. T. Todorov, Introduc- [53] If the two measurements are performed simultaneously (in ab-
tion to Axiomatic Quantum Field Theory (Benjamin, Reading, solute synchronization) in the places at the distance l, the dif-
MA, 1975). ference of their time in Einsteins synchronization is | |
[44] G. W. Gibbons, Phys. Lett. B 537, 1 (2002).
E l/c2 [cf. Eqs. (4)], i.e., if PF is CBRF then for l 1 km we
[45] S. Mukohyama, Phys. Rev. D 66, 024009 (2002).
have < 1 ns.
[46] A. Sen, JHEP 0204, 048 (2002).

You might also like