Operational equivalence and causal structure

Eliot Jean, Ralph Silva, V. Vilasini

Understanding the relationship between the time-symmetric nature of physical laws and the apparent directionality of causality is a central question in quantum foundations. The standard operational formulation, widely used in quantum information, imposes a definite, acyclic causal order on agents' operations, contrasting with time-symmetric dynamics. Two prominent extensions of this framework are the multi-time state (MTS) formalism, which incorporates time symmetry via arbitrary pre- and post-selection, and the post-selected closed timelike curve (P-CTC) framework, which enables cyclic causal influences through post-selection on maximally entangled states. While prior work has noted structural connections between MTS and P-CTCs, it remained unclear whether an operational equivalence exists, or whether constructive mappings can be established between their most general objects. In this work, we address this gap by extending the P-CTC framework to define time-labelled P-CTC assisted combs, a more general class of P-CTC-assisted objects that support open processing slots and explicit temporal structure. We prove that for every (possibly mixed) MTS, there exists an operationally equivalent time-labelled P-CTC-assisted comb, and vice versa. The equivalence is shown via explicit mappings, while discussing the number and dimensionality of the P-CTCs involved. We also explore a resource-theoretic view of MTS, defining a partial order under free transformations that do not use P-CTCs. We conclude by discussing future directions informed by the operational equivalence between time symmetry and cyclic causality established here.

Joe Henson C

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.

David Favrholdt

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.