Closed timelike curve
In mathematical physics, a closed timelike curve (CTC) is a world line in a Lorentzian manifold, of a material particle in spacetime, that is "closed", returning to its starting point. This possibility was first discovered by Willem Jacob van Stockum in 1937[1] and later confirmed by Kurt Gödel in 1949,[2] who discovered a solution to the equations of general relativity (GR) allowing CTCs known as the Gödel metric; and since then other GR solutions containing CTCs have been found, such as the Tipler cylinder and traversable wormholes. If CTCs exist, their existence would seem to imply at least the theoretical possibility of time travel backwards in time, raising the spectre of the grandfather paradox, although the Novikov self-consistency principle seems to show that such paradoxes could be avoided. Some physicists speculate that the CTCs which appear in certain GR solutions might be ruled out by a future theory of quantum gravity which would replace GR, an idea which Stephen Hawking labeled the chronology protection conjecture. Others note that if every closed timelike curve in a given spacetime passes through an event horizon, a property which can be called chronological censorship, then that spacetime with event horizons excised would still be causally well behaved and an observer might not be able to detect the causal violation.[3]
CTCs appear in locally unobjectionable exact solutions to the Einstein field equation of general relativity, including some of the most important solutions. These include:
Some of these examples are, like the Tipler cylinder, rather artificial, but the exterior part of the Kerr solution is thought to be in some sense generic, so it is rather unnerving to learn that its interior contains CTCs. Most physicists feel that CTCs in such solutions are artifacts.[4]
Consequences[edit]
One feature of a CTC is that it opens the possibility of a worldline which is not connected to earlier times, and so the existence of events that cannot be traced to an earlier cause. Ordinarily, causality demands that each event in spacetime is preceded by its cause in every rest frame. This principle is critical in determinism, which in the language of general relativity states complete knowledge of the universe on a spacelike Cauchy surface can be used to calculate the complete state of the rest of spacetime. However, in a CTC, causality breaks down, because an event can be "simultaneous" with its cause—in some sense an event may be able to cause itself. It is impossible to determine based only on knowledge of the past whether or not something exists in the CTC that can interfere with other objects in spacetime. A CTC therefore results in a Cauchy horizon, and a region of spacetime that cannot be predicted from perfect knowledge of some past time.
No CTC can be continuously deformed as a CTC to a point (that is, a CTC and a point are not timelike homotopic), as the manifold would not be causally well behaved at that point. The topological feature which prevents the CTC from being deformed to a point is known as a timelike topological feature.
The existence of CTCs would arguably place restrictions on physically allowable states of matter-energy fields in the universe. Propagating a field configuration along the family of closed timelike worldlines must, according to such arguments, eventually result in the state that is identical to the original one. This idea has been explored by some scientists as a possible approach towards disproving the existence of CTCs.
While quantum formulations of CTCs have been proposed,[5][6] a strong challenge to them is their ability to freely create entanglement,[7] which quantum theory predicts is impossible. If Deutsch's prescription holds, the existence of these CTCs implies also equivalence of quantum and classical computation (both in PSPACE).[8] If Lloyd's prescription holds, quantum computations would be PP-complete.
Contractible versus noncontractible[edit]
There are two classes of CTCs. We have CTCs contractible to a point (if we no longer insist it has to be future-directed timelike everywhere), and we have CTCs which are not contractible. For the latter, we can always go to the universal covering space, and reestablish causality. For the former, such a procedure is not possible. No closed timelike curve is contractible to a point by a timelike homotopy among timelike curves, as that point would not be causally well behaved.[3]
Cauchy horizon[edit]
The chronology violating set is the set of points through which CTCs pass. The boundary of this set is the Cauchy horizon. The Cauchy horizon is generated by closed null geodesics.[9] Associated with each closed null geodesic is a redshift factor describing the rescaling of the rate of change of the affine parameter around a loop. Because of this redshift factor, the affine parameter terminates at a finite value after infinitely many revolutions because the geometric series converges.