Professional Documents
Culture Documents
Arthur Eckert
Arthur Eckert
sign flip in the velocity V . Therefore we can write: of (5) and equate (5) with (4). Which brings us to the
following condition:
x0 = A(V ) x + B(V ) t,
x = A(−V ) x0 + B(−V ) t0 , (1) A(V1 )A(−V1 ) − 1 A(V2 )A(−V2 ) − 1
= 2 (6)
V12 A(V1 )A(−V1 ) V2 A(V2 )A(−V2 )
where A(V ) and B(V ) are unknown functions we wish to
determine. The origin of the primed frame of reference, for any V1 and V2 . This can only be satisfied if both sides
given by the equation x0 = 0, is moving in the unprimed of the equation are equal to some constant K:
frame according to the equation x = V t. Putting that
into (1) we obtain the constraint: B(V ) A(V )A(−V ) − 1
A(V ) = −V . This = K, (7)
allows us to narrow down a family of possible transfor- V 2 A(V )A(−V )
mations consistent with the principle of relativity to the
which sets another constraint on possible functions A(V )
following one:
appearing in (2). We are one step away from completing
x0 = A(V )(x − V t), the derivation.
A(V )A(−V ) − 1
For the symmetric case, A(−V ) = A(V ), we can de-
0
t = A(V ) t − 2 Vx , (2) termine the form of A(V ) using (7), which leads to
V A(V )A(−V ) A(V ) = ± √1−KV 1
. Choosing the sign such that for
2
0
where only a single function of velocity, A(V ) remains V → 0 we get x → x, we retrieve familiar transformation
unknown. At this stage the only thing we can say about formulas:
A(V ) is that it must be either a symmetric, or antisym-
x−Vt
metric function of its argument. This is because a dis- x0 = √ ,
crete change of sign of any spacetime coordinate in the 1 − KV 2
unprimed frame should result in a discrete sign change t − KV x
t0 = √ . (8)
in the transformation formulas (2). But since such a sign 1 − KV 2
flip also affects the sign of velocity V , and consequently
A(V ), therefore A(V ) can only be either symmetric, or The new constant K characterizing fundamental proper-
anti-symmetric function of V . ties of spacetime remains unknown. The case of K = 0
In order to uniquely determine A(V ), let us consider a corresponds to the Galilean universe, the case of K > 0
set of three inertial frames (t, x), (t0 , x0 ), and (t00 , x00 ) in leads to relativistic spacetime as we know it. The last
a relative motion. Let the primed frame move with the case of K < 0 corresponds to an Euclidean spacetime
velocity V1 relative to the unprimed frame, and let the with one
p of the dimensions stretched by an extra fac-
double-primed frame move with the velocity V2 relative tor of |K| and the derived transformation being just a
to the primed one. By iterating the equations (2) we regular rotation. From now on, we pick K = c12 , which
obtain: brings us to the familiar formulas of the Lorentz transfor-
mation, that are well-behaved only for velocities V < c.
A(V1 )A(−V1 ) − 1 Let us now consider the anti-symmetric case of
x00 = A(V1 )A(V2 )x 1 + V1 V2 2
V1 A(V1 )A(−V1 ) A(−W ) = −A(W ), where we have chosen to denote
−A(V1 )A(V2 )(V1 + V2 )t. (3) the velocity with W in order to discriminate it from
the symmetric case. Using the constraint (7) we retrieve
Looking at the structure of the first equation in (2) we the unique form of A(W ) = ± √ W/|W |
, which is well-
2 2
W /c −1
can compute the relative velocity V by calculating the
ratio between the coefficient in that transformation in behaved only for W > c and leads to the following trans-
front of t and the coefficient in front of x (and reversing formation formulas:
the sign). Applying this rule to the formula (3) we obtain: W x − Wt
x0 = ± p ,
A(V1 )A(V2 )(V1 + V2 ) |W | W 2 /c2 − 1
V = . (4)
1 + V1 V2 VA(V 1 )A(−V1 )−1 W t − W x/c2
2 A(V )A(−V )
1 1 1 t0 = ± p . (9)
|W | W 2 /c2 − 1
Now, the crucial argument follows. If we interchange
V1 ↔ −V2 in the above formula, we should obtain a ve- So far, we have only used the Galilean principle of rela-
locity of the unprimed observer relative to the double- tivity, which puts no restrictions on possible velocities of
primed observer, which is just −V . Therefore: the observer. Both the solutions (8) and (9) preserve the
constancy of the speed of light. In order to get rid of the
A(−V2 )A(−V1 )(V2 + V1 ) second branch of solutions (9), we have to introduce addi-
V = . (5)
1 + V2 V1 VA(−V 2 )A(V2 )−1
2 A(−V )A(V )
2 2
tional physical assumptions that rule them out. We will
2
choose not to do so, and instead we will investigate what
Whether A(V ) is symmetric or antisymmetric, we can are the consequences of the existence of these extra solu-
drop negative signs in the arguments in the numerator tions. The purpose of this work is to show that keeping
3
ct
ct’
x’
f
f
x
FIG. 3: A spacetime diagram of a decay of a subluminal particle into FIG. 4: A spacetime diagram of a luminal particle (dotted line)
a pair of subluminal particles (time is vertical, space is horizontal): a)
reflected from a mirror (time is vertical, space is horizontal): a) in a
in a subluminal reference frame, b) in a superluminal reference frame.
subluminal reference frame, b) in a superluminal reference frame.
Possibly at a later time than the event B itself. However, For such a frame, the considered decay process is depicted
if we seek a deterministic and local mode of description, in Fig. 3b. In this frame all particles involved in the pro-
i. e. try to determine the moment of emission at B only cess are superluminal and henceforth, the decay cannot
by a local measurement on the particle B, it is clearly im- be described using any local and deterministic theory, as
possible. We have already assumed that the past world- we have shown earlier. By invoking the Galilean princi-
line of the particle B carries no information about the ple of relativity we conclude that the same must be the
time of the event B. In practice, the observer having only case for any subluminal reference frame.
access to the local properties of the particle B can only
conclude that the emission at B was be completely spon-
taneous and fundamentally unpredictable. IV. MULTIPLE PATHS
We have previously assumed that the cause of the emis-
sion of the superluminal particle at A (in the first refer- Another fundamentally axiomatic property of the
ence frame) was determined by the past world-line of A. quantum theory, besides it being non-deterministic, is
This assumption leads, however to a preferred reference the fact that a particle that is not being observed can
frame, in which a local deterministic mode of description behave as if it was moving along multiple trajectories at
is possible, while it remains impossible in other frames. once, which is best shown in interference experiments.
In order to preserve the Galilean principle of relativity But once the particle is observed it can only be detected
stating that no preferred inertial reference frame exists, at one of the locations. Now, let us show how this fol-
we have to abandon our assumption that the emission at lows from the Galilean principle of relativity involving
A in the first frame could be determined by a local pro- both families of inertial observers (8) and (9).
cess. As a result we conclude that no relativistic, local
Consider a photon emitted from a source at A, reflected
and deterministic description of the emission of a super-
from a mirror M and then received at B, as shown in
luminal particle is possible in any inertial frame. If such
Fig. 4a. Suppose that we want to detect the photon by
an emission was to take place, it would have to appear
placing detectors at its path. If a detector placed at
completely random to any inertial observer. If we had a
the path A-M detects the photon and absorbs it, then a
source of superluminal particles at our disposal, we would
similar detector placed at the path M-B will not register
not be able to use it to send any information because we
anything, because the photon has been absorbed earlier.
would not be able to control the emission rate using any
Similarly, if a detector at M-B absorbed the photon, then
local operations.
certainly, the photon could not have been detected at the
Non-deterministic behavior is not only a property of path A-M. Now let us analyze the same scenario from an
superluminal particles. The same applies to subluminal infinitely fast moving reference frame by applying the
particles, which can be shown in the following way. Con- transformation equations (10). In this reference frame
sider a decay of a subluminal particle into a pair of other the photon is traveling from M towards A and B along two
subluminal particles, as depicted in Fig.3a. Let us picture paths, but if we try to detect it using a pair of detectors
the same process as seen by the infinitely fast moving in- placed at M-A and M-B then only one of them can absorb
ertial observer, for which the transformation (9) reduces the photon. However as long as we do not make any
to: observation, the motion of the photon is characterized
by two parallel paths, not one.
x0 = ct, As we can see, even if we start with an idea of a classical
ct0 = x. (10) particle moving along a single path, it is only a matter
5
One special case that satisfies all the conditions (12), (13) and (14) has the form:
1 γ −αφ1 γ
P (n) (φ1 , φ2 , . . . , φn ) = β
eαφ1 + eαφ2 + . . . + eαφn e + e−αφ2 + . . . + e−αφn , (15)
n
where α, β and γ are arbitrary constants. In the Ap- being superluminal is not a relative notion anymore. A
pendix A we show that a general form of the function physical justification given by the authors is the follow-
P is a multi product of special solutions (15) with any ing. Let us extend the coordinate transformation (9) by
constants α, β and γ. adding the trivial perpendicular counterparts, y 0 = y and
For the infinite number of trajectories all these invari- z 0 = z. The spacetime interval in the new coordinates
ants tend to diverge if γ > 0 or go to zero if γ < 0. now becomes:
The invariant can remain finite for the infinite number
of paths only if the constant α takes a purely imaginary c2 dt2 −dx2 −dy 2 −dz 2 = −c2 dt02 +dx02 −dy 02 −dz 02 . (17)
value. As a consequence, a relativistically invariant de-
The authors of [15] conclude that the spatial component
scription of the scenario, in which a particle is moving
dx02 −dy 02 −dz 02 defines a non-Euclidean space, which can
along (infinitely) many possible paths involves the fol-
be physically discriminated from the Euclidean space of
lowing quantity:
the subluminal observers and therefore there exist phys-
ical differences between subluminal and superluminal in-
X
hB|Ai ∼ ei|α|φk , (16)
k
ertial observers.
Since the Galilean principle of relativity stating that all
known as the (complex) probability amplitude, for which inertial frames are equivalent does not hold in the 1 + 3
the proportionality constant can be established based on dimensional spacetime, we propose a quantum version
the normalization condition. of the principle of relativity. Let us postulate that the
This result shows that relativistic invariance and sym- existence or non-existence of a local and deterministic
metry requirements lead to the characterization of the mode of description of any process should not depend on
probability-like quantities that are based on a sum of the choice of the inertial reference frame. For example
complex exponential functions that we call probability if there is no local deterministic mechanism (or "element
amplitudes. of reality") behind the particle decay in Fig. 2b in the
past world-line of B in one frame, there should be no
such mechanism in any other frame. In this way all the
VI. 1 + 3 DIMENSIONAL CASE conclusions of the previous sections are still valid, while
we allow for the two families of observers to be physically
Galilean principle of relativity for the 1 + 1 dimen- distinguishable.
sional spacetime involving two families of inertial ob- Lastly, we would like to propose a different interpreta-
servers leads to processes such as particle decays, that tion of the relation between spacetime intervals in sublu-
violate a classical, deterministic and local mode of de- minal and superluminal reference frames, given by (17).
scription. Moreover, particle motions inevitably involve Let us notice, that the common signs of individual terms
multiple trajectories at once, which combined with the on the right-hand side of the equation (17) suggest that
relativistically invariant description can be best summa- the temporal coordinate dt0 should have the same proper-
rized using the quantum principle of superposition. ties as dy 0 and dz 0 . The quantity dt0 can be identified as
The situation becomes even more interesting for the a temporal coordinate, because its axis t0 must coincide
1 + 3 dimensional case. It has been shown that the small- with the world line of the superluminal observer. This
est group involving both subluminal and superluminal suggests, that the remaining coordinates, y 0 and z 0 are
four-dimensional transformations is SL(4, R) [14]. It is also temporal, and there is only a single spatial dimen-
clear that this cannot be a symmetry group, because it in- sion in a superluminal frame of reference, x0 . Within such
volves transformations such as direction-dependent time an interpretation, the interval in the n + m dimensional
dilation, which are not observed [14]. This suggests that spacetime, defined as:
superluminal transformations in the 1 + 3 dimensional n m
spacetime should not be symmetries at all. A possible X X
ds2 ≡ c2 dt2i − dri2 (18)
interpretation of this result has been given in [15], where
i=1 i=1
the authors suggest that unlike the 1 + 1 dimensional
case, the family of superluminal observers can be dis- changes its sign for the superluminal coordinate trans-
tinguished from the subluminal observers and therefore formation, and the two perpendicular spatial coordinates
7
Let us first consider a special case of the expansion Inserting this into the condition (14) yields:
(A1), in which only the terms with a fixed value of l = N
do not vanish. In this case we can skip the summation
over l in the Taylor expansion (A1), which reduces the
expression to:
∞
(n)
X
P (n) (φ1 , φ2 , . . . , φn ) = αk1 ,k2 ,...,kN
k1 ,k2 ,...,kN =0 (A2)
E (k1 ) (φ1 , φ2 , . . . , φn ) · · · E (kN ) (φ1 , φ2 , . . . , φn ).
∞
X
αr(nm)
1 ,r2 ,...,rN
E (r1 ) (φ1 + ξ1 , φ1 + ξ2 , . . . , φn + ξm ) · · · E (rN ) (φ1 + ξ1 , φ1 + ξ2 , . . . , φn + ξm )
r1 ,r2 ,...,rN =0
∞
(n)
X
= αk1 ,k2 ,...,kN E (k1 ) (φ1 , φ2 , . . . , φn ) · · · E (kN ) (φ1 , φ2 , . . . , φn ) (A3)
k1 ,k2 ,...,kN =0
X∞
× αs(m)
1 ,s2 ,...,sN
E (s1 ) (ξ1 , ξ2 , . . . , ξm ) · · · E (sN ) (ξ1 , ξ2 , . . . , ξm ).
s1 ,s2 ,...,sN =0
Terms appearing in the left hand side of (A3) can be expanded using the definition of E (n) and the Newton’s power
formula:
ri
X ri
E (ri ) (φ1 + ξ1 , φ1 + ξ2 , . . . , φn + ξm ) = E (ti ) (φ1 , φ2 , . . . , φn )E (ri −ti ) (ξ1 , ξ2 , . . . , ξm ). (A4)
t =0
t i
i
Inserting (A4) into (A3) and invoking the algebraic independence of the polynomials E (k) we obtain the condition for
(n)
the coefficients αk :
X kπ(1) + sπ0 (1)
kπ(N ) + sπ0 (N )
(nm)
X (n)
··· αkπ(1) +sπ0 (1) ,...,kπ(N ) +sπ0 (N ) = αkσ(1) ,...,kσ(N ) αs(m)
σ 0 (1) ,...,sσ 0 (N )
, (A5)
0
kπ(1) kπ(N ) 0
π,π σ,σ
0 0
where σ, σ , π, and π are arbitrary permutations of an N -element set. Without a loss of generality we can assume
(n)
that the coefficients αk1 ,k2 ,...,kN are completely symmetric in their indices ki , because any nonsymmetric component
does not contribute to the overall sum (A2) anyway. This assumption yields:
(n) (nm)
X
N !k1 !k2 ! · · · kN !s1 !s2 ! · · · sN ! αk1 ,...,kN αs(m)
1 ,...,sN
= (k1 + sπ(1) )! · · · (kN + sπ(N ) )! αk1 +sπ(1) ,...,kN +sπ(N ) , (A6)
π
with the following solution: where α1 , α2 , . . . , αN are arbitrary constants. This spe-
cial solution satisfying the axioms (12) and (14) can be
k k k
α1 π(1) α2 π(2) · · · αNπ(N )
P
(n) 1 π
explicitly written by substituting (A7) into (A2):
αk1 ,k2 ,...,kN = β0 , (A7)
n N !k1 !k2 ! · · · kN !
∞ k k k
α1 π(1) α2 π(2) · · · αNπ(N ) (k1 )
P
(n) 1 X
P (φ1 , φ2 , . . . , φn ) = β 0 π
E (φ1 , φ2 , . . . , φn ) · · · E (kN ) (φ1 , φ2 , . . . , φn )
n N !k1 !k2 ! · · · kN !
k1 ,k2 ,...,kN =0
∞
1 X kN
α1k1 α2k2 · · · αN (A8)
= E (k1 ) (φ1 , φ2 , . . . , φn ) · · · E (kN ) (φ1 , φ2 , . . . , φn )
nβ 0 k1 !k2 ! · · · kN !
k1 ,k2 ,...,kN =0
1
eα1 φ1 + eα1 φ2 + . . . + eα1 φn · · · eαN φ1 + eαN φ2 + . . . + eαN φn .
= β 0
n
Taking into account the condition (13) we conclude that for each parameter αi the last product must contain an-
9
other term with a negative parameter −αi , therefore N summation over l in the formula (A1) can be skipped.
must be an even number. We also recall that the sum of The special solution (15) corresponds to the simplest case
solutions to our problem is not a solution, therefore the of N = 2.
[1] R. H. Parker, C. Yu, W. Zhong, B. Estey, H. MÃijller, dependently discovered in W. Ignatowsky, Arch. Math.
Science 360, 191 (2018). Phys 17 (1910), as well as P. Frank and H. Rothe, Ann.
[2] J. S. Bell, Physics 1, 195 (1964). der Phys. 34, 825 (1911), and later in A. Szymacha
[3] G. Chiribella, G. M. DâĂŹAriano, and P. Perinotti, in PrzestrzeÅĎ i ruch University of Warsaw, Warsaw
Phys. Rev. A 84, 012311 (2011). (1997). Here we present a modified and extended version
[4] S. Popescu, D. Rohrlich, Found. Phys. 24, 379 (1994). of this derivation.
[5] M. Pawlowski, T. Paterek, D. Kaszlikowski, V. Scarani, [12] W. Pauli, Theory of Relativity, Dover Publishing (1981).
A. Winter, and M. Zukowski, Nature 461, 1101 (2009). [13] L. Machildon, A. F. Antippa, and A. E. Everett, Can. J.
[6] W. H. Åżurek, Phys. Rev. A 71, 052105 (2005). Phys. 61, 256 (1983);
[7] L. Vaidman, Two-State Vector Formalism, Springer, [14] L. Machildon, A. F. Antippa, and A. E. Everett, Phys.
Berlin, (2009). Rev. D 27, 1740 (1983).
[8] A. Dragan, arXiv/quant-ph:0806.4875 (2008). [15] R. I. Sutherland and J. R. Shepanski, Phys. Rev. D 33,
[9] O. Oreshkov, F. Costa, and ÄŇ. Brukner, Nature Comm. 2896 (1986).
3, 1092 (2012). [16] W. Sierpiński, Zasady Algebry Wyższej, (Warszawa
[10] S. Bose, A. Mazumdar, G. W. Morley, H. Ulbricht, 1946).
M. ToroÅą, M. Paternostro, A. Geraci, P. Barker, M. [17] J. Aczél, Functional Equations and Their Applications,
S. Kim, and G. Milburn Phys. Rev. Lett. 119, 240401 (Academic Press, New York 1966).
(2017); C. Marletto and V. Vedral, Phys. Rev. Lett. 119, [18] In this and the following figures we pick a convention of
240402 (2017). depicting subluminal particles with solid lines, and su-
[11] Derivation of Lorentz transformation without the as- perluminal ones with dashed lines.
sumption of the constancy of the speed of light was in-