Abstract In general relativity, closed timelike curves can break causality with remarkable and unsettling consequences. At the classical level, they induce causal paradoxes disturbing enough to motivate conjectures that explicitly prevent their existence. At the quantum level such problems can be resolved through the Deutschian formalism, however this induces radical benefits—from cloning unknown quantum states to solving problems intractable to quantum computers. Instinctively, one expects these benefits to vanish if causality is respected. Here we show that in harnessing entanglement, we can efficiently solve NP-complete problems and clone arbitrary quantum states—even when all time-travelling systems are completely isolated from the past. Thus, the many defining benefits of Deutschian closed timelike curves can still be harnessed, even when causality is preserved. Our results unveil a subtle interplay between entanglement and general relativity, and significantly improve the potential of probing the radical effects that may exist at the interface between relativity and quantum theory.
Closed Timelike Curves (CTCs) are intriguing relativistic objects that allow for time travel to the past and can be used as computational resources. In Deutschian Closed Timelike Curves (D-CTCs), due to the monogamy of entanglement, non-local correlations between entangled states are destroyed. In contrast, for Postselected Closed Timelike Curves (P-CTCs), a second variant of CTCs, the non-local correlations are preserved. P-CTCs can be harnessed for the signaling of non-orthogonal states to the past without a disruption of causality. In this paper, we take up signaling to the past and show a method of sending four non-orthogonal states to the past using P-CTCs. After constructing our signaling protocol, we study the causality violations that our protocol results in and put forward two consistency relations to prevent them.
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 dimension of the CTC system becomes large--thus resolving an open conjecture [Brun et al., Phys. Rev. Lett. 102, 210402 (2009)]. This result follows from a D-CTC-assisted scheme for producing perfect clones of a quantum state prepared in a known eigenbasis, and the fact that one can reconstruct an approximation of a quantum state from empirical estimates of the probabilities of an informationally complete measurement. Our results imply more generally that every continuous, but otherwise arbitrarily nonlinear map from states to states, can be implemented to arbitrary accuracy with D-CTCs. Furthermore, our results show that Deutsch's model for closed timelike curves is in fact a classical model, in the sense that two arbitrary, distinct density operators are perfectly distinguishable (in the limit of a large closed timelike curve system); hence, in this model quantum mechanics becomes a classical theory in which each density operator is a distinct point in a classical phase space.
Closed Timelike Curves (CTCs) are intriguing relativistic objects that allow for time travel to the past and can be used as computational resources. In Deutschian Closed Timelike Curves (D-CTCs), due to the monogamy of entanglement, non-local correlations between entangled states are destroyed. In contrast, for Postselected Closed Timelike Curves (P-CTCs), a second variant of CTCs, the non-local correlations are preserved. P-CTCs can be harnessed for the signaling of non-orthogonal states to the past without a disruption of causality. In this paper, we take up signaling to the past and show a method of sending four non-orthogonal states to the past using P-CTCs. After constructing our signaling protocol, we study the causality violations that our protocol results in and put forward two consistency relations to prevent them.
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.
Born in the intersection between quantum mechanics and general relativity, indefinite causal structure is the idea that in the continuum of time, some sets of events do not have an inherent causal order between them. Process matrices, introduced by Oreshkov, Costa and Brukner (Nature Communications, 2012), define quantum information processing with indefinite causal structure -- a generalization of the operations allowed in standard quantum information processing, and to date, are the most studied such generalization.
Araujo et al. (Physical Review A, 2017) defined the computational complexity of process matrices, and showed that polynomial-time process matrix computation is equivalent to standard polynomial-time quantum computation with access to a weakening of post-selection Closed Timelike Curves (CTCs), that are restricted to be
linear. Araujo et al. accordingly defined the complexity class for efficient process matrix computation as
BQPℓCTC (which trivially contains
BQP), and posed the open question of whether
BQPℓCTC contains computational tasks that are outside
BQP.
In this work we solve this open question under a widely believed hardness assumption, by showing that
NP⊆BQPℓCTC. Our solution is captured by an even more restricted subset of process matrices that are purifiable (Araujo et al., Quantum, 2017), which (1) is conjectured more likely to be physical than arbitrary process matrices, and (2) is equivalent to polynomial-time quantum computation with access to
unitary (which are in particular linear) post-selection CTCs. Conceptually, our work shows that the previously held belief, that non-linearity is what enables CTCs to solve
NP, is false, and raises the importance of understanding whether purifiable process matrices are physical or not.
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.