We gratefully acknowledge support from
the Simons Foundation and member institutions.
Full-text links:


Current browse context:


References & Citations


(what is this?)
CiteULike logo BibSonomy logo Mendeley logo del.icio.us logo Digg logo Reddit logo ScienceWISE logo

Quantum Physics

Title: Categorical Semantics for Time Travel

Abstract: We introduce a general categorical framework to reason about quantum theory and other process theories living in spacetimes where Closed Timelike Curves (CTCs) are available, allowing resources to travel back in time and provide computational speedups. Our framework is based on a weakening of the definition of traced symmetric monoidal categories, obtained by dropping the yanking axiom and the requirement that the trace be defined on all morphisms. We show that the two leading models for quantum theory with closed timelike curves---namely the P-CTC model of Lloyd et al. and the D-CTC model of Deutsch---are captured by our framework, and in doing so we provide the first compositional description of the D-CTC model. Our description of the D-CTC model results in a process theory which respects the constraints of relativistic causality: this is in direct contrast to the P-CTC model, where CTCs are implemented by a trace and allow post-selection to be performed deterministically.
Subjects: Quantum Physics (quant-ph)
Cite as: arXiv:1902.00032 [quant-ph]
  (or arXiv:1902.00032v1 [quant-ph] for this version)

Submission history

From: Stefano Gogioso [view email]
[v1] Thu, 31 Jan 2019 19:00:52 GMT (265kb,D)

Link back to: arXiv, form interface, contact.