Spinning up a Time Machine

T. C. Ralph∗ and Chris Chang Centre for Quantum Computation and Communication Technology, School of Mathematics and Physics, University of Queensland, Brisbane, Queensland 4072, Australia (Dated: July 30, 2020) We present a global metric describing closed timelike curves embedded in Minkowski spacetime. Physically, the metric represents an Alcubierre warp drive on a rotating platform. The physical realizability of such a metric is uncertain due to the exotic matter required to produce it. Never- the-less we suggest that this metric will have applications in more rigorously studying the behavior of quantum fields interacting with closed timelike curves.

Introduction: The worm-hole solution of Morris, Thorne the centre of the bubble, hence an observer at this point and Yurtsever [1] generated much interest in closed time would be in free-fall. Their geodesic is time-like with no like curves (CTCs) because it suggested they may ex- time-dilation with respect to outside of the bubble. As ist in our own universe, as opposed to earlier solutions for wormholes, exotic matter/energy is required in order which had been restricted to different cosmologies [2]. In to create the warp drive. Though some work has looked turn such schemes have been criticised on various grounds at reducing these requirements [13], it is not known if the [3, 4]. So far the argument appears undecided [5–8]. In required exotic matter/energy requirements can be met. the end it seems all such discussions require assumptions For the purposes of this analysis we will simply assume to be made about the nature of the so far undiscovered they can. complete theory of quantum gravity. Whether CTCs ex- If one is allowed to travel faster than light then time ist or not appears to depend on these assumptions. loops are a natural result. Consider the following two Assuming CTCs do exist, a particular interest for some journey scenario. In the first journey, with respect to researchers are situations where quantum particles com- some inertial reference frame, a traveller moves faster ing from the past in flat-space interact with CTCs be- than light to a secondary position, some distance away. fore proceeding on to the future in flat space. However, From the viewpoint of an observer in a different inertial whilst the solution of Ref.[1] suggests that this sort of reference frame travelling at some high velocity relative interaction is possible it does not explicitly allow one to to the first, the temporal order of the space-like separated model such an interaction as there is no explicit con- events describing the departure and arrival of the trav- nection between the asymptotically flat space time at eller may be reversed. For this observer, a return journey the two mouths of the worm hole. Whilst one could, back from the travellers arrival position to the origin at in principle, transform between reference frames in order a finite (but also super-luminal) velocity could allow the to patch together the desired evolutions, this is challeng- traveller to arrive back at their original position at the ing in practice. Other solutions are similar, with various same time (or earlier) than they had left. exotic spacetimes allowing for CTCs in principle [10] but Everett suggested a protocol based on the Alcubierre not containing them explicitly, or not allowing an explicit warp drive and the logic of the previous paragraph that connection between the CTC and chronology preserving would enable backward time travel [14]. Consider two objects in flat space, but rather requiring a patching to- warp drive bubbles, each defined in inertial reference gether of different reference frames [7]. Exceptions are re- frames related by a boost and propagating in opposite cent ad hoc metrics such as in Ref.[9]. As a result research directions. The traveller uses one bubble to travel super- into quantum objects interacting with CTCs has used luminally between two points. They then accelerate to very simple toy models which simply model the CTCs match velocities with the reference frame containing the arXiv:2007.14627v1 [gr-qc] 29 Jul 2020 with unusual boundary conditions [11, 12]. second bubble and use it to travel back to their original We will investigate faster-than-light time machines position superluminally. In principle if the trajectories here and be specifically interested in the warp drive met- of the bubbles and traveller are arranged just right, and ric introduced by Miguel Alcubierre [10]. The warp drive the boost is sufficiently large, then the traveller can arrive space-time forms a ’bubble’ around a region, with con- back at their original position before they left. Intriguing tracted space-time in front, and expanded behind. These as this is, the arrangement is complicated and requires contractions could push the pocket of space-time at ve- several changes of reference frame to follow the path of locities that are not limited by the speed of light. Regu- the traveller. It has been suggested that all faster than lar limits on the speed of objects exist due to their mo- light time-machines rely on multiple separate journeys in tion through space, and so the pocket of space itself does this way [15]. not experience these same limits. Space-time is flat in Here we propose a single journey time-machine based on faster than light travel. We introduce a single global metric describing backwards in time trajectories for mas- sive particles, allowing for the formation of closed time- ∗Electronic address: [email protected] like curves and a local metric which describes how events 2 are perceived by local observers. These trajectories are embedded in Minkowski spacetime allowing particles to (a) begin and end their journeys in flat spacetime. To our knowledge metrics of this type have not been described before. The Global Metric: The coordinates we will use to de- scribe our system are rotating cylindrical coordinates (see Fig.1(a)). The metric for flat space in these coordinates is given by [16],

ds2 = −(1 − ω2r2) dt2 + 2ωr rdφdt + r2dφ2 + dr2 + dz2. (1) (b) Here r is the radial coordinate and φ is the angle in the x- y plane. The parameter ω is the angular velocity around the z-axis. An object rotating around the z-axis at this angular velocity will be at constant φ in these coordi- nates. The time coordinate t can be thought of as that told by a clock at the origin and therefore is not a func- tion of the rotation. When ω = 0 the metric reduces to the usual description of flat space in cylindrical co- ordinates. The tangential speed of light at a particular radius in terms of these coordinates will be of interest. The tangential light cones at radius r are given by, (c) vc = 1 ± ωr (2)

The anisotropy of light speed in the tangential directions, in a rotating frame leads to the well-known Sagnac effect in optics. We now set ω = 0 and consider an Alcubierre warp drive with a circular trajectory in the x-y plane which maintains it at a constant radius, rs (see Fig.1(b)). The corresponding warp drive metric in cylindrical coordi- nates is given by,

2 2 2 2 ds = −(1 − f vs ) dt − 2fvs rdφdt + r2dφ2 + dr2 + dz2, (3) FIG. 1: Visualisations of the coordinates and “bubble” for the situations of (a) the rotating metric, (b) the Alcubierre warp drive 2 with a circular trajectory and (c) the Alcubierre warp drive with a where f ≡ f(ds) is a smooth function of the squared circular trajectory on a rotating platform. distance between the space-time point of interest and a trajectory of constant r = rs and z = 0, and time varying 2 2 2 phase, φs(t). Specifically, we can let ds = r + rs − warp drive with a circular trajectory as described above, 2 2 2rrscos(φ − φs(t)) + z and require that f(ds) is unity but now on a platform rotating at angular velocity ω 2 2 for ds = 0 and smoothly goes to zero as ds → R, where (see Fig.1(c)). A global description of this situation is R is some finite positive number. We also define vs(t) ≡ given by the following metric in our rotating cylindrical dφs coordinates, rs dt . Notice that if we consider incremental translations in the tangential direction and hence set rdφ → dx we 2 2 2 2 2 2 ds = −(1 − f vs )(1 − ω r ) dt obtain the original Alcubierre metric [10]. Tangential 2 2 light cones with f = 1 are given by, − 2(fvs − ωr(1 − f vs )) rdφdt (1 + fv ωr)2 − ω2r2 + s r2dφ2 + dr2 + dz2. (5) vc = vs ± 1. (4) 1 − ω2r2 We see that a particle moving along with the bubble, i.e. Tangential light cones with f = 1 are now given by, following a circular trajectory with tangential velocity v , 2 2 s (vs ± 1)(1 − ω r ) will be following a locally time-like trajectory (i.e. lying vc = . (6) 1 + (vs ± 1)ωr between the light cones), even if vs > 1. We now introduce the time machine metric. We will We will presently show that the condition (vs + 1)ωr < presently show that this metric represents an Alcubierre −1, which leads to a transition of the + solution of vc 3 from positive to negative, is a necessary condition to al- The tangential velocity of the particle trajectory in the low locally time-like trajectories to exist which propagate global metric is backward in time as they travel around the loop. 2 2 The Local Metric: We now ask how the metric of Eq.5 0 rdφ rdφ dτ vs(1 − ω r ) vs = = = , (11) appears locally to an observer on the rotating platform dt dτ dt 1 + vsωr at a radius close to r . First we move from the rotating s and the relationship between the proper time of a clock frame into the lab frame by making the transformation carried on this trajectory and co-ordinate time is φ = φ + ωt. The metric becomes z √ 1 − ω2r2 2 dτ = dt. (12) 2 (1 − (ωr + fvs) ) 2 ds = − dt 1 + vsωr (1 − ω2r2) 2 2 2 2 In Fig.2 we plot the particle trajectory and the light cones 2(fvs + ωrf vs + ω r fvs) − 2 2 rdφzdt in terms of both the local metric coordinates and the (1 − ω r ) global metric coordinates. (1 + fv ωr)2 − ω2r2 + s r2dφ2 + dr2 + dz2. (7) 1 − ω2r2 z

Now we move back into the rotating frame, locally at a (a) t' 0.4 radius close to rs, by making a tangential Lorentz boost by velocity −ωrs. The metric reduces to 0.2

2 2 2 02 0 0 ds = −(1 − f v ) dt − 2fvs rsdφ dt s z -1.0 -0.5 0.5 1.0 2 02 2 2 + rs dφz + dr + dz , (8) r f ' -0.2 z where the dashes indicate boosted coordinates. Notice -0.4 the similarity between Eq.8 and Eq.3 which justifies the claim in the previous section that the metric of Eq.5 rep- resents an Alcubierre drive on a rotating platform. How- 0.6 ever, note that the metric of Eq.8 is only valid close to (b) t a constant radius of rs. Also, the range of valid angles 0.4 φ we can integrate the metric over should be less than 2π. If we reach 2π then we have come back to where 0.2 we began and, due the lack of simultaneity in the Lorenz boost, there will be discontinuous jump in the time coor- -1.0 -0.5 0.5 1.0 -0.2 r f dinate. This jump is a well known feature of local metrics in rotating frames [17, 18], but will take on a special sig- -0.4 nificance here. In the last section we noted that a particle moving -0.6 along with the bubble in the metric of Eq.3, i.e. following a circular trajectory at radius rs with tangential velocity vs, will be following a locally time-like trajectory even if FIG. 2: Spacetime diagrams showing the tangential lightcones and vs > 1. This will also be true for the metric of Eq.8. It bubble trajectory in terms of: (a) the local coordinates; and (b) the is easily shown that the components of the 4-velocity for global coordinates. In the local coordinates the light cones tip over sufficiently to allow the particle trajectory to exceed the speed of such a particle in the local metric are light. In the global metric the forward lightcone becomes directed back in time, allowing the particle trajectory to also be directed dt0 dφ0 dr dz v back in time. The parameters are v = 2 and ωr = −0.75. uα = ( , z , , ) = (1, s , 0, 0). (9) s L dτ dτ dτ dτ r Time travel examples: We now discuss two examples of Notice, from the time component, we have dt0 = dτ, in- time travel in this spacetime and analyse them in terms dicating that the clock of the traveller in the bubble re- of both the global and local metrics, and use the exam- mains synchronized with that of an observer (at radius ple parameters in Fig.2 to obtain numerical values for rs) not in the bubble. Making a coordinate transforma- the time taken according to the traveller and the time tion to the rotating cylindrical coordinates we find that travelled into the past as observed locally and globally. the components of the particle 4-velocity with respect to Consider a particle moving along with the bubble, i.e. the global metric (Eq.5) are following a trajectory of constant r = rs, z = 0 and √ maintaining a tangential velocity vs with φ(t) = φs(t). 1 + v ωr v 1 − ω2r2 The 4-velocity of such a particle was discussed in the uα = (√ s , s , 0, 0). (10) G 1 − ω2r2 r previous section and is given by Eq.9 in the local metric 4 or Eq.10 in the global metric. First, let us assume that the rotating platform. An Alcubierre bubble forms at vs(t) remains constant over a time interval t = 0 → tf φ = t = 0 and carries the particle around the circuit. The which is long enough to allow the particle to make at bubble disappears after the circuit, leaving the particle least one entire circuit at constant velocity. We wish in flat space at the origin again, but at an earlier time. to calculate the proper time interval experienced by the We assume that the velocity of the bubble in the metric particle and the time interval of an observer who is far changes as a function of proper time, vs(τ) = f(τ)vs, enough away to not be affected by the bubble. such that f(0) = 0 and f(τa) = 1, with f(τ) monotoni- First we calculate in the global metric. From Eq.10 we cally increasing between τ = 0 → τa. We further assume have that f(τ) = 1 for τa ≤ τ ≤ τf −τa and vs(τ) = f(τf −τ)vs for τf − τa ≤ τ ≤ τf . Here τf is again the proper time dφ v p1 − ω2r2 = s s , (13) to complete the entire circuit. We again assume that the dτ rs particle moves so as to remain at the centre of the bubble and hence for the whole trajectory, hence its 4-velocity components in the global coordinates remain those of Eq.10 but with Z 2π rs vs = vs(τ). τf = dφ p 2 2 We will work in the global coordinates. Given the sym- 0 vs 1 − ω r s metry of the trajectory it is sufficient to calculate the 2πr = s . (14) time to reach φ = π and then double it. Using Eq.13 we p 2 2 vs 1 − ω rs can write

Then from Eq.12 we have p 2 2 Z τa 1 − ω rs φ1 = f(τ)vsdτ. (17) 2πr (1 + v ωr ) rs 0 t = s s s . (15) f v (1 − ω2r2) s s So after proper time τ = τa the particle has reached In obtaining these results we are assuming that the initial φ = φ1. Given that f(τ) = 1 for τa ≤ τ ≤ π then the proper time for the particle to go between φ1 and π is times at the beginning of the journey are τi = ti = 0.

Using the same parameters as in Fig.2 we find that τf = p 2 2 Z τa rs 1 − ω rs 4.75rs while tf = −3.59rs. Hence after completing a τ1 = (π − f(τ)vsdτ). p 2 2 rs vs 1 − ω r rs 0 single circuit the particle has aged by 4.75 c seconds but s rs arrives back at the origin 3.59 c seconds in the past. (18) Now let us perform the same calculation in the local rsdφ rsdφ The total proper time to go around the circuit is then metric. Locally, from Eq.9, we have dτ = dt0 = vs. This implies that τ = x0 /v where x0 is the locally mea- f s s s Z τa 2πrs sured distance around the circuit. Given that the circum- τf = 2(τa + τ1) = 2τa − 2 f(τ)dτ + . p 2 2 ference of the circuit is xs = 2πrs in the lab frame and 0 vs 1 − ω rs taking account of the Lorentz contraction between the (19) p 2 2 0 lab frame and the local frame, xs = 1 − ω rs xs, we obtain the same expression for the proper time as given Using Eq.12 it is straightforward to show that the coor- in Eq.14, as expected. dinate time for the full circuit is 0 In order to calculate the time, tf , told locally by a clock R τa 2τa − 2 0 f(τ)dτ 2πrs + vsωrs at the origin, we need to account for the fact that due tf = + . (20) p 2 2 2 2 to the Lorentz boosts leading to the local metric there 1 − ω rs vs(1 − ω rs ) is a lack of simultaneity between the clock at φ = 0 and the same clock as described at φ = 2π. This lack of It is also straightforward to confirm that a consistent so- simultaneity, ∆t0 is described by the usual simultaneity lution emerges from a calculation in the local frame. To relationship, ∆t0 = x v /p1 − v2, where v = ωr is the see that time travel is still possible with this protocol let’s s b b b s assume a simple linear ramp function such that f(τ) = τ boost and xs = 2πrs is the separation in the unboosted frame. Given that dt0/dτ = 1 we conclude that the local when 0 ≤ τ ≤ τa with τa = 1. Using√ the parameters√ from time will be the proper time plus the lack of simultaneity Fig.2 again we find tf = (1−2πrs/ 7)4/ 7. This will be correction, hence negative,√ and hence time travel becomes possible, when rs > 7/2π ≈ 0.42. If this condition is not met the par- 2πr ωr 2πr (1 + v ωr ) ticle will arrive arrive back at the origin superluminally, t0 = τ + s s = s s s . (16) f p 2 2 p 2 2 but after it left. 1 − ω rs vs 1 − ω rs √ If the condition rs > 7/2π is met the particle ends up Accounting for the Lorentz contraction between the in flat space at the origin of the rotating platform before 0 p 2 2 global and local frame we see that tf = tf 1 − ω rs it left. If it remains there it can become the particle that as expected. enters the bubble in the future, thus forming a closed Now let us consider a more interesting situation in timelike curve. More interestingly, if the particle moves which a particle starts off and finishes in flat space on away from the origin it is travelling through its own past 5 and may interact with its past self before following a enter from a chronology respecting past, interact within chronology respecting path away from the bubble and a non-chronology respecting interval before exiting into a into the future. chronology respecting future. Such situations have been Discussion and Conclusion: We can speculate on what discussed in the literature [19, 20], especially for quan- a machine able to create the metric of Eq.5 might look tum particles [11, 12, 21–24] but always with the general like. Suppose some future technology is able to create a relativity abstracted away. The simple form and clear device that via some means can produce the bubble cur- physical interpretation of our metric suggests it can be vature, momentarily, and on command. A large number a key tool for rigorously modelling the dynamics of par- of such devices could be arranged around the ring and ticles in such situations. Such abstracted versions also pre-synchronized to fire in sequence in such a way as to arise in research into indefinite causal structures [25, 26] create a bubble travelling at varying velocities (includ- and could also benefit from the metric discussed here. Ul- ing superluminal) around the ring. Imagining this all timately we hope this will lead to a better understanding constructed on a cylindrical platform, then spinning the of the consequences for the union of quantum mechanics entire platform at high speeds would result in the desired and general relativity of the potential existence of such metric. Obviously this is a gedanken experiment, how- spacetimes. ever it does provides a clear physical picture for attaching to the metric and hence a solid basis upon which to dis- Acknowledgements: We thank Alex Tremayne for use- cuss the apparent paradoxes that arise from considering ful discussions. This work was partially supported by time travel in general relativity. the by the Australian Research Council Centre of Ex- In conclusion, we have described a global time ma- cellence for Quantum Computation and Communication chine metric which allows one to model particles which Technology (Project No.CE110001027).

[1] M. S. Morris, K. S. Thorne and U. Yurtsever, Worm- [15] A. Everett and T. Roman, Time Travel and Warp Drives: holes, time machines, and the weak energy condition, A Scientific Guide to Shortcuts Through Time and Space Phys. Rev. Lett. 61, 1446 (1988). (University of Chicago Press, 2012). [2] K. G¨odel,An example of a new type of cosmological solu- [16] James B. Hartle, Gravity: An Introduction to Einsteins tion of einstein’s field equations of gravitation, Rev. Mod. General Relativity (AddisonWesley, San Francisco, CA, Phys. 21, 447 (1949). 2003). [3] S. Deser, R. Jackiw, and G. tHooft, Physical cosmic [17] J. Anandan, Sagnac effect in relativistic and nonrelativis- strings do not generate closed timelike curves, Phys. Rev. tic physics, Phys. Rev. D 24, 338 (1981). Lett. 68, 267 (1992). [18] G. Rizzi and A. Tartaglia, Speed of Light on Rotating [4] S. Hawking, Chronology protection conjecture, Phys. Platforms, Foundations of Physics 28, 1663 (1998). Rev. D 46, 603 (1992). [19] J. Friedman, et al, Cauchy problem in spacetimes with [5] S. W. Kim and K. S. Thorne, Do vacuum fluctuations closed timelike curves, Physical Review D 42, 1915 prevent the creation of closed timelike curves?, Phys. (1990). Rev. D 43, 3929 (1991). [20] F. Echeverria, G. Klinkhammer and K. S. Thorne, Bil- [6] M. Visser, S. Kar and N. Dadhich, Traversable wormholes liard balls in wormhole spacetimes with closed timelike with arbitrarily small energy condition violations, Phys. curves: Classical theory, Phys. Rev. D 44, 1077 (1991). Rev. Lett. 90, 201102 (2003). [21] D. Bacon, Quantum computational complexity in the [7] A. Ori, A class of time-machine solutions with a compact presence of closed timelike curves, Phys. Rev. A 70, vacuum core, Phys. Rev. Lett. 95, 021101 (2005). 032309 (2004). [8] J. Earman, C. Smeenk and C. W¨uthrich, Do the laws of [22] T. C. Ralph and C. R. Myers, Information flow of quan- physics forbid the operation of time machines?, Synthese tum states interacting with closed timelike curves, Phys. 169, 91 (2009). Rev. A 82, 062330 (2010). [9] Davide Fermi and Livio Pizzocchero, A time machine for [23] S. Lloyd, et al, Closed timelike curves via postselection: free fall into the past, Class. Quantum Grav. 35, 165003 theory and experimental test of consistency, Phys. Rev. (2018). Lett. 106, 040403 (2011). [10] M. Alcubierre, The warp drive: hyper-fast travel within [24] Martin Ringbauer, Matthew A. Broome, Casey R. Myers, general relativity, Classical and Quantum Gravity 11(5), Andrew G. White, and Timothy C. Ralph, Experimental L73 (1994). Simulation of Closed Timelike Curves, Nature Commu- [11] D. Deutsch, Quantum mechanics near closed timelike nications 5, 4145 (2014). lines, Phys. Rev. D 44, 3197 (1991). [25] Ognyan Oreshkov, Fabio Costa and Caslav Brukner, [12] H. D. Politzer, Path integrals, density matricies, and in- Quantum correlations with no causal order, Nature formation flow with closed timelike curves, Phys. Rev. D Comm, 3, 1092 (2012). 49, 3981 (1994). [26] G. Chiribella, G. M. DAriano, P. Perinotti, and B. [13] H. White, Warp field mechanics 101, Journal of the Valiron, Quantum computations without definite causal British Interplanetary Society 66, 242 (2013). structure, Phys. Rev. A 88, 022318 (2013). [14] A. E. Everett, Warp drive and causality, Phys. Rev. D 53, 7365 (1996).