Related papers: Categorical Semantics for Time Travel

Many insights into the quantum world can be found by studying it from amongst more general operational theories of physics. In this thesis, we develop an approach to the study of such theories purely in terms of the behaviour of their…

We study the nature of entanglement in presence of Deutschian closed timelike curves (D-CTCs) and we observe that qubits traveling along a D-CTC allow unambiguous discrimination of Bell states with Local Operations and Classical…

According to the set theory, we prove that objects moving along closed timelike curves (CTCs) should belong to proper classes, but never to any set. Particles in a set have to change own some properties when they come into a CVC in order to…

Closed timelike curves (CTCs) challenge our conception of causality by allowing information to loop back into its own past. Any consistent description of such scenarios must avoid time-travel paradoxes while respecting the no-new-physics…

We investigate vacuum solutions of Einstein's equation for a universe with an S^1 topology of time. Such a universe behaves like a time-machine and has geodesics which coincide with closed time-like curves (CTCs). A system evolving along a…

In this paper, we investigate the possibility of using closed timelike curves (CTCs) in relativistic hypercomputation. We introduce a wormhole based hypercomputation scenario which is free from the common worries, such as the blueshift…

Closed timelike curves (CTCs) appear in many solutions of the Einstein equation, even with reasonable matter sources. These solutions appear to violate causality and so are considered problematic. Since CTCs reflect the global properties of…

We present a categorical construction for modelling causal structures within a general class of process theories that include the theory of classical probabilistic processes as well as quantum theory. Unlike prior constructions within…

We propose categories of $1$-dimensional and multi-dimensional quantum walks. In the categories, an object is a quantum walk, and a morphism is an intertwining operator between two quantum walks. The new framework enables us to discuss…

We consider causality respecting (CR) quantum systems interacting with closed timelike curves (CTCs), within the Deutsch model. We introduce the concepts of popping up and elimination of quantum information and use them to show that…

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…

Our starting point is a particular `canvas' aimed to `draw' theories of physics, which has symmetric monoidal categories as its mathematical backbone. In this paper we consider the conceptual foundations for this canvas, and how these can…

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 statistical (non-quantum) bi-partite…

We consider the region of closed timelike curves (CTC's) in three-dimensional flat Lorentz spacetimes. The interest in this global geometrical feature goes beyond the purely mathematical. Such spacetimes may be considered lower-dimensional…

The spacetime metric around a rotating SuperConductive Ring (SCR) is deduced from the gravitomagnetic London moment in rotating superconductors. It is shown that theoretically it is possible to generate Closed Timelike Curves (CTC) with…

We extend the argument that spacetimes generated by two timelike particles in D=3 gravity (or equivalently by parallel-moving cosmic strings in D=4) permit closed timelike curves (CTC) only at the price of Misner identifications that…

Modifying the discrete mechanics proposed by T.D. Lee, we construct a class of discrete classical Hamiltonian systems, in which time is one of the dynamical variables. This includes a toy model of time machines which can travel forward and…

The spontaneous breaking of time-translation symmetry in periodically driven quantum systems leads to a new phase of matter: discrete time crystals (DTC). This phase exhibits collective subharmonic oscillations that depend upon an interplay…

We consider the motion of a gyroscope on a closed timelike curve (CTC). A gyroscope is identified with a unit-length spacelike vector - a spin-vector - orthogonal to the tangent to the CTC, and satisfying the equations of Fermi-Walker…

In arXiv:1107.4675 Ralph uses our post-selection model of closed timelike curves (P-CTC) to construct an "unproven-theorem" paradox, and claims that this voids our argument that P-CTCs are able to resolve such types of paradoxes. Here we…