Deutsch closed timelike curves (D-CTCs) are described by a fixed-point condition for a chronology-violating register. We study a finite-dimensional circuit model that places a Hayden--Preskill/Yoshida--Kitaev recovery map inside such a consistency loop. A register-routing construction makes the Deutsch map explicit: an initial SWAP moves the incoming CTC state to an idle dump register, the scrambler and decoder act on the remaining active registers, and a final SWAP writes the recovered message back to the CTC register. When the active branch recovers the message, the induced map on the CTC register is the replacement channel \(σ\mapsto ρ_M\), with the unique fixed point \(ρ_M\). We implement the associated Lloyd-type post-selected decoder circuits on quantum hardware and formulate a classical-feedback iteration for the experimentally estimated map. Qiskit simulations and IBM-hardware data for single-qubit instances quantify decoder fidelity, post-selection overhead, routing-dependent noise, and quantum-geometric susceptibility.
Deutsch closed timelike curves (D-CTCs) are described by a fixed-point condition for a chronology-violating register. We study a finite-dimensional circuit model that places a Hayden--Preskill/Yoshida--Kitaev recovery map inside such a consistency loop. A register-routing construction makes the Deutsch map explicit: an initial SWAP moves the incoming CTC state to an idle dump register, the scrambler and decoder act on the remaining active registers, and a final SWAP writes the recovered message back to the CTC register. When the active branch recovers the message, the induced map on the CTC register is the replacement channel (σ\mapsto ρ_M), with the unique fixed point (ρ_M). We implement the associated Lloyd-type post-selected decoder circuits on quantum hardware and formulate a classical-feedback iteration for the experimentally estimated map. Qiskit simulations and IBM-hardware data for single-qubit instances quantify decoder fidelity, post-selection overhead, routing-dependent noise, and quantum-geometric susceptibility.
Closed timelike curves (CTCs) are a theoretical testbed for how quantum mechanics behaves when causal order breaks down. Two major quantum models exist: Deutsch CTCs, which impose a fixed-point self-consistency condition on the state inside the loop, and postselected CTCs, which model time travel via teleportation and postselection. Although both avoid logical paradoxes, they generally produce different quantum evolutions for the same circuit. This paper compares the two models directly at the circuit level using a small density-matrix and statevector simulator. The Deutsch model is implemented by solving for self-consistent fixed points; the postselected model by applying the corresponding nonlinear postselection map. Identical test circuits, including grandfather-paradox circuits, CNOT, SWAP, controlled-unitary families, and Haar-random unitaries, are run through both models, and the outputs compared using trace distance. The two models are found to disagree generically, not just numerically. The disagreement stems from a structural difference: Deutsch CTCs enforce consistency with mixed fixed-point states, while postselected CTCs renormalize only successful histories. For example, the X-gate "grandfather" circuit yields a well-defined mixed state under the Deutsch rule but an undefined (null-projection) output under postselection. Across 200 random unitaries, the two prescriptions never agree. All simulation code is included for full reproducibility.
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 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.
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 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.
This preprint investigates environmental effects in the Deutsch model of quantum closed timelike curves (CTCs). In the Deutsch framework, consistency of a time loop is enforced by a fixed-point condition on the quantum state circulating within the loop, leading to effective nonlinear dynamics on interacting systems. Focusing on finite-dimensional Deutsch CTC models with well-defined fixed-point selection rules, we examine whether loop self-consistency alone implies environmental invariance, meaning that degrees of freedom external to the loop remain unchanged after a traversal. Using explicit system–environment couplings, we analyze the reduced environment dynamics induced by a single loop interaction. We show that for generic nontrivial couplings, there exist environment preparations for which a detectable disturbance is induced, even though the loop state satisfies the Deutsch self-consistency condition. Exact environmental invariance arises only in the trivial, factorized coupling limit within the class of models considered. These results distinguish internal paradox resolution on the loop register from the operational behavior of external degrees of freedom, indicating that environmental invariance is not enforced by Deutsch self-consistency alone. The conclusions are independent of the specific fixed-point selection rule and rely only on the structural properties of Deutsch consistency and completely positive dynamics. The analysis provides an operational framework for comparing environmental signatures of different quantum CTC constructions and can be extended to alternative consistency models, including postselected and trace-preserving formulations.