Documenti di Didattica
Documenti di Professioni
Documenti di Cultura
1 11 Novembre 1977
1. - I n t r o d u c t i o n : cascade experiments.
(x) See, for example, M. A. HORN~: P h . D . Thesis, Boston University (1970) (mimeo-
graphed).
41
42 o. COSTA Dn ~ n ~ v ~ r
for /lie l)robabilities of answers (yes, yes) a n d (no, no), (yes, no) a n d (no, yes)
resl)eetively, and. fit the (1, 1, 0 ) - t y p e cascade,
L rv L Lv N" N N t!
Fig. 1. - l)hoton polarization correlation experiments. C, atomic esseade; L', X', iilono-
chromatic tiher~; L mid _Y, linear polarizers with adjustable angles A, B ( A - - B ~ ~);
L", X'. e~>iHcident photodetectors.
This is t h e i n t e r p r e t a t i o n of t h e E i n s t e i n p a r a d o x I (12) h a v e p r o p o s e d
q u i t e a few t i m e s , a n d w h i c h n o w STAPP (~3), BELL (~4), I)AVIDON (la) ,~nd
o t h e r s (~G) a r e m o r e or less a d v o c a t i n g or p o i n t i n g at.
Fig. 2. - Space-time diagram of the Einstein p a r a d o x : the die is cast not at the
severance point-instant C, but later, at L and =V, where and when the measurements
are performed. Thus the correlation between L and .Y is tied through C, in their common
past, cia the F e y n m a n - s t y l e zigzag made of the timelike vectors CL and CN.
F r o m t h e t w o ( o r t h o g o n a l ) p u r e h e l i e i t y s t a t e s L,,Lb a n d R ~ R ~ of t h e
p a i r s of p h o t o n s a a n d b, we b u i h t t h e t w o ( o r t h o g o n a l ) P - i n v a r i a n t s t a t e s
J[ 1 ~z -z
(L, Lb + R,R~) = .~ (E~,E~ q- T~,Eo) ,
(3)
(L~Lb-- R,,Rb) ., [ L , , E o - - E,~E;] ,
Y i z
(4)
~+/;2 L~ = E ; - - iE; , +/'2 Rb = E; -+- iE;
h a v e b e e n u s e d ; y a n d z d e n o t e a r b i t r a r y C a r t e s i a n a x e s o r t h o g o n a l t o t h e line
of flight x of t h e t w o p h o t o n s .
(12) O. COSTA DE BEAUREGAI/D: Compt. Rend., 236, 1632 (1953); Rev. Interu. Philos.,
61-62, 1 (1962); Dialectica, 19, 280 (1965); in Proceedings o] the International Conjerence
on Thermodynamics, edited b y P. T. LANDSBERG (London, 1970), p. 539.
(la) tI. P. STAPI': Nuaro Cimento, 2 9 B , 270 (1975).
(14) j. S. BELL: ~pist. Lett., 9, 11 (1976).
Q~) W. C. DAVlDON: ~UOVO Cimento, 36 B, 34 (1976).
(16) See footnote (13) in J. F. CLAVS]~R and M. A. HORNE: Phys. I~ec. D, 10, 526 (1974).
TIME SYMMETRY AND THE EINSTEIN PARADOX 45
A and B denoting the angles with, say, the y-axis of two linear polarizers
respectively inserted on the paths of the photons a and b, and setting
(5) A -- B ---- a ,
(6a) <1, 1) = <0, 0> = ~ ]exp [ia] + exp [-- ia] [2 : 8 8 (1 ~- cos 2:r
(6b) <1, 0> = <0, 1> = ~ [exp [ia] -- exp [-- in] ]2 __ ~ (1-- cos 2a).
are the neoquantal corrections, containing the phase relation between the pho-
tons a and b.
Second, we use as orthogonal states the linear polarizations along y and z.
The transition amplitude towards the (yes, yes) answer is cos A cos B for the
~ E ~ state, sin A sin B for the E~E~ state, cos A sin B for the E~E~ state
and sin A cos B for the E~E~ state. Using the (~golden rule ~), we again find
formulae (1) and (2).
W h a t is interesting is in, say, the (0, 1, 0) case the expansion of the ex-
pressions
(9) <1, 1> = <0, 0> = 89 cosB + s i n A sinB) 2 =
---- 89(cos2A cos2B -4- sin2A sin 2B) -4- ~ sin2A sin 2 B ,
(10) <1, 0> ---- <0, 1> = 89(sin A cos B - cos A sin B) 2 ----
= 89 cos2B + cos2A sin~B)-- 88sin2A s i n 2 B .
46 O. COSTA DE B E A U P E G A R D
The contributions
1) The Einstein paradox has its root in the replacement of the paleo-
stochastic rule of addition of partial probabilities b y the neostoehastie rule
of addition of partial amplitudes. This statement is either explicit or implieit
in most papers dealing with the Einstein paradox, and traces the origin of the
paradox (4) to a well-known specific rule of the neoquautal mechanics. DI-
mxc (~8) and LAa'Ds (~9) a m o n g others are a d a m a n t on this point.
(IT) Formulae (11) and (12) are obviously not rotation invariant around the x-axis.
We can rewrite (12) as 8 A = c o s 2 ~ - - c o s 2 ( A + B ) , the latter term having mean
value 0 by rotation around x. Thus in the mean ((1, 1))o=(1, 1) -- ~ cos 2~. See in
this respect D. BOHM and tI. AHAI~OXOV:Phys. Rev., 108, 1070 (1957). !~'[~
(is) p. A. M. DIRAC: The Principles o] Quantum Mechanics, 3rd Edition (Oxford, 1947).
(19) A. LAND~: ~rcw Youndations o] Quantum Mechanics (Cambridge, 1965). A con-
troversial, but suggestive book.
TIME SYMMETRY AND THE E I N S T E I N PARADOX 47
where Wj and v2j span two independent Hilbert spaces; the subsystems r and p~
are thus coupled, although this coupling m a y v e r y well result from an inter-
action t h a t has ceased for some t i m e - - a s is the case discussed in this paper.
B y definition,
(so) For an over~ll view and a guide in the literature of the subject, see 0. COSTADE
BEAUREGARD : Proceedings o/the International Congress/or Zogic, Method and Philosophy
o/Science, edited by Y. BAR HILLEL (Amsterdam, 1964), p. 313, or Studium Generale,
24, 10 (1971).
(~1) See, for instance, F. LOND0~ and E. BAUER: La thdorie de l'observation en mdcanique
quantique (Paris, 1939); P. A. MOLDAUER: Phys. Rev. D, 5, 1028 {1972); F. J. BELIN-
FANTE: Measurements and Time Reversal in Objective Quantum Theory {Oxford, 1975),
p. 26.
(~) A. GARUCCIO and F. SELLERI: Nuovo Gimento, 36B, 176 (1976).
~8 O, COSTA DE B E A U R E G A R D
where (A, B}o is the classical correlated mean value, expressed as a mixture,
and implying" separate statistics for the subsystems ~ and ~v ((< local hidden
variables >>, in the crypto-deterministic philosophy). A(A, B}, contMning the
<<off-diagonal >) terms (and, thus, the phase relations betweell the ~ ' s and the
yJ[s), is the neoquantM correction which, when added to the paleoquantal
correlated mean value (16), yields the neoquantM correlated mean vMue (15).
I t thus belongs typically to the wavelike probability calculus.
The A(A, B} contribution of expression (18) is rendered zero if one (a /or-
tiori both) of the operators A or B is diagonalized b y the representation. The
mean value (A, B} then assumes the form (A, B}o it would have with mix-
tm'es. B u t this is a mere semblance, relative to the co-ordinate frame (and to
the operator diagonalized in it).
Of course, if one of the magnitudes A or B is measured, t h e n the phase
relations are lost and the overall system becomes a m i x t u r e - - a l t h o u g h the
larger system comprising Mso the measuring device remMns in a pure state (~).
In summary :
4. - T h e e s s e n c e o f the paradox.
4 - I1 Nuovo Cimento B.
50 O. COSTA DE B E A U R E G A R D
In summary :
L%O N
r : " i 84
(25) 0. COSTA DE B]~AUREG-ARD:Found. Phys., 6, 539 (1976); Synthese, 35, 129 (1977).
(26) j. HALL, C. KIM, B. ~][CELROY and A. SmMONY: Found. Phys. (in press).
(27) O. COSTA DE BEAURE(~ARD: Cah. Phys., 12, 317 (1958). See also ref. (~o).
TIME SYMMETRY AND THE EINSTEIN PARADOX 51
(21) ( k ~ k ~ - ~ m2)O(k) -~ 0 ,
whence either
where the integral is over both sheets of the mass shell ~/(k) ---- 0, because we
do not exclude t h a t the particle is endowed with an (unspecified) spin; b y
definition,
~ - 1 on sheet ~]+,
0 otherwise.
The scalar volume element d~/is defined as the length of the vector d~ ~ through
and
(26) k ~ d~ z - - m d~?~ .
The reciprocal Fourier integral is, ?~ denoting the Gordon current operator,
Using the well-known D i m e (18) notations, we rewrite (23) and (27) in the
forms
with. b y definition,
where the integral over t:he Sl)acelike surface a is invariant. Again, using Dirac's
notations and also imposing the orthonormalit.y condition, we rewrite (32)
ill the f o r m
(which is odd in x - - x' ~md is zero outside the light-cone), we solve tile Cauchy
TIME SYMMETRY AND THE E I N S T E I N PARADOX ~3
(36) ~(x) = - - -m
- ~t- ( x - - x') a ' ~ ( x ' ) da'~.
tl
(38)
and (similarly)
expressions (31) and (34) are Fourier associated. F r o m this we deduce (by
transposing a well-known argument of the nourelativistic q u a n t u m me-
chanics (3o)) t h a t x ~ is the position operator of our unspecified-spin particle
in the following sense.
W e fix (fig. 4) an a r b i t r a r y spacelike surface a and ask if the particle goes
or not through an arbitrary, and arbitrarily small~ element da ~ on ~. This ob-
viously transposes the nourelativistie question: at some a r b i t r a r y time t, we
ask if the particle is inside an arbitrary, and arbitrarily small, volume element
dxdydz. F o r m u l a e (35) or (36) show t h a t the eigenfunction associated with
this question is the p r o p a g a t o r (xllx'>~ replacing in our case the nonrelativistic
(~(x--x'). Thus the /our co-ordinates x~ being bound by the condition that x is
on a ]ixed a, and considering the Fourier transforms (38) and (39), we see t h a t ,
in this formalism (and within the approach of the position measurement prob-
lem we have defined), x~ is the position operator of our (unspecified spin)
particle.
(29) See also J. SCtt-WIlqGER: Phys. Rev., 74, 1439 (1948), p. 1451.
(3o) <xllk> is the eigenfunetion of k x in the x representation, while <kHx>-=<xlll~>*
is the eigenfunetion of x x in the k representation.
54 O. COSTA DE BEAUREGARD
X' (3-
CkCr ~
i
(40) P = -~ (l,~k~--im),
1
(41) p = ~ (k~k~--Gfl~k"kq 9
and, in t h e k representation,
(44)
(31) See in this respect H. UMEZAWA and A. VlSCONTI: Natl. Phys., 1, 20 (1956).
(a2) j . M. JAUCH and F. :ROttRLICIt: The Theory o] Photons and Electrons (Cambridge,
Mass., 1955).
56 o . COSTA D E B ~ A U R E G A R D
and the formula solving the Cauchy p r o b l e m (which is also the expansion of
the w a v e function on the complete o ~ h o g o n a l set of p r o p a g a t o r s with their
apices on an a r b i t r a r y spacelike surface a)
with, as before,
Similarly,
(a3) One need not say that this approach to the position measurement problem differs
essentially from the one leading to the various definitions of the position operator of
a spinning particle. No attempt is made to discuss the relation (if any) between these
approaches. Also, for brevity in discourse and notation, the photon has been given
a (very small) rest mass.
TIME SYMMETRY AND THE EINSTEIN PARADOX 57
cone with apex x' at da '~. Moreover, the propagator (xlx'} is the collapsed
wave corresponding to this position-pins-spin measurement. Thus the wave
collapse affects symmetrically b o t h future and past, and this is the k e y I a m
proposing for dealing with the Einstein paradox.
/
Fig. 5. - The two Feynman graphs for an e+e- annihilation drawn in the overall rest
frame: at each vertex, there is zero energy transfer, and 3-momentum transfer p ~ k
and p -- k, respectively.
I n this frame all four particles have the same (total) energy (half of the t o t a l
energy of the overall system). Moreover, t h e y have opposite 3-momenta:
• p for the e-e + pair, denoted, respectively, as ~a and % , and ~ - k for the
p h o t o n pair, denoted as Ac and A d. Therefore, at each v e r t e x of the two graphs
t h a t are implied (fig. 5), there is no energy exchange, b u t only a 3 - m o m e n t u m
exchange with the value p - k in one graph and p q- k in the other. Thus
with 4, ~u, . . . . 1, 2, 3, 4 and i, j, . . . . 1, 2, 3, we write down t h e F e y n m a n
(a4) R. P. FEYNMAN: Phys. Rev., 76, 749 (1949), see especially p. 749.
(as) O. COSTADE BEAUREGARD: Compt. Rend., 283A, 1003 (1976); Phys. I~ett., 60A,
93 (1977). Being expressed in the rest frame of the electron-positron pair, this approach
is not directly applicable to the various experimental tests of the Einstein paradox using
electron-positron annihilation.
~ O. COSTA DE B E A U R E G A R D
lowest-order amplitude as
(:,:;)
im4-(p'4-k')y, im4-(p'--k')y, ] .~..,
Now we ta.ke the axis x par'fllel to -': k (that is, to the p h o t o n rays) and,
using g~mge invariance, A ~ = 0 and A 4 0. Then the expression [(p 4-
4- k) e 4- m 2] ~ @ [ ( p - - k) -~4- mq -1 factorizes, ~md the a m p l i t u d e comes out as
proportional to the sum of two t e r m s :
As we know (see formulae (3) and G)), the parenthesis and the b r a c k e t in (54)
are the two P - i n v a r i a n t amplitudes built from the left- and right-polarization
states
where ~/~ is found to contain contributions L , R , , and LdR~, implying the pres-
ence of orbital angular m o m e n t u m . These we discard b y requiring f r o m now
on t h a t p and k are collinear, so t h a t the two graphs in fig. 4 are assumed to
be plane figures.
This allows an interesting simplification. Using the Dirae equation
the definition
(~o)
(63) { a3 = ~ a l - - fit~
b2 ~
= - ~a~
flb~ =
= -
fir b
fir~
between t h e (~large )> a n d (( small )> real amplitudes of ~ and ~b. We then
rewrite formula (62) as
(64) (1 t 8) l~ l b = (1 ~: 8) r, r b
(a6) It is, of course, PC invariant, as most easily seen by exchanging the convention
in which the e- has positive and the e + negative energy against the opposite one.
60 O. COSTA D E BEAUREGARD
8. - Conclusion.
All formulae in this p a p e r are simple, and either well known, or easily
derivable f r o m k n o w n formulae.
W h e n dealing with a true, or real p a r a d o x (4), t h a t is, when aiming at for-
m u l a t i n g a new p a r a d i g m (5), it is extremely a p p r o p r i a t e to use formulae the
simplest as possible, and the closest as possible to the (paradoxical) experi-
m e n t a l facts. This is w h a t ]~ISTSTEIN did when proposing the special relativity
theory, and w h a t DE BtC0GLIE did when proposing wave mechanics.
No discussion is found in this p a p e r on the hidden-variable problem, as
discussed in depth b y BELL~ CLAUSER, ]:tORNE, SItIMO.NY, HOLT, D'EsPAGNAT (37)
and others. The reason for this is t h a t , i m p o r t a n t as these works h a v e been
historically and in helping elucidating the problem, the whole so-called hidden-
variable a p p r o a c h suffers, as it seems to me, f r o m the same d r a w b a c k as the
deceased theories of the luminiferous aether: too m u c h faith in mechanistic
realism, unnecessary complication, and insufficient faith in the operational
formalism.
We deem t h a t (contrary to a widespread belief) the m o s t i m p o r t a n t changes
in p a r a d i g m result f r o m a victory of formalism over modelism rather than the
contrary. Thus, t h e y consist in understanding the true meaning of the operational
formulae as they stand. They (( unveil the Sense of the Scriptures )) b y strictly
tayloring the wording after the mathematics.
The p a r a d i g m we are p r o p o s i n g ~ w h i c h , in de Broglie's (3) words, obviously
upsets (( our familiar notions concerning space and t i m e ~--is complete time
symmetry in the quantal stochastic event, the transition, or wave collapse.
Of course, this raises the question of how to reconcile this intrinsic time
symmetry at the elementary level with the factlike macroscopic time asymmetry.
I t is well k n o w n t h a t an analogous p r o b l e m existed in classical statistical
mechanics, where it gave rise to the famous Loschmid and Zermelo paradoxes.
I t even existed in the classical p r o b a b i l i t y calculus itself, where predictive and
retrodictive problems ((( problems in the p r o b a b i l i t y of causes ~>) were t r e a t e d
b y quite different methods, contrasting the intrinsic time symmetry o/the transi-
tion probabilities existing in m o s t cases (20). Thus, w h a t we h a v e here is a trans-
position of an old problem inside the field of the new wavelike p r o b a b i l i t y
calculus.
Of course, quite a few new elements are b r o u g h t in together with this trans-
position, of which we m e n t i o n only two. The first one is, of course, t h a t the
(( factlike (11) physical irreversibility ~>, certainly absent at the e l e m e n t a r y
(37) We quote for instance B. D'ESPAGNAT: Phys. l~ev. D, 11, 1424 (1975) as one of the
later papers, and one containing m~ny references to the literature.
TIME SYMMETRY AND THE EINSTEIN PARADOX 61
level, comes in together with macroscopic statistics, namely von N e u m a n n ' s (as)
ensembles and the density matrix. I t is thell easy to show t h a t yon ~eumann's
entropy increase due to the measuring process logically ]ollows /tom retarded in-
tegration o/ the wave equation. Thus the two main forms of physical irrever-
sibility e n t r o p y increase and wave r e t a r d a t i o n - - a r e tied together in the neo-
quantal mechanics.
APPENDIX I
APPENDIX II
T h e c l a s s i c a l a n s w e r was w h e n t h e p h o t o n s i s s u i n g f r o m L i m p i n g e u p o n N.
This is, h o w e v e r , a macroscopical prejudice, i m p r e s s e d u p o n o u r m i n d s b y o u r
f a m i l N r i t y w i t h t h e ]actlike (1,) p r e p o n d e r a n c e of r e t a r d e d o v e r a d v a n c e d w a v e s .
L N
Fig. 6. - Quantal transition of photons is~,uing from a source S and passing stteeessively
two linear polarizers with angles ~1 and B (:~ . 1 - B).
F r o m t h e n e o q u a n t a l n m t h e m a t i c a l f o r m a l i s m ( n o t to s p e a k of l h e v e r y
s u c c e s s f u l e x p e r i m e n t a l p r o o f s (.2) of t h e E i n s t e i n p a r a d o x ) a very different
concept follows. T h e t r a n s i t i o n occurs (~s o m e w h e r e in b e t w e e n ~> L a n d N ,
a n d c o n s i s t s in cos2~ of t h e p h o t o n s j u m p i n g f r o m t h e r e t a r d e d w~tve h a v i n g
p a s s e d L i n t o t h e a d v a n c e d w a v e t h a t will p a s s N .
L N
.J
S
B
X~ ----@ . . . . X
a)
L N
~" X
b)
Fi~. 7. -- Quantal tran~itiol~ of photons issuing from a source S :rod passing succ('s-
sively two holes ~t and B in screens L and X. a) Classical, maeroscopic concept
(retarded waves); b) neoquantal ~.<)neept of the T collapse: s y m n l c t r y bctwc(?n re~arded
and advanc(,d waves.
C o n s i d e r also (fig. 7) t h o s e p h o t o n s e m a n a t i n g f r o m a s o u r c e S a n d p a s s i n g
s u c c e s s i v e l y t w o s m a l l holes A a n d B i n s i d e screens L a n d N . M v t a t i s m u t a n d i s
t h e d i s c o u r s e is t h e s a m e as b e f o r e a n d , as v e r y e x p l i c i t p i c t n r e s c a n be d r a w n
in t h i s case (fig. 7a) a n d b)), no m o r e c o m m e n t will b e m a d e .
(ao) ]:~. I~. PFLEGOR ~n(1 L. ~L~.NI)I,~I,:Phys. P,ec., 159, 1084 (1967); Jo,~trn. Opt. Sac.
Amer., 58, 946 (1968).
T I M E SYMMETRY &ND T H E E I N S T E I N P A R A D O X ~3
If we denote by x' and x" two point-instants inside the interference region,
by x~ and x2 two point-instants inside the sources, by nl and ns the corresponding oc-
cupation number operators, the (18 ) type contribution is written as
with (r = 1, 2)
(66)
(67)
where the complete set of orthogonal projectors ]O~)(O~1 is the one adapted to the
problem (polarization states (2) or occupation number states (40), for instance).
Formula (67) is the expansion of either { ~ ) (in predictive problems (2)) or of I~F1)
(in retrodictive problems (40)) in the form
(69)
-- ~f f f Ya~a~bda -- f f f oakh.Obe(k) d~~
a
9 RIASSUNTO (*)