Multi-Time Equations, Classical and Quantum arXiv:1309.1103v2 [quant-ph] 9 Jan 2014
S¨oren Petrat∗ and Roderich Tumulka† January 9, 2014
Abstract Multi-time equations are evolution equations involving several time variables, one for each particle. Such equations have been considered for the purpose of making theories manifestly Lorentz invariant. We compare their status and significance in classical and quantum physics. Key words: relativistic mechanics; multi-time wave functions; consistency of multi-time equations.
Motivated by relativity, several authors have suggested introducing, in classical or quantum physics, a separate time coordinate for every particle in order to avoid the use of simultaneity surfaces; see, e.g., [3, 4, 1, 5, 9, 6, 10, 11]. For example, multi-time wave functions have been used in the foundations of quantum mechanics for defining relativistic collapse [13] or de Broglie–Bohm [7] theories. In quantum physics, the basic idea is that the relativistic analog of a non-relativistic wave function ψ(t, x1 , . . . , xn ) (1) (say, a function on R × (R3 )n ) is a multi-time wave function φ(t1 , x1 , . . . , tn , xn ) defined, say, on (R4 )n or on the set of spacelike configurations, n o Sn = (x1 , . . . , xn ) ∈ (R4 )n : xj is spacelike to xk ∀j 6= k ,
(2)
(3)
where we write x = (x0 , x) = (t, x) for a space-time point. The ordinary wave function ψ is retrieved by setting all time coordinates equal (in the Lorentz frame that ψ refers to), ψ(t, x1 , . . . , xn ) = φ(t, x1 , . . . , t, xn ) . (4) ∗
Mathematisches Institut, Ludwig-Maximilians-Universit¨at, Theresienstr. 39, 80333 M¨ unchen, Germany. E-mail:
[email protected] † Department of Mathematics, Rutgers University, 110 Frelinghuysen Road, Piscataway, NJ 088548019, USA. E-mail:
[email protected]
1
The time evolution of φ is governed by one Schr¨odinger equation per time coordinate, i
∂φ = Hj φ ∂tj
(5)
for all j = 1, . . . , n, with partial Hamiltonians Hj that (at least at t1 = t2 = . . . = tn ) add up to the full Hamiltonian n X H= Hj (6) j=1
that figures in the Schr¨odinger equation for ψ, i
∂ψ = Hψ . ∂t
(7)
The system of equations (5) is consistent (i.e., integrable) only if the partial Hamiltonians satisfy the consistency condition [1, 8, 10] h i ∂Hk ∂Hj − + i Hj , Hk = 0 . ∂tj ∂tk
(8)
We can drop the assumption of a fixed particle number n by using Fock space as the Hilbert space, H = ⊕∞ n=0 Hn with Hn the space of n-particle states. A vector ψ0 in Fock space can be regarded, in the particle–position representation, as a function on Γ(R3 ) with ∞ [ Γ(S) := Sn (9) n=0
(the configuration space of a variable number of particles), or, equivalently, as a sequence (0) (1) (2) (n) (ψ0 , ψ0 , ψ0 , . . .), where ψ0 , the n-particle sector of ψ0 , is a function on (R3 )n . In this setting, the single-time wave function ψ is a function on R × Γ(R3 ), and its multi-time version φ is a function on Γ(R4 ) or on the set of spacelike configurations S =
∞ [
Sn .
(10)
n=0
Now consider again a fixed n > 1. The equation in classical mechanics that is perhaps the closest analog of the Schr¨odinger equation (7) is the Hamilton–Jacobi equation ∂S (t, x1 , . . . , xn ) = −H t, x1 , ∇x1 S, . . . , xn , ∇xn S ∂t
(11)
with classical Hamiltonian function H(t, x1 , p1 , . . . , xn , pn ), and the closest analog of the wave function ψ of quantum mechanics is perhaps the Hamilton–Jacobi function S(t, x1 , . . . , xn ). In this spirit, the analog of the multi-time wave function φ would
2
be a multi-time Hamilton–Jacobi function S(t1 , x1 , . . . , tn , xn ) satisfying a system of multi-time Hamilton–Jacobi equations (e.g., [9, Eq. (3.59)], [15], [6, Eq. (48)]) ∂S (t1 , x1 , . . . , tn , xn ) = −Hj t1 , x1 , ∇x1 S, . . . , tn , xn , ∇xn S ∂tj
(12)
with partial Hamiltonian functions Hj (t1 , x1 , p1 , . . . , tn , xn , pn ) that (at least at t1 = t2 = . . . = tn ) add up to H. The system of equations (12) is consistent only if the partial Hamiltonians satisfy the consistency condition (e.g., [9, Eq. (3.60)], [6, Eq. (50)], [8, Eq. (2.2)]) o ∂Hk ∂Hj n − − Hj , Hk = 0 , (13) ∂tj ∂tk where {·, ·} denotes the Poisson bracket {f, g} =
n X
∇xj f · ∇pj g − ∇pj f · ∇xj g .
(14)
j=1
The analogy between (8) and (13) is striking, in particular since it is widely regarded as a quantization rule to replace the Poisson bracket by −i times the commutator. However, the analogy is limited. The main difference is that for a quantum system with a wave function, there is a fact in nature about what its wave function is, while in classical mechanics there is no fact in nature about what its Hamilton–Jacobi function S is. In classical mechanics, nature need only know the present positions and momenta of all particles to determine the future evolution; thus, of S nature need only know ∇xj S for all j at the actual configuration, while all other information about S is irrelevant to the actual evolution of the system. In short, ψ is real but S is not.1 As a consequence, the Hamilton–Jacobi equation (11) can hardly be regarded as a fundamental law of nature in classical mechanics. The fundamental law would be the equations that directly govern the motion, which can be written as Hamilton’s equations dxj = ∇pj H t, x1 (t), p1 (t), . . . , xn (t), pn (t) , (15a) dt dpj = −∇xj H t, x1 (t), p1 (t), . . . , xn (t), pn (t) . (15b) dt Thus, in a relativistic formulation of classical mechanics, it would seem more appropriate to look for a multi-time version of (15) than of (11). It will be useful to write the equations of motion in an even more abstract way, as dxj = v j t, x1 (t), p1 (t), . . . , xn (t), pn (t) , (16a) dt dpj = wj t, x1 (t), p1 (t), . . . , xn (t), pn (t) , (16b) dt 1
Some readers may not agree that nature knows what ψ is. To them, the Schr¨odinger equation will seem less fundamental, its manifest covariance less relevant, and multi-time equations less attractive.
3
where (v 1 , w1 , . . . , v n , wn ) is a (time-dependent) vector field on phase space that governs the motion. The obvious multi-time version of (16) reads dxj = v j t1 , x1 (t1 ), p1 (t1 ), . . . , tn , xn (tn ), pn (tn ) , (17a) dtj dpj = wj t1 , x1 (t1 ), p1 (t1 ), . . . , tn , xn (tn ), pn (tn ) , (17b) dtj and the relevant consistency property means the following. Consider the actual history of the classical system, consisting of n timelike particle world lines; we will call this an n-path. For each j = 1, . . . , n choose a point xj = (tj , xj ) on the j-th world line so that (x1 , . . . , xn ) is a spacelike configuration. Let pj be the corresponding momentum, pj = mj uj with uj = (u0j , uj ) be the future-pointing unit tangent vector to the j-th world line at xj . As we vary tj , xj and pj will vary. We regard (17) as valid multitime equations if and only if they correctly represent how xj and pj vary with tj , for any spacelike choice of (x1 , . . . , xn ) on the n world lines. Furthermore, we regard (17) as a consistent system if and only if for (almost) every spacelike configuration (x1 , . . . , xn ) there is an n-path passing through (x1 , . . . , xn ) for which (17) is valid. Then the necessary and sufficient condition for consistency (e.g., [5, Eq. (1.2)], [9, Eq. (2.7)]) is that, for all j 6= k, ∂ + v j · ∇xj + w j · ∇pj v k = 0 and (18a) ∂tj ∂ + v j · ∇xj + w j · ∇pj wk = 0 , (18b) ∂tj a condition rather different from (8), and a condition that does not follow from (13).2 By the last remark we mean the following: Even if (13) is satisfied, and (12) can be solved, then the resulting multi-time Hamilton–Jacobi function S(t1 , x1 , . . . , tn , xn ) does not necessarily provide us with a 3n-parameter family of n-paths, as the equations of motion, (e.g.)3 1 dxj = ∇x S(t1 , x1 , . . . , tn , xn ) , (20) dtj mj j 2
We note that, remarkably, (13) is also equivalent to the consistency (i.e., integrability) (e.g., [9, Eq. (2.10)], [6, Eq. (55)], [8, Eq. (2.2)]) of the following system of equations (e.g., [9, Eq. (2.12)], [6, Eq. (53)–(54)]), writing ~t = (t1 , . . . , tn ): ∂ (19a) xj ~t = ∇pj Hk t1 , x1 ~t , p1 ~t , . . . , xn ~t , pn ~t , ∂tk ∂ (19b) pj ~t = −∇xj Hk t1 , x1 ~t , p1 ~t , . . . , xn ~t , pn ~t . ∂tk This system can be regarded as another multi-time variant of (15). However, a function of the form xj ~t typically does not define a world line (while one of the form xj (tj ) does). 3 Equations (20) and (21) are actually non-relativistic, but that does not matter for illustrating the point we are making here, which concerns the multi-time consistency condition corresponding to (18), a condition that can also be considered in the non-relativistic case. The relativistic formulas would only introduce further complications.
4
which form the natural analog of the equation of motion of the standard single-time Hamilton–Jacobi formalism, (e.g.) dxj 1 = ∇x S(t, x1 , . . . , xn ) dt mj j
(21)
are typically inconsistent in the sense that there is no n-path such that (20) holds at every spacelike configuration (x1 , . . . , xn ) with xj lying on the j-th world line. Indeed, the condition for consistency of (20) in this sense reads ∂ 1 + ∇x S(t1 , x1 , . . . , tn , xn ) · ∇xj ∇xk S(t1 , x1 , . . . , tn , xn ) = 0 , (22) ∂tj mj j and this is typically not fulfilled (except in the non-interacting case). Put differently, if we choose a spacelike foliation F and demand (20) to hold only on configurations that are simultaneous with respect to F , then we obtain an n-path for any initial configuration, but then different choices of F will typically lead to different 3n-parameter families of n-paths for the same S(t1 , x1 , . . . , tn , xn ) function. This kind of situation is well known in Bohmian mechanics, see, e.g., [14]: Even if the multi-time equations are consistent and the multi-time wave function φ is well defined, then the Bohmian equation of motion, analogous to (20), usually yields a different set of particle world lines for every foliation F . Thus, the meaning of (18) is neither a direct analog of (13) nor of (8). The disanalogy goes further. We are not aware of any relativistic, classical, physical theory of interacting particles that can be formulated in the form (17). Relativistic interaction is usually mediated by fields, and action-at-a-distance (say, via interaction potentials) perhaps should not be expected to be relativistically invariant. In fact, Currie, Jordan, and Sudarshan [2] have shown for N = 2 particles that, in a certain Hamiltonian framework, any law of motion (17) that satisfies (18) and is Lorentz invariant must be non-interacting (i.e., the particle world lines are straight lines).4 Therefore, multi-time equations of the form (17) may not be a viable formulation of classical relativistic theories. The situation is rather different in quantum physics, where multi-time Schr¨odinger equations do seem like a possible, even natural, formulation [4, 1, 11, 12]. This is mainly because the relevant kind of interaction is based on particle creation and annihilation, which does not fit into the framework of classical mechanics in terms of ordinary differential equations such as (15) but fits very well into Schr¨odinger equations for vectors in Fock space. In fact, since interaction potentials (given by multiplication operators) lead to violation of the consistency condition (8) also in the quantum case [10], it would seem that without particle creation and annihilation we might be stuck with non-interacting 4
The framework requires that laws of motion be of Hamiltonian form, with the Hamiltonian part of a representation of the Poincar´e group on phase space by transformations that preserve the symplectic structure. We also note that their result is actually slightly stronger than what we just described, requiring only the slightly weaker assumption that the law of motion be valid on configurations that lie on a common spacelike hyperplane.
5
particles. A multi-time formulation of quantum theory with particle creation can be set 2 3 k ⊗n up as follows [11, 12]. Since a vector in Fock space ⊕∞ (with S± the n=0 S± L (R , C ) 3 (anti-)symmetrizer) can be regarded as a function ψ on Γ(R ), its multi-time analog is a function φ on Γ(R4 ), or rather on the set S of spacelike configurations. Its multi-time evolution is governed by n equations for its n-particle sector, equations that may also involve (e.g.) the n − 1 and the n + 1-particle sector of φ. The consistency question is then more delicate but can be answered, in fact positively for natural examples of multi-time equations [11, 12]. As a last remark, as soon as fields are introduced in classical relativistic physics for mediating the interaction, there is apparently no need any more for multiple time variables. For example, the equations of classical electrodynamics of n charged particles are5 d2 xµj dxνj mj 2 = qj F µ ν (xj (τ )) ∀j ∈ {1 . . . n} , dτ dτ Z n X dxνj µν ∂µ F (x) = 4π qj dτ δ 4 x − xj (τ ) , dτ j=1 ∂λ Fµν + ∂µ Fνλ + ∂ν Fλµ = 0 ,
(23a) (23b) (23c)
where (23a) is the equation of motion including the Lorentz force law, τ means proper time along the world line, the constant qj is the charge of particle j, Fµν is the electromagnetic field tensor (a function on space-time R4 ), and (23b)–(23c) are the Maxwell equations. These equations are manifestly Lorentz invariant and obviously do not require mentioning any function of several time variables. The reason multiple times are not needed is that the motion of particle j at xj does not depend on the other particles except through the field at xj , and thus has to do with the fact that classical electrodynamics is local. In contrast, quantum physics is notoriously non-local, and this is reflected in the dependence of the wave function on the positions of several particles— which is the reason for introducing several time variables. Acknowledgments. We thank Steven Duplij and Matthias Lienert for helpful discussions. S.P. acknowledges support from Cusanuswerk, from the German–American Fulbright Commission, and from the European Cooperation in Science and Technology (COST action MP1006). R.T. acknowledges support from the John Templeton Foundation (grant no. 37433) and from the Trustees Research Fellowship Program at Rutgers.
References [1] F. Bloch: Die physikalische Bedeutung mehrerer Zeiten in der Quantenelektrodynamik. Physikalische Zeitschrift der Sowjetunion, 5:301–305 (1934) 5 The system of equations (23) is actually ultraviolet divergent and therefore ill defined, but that is an issue orthogonal to the ones considered in this paper.
6
[2] D. G. Currie, T. F. Jordan, and E. C. G. Sudarshan: Relativistic Invariance and Hamiltonian Theories of Interacting Particles. Reviews of Modern Physics, 35(2):350–375 (1963) [3] P. A. M. Dirac: Relativistic Quantum Mechanics. Proceedings of the Royal Society London A, 136:453–464 (1932) [4] P. A. M. Dirac, V. A. Fock, and B. Podolsky: On Quantum Electrodynamics. Physikalische Zeitschrift der Sowjetunion, 2(6):468–479 (1932). Reprinted in J. Schwinger: Selected Papers on Quantum Electrodynamics, New York: Dover (1958) [5] Ph. Droz-Vincent: The multitime covariant formalism of relativistic dynamics. Pages 75–87 in J. Llosa (ed.): Relativistic Action at a Distance: Classical and Quantum Aspects, Berlin: Springer-Verlag (1982) [6] S. Duplij: Partial Hamiltonian formalism, multi-time dynamics and singular theories. (In Russian.) Journal of Kharkov National University, ser. Nuclei, Particles and Fields, 1059(3(59)):10–21 (2013) http://arxiv.org/abs/1307.5771 [7] D. D¨ urr, S. Goldstein, K. M¨ unch-Berndl, N. Zangh`ı: Hypersurface Bohm–Dirac Models. Physical Review A 60: 2729–2736 (1999) http://arxiv.org/abs/quant-ph/9801070 [8] C. Ghiu and C. Udri¸ste: Multitime controlled linear PDE systems. Pages 82–109 in A. Adhikari, M. R. Adhikari, and Y. P. Chaubey (ed.s): Contemporary Topics in Mathematics and Statistics with Applications Vol. 1, New Delhi: Asian Books (2013) http://arxiv.org/abs/1201.0256 [9] G. Longhi, L. Lusanna, and J. M. Pons: On the manytime formulation of classical particle dynamics. Journal of Mathematical Physics, 30:1893–1912 (1989) [10] S. Petrat and R. Tumulka: Multi-Time Schr¨odinger Equations Cannot Contain Interaction Potentials. Preprint (2013) http://arxiv.org/abs/1308.1065 [11] S. Petrat and R. Tumulka: Multi-Time Wave Functions for Quantum Field Theory. Preprint (2013) http://arxiv.org/abs/1309.0802 [12] S. Petrat and R. Tumulka: Multi-Time Formulation of Pair Creation. In preparation (2014) [13] R. Tumulka: A Relativistic Version of the Weber Model. Journal of Statistical Physics 125: http://arxiv.org/abs/quant-ph/0406094
Ghirardi–Rimini– 821–840 (2006)
[14] R. Tumulka: The ‘Unromantic Pictures’ of Quantum Theory. Journal of Physics A: Mathematical and Theoretical, 40: 3245–3273 (2007) http://arxiv.org/abs/quant-ph/0607124 7
[15] C. Udri¸ste, L. Matei, I. Duca: Multitime Hamilton–Jacobi Theory. Pages 509–513 in S. Chen, Q. Li (ed.s): Proceedings of 8-th WSEAS International Conference on Applied Computer and Applied Computational Science (ACACOS-09), WSEAS Press (2009)
8