Related papers: An equivalence between time-symmetry and cyclic ca…
Formalisms for higher order quantum processes provide a theoretical formalisation of quantum processes where the order of agents' operations need not be definite and acyclic, but may be subject to quantum superpositions. This has led to the…
Bennett and Schumacher's postselected quantum teleportation is a model of closed timelike curves (CTCs) that leads to results physically different from Deutsch's model. We show that even a single qubit passing through a postselected CTC…
We present a cyclic symmetric space-time, admitting closed time-like curves (CTCs) which appear after a certain instant of time, i. e., a time-machine space-time. These closed time-like curves evolve from an initial spacelike hypersurface…
A generalization of the action principle of classical mechanics, motivated by the Closed Time Path (CTP) scheme of quantum field theory, is presented to deal with initial condition problems and dissipative forces. The similarities of the…
The theory of general relativity predicts the existence of closed time-like curves (CTCs), which theoretically would allow an observer to travel back in time and interact with their past self. This raises the question of whether this could…
While a generic open quantum system decays to its steady state, continuous time crystals (CTCs) develop spontaneous oscillation and never converge to a stationary state. Just as crystals develop correlations in space, CTCs do so in time.…
I argue that Deutsch's model for the behavior of systems traveling around closed timelike curves (CTCs) relies implicitly on a substantive metaphysical assumption. Deutsch is employing a version of quantum theory with a significantly…
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…
A generalised equivalence principle is put forward according to which space-time symmetries and internal quantum symmetries are indistinguishable before symmetry breaking. Based on this principle, a higher-dimensional extension of Minkowski…
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…
$\mathcal{PT}$-symmetric quantum mechanics has been considered an important theoretical framework for understanding physical phenomena in $\mathcal{PT}$-symmetric systems, with a number of $\mathcal{PT}$-symmetry related applications. This…
We develop a complete resource theory of charge-parity-time (CPT) inversion symmetry for both massive and massless relativistic particles of arbitrary spin. We show that a unitary representation of CPT can be consistently constructed for…
The Hamiltonian H specifies the energy levels and the time evolution of a quantum theory. It is an axiom of quantum mechanics that H be Hermitian because Hermiticity guarantees that the energy spectrum is real and that the time evolution is…
In general relativity, `causal structure' refers to the partial order on space-time points (or regions) that encodes time-like relationships. Recently, quantum information and quantum foundations saw the emergence of a `causality…
Quantified CTL (QCTL) is a well-studied temporal logic that extends CTL with quantification over atomic propositions. It has recently come to the fore as a powerful intermediary framework to study logics for strategic reasoning. We extend…
By relating and ordering events, causality constitutes a pivotal feature of our world. On the one hand, there are information-theoretic notions of causality defined in terms of the information processing ability of agents and on the other…
We extend Choiceless Polynomial Time (CPT), the currently only remaining promising candidate in the quest for a logic capturing PTime, so that this extended logic has the following property: for every class of structures for which…
We present a logic that extends CTL (Computation Tree Logic) with operators that express synchronization properties. A property is synchronized in a system if it holds in all paths of a certain length. The new logic is obtained by using the…
Boundary time crystals (BTCs) are prominent examples of continuous time crystals in collective spin systems governed by Lindbladian evolution. To date, their analysis has mostly relied on semiclassical and numerical approaches. Here, we…
We introduce a notion of compatibility between constraint encoding and compositional structure. Phrased in the language of category theory, it is given by a "composable constraint encoding". We show that every composable constraint encoding…