A recent paper from Brun et al. has argued that access to a closed timelike curve (CTC) would allow for the possibility of perfectly distinguishing nonorthogonal quantum states. This result can be used to develop a protocol for instantaneous nonlocal signaling. Several commenters have argued that nonlocal signaling must fail in this and in similar cases, often citing consistency with relativity as the justification. I argue that this objection fails to rule out nonlocal signaling in the presence of a CTC. I argue that the reason these authors are motivated to exclude the prediction of nonlocal signaling is because the No Signaling principle is considered to a fundamental part of the formulation of the quantum information approach. I draw out the relationship between nonlocal signaling, quantum information, and relativity, and argue that the principle theory formulation of quantum mechanics, which is at the foundation of the quantum information approach, is in tension with foundational assumptions of Deutsch's D-CTC model, on which this protocol is based.
A recent paper from Brun et al. has argued that access to a closed timelike curve (CTC) would allow for the possibility of perfectly distinguishing nonorthogonal quantum states. This result can be used to develop a protocol for instantaneous nonlocal signaling. Several commenters have argued that nonlocal signaling must fail in this and in similar cases, often citing consistency with relativity as the justification. I argue that this objection fails to rule out nonlocal signaling in the presence of a CTC. I argue that the reason these authors are motivated to exclude the prediction of nonlocal signaling is because the No Signaling principle is considered to a fundamental part of the formulation of the quantum information approach. I draw out the relationship between nonlocal signaling, quantum information, and relativity, and argue that the principle theory formulation of quantum mechanics, which is at the foundation of the quantum information approach, is in tension with foundational assumptions of Deutsch's D-CTC model, on which this protocol is based.
This dissertation is an exploration of several issues surrounding David Deutsch’s CTC model first introduced in his 1991 paper “Quantum Mechanics Near Closed Timelike Lines”. Deutsch developed his model to account for the effects of quantum theory, which had been left out of classical discussions of time travel paradoxes. Deutsch’s formulation of his model in terms of quantum computational circuits lends itself to being adopted in the quantum information community. The dissertation argues that the adoption of the D-CTC model entails the existence of Nonlocal Signaling, which is in conflict with a fundamental principle of the quantum information approach. In order to motivate this argument, in Chapter 2 I introduce a distinction between Nonlocal Signaling, and Superluminal Information Transfer. In the latter case, a carrier of information physically traverses the space between the distant communicating parties faster than the speed of light. Exploiting quantum entanglement to signal, however, need not have this feature. I term this Nonlocal Signaling. Chapter 3 is where I present the argument that D-CTCs entail Nonlocal Signaling, and examine the controversy surrounding this and related results. I argue that the resistance to these kinds of predictions in the literature is motivated by a commitment to the principles of quantum information theory, which are inappropriately applied here. Chapters 4 and 5 examine details of Deutsch’s model. Chapter 4 argues that it presupposes a significant metaphysical picture that, when explicitly stated, makes a much less comfortable fit between D-CTCs and quantum information theory. Chapter 5 argues that, because of Deutsch’s commitment to this metaphysical picture, he is committed to the existence of physical situations that are in every way indistinguishable from the paradoxes he attempts to rule out by adopting the model in the first place. In Chapter 6, I make some observations about the relationship between the quantum information-theoretic approach to the interpretation of quantum theory, and the approaches focused primarily on arguing for one or another underlying ontology. Deutsch’s model is situated squarely in the latter camp. It serves as a useful example in pulling apart the implications of the two approaches. In conclusion, I argue that the quantum information-theoretic interpretation of quantum theory, in denying the fundamentality of any particular ontology, in favor of kinematical principles, is in tension with the metaphysical commitments of the Deutsch model. Deutsch’s interpretational stance is among the metaphysically-motivated positions. I argue that this element of the Deutsch model is essential to the solutions it offers to the paradoxes of time travel, and therefore the D-CTC model cannot be adopted without implicitly endorsing Deutsch’s metaphysical commitments. This feature makes the D-CTC model an uncomfortable fit with QIT.
The possible existence of closed timelike curves (CTCs) draws attention to fundamental questions about what is physically possible and what is not. An example is the "no cloning theorem" in quantum mechanics, which states that no physical means exists by which an unknown arbitrary quantum state can be reproduced or copied perfectly. Using the Deutsch approach, we show here that this theorem can be circumvented in the presence of closed timelike curves, allowing the cloning of an unknown arbitrary quantum state chosen from a finite alphabet of states. Since the "no cloning theorem" has played a central role in the development of quantum information science, it is clear that the existence of CTCs would radically change the rules for quantum information technology. Nevertheless we show that this type of cloning does not violate no-signalling criteria.
There is now a significant body of results on quantum interactions with closed timelike curves (CTCs) in the quantum information literature, for both the Deutsch model of CTC interactions (D-CTCs) and the projective model (P-CTCs). As a consequence, there is a prima facie argument exploiting entanglement that CTC interactions would enable superluminal and, indeed, effectively instantaneous signaling. In cases of spacelike separation between the sender of a signal and the receiver, whether a receiver measures the local part of an entangled state or a disentangled state to access the signal can depend on the reference frame. We propose a consistency condition that gives priority to either an entangled perspective or a disentangled perspective in spacelike-separated scenarios. For D-CTC interactions, the consistency condition gives priority to frames of reference in which the state is disentangled, while for P-CTC interactions the condition selects the entangled state. Using the consistency condition, we show that there is a procedure that allows Alice to signal to Bob in the past via relayed superluminal communications between spacelike-separated Alice and Clio, and spacelike-separated Clio and Bob. This opens the door to time travel paradoxes in the classical domain. Ralph [T. C. Ralph, arXiv:1107.4675 [quant-ph].] first pointed this out for P-CTCs, but we show that Ralph's procedure for a ``radio to the past'' is flawed. Since both D-CTCs and P-CTCs allow classical information to be sent around a spacetime loop, it follows from a result by Aaronson and Watrous [S. Aaronson and J. Watrous, Proc. R. Soc. A 465, 631 (2009)] for CTC-enhanced classical computation that a quantum computer with access to P-CTCs would have the power of PSPACE, equivalent to a D-CTC-enhanced quantum computer.
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.
We study the power of closed timelike curves (CTCs) and other nonlinear extensions of quantum mechanics for distinguishing nonorthogonal states and speeding up hard computations. If a CTC-assisted computer is presented with a labeled mixture of states to be distinguished--the most natural formulation--we show that the CTC is of no use. The apparent contradiction with recent claims that CTC-assisted computers can perfectly distinguish nonorthogonal states is resolved by noting that CTC-assisted evolution is nonlinear, so the output of such a computer on a mixture of inputs is not a convex combination of its output on the mixture's pure components. Similarly, it is not clear that CTC assistance or nonlinear evolution help solve hard problems if computation is defined as we recommend, as correctly evaluating a function on a labeled mixture of orthogonal inputs.
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.