Time-Symmetric Causality

Roderick I. Sutherland

Patrick Suppes, Mario Zanotti

Lucien Hardy

This is a book about operational probabilistic theories. The standard approach in such theories is from a time forward perspective. In this book we mostly take a time symmetric perspective. This presents a branding problem. Is this a niche book merely about time symmetry? No. This is a comprehensive book about operational probabilistic theories, but mostly from a time symmetric perspective. In fact, this book consists of (1) a simple book about simple operations having simple causal structure (where all the inputs are before all the outputs), and (2) a complex book about complex operations that can have complicated causal structure (a complex operation is equipped with a causal diagram). For the simple case we are able to show that the time symmetric perspective is equivalent to the time forward perspective. In each book we set up (A) operational probabilistic theories (OPTs) in terms of operations, (B) Operational Quantum Theory (OQT) in terms of operator tensors which correspond to operations, and (C) the theory of Hilbert objects which can be doubled up to give operator tensors. Operations are required to be physical which guarantees that circuits built out of operations have probabilities between 0 and 1 and that certain causality conditions are met. We prove that when we wire together operations the resulting networks are also physical. We model Sorkin's impossible measurements with complex operations and show that physicality prevents anomalous signalling. We develop diagrammatic notation for Hilbert objects. This includes mirrors for doubling up and mirror theorems. We use this framework to prove time symmetric causal dilation theorems for various causal diagrams.

Luke Mrini, Lucién Hardy

Time-reversal symmetry is a prevalent feature of microscopic physics, including operational quantum theory and classical general relativity. Previous works have studied indefinite causal structure using the language of operational quantum theory, however, these rely on time-asymmetric conditions to constrain both operations and the process matrix. Here, we use time-symmetric, operational probabilistic theory to develop a time-symmetric process matrix formalism for indefinite causal structure. This framework allows for more processes than previously considered and a larger set of causal inequalities. We demonstrate that this larger set of causal inequalities offers new opportunities for device-independent certification of causal non-separability by violating new inequalities. Additionally, we determined that the larger class of time-symmetric processes found here is equivalent to those with Indefinite Causal Order and Time Direction (ICOTD) considered by Chiribella and Liu, thereby providing a description of these processes in terms of process matrices.

Časlav Brukner

Sergey M. Korotaev, Evgeniy O. Kiktenko