Treating Time Travel Quantum Mechanically

  title={Treating Time Travel Quantum Mechanically},
  author={John-Mark Allen},
  journal={Physical Review A},
The fact that closed timelike curves (CTCs) are permitted by general relativity raises the question as to how quantum systems behave when time travel to the past occurs. Research into answering this question by utilising the quantum circuit formalism has given rise to two theories: Deutschian-CTCs (D-CTCs) and "postselected" CTCs (P-CTCs). In this paper the quantum circuit approach is thoroughly reviewed, and the strengths and shortcomings of D-CTCs and P-CTCs are presented in view of their non… 

Figures from this paper

Closed timelike curves and the second law of thermodynamics
One out of many emerging implications from solutions of Einstein's general relativity equations are closed timelike curves (CTCs), which are trajectories through spacetime that loop back on
Categorical Semantics for Time Travel
A general categorical framework to reason about quantum theory and other process theories living in spacetimes where chronology violation can occur, and provides the first compositional description of the D-CTC model.
Simulations of Closed Timelike Curves
It is proved that the recently proposed transition probability CTCs (T-CTCs) are physically equivalent to postselection C TCs (P-CTs), in the sense that one model can simulate the other with reasonable overhead.
Replicating the benefits of Deutschian closed timelike curves without breaking causality
Investigation of closed timelike curves showed that despite such restrictions, OTCs allow quantum computers to clone quantum states, defy Heisenberg’s uncertainty principle, and efficiently solve previously intractable mathematical problems.
The D-CTC Condition is Generically Fulfilled in Classical (Non-quantum) Statistical Systems
The D-CTC condition, introduced by David Deutsch as a condition to be fulfilled by analogues for processes of quantum systems in the presence of closed timelike curves, is investigated for classical
Computation in generalised probabilistic theories
This work defines a circuit-based model of computation in a class of operationally-defined theories more general than quantum theory, and shows there exists a classical oracle relative to which efficient computation in any theory satisfying the causality assumption does not include .
Reality, causality, and quantum theory
Quantum theory describes our universe incredibly successfully. To our classically-inclined brains, however, it is a bizarre description that requires a reimagining of what fundamental reality, or
Dynamics of quantum causal structures
This work develops a framework for "dynamics of causal structures", i.e. for transformations of process matrices into process Matrices, and shows that, under continuous and reversible transformations, the causal order between operations is always preserved.
Bounds on computation from physical principles
This thesis defines a circuit-based model of computation in the operationally-defined framework of generalised probabilistic theories and investigates the relationship between interference behaviour and computational power, demonstrating that non-trivial interference behaviour is a general resource for post-classical computation.
Timelike curves can increase entanglement with LOCC
This work studies the nature of entanglement in presence of Deutschian closed timelike curves and shows how D-CTCs and OTCs can unambiguously distinguish between four Bell states with LOCC, that is otherwise known to be impossible.


Quantum mechanics of time travel through post-selected teleportation
This paper discusses the quantum mechanics of closed timelike curves (CTC) and of other potential methods for time travel. We analyze a specific proposal for such quantum time travel, the quantum
Closed timelike curves make quantum and classical computing equivalent
  • S. Aaronson, J. Watrous
  • Computer Science
    Proceedings of the Royal Society A: Mathematical, Physical and Engineering Sciences
  • 2008
It is shown that, if CTCs existed, quantum computers would be no more powerful than classical computers: both would have the (extremely large) power of the complexity class polynomial space (), consisting of all problems solvable by a conventional computer using aPolynomial amount of memory.
Perfect State Distinguishability and Computational Speedups with Postselected Closed Timelike Curves
Bennett and Schumacher’s postselected quantum teleportation is a model of closed timelike curves (CTCs) that leads to results physically different from Deutsch’s model. We show that even a single
Quantum state cloning using Deutschian closed timelike curves.
We show that it is possible to clone quantum states to arbitrary accuracy in the presence of a Deutschian closed timelike curve (D-CTC), with a fidelity converging to one in the limit as the
Revisiting Consistency Conditions for Quantum States of Systems on Closed Timelike Curves: An Epistemic Perspective
There has been considerable recent interest in the consequences of closed timelike curves (CTCs) for the dynamics of quantum mechanical systems. A vast majority of research into this area makes use
Quantum mechanics near closed timelike lines.
  • Deutsch
  • Physics
    Physical review. D, Particles and fields
  • 1991
Several novel and distinctive quantum-mechanical effects occur on and near closed timelike lines, including violations of the correspondence principle and of unitarity, and consideration of these sheds light on the nature of quantum mechanics.
Closed timelike curves via postselection: theory and experimental test of consistency.
An alternative quantum formulation of CTCs based on teleportation and postselection is analyzed, and it is shown that it is inequivalent to Deutsch's.
Can closed timelike curves or nonlinear quantum mechanics improve quantum state discrimination or help solve hard problems?
The power of closed timelike curves and other nonlinear extensions of quantum mechanics for distinguishing nonorthogonal states and speeding up hard computations is studied and it is shown that if a CTC-assisted computer is presented with a labeled mixture of states to be distinguished, the CTC is of no use.
Purification of mixed states with closed timelike curve is not possible
In ordinary quantum theory, any mixed state can be purified in an enlarged Hilbert space by adding an ancillary system. The purified state does not depend on the state of any extraneous system with
Verifiable nonlinear quantum evolution implies failure of density matrices to represent proper mixtures
In a recent Letter, Bennett and coworkers [1] argue that proofs of exotic quantum effects using closed timelike curves (CTC's) based on the work of Deutsch [2], or other nonlinear quantum dynamics,