The Novikov self-consistency principle, also known as the Novikov self-consistency conjecture and
Larry Niven
Laurence van Cott Niven (; born April 30, 1938) is an American science fiction writer. His best-known works are '' Ringworld'' (1970), which received Hugo, Locus, Ditmar, and Nebula awards, and, with Jerry Pournelle, '' The Mote in God's E ...
's law of conservation of history, is a
principle developed by Russian physicist
Igor Dmitriyevich Novikov
Igor Dmitriyevich Novikov (russian: И́горь Дми́триевич Но́виков; born November 10, 1935) is a Russian (and former Soviet) theoretical astrophysicist and cosmologist.
Novikov put forward the idea of white holes in 1964 ...
in the mid-1980s. Novikov intended it to solve the problem of
paradox
A paradox is a logically self-contradictory statement or a statement that runs contrary to one's expectation. It is a statement that, despite apparently valid reasoning from true premises, leads to a seemingly self-contradictory or a logically u ...
es in
time travel
Time travel is the concept of movement between certain points in time, analogous to movement between different points in space by an object or a person, typically with the use of a hypothetical device known as a time machine. Time travel is a ...
, which is theoretically permitted in certain solutions of
general relativity
General relativity, also known as the general theory of relativity and Einstein's theory of gravity, is the geometric theory of gravitation published by Albert Einstein in 1915 and is the current description of gravitation in modern physics ...
that contain what are known as
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 St ...
s. The principle asserts that if an event exists that would cause a paradox or any "change" to the past whatsoever, then the
probability
Probability is the branch of mathematics concerning numerical descriptions of how likely an event is to occur, or how likely it is that a proposition is true. The probability of an event is a number between 0 and 1, where, roughly speakin ...
of that event is zero. It would thus be impossible to create
time paradox
A temporal paradox, time paradox, or time travel paradox is a paradox, an apparent contradiction, or logical contradiction associated with the idea of time and time travel. The notion of time travel to the future complies with current understanding ...
es.
History
Physicists have long known that some solutions to the theory of general relativity contain
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 St ...
s—for example the
Gödel metric
The Gödel metric, also known as the Gödel solution or Gödel universe, is an exact solution of the Einstein field equations in which the stress–energy tensor contains two terms, the first representing the matter density of a homogeneous d ...
. Novikov discussed the possibility of closed timelike curves (CTCs) in books he wrote in 1975 and 1983, 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
A Cauchy problem in mathematics asks for the solution of a partial differential equation that satisfies certain conditions that are given on a hypersurface in the domain. A Cauchy problem can be an initial value problem or a boundary value prob ...
in spacetimes with closed timelike curves",
the authors state:
Among the co-authors of this 1990 paper were
Kip Thorne
Kip Stephen Thorne (born June 1, 1940) is an American theoretical physicist known for his contributions in gravitational physics and astrophysics. A longtime friend and colleague of Stephen Hawking and Carl Sagan, he was the Richard P. F ...
,
Mike Morris, and Ulvi Yurtsever, who in 1988 had stirred up renewed interest in the subject of time travel in general relativity with their paper "Wormholes, Time Machines, and the Weak Energy Condition", which showed that a new general relativity solution known as a
traversable wormhole
A wormhole ( Einstein-Rosen bridge) is a hypothetical structure connecting disparate points in spacetime, and is based on a special solution of the Einstein field equations.
A wormhole can be visualized as a tunnel with two ends at separate p ...
could lead to closed timelike curves, and unlike previous CTC-containing solutions, it did not require unrealistic conditions for the universe as a whole. After discussions with the lead author of the 1990 paper, John Friedman, they convinced themselves that time travel need not lead to unresolvable paradoxes, regardless of the object sent through the wormhole.
By way of response, physicist
Joseph Polchinski
Joseph Gerard Polchinski Jr. (; May 16, 1954 – February 2, 2018) was an American theoretical physicist and string theorist.
Biography
Polchinski was born in White Plains, New York, the elder of two children to Joseph Gerard Polchinski Sr. (1929 ...
wrote them a letter arguing that one could avoid the issue of free will by employing a potentially paradoxical thought experiment involving a
billiard ball
A billiard ball is a small, hard ball used in cue sports, such as carom billiards, pool, and snooker. The number, type, diameter, color, and pattern of the balls differ depending upon the specific game being played. Various particular ball p ...
sent back in time through a wormhole. In Polchinski's scenario, the billiard ball is fired into the
wormhole
A wormhole ( Einstein-Rosen bridge) is a hypothetical structure connecting disparate points in spacetime, and is based on a special solution of the Einstein field equations.
A wormhole can be visualized as a tunnel with two ends at separate p ...
at an angle such that, if it continues along its path, it will exit in the past at just the right angle to collide with its earlier self, knocking it off track and preventing it from entering the wormhole in the first place. Thorne would refer to this scenario as "
Polchinski's paradox" in 1994.
Upon considering the scenario, Fernando Echeverria and Gunnar Klinkhammer, two students at
Caltech
The California Institute of Technology (branded as Caltech or CIT)The university itself only spells its short form as "Caltech"; the institution considers other spellings such a"Cal Tech" and "CalTech" incorrect. The institute is also occasional ...
(where Thorne taught), arrived at a solution to the problem that managed to avoid any inconsistencies. In the revised scenario, the ball from the future emerges at a different angle than the one that generates the paradox, and delivers its younger self a glancing blow instead of knocking it completely away from the wormhole. This blow alters 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 situation. Later analysis by Thorne and
Robert Forward
Robert Lull Forward (August 15, 1932 – September 21, 2002) was an American physicist and science fiction writer. His literary work was noted for its scientific credibility and use of ideas developed from his career as an aerospace engineer. He ...
illustrated 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.
This only applies to initial conditions outside of the chronology-violating region of spacetime,
which is bounded by a
Cauchy horizon
In physics, a Cauchy horizon is a light-like boundary of the domain of validity of a Cauchy problem (a particular boundary value problem of the theory of partial differential equations). One side of the horizon contains closed space-like geod ...
. This could mean that the Novikov self-consistency principle does not actually place any constraints on systems outside of the region of space-time where time travel is possible, only inside it.
Even if self-consistent extensions can be found for arbitrary initial conditions outside the Cauchy horizon, the finding that there can be multiple distinct self-consistent extensions for the same initial condition—indeed, Echeverria et al. found an infinite number of consistent extensions for every initial trajectory they analyzed
—can be seen as problematic, since classically there seems to be no way to decide which extension the laws of physics will choose. To get around this difficulty, Thorne and Klinkhammer analyzed the billiard ball scenario using quantum mechanics,
performing a quantum-mechanical sum over histories (
path integral) using only the consistent extensions, and found that this resulted in a well-defined probability for each consistent extension. The authors of "Cauchy problem in spacetimes with closed timelike curves" write:
Assumptions
The Novikov consistency principle assumes certain conditions about what sort of time travel is possible. Specifically, it assumes either that there is only one
timeline
A timeline is a display of a list of events in chronological order. It is typically a graphic design showing a long bar labelled with dates paralleling it, and usually contemporaneous events.
Timelines can use any suitable scale represen ...
, or that any alternative timelines (such as those postulated by the
many-worlds interpretation
The many-worlds interpretation (MWI) is an interpretation of quantum mechanics that asserts that the universal wavefunction is objectively real, and that there is no wave function collapse. This implies that all possible outcomes of quantum ...
of
quantum mechanics
Quantum mechanics is a fundamental theory in physics that provides a description of the physical properties of nature at the scale of atoms and subatomic particles. It is the foundation of all quantum physics including quantum chemistr ...
) are not accessible.
Given these assumptions, the constraint that time travel must not lead to inconsistent outcomes could be seen merely as a
tautology, a self-evident truth that cannot possibly be false. However, the Novikov self-consistency principle is intended to go beyond just the statement that history must be consistent, making the additional nontrivial assumption that the universe obeys the same local laws of physics in situations involving time travel that it does in regions of space-time that lack closed timelike curves. This is clarified in the above-mentioned "Cauchy problem in spacetimes with closed timelike curves",
where the authors write:
Implications for time travelers
The assumptions of the self-consistency principle can be extended to hypothetical scenarios involving intelligent time travelers as well as unintelligent objects such as billiard balls. The authors of "Cauchy problem in spacetimes with
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 St ...
s" commented on the issue in the paper's conclusion, writing:
Similarly, physicist and astronomer J. Craig Wheeler concludes that:
Time-loop logic
Time-loop logic, coined by
roboticist and futurist
Hans Moravec
Hans Peter Moravec (born November 30, 1948, Kautzen, Austria) is an adjunct faculty member at the Robotics Institute of Carnegie Mellon University in Pittsburgh, USA. He is known for his work on robotics, artificial intelligence, and writings ...
, is a hypothetical system of computation that exploits the Novikov self-consistency principle to compute answers much faster than possible with the standard model of
computational complexity using
Turing machine
A Turing machine is a mathematical model of computation describing an abstract machine that manipulates symbols on a strip of tape according to a table of rules. Despite the model's simplicity, it is capable of implementing any computer algori ...
s. In this system, a computer sends a result of a computation
backwards through time and relies upon the self-consistency principle to force the sent result to be correct, provided the machine can reliably receive information from the future and provided the algorithm and the underlying mechanism are
formally correct. An incorrect result or no result can still be produced if the time travel mechanism or algorithm are not guaranteed to be accurate.
A simple example is an
iterative method
In computational mathematics, an iterative method is a mathematical procedure that uses an initial value to generate a sequence of improving approximate solutions for a class of problems, in which the ''n''-th approximation is derived from the pr ...
algorithm. Moravec states:
Quantum computation with a negative delay
Physicist
David Deutsch
David Elieser Deutsch ( ; born 18 May 1953) is a British physicist at the University of Oxford. He is a Visiting Professor in the Department of Atomic and Laser Physics at the Centre for Quantum Computation (CQC) in the Clarendon Laboratory of ...
showed in 1991 that this model of computation could solve NP problems in
polynomial time,
and
Scott Aaronson
Scott Joel Aaronson (born May 21, 1981) is an American theoretical computer scientist and David J. Bruton Jr. Centennial Professor of Computer Science at the University of Texas at Austin. His primary areas of research are quantum computing a ...
later extended this result to show that the model could also be used to solve
PSPACE
In computational complexity theory, PSPACE is the set of all decision problems that can be solved by a Turing machine using a polynomial amount of space.
Formal definition
If we denote by SPACE(''t''(''n'')), the set of all problems that can b ...
problems in polynomial time. Deutsch shows that quantum computation with a negative delay—backwards time travel—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 in which they claim to have validated Deutsch's model with photons.
However, it was shown in an article by Tolksdorf and Verch that Deutsch's self-consistency condition can be fulfilled to arbitrary precision in any quantum system described according to relativistic
quantum field theory even on spacetimes which do not admit closed timelike curves, casting doubts on whether Deutsch's model is really characteristic of quantum processes simulating closed timelike curves in the sense of
general relativity
General relativity, also known as the general theory of relativity and Einstein's theory of gravity, is the geometric theory of gravitation published by Albert Einstein in 1915 and is the current description of gravitation in modern physics ...
.
In a later article,
the same authors show that Deutsch's CTC fixed point condition can also be fulfilled in any system
subject to the laws of classical
statistical mechanics, even if it is not built up by quantum systems. The authors conclude that hence,
Deutsch's condition is not specific to quantum physics, nor does it depend on the quantum nature of a physical system so that it can be fulfilled.
In consequence, Tolksdorf and Verch argue that Deutsch's condition is not sufficiently specific to allow statements about time travel scenarios or their hypothetical realization by quantum physics.
Lloyd's prescription
An alternative proposal was later presented by
Seth Lloyd
Seth Lloyd (born August 2, 1960) is a professor of mechanical engineering and physics at the Massachusetts Institute of Technology.
His research area is the interplay of information with complex systems, especially quantum systems. He has perform ...
based upon
post-selection and path integrals. In particular, the path integral is over single-valued fields, leading to self-consistent histories.
In popular culture
* ''
The Final Countdown'' (1980): A science-fiction time-travel movie in which the aircraft carrier, Nimitz, passes through a wormhole back to the eve of the Pearl Harbor. The anomaly returns and sends it back into the present, before it has a chance to affect the outcome.
* The story ''
The Merchant and the Alchemist's Gate
"The Merchant and the Alchemist's Gate" is a fantasy Novella, novelette by American writer Ted Chiang, originally published in 2007 by Subterranean Press and reprinted in the September 2007 issue of ''Fantasy & Science Fiction''. In 2019, the nov ...
'' (2007) by
Ted Chiang
Ted Chiang (born 1967) is an American science fiction writer. His work has won four Nebula awards, four Hugo awards, the John W. Campbell Award for Best New Writer, and six Locus awards. His short story "Story of Your Life" was the basis of the ...
explores the interplay between free will and self-consistent time-travel
* ''
Steins;Gate'' (2009): Cited by Makise Kurisu during her presentation on time travel.
* ''
Harry Potter and the Methods of Rationality
''Harry Potter and the Methods of Rationality'' (''HPMOR'') is a ''Harry Potter'' fan fiction by Eliezer Yudkowsky. It adapts the story of ''Harry Potter'' to explain complex concepts in cognitive science, philosophy, and the scientific method. ...
'': In Eliezer Yudkowsky's exposition on rationality, framed as a piece of Harry Potter fanfiction, Harry attempts to use his Time Turner to influence the past and comes to the conclusion that the Novikov self-consistency principle applies.
* ''
Orthogonal'': A science-fiction novel series that applies the principle.
* The Netflix series ''
Dark
Darkness, the direct opposite of lightness, is defined as a lack of illumination, an absence of visible light, or a surface that absorbs light, such as black or brown.
Human vision is unable to distinguish colors in conditions of very low lu ...
'' is largely based on the notion that the possibility of time travel tempts the characters to try change the past, which only leads them to cause the events they were trying to prevent in the first place.
* ''
Outer Wilds
''Outer Wilds'' is a 2019 action-adventure game developed by Mobius Digital and published by Annapurna Interactive. It first released for Windows, Xbox One, and PlayStation 4 before releasing for PlayStation 5 and Xbox Series X/S in 2022. A Nin ...
'' (2019): A video game involving time travel which does not follow the principle, causing a game over if the player experiments to test it.
See also
*
Causal loop
A causal loop is a theoretical proposition, wherein by means of either retrocausality or time travel, an event (an action, information, object, or person) is among the causes of another event, which is in turn among the causes of the first-menti ...
*
Causality (physics)
Causality is the relationship between causes and effects. While causality is also a topic studied from the perspectives of philosophy and physics, it is operationalized so that causes of an event must be in the past light cone of the event and ...
*
Chronology protection conjecture
The chronology protection conjecture is a hypothesis first proposed by Stephen Hawking that laws of physics beyond those of standard general relativity prevent time travel on all but microscopic scales - even when the latter theory states that it ...
*
Cosmic censorship hypothesis The weak and the strong cosmic censorship hypotheses are two mathematical conjectures about the structure of gravitational singularities arising in general relativity.
Singularities that arise in the solutions of Einstein's equations are typically ...
*
The chicken or the egg
*
Many-worlds interpretation
The many-worlds interpretation (MWI) is an interpretation of quantum mechanics that asserts that the universal wavefunction is objectively real, and that there is no wave function collapse. This implies that all possible outcomes of quantum ...
*
Grandfather paradox
A temporal paradox, time paradox, or time travel paradox is a paradox, an apparent contradiction, or logical contradiction associated with the idea of time and time travel. The notion of time travel to the future complies with current understanding ...
*
Quantum mechanics of time travel
*
Time viewer
References
External links
Notion of the Past & Can We Change It?– speech by Novikov
From wormhole to time machine: Comments on Hawking's Chronology Protection Conjecture which also addresses the Novikov self-consistency principle
Einstein Physics prevent paradoxical time travelTime Travel and Modern Physics
{{DEFAULTSORT:Novikov Self-Consistency Principle
Time travel
Conjectures
Temporal paradoxes