This paper discusses the quantum mechanics of closed-timelike curves (CTCs) and of other potential methods for time travel. We analyze a specific proposal for such quantum time travel, the quantum description of CTCs based on post-selected teleportation (P-CTCs). We compare the theory of P-CTCs to previously proposed quantum theories of time travel: the theory is inequivalent to Deutsch's theory of CTCs, but it is consistent with path-integral approaches (which are the best suited for analyzing quantum-field theory in curved space-time). We derive the dynamical equations that a chronology-respecting system interacting with a CTC will experience. We discuss the possibility of time travel in the absence of general-relativistic closed-timelike curves, and investigate the implications of P-CTCs for enhancing the power of computation.
This paper discusses the quantum mechanics of closed-timelike curves (CTCs) and of other potential methods for time travel. We analyze a specific proposal for such quantum time travel, the quantum description of CTCs based on post-selected teleportation (P-CTCs). We compare the theory of P-CTCs to previously proposed quantum theories of time travel: the theory is inequivalent to Deutsch's theory of CTCs, but it is consistent with path-integral approaches (which are the best suited for analyzing quantum-field theory in curved space-time). We derive the dynamical equations that a chronology-respecting system interacting with a CTC will experience. We discuss the possibility of time travel in the absence of general-relativistic closed-timelike curves, and investigate the implications of P-CTCs for enhancing the power of computation.
Closed timelike curves (CTCs) are trajectories in spacetime that effectively travel backwards in time: a test particle following a CTC can interact with its former self in the past. A widely accepted quantum theory of CTCs was proposed by Deutsch. Here we analyze an alternative quantum formulation of CTCs based on teleportation and postselection, and show that it is inequivalent to Deutsch's. The predictions or retrodictions of our theory can be simulated experimentally: we report the results of an experiment illustrating how in our particular theory the "grandfather paradox" is resolved.
We introduce a general categorical framework to reason about quantum theory and other process theories living in spacetimes where chronology violation can occur-e.g. in the form of Closed Timelike Curves (CTCs)-allowing resources to travel back in time and provide computational speedups. Our framework is based on a weakening of the definition of traced symmetric monoidal categories, obtained by dropping the yanking axiom and the requirement that the trace be defined on all morphisms. We show that the two leading models for quantum theory with closed timelike curves-namely the P-CTC model of Lloyd et al. and the D-CTC model of Deutsch-are captured by our framework, and in doing so we provide the first compositional description of the D-CTC model. Our description of the D-CTC model results in a process theory which respects the constraints of relativistic causality: this is in direct contrast to the P-CTC model, where CTCs are implemented by a trace and allow post-selection to be performed deterministically.
Abstract Any given prescription of quantum time travel necessarily endows a Hilbert space to the chronology-violating (CV) system on the closed timelike curve (CTC). However, under the two foremost models, Deutsch’s prescription (D-CTCs) and postselected teleportation (P-CTCs), the CV system is treated very differently: D-CTCs assign a definite form to the state on this system, while P-CTCs do not. To further explore this distinction, we present a methodology by which an operational notion of state may be assigned to their respective CV systems. This is accomplished via a conjunction of state tomography and weak measurements, with the latter being essential in leaving any notions of self-consistency intact. With this technique, we are able to verify the predictions of D-CTCs and, perhaps more significantly, operationally assign a state to the system on the P-CTC. We show that, for any given combination of chronology-respecting input and unitary interaction, it is always possible to recover the unique state on the P-CTC, and we provide a few specific examples in the context of select archetypal temporal paradoxes. We also demonstrate how this state may be derived from analysis of the P-CTC prescription itself, and we explore how it compares to its counterpart in the CV state predicted by D-CTCs.
Although general relativity allows the existence of closed timelike curves (CTCs), self-consistency problems arise (the ‘grandfather paradox’ among others). It is known that quantum mechanical consideration of the matter formally removes all the paradoxes, but the questions about causal structure remain. On the other hand, the idea of postselected CTCs (P-CTC) in quantum teleportation has know been put forward and experimentally implemented. We consider these problems with the aid of quantum causal analysis, where causality is defined without invoking the time relation. It implements the Cramer principle of weak causality, which admits time reversal in entangled states. We analyze Deutsch CTCs (D-CTC) with different kinds of interactions between the chronology-violating and chronology-respecting particles, with refined inferences about mixedness, quantum/classical correlations, entanglement and thermodynamics in the D-CTC. The main result is that time reversal causality can really exist, however, the final quantum state does not place retrospective constraints on the initial state, instead the final state can influence the state inside the D-CTC. This is effectively the implementation of Novikov self-consistency principle. The P-CTC has radically different properties; in particular, if the initial state was pure, the final state is always pure too. Self-consistency is controlled by the initial state-dependent traversability of the P-CTC.
Abstract This study examines closed timelike curves (CTCs) in quantum mechanics, focusing on the Deutsch model, one of the most widely studied frameworks for describing quantum systems in the presence of time loops. In this model, a quantum state ∣ψ⟩|\psi\rangle∣ψ⟩ interacts unitarily with its past version, effectively forming a two-qubit system where the chronologically consistent qubit interacts with a qubit ρCTC\rho_{\text{CTC}}ρCTC trapped in a closed timelike curve. The state ρCTC\rho_{\text{CTC}}ρCTC is determined by the Deutsch consistency condition, ensuring self-consistent evolution along the CTC. This approach allows for rigorous modeling of quantum systems under non-classical temporal structures, providing insights into temporal correlations, causality violations, and the potential computational advantages offered by CTC-assisted quantum operations. While alternative CTC models based on postselection have been proposed, the Deutsch model remains a foundational reference for studying quantum evolution in non-linear temporal frameworks. Its analysis informs research in quantum information, retrocausality, and the theoretical limits of computation in exotic spacetime geometries.
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 utilizing 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 nonlinearity and time-travel paradoxes. In particular, the ``equivalent circuit model''---which aims to make equivalent predictions to D-CTCs, while avoiding some of the difficulties of the original theory---is shown to contain errors. The discussion of D-CTCs and P-CTCs is used to motivate an analysis of the features one might require of a theory of quantum time travel, following which two overlapping classes of alternate theories are identified. One such theory, the theory of ``transition probability'' CTCs (T-CTCs), is fully developed. The theory of T-CTCs is shown not to have certain undesirable features---such as time-travel paradoxes, the ability to distinguish nonorthogonal states with certainty, and the ability to clone or delete arbitrary pure states---that are present with D-CTCs and P-CTCs. The problems with nonlinear extensions to quantum mechanics are discussed in relation to the interpretation of these theories, and the physical motivations of all three theories are discussed and compared.