A causal loop in the context of time travel or the causal structure of spacetime, is a sequence of events (actions, information, objects, people) in which an event is among the causes of another event, which in turn is among the causes of the first-mentioned event. Such causally-looped events then exist in spacetime, but their origin cannot be determined. A hypothetical example of a causality loop is given of a billiard ball striking its past self: the billiard ball moves in a path towards a time machine, and the future self of the billiard ball emerges from the time machine before its past self enters it, giving its past self a glancing blow, altering the past ball's path and causing it to enter the time machine at an angle that would cause its future self to strike its past self the very glancing blow that altered its path.
Terminology in physics, philosophy, and fiction
Backwards time travel would allow for causal loops involving events, information, people or objects whose histories form a closed loop, and thus seem to "come from nowhere." The notion of objects or information which are "self-existing" in this way is often viewed as paradoxical, with several authors referring to a causal loop involving information or objects without origin as a bootstrap paradox,:343 an information paradox, or an ontological paradox. The use of "bootstrap" in this context refers to the expression "pulling yourself up by your bootstraps" and to Robert A. Heinlein's time travel story "By His Bootstraps". The term "time loop" is sometimes used to refer to a causal loop, but although they appear similar, causal loops are unchanging and self-originating, whereas time loops are constantly resetting.
An example of a causal loop paradox involving information is given by Everett: suppose a time traveler copies a mathematical proof from a textbook, then travels back in time to meet the mathematician who first published the proof, at a date prior to publication, and allows the mathematician to simply copy the proof. In this case, the information in the proof has no origin. A similar example is given in the television series Doctor Who of a time-traveler who copies Beethoven's music from the future and publishes it in Beethoven's time in Beethoven's name. Everett gives the movie Somewhere in Time as an example involving an object with no origin: an old woman gives a watch to a playwright who later travels back in time and meets the same woman when she was young, and gives her the same watch that she will later give to him.
Krasnikov writes that these bootstrap paradoxes - information or an object looping through time - are the same; the primary apparent paradox is a physical system evolving into a state in a way that is not governed by its laws.:4 He does not find this paradoxical, and attributes problems regarding the validity of time travel to other factors in the interpretation of general relativity.:14–16
A 1992 paper by physicists Andrei Lossev and Igor Novikov labeled such items without origin as Jinn, with the singular term Jinnee.:2311–2312 This terminology was inspired by the Jinn of the Quran, which are described as leaving no trace when they disappear.:200–203 Lossev and Novikov allowed the term "Jinn" to cover both objects and information with reflexive origin; they called the former "Jinn of the first kind", and the latter "Jinn of the second kind".:2315–2317:208 They point out that an object making circular passage through time must be identical whenever it is brought back to the past, otherwise it would create an inconsistency; the second law of thermodynamics seems to require that the object become more disordered over the course of its history, and such objects that are identical in repeating points in their history seem to contradict this, but Lossev and Novikov argued that since the second law only requires disorder to increase in closed systems, a Jinnee could interact with its environment in such a way as to regain lost order.:200–203 They emphasize that there is no "strict difference" between Jinn of the first and second kind.:2320 Krasnikov equivocates between "Jinn", "self-sufficient loops", and "self-existing objects", calling them "lions" or "looping or intruding objects", and asserts that they are no less physical than conventional objects, "which, after all, also could appear only from either infinity, or a singularity.":8–9
The term predestination paradox is used in the Star Trek franchise to mean "a time loop in which a time traveler who has gone into the past causes an event that ultimately causes the original future version of the person to go back into the past." This use of the phrase was created for a sequence in a 1996 episode of Star Trek: Deep Space Nine titled "Trials and Tribble-ations", although the phrase had been used previously to refer to belief systems such as Calvinism and some forms of Marxism which encouraged followers to strive to produce certain outcomes while at the same time teaching that the outcomes were predetermined. Smeenk and Morgenstern use the term "predestination paradox" to refer specifically to situations in which a time traveler goes back in time to try to prevent some event in the past, but ends up helping to cause that same event.
A self-fulfilling prophecy may be a form of causality loop, only when the prophecy can be said to be truly known to occur, since only then events in the future will be causing effects in the past. Otherwise, it would be a simple case of events in the past causing events in the future. Predestination does not necessarily involve a supernatural power, and could be the result of other "infallible foreknowledge" mechanisms. Problems arising from infallibility and influencing the future are explored in Newcomb's paradox. A notable fictional example of a self-fulfilling prophecy occurs in classical play Oedipus Rex, in which Oedipus becomes the king of Thebes, whilst in the process unwittingly fulfills a prophecy that he would kill his father and marry his mother. The prophecy itself serves as the impetus for his actions, and thus it is self-fulfilling. The movie 12 Monkeys heavily deals with themes of predestination and the Cassandra complex, where the protagonist who travels back in time explains that he can't change the past.
Novikov self-consistency principle
General relativity permits some exact solutions that allow for time travel. Some of these exact solutions describe universes that contain closed timelike curves, or world lines that lead back to the same point in spacetime. Physicist Igor Dmitriyevich Novikov discussed the possibility of closed timelike curves in his books in 1975 and 1983,(p. 42 note 10) offering the opinion that only self-consistent trips back in time would be permitted. In a 1990 paper by Novikov and several others, "Cauchy problem in spacetimes with closed timelike curves", the authors suggested the principle of self-consistency, which states that the only solutions to the laws of physics that can occur locally in the real Universe are those which are globally self-consistent. The authors later concluded that time travel need not lead to unresolvable paradoxes, regardless of what type of object was sent to the past.
Physicist Joseph Polchinski argued that one could avoid questions of free will by considering a potentially paradoxical situation involving a billiard ball sent back in time. In this situation, the ball is fired into a wormhole at an angle such that, if it continues along its course, it will exit in the past at just the right angle to hit its earlier self, knocking it off course, which would stop it from entering the wormhole in the first place. Thorne referred to this problem as "Polchinski's paradox". Two students at Caltech, Fernando Echeverria and Gunnar Klinkhammer, went on to find a solution that avoided any inconsistencies. In the revised scenario, the ball would emerge from the future at a different angle than the one that had generated the paradox, and delivers its past self a glancing blow instead of knocking it completely away from the wormhole. This blow changes its trajectory by just the right degree, meaning it will travel back in time with the angle required to deliver its younger self the necessary glancing blow. Echeverria and Klinkhammer actually found that there was more than one self-consistent solution, with slightly different angles for the glancing blow in each case. Later analysis by Thorne and Robert Forward showed that for certain initial trajectories of the billiard ball, there could actually be an infinite number of self-consistent solutions.
Echeverria, Klinkhammer and Thorne published a paper discussing these results in 1991; in addition, they reported that they had tried to see if they could find any initial conditions for the billiard ball for which there were no self-consistent extensions, but were unable to do so. Thus it is plausible that there exist self-consistent extensions for every possible initial trajectory, although this has not been proven.:184 The lack of constraints on initial conditions only applies to spacetime outside of the chronology-violating region of spacetime; the constraints on the chronology-violating region might prove to be paradoxical, but this is not yet known.:187–188
Novikov's views are not widely accepted. Visser views causal loops and Novikov's self-consistency principle as an ad hoc solution, and supposes that there are far more damaging implications of time travel. Krasnikov similarly finds no inherent fault in causal loops, but finds other problems with time travel in general relativity.:14–16
Quantum computation with negative delay
Physicist David Deutsch shows in a 1991 paper that quantum computation with a negative delay—backwards time travel—could solve NP problems in polynomial time, and Scott Aaronson later extended this result to show that the model could also be used to solve PSPACE problems in polynomial time. Deutsch shows that quantum computation with a negative delay produces only self-consistent solutions, and the chronology-violating region imposes constraints that are not apparent through classical reasoning. Researchers published in 2014 a simulation validating Deutsch's model with photons. However, it was shown in an article by Tolksdorf and Verch that Deutsch's CTC (closed timelike curve, aka causal loop) fixed point condition can be fulfilled to arbitrary precision in any quantum system described according to relativistic quantum field theory on spacetimes where CTCs are excluded, casting doubts on whether Deutsch's condition is really characteristic of quantum processes mimicking CTCs in the sense of general relativity.
- Smith, Nicholas J.J. (2013). "Time Travel". Stanford Encyclopedia of Philosophy. Retrieved June 13, 2015.
- Lobo, Francisco (2003). "Time, Closed Timelike Curves and Causality". The Nature of Time: Geometry, Physics and Perception. NATO Science Series II. Kluwer Academic Publishers. p. 3. arXiv: . Bibcode:2003ntgp.conf..289L. ISBN 1-4020-1200-4.
- Rea, Michael (2014). Metaphysics: The Basics (1. publ. ed.). New York: Routledge. p. 78. ISBN 978-0-415-57441-9.
- Rea, Michael C. (2009). Arguing about Metaphysics. New York [u.a.]: Routledge. p. 204. ISBN 978-0-415-95826-4.
- Thorne, Kip S. (1994). Black Holes and Time Warps. W. W. Norton. pp. 509–513. ISBN 0-393-31276-3.
- Everett, Allen; Roman, Thomas (2012). Time Travel and Warp Drives. Chicago: University of Chicago Press. pp. 136–139. ISBN 978-0-226-22498-5.
- Visser, Matt (1996). Lorentzian Wormholes: From Einstein to Hawking. New York: Springer-Verlag. p. 213. ISBN 1-56396-653-0. "A second class of logical paradoxes associated with time travel are the bootstrap paradoxes related to information (or objects, or even people?) being created from nothing."
- Klosterman, Chuck (2009). Eating the Dinosaur (1st Scribner hardcover ed.). New York: Scribner. pp. 60–62. ISBN 9781439168486.
- Toomey, David (2012). The New Time Travelers. New York, New York: W. W. Norton & Company. ISBN 978-0-393-06013-3.
- Smeenk, Chris; Wüthrich, Christian (2011), "Time Travel and Time Machines", in Callender, Craig, The Oxford Handbook of Philosophy of Time, Oxford University Press, p. 581, ISBN 978-0-19-929820-4
- Ross, Kelley L. (1997). "Time Travel Paradoxes". Archived from the original on January 18, 1998.
- Jones, Matthew; Ormrod, Joan (2015). Time Travel in Popular Media. McFarland & Company. p. 207. ISBN 9780786478071.
- Holmes, Jonathan (October 10, 2015). "Doctor Who: what is the Bootstrap Paradox?". Radio Times.
- Krasnikov, S. (2001), "The time travel paradox", Phys. Rev. D, 65 (6): 06401, arXiv: , Bibcode:2002PhRvD..65f4013K, doi:10.1103/PhysRevD.65.064013
- Lossev, Andrei; Novikov, Igor (15 May 1992). "The Jinn of the time machine: non-trivial self-consistent solutions" (PDF). Class. Quantum Gravity. 9: 2309–2321. Bibcode:1992CQGra...9.2309L. doi:10.1088/0264-9381/9/10/014. Retrieved 16 November 2015.
- Okuda, Michael; Okuda, Denise (1999). The Star Trek Encyclopedia. Pocket Books. p. 384. ISBN 0-671-53609-5.
- Erdmann, Terry J.; Hutzel, Gary (2001). Star Trek: The Magic of Tribbles. Pocket Books. p. 31. ISBN 0-7434-4623-2.
- Daniels, Robert V. (May–June 1960). "Soviet Power and Marxist Determinism". Problems of Communism. 9: 17.
- Morgenstern, Leora (2010), Foundations of a Formal Theory of Time Travel (PDF), p. 6
- Craig, William Lane (1987). "Divine Foreknowledge and Newcomb's Paradox". Philosophia. 17 (3): 331–350. doi:10.1007/BF02455055.
- Dummett, Michael (1996). The Seas of Language. Oxford University Press. pp. 356, 370–375. ISBN 9780198240112.
- Dodds, E.R. (1966), Greece & Rome 2nd Ser., Vol. 13, No. 1, pp. 37–49
- Popper, Karl (1985). Unended Quest: An Intellectual Autobiography (Rev. ed.). La Salle, Ill.: Open Court. p. 139. ISBN 978-0-87548-343-6.
- Krasnikov, S. (2002), "No time machines in classical general relativity", Classical and Quantum Gravity, 19 (15), p. 4109, arXiv: , Bibcode:2002CQGra..19.4109K, doi:10.1088/0264-9381/19/15/316
- Carroll, Sean (2004). Spacetime and Geometry. Addison Wesley. ISBN 0-8053-8732-3.
- Gödel, Kurt (1949). "An Example of a New Type of Cosmological Solution of Einstein's Field Equations of Gravitation". Rev. Mod. Phys. 21 (3): 447. Bibcode:1949RvMP...21..447G. doi:10.1103/RevModPhys.21.447.
- Bonnor, W.; Steadman, B.R. (2005). "Exact solutions of the Einstein-Maxwell equations with closed timelike curves". Gen. Rel. Grav. 37 (11): 1833. Bibcode:2005GReGr..37.1833B. doi:10.1007/s10714-005-0163-3.
- Friedman, John; Morris, Michael S.; Novikov, Igor D.; Echeverria, Fernando; Klinkhammer, Gunnar; Thorne, Kip S.; Yurtsever, Ulvi (1990). "Cauchy problem in spacetimes with closed timelike curves". Physical Review D. 42 (6): 1915. Bibcode:1990PhRvD..42.1915F. doi:10.1103/PhysRevD.42.1915.
- Novikov, Igor (1983). Evolution of the Universe, p. 169: "The close of time curves does not necessarily imply a violation of causality, since the events along such a closed line may be all 'self-adjusted'—they all affect one another through the closed cycle and follow one another in a self-consistent way."
- Echeverria, Fernando; Gunnar Klinkhammer; Kip Thorne (1991). "Billiard balls in wormhole spacetimes with closed timelike curves: Classical theory". Physical Review D. 44 (4): 1077. Bibcode:1991PhRvD..44.1077E. doi:10.1103/PhysRevD.44.1077.
- Earman, John (1995). Bangs, Crunches, Whimpers, and Shrieks: Singularities and Acausalities in Relativistic Spacetimes. Oxford University Press. ISBN 0-19-509591-X.
- Nahin, Paul J. (1999). Time Machines: Time Travel in Physics, Metaphysics, and Science Fiction. American Institute of Physics. pp. 345–352. ISBN 0-387-98571-9.
- Deutsch, David (1991). "Quantum mechanics near closed timelike lines". Physical Review D. 44 (10): 3197–3217. Bibcode:1991PhRvD..44.3197D. doi:10.1103/PhysRevD.44.3197.
- "The Limits of Quantum Computers" (PDF). Scientific American: 68–69. March 2008.
- Aaronson, Scott; John Watrous (2009). "Closed Timelike Curves Make Quantum and Classical Computing Equivalent" (PDF). Proceedings of the Royal Society A. 465 (2102): 631–647. arXiv: . Bibcode:2009RSPSA.465..631A. doi:10.1098/rspa.2008.0350.
- Martin Ringbauer; Matthew A. Broome; Casey R. Myers; Andrew G. White; Timothy C. Ralph (19 Jun 2014). "Experimental simulation of closed timelike curves". Nature Communications. 5: 4145. arXiv: . Bibcode:2014NatCo...5E4145R. doi:10.1038/ncomms5145. PMID 24942489.
- Tolksdorf, Juergen; Verch, Rainer (2018). "Quantum physics, fields and closed timelike curves: The D-CTC condition in quantum field theory". Communications in Mathematical Physics. 357 (1): 319–351. arXiv: . Bibcode:2018CMaPh.357..319T. doi:10.1007/s00220-017-2943-5.