Related papers: A reply to "Problems with modelling closed timelik…
Analogue gravity systems offer many insights into gravitational phenomena, both at the classical and at the semiclassical level. The existence of an underlying Minkowskian structure (or Galilean in the non-relativistic limit) in the…
It is claimed in the above paper that, if time travel were possible, quantum propagation would prevent classic time travel paradoxes by establishing consistent loops; an example circuit is used to demonstrate such a loop. It is argued here…
We define the time travel paradox in physical terms and prove its existence by constructing an explicit example. We argue further that in theories -- such as general relativity -- where the spacetime geometry is subject to nothing but…
The existence of time machines, understood as spacetime constructions exhibiting physically realised closed timelike curves (CTCs), would raise fundamental problems with causality and challenge our current understanding of classical and…
We use techniques of quantum information theory to analyze the quantum causal histories approach to quantum gravity. We show that while it is consistent to introduce closed timelike curves (CTCs), they cannot generically carry independent…
This paper extends prior work on the connections between logics from finite model theory and propositional/algebraic proof systems. We show that if all non-isomorphic graphs in a given graph class can be distinguished in the logic…
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…
We analyze how the presence of closed timelike curves (CTCs) characterizing a time machine can be discerned by placing a local particle detector in a region of spacetime which is causally disconnected from the CTCs. Our study shows that not…
We define a new quantity we call a ctcbit that provides a means for quantifying a qubit on a closed time-like curve (CTC) as a shared resource. We describe a simple protocol for the sharing of information that is similar to quantum…
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…
Paradoxes that can supposedly occur if a time machine is created are discussed. It is shown that the existence of trajectories of ``multiplicity zero'' (i.e. trajectories that describe a ball hitting its younger self so that the latter…
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…
We prove non-convergence theorems towards an unstable equilibrium (or a trap) for stochastic processes. The processes we consider are continuous-time or discrete-time processes and can be pertubations of the flow generated by a vector…
Despite being a major component in the teaching of special relativity, the twin `paradox' is generally not examined in courses on general relativity. Due to the complexity of analytical solutions to the problem, the paradox is often…
We show that the computational power of the non-causal circuit model, i.e., the circuit model where the assumption of a global causal order is replaced by the assumption of logical consistency, is completely characterized by the complexity…
The quantum teleportation protocol can be used to probabilistically simulate a quantum circuit with backward-in-time connections. This allows us to analyze some conceptual problems of time travel in the context of physically realizable…
The clock paradox is analyzed for the case when the onward and return trips cover the same <<distance>> (as observed by the traveling twin) but at unequal velocities. In this case the stationary twin observes the distances covered by her…
The recursive logit (RL) model has become a widely used framework for route choice modeling, but it suffers from a key limitation: it assigns nonzero probabilities to all paths in the network, including those that are unrealistic, such as…
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,…
Examples are given of the creation of closed timelike curves by choices of coordinate identifications. Following G\"odel's prescription, it is seen that flat spacetime can produce closed timelike curves with structure similar to that of…