The standard operational probabilistic framework (within which we can formulate Operational Quantum Theory) is time asymmetric. This is clear because the conditions on allowed operations are time asymmetric. It is odd, though, because Schoedinger's equation is time symmetric and probability theory does not care about time direction. In this work we provide a time symmetric framework for operational theories in general and for Quantum Theory in particular. The clearest expression of the time asymmetry of standard Operational Quantum Theory is that the deterministic effect is unique - meaning there is only one way to ignore the future - while deterministic (i.e normalised) states are not unique. In this paper, this time asymmetry is traced back to a time asymmetric understanding of the most basic elements of an operational theory - namely the operations (or boxes) out of which circuits are built. We modify this allowing operations to have classical incomes as well as classical outcomes on these operations. We establish a time symmetric operational framework for circuits built out of operations. In particular, we demand that the probability associated with a circuit is the same whether we calculate it forwards in time or backwards in time. We do this by imposing various double properties. These are properties wherein a forward in time and a backward in time version of the same property are required. In this paper we provide a new causality condition which we call double causality.
The standard operational probabilistic framework (within which we can formulate Operational Quantum Theory) is time asymmetric. This is clear because the conditions on allowed operations are time asymmetric. It is odd, though, because Schoedinger's equation is time symmetric and probability theory does not care about time direction. In this work we provide a time symmetric framework for operational theories in general and for Quantum Theory in particular. The clearest expression of the time asymmetry of standard Operational Quantum Theory is that the deterministic effect is unique - meaning there is only one way to ignore the future - while deterministic (i.e normalised) states are not unique. In this paper, this time asymmetry is traced back to a time asymmetric understanding of the most basic elements of an operational theory - namely the operations (or boxes) out of which circuits are built. We modify this allowing operations to have classical incomes as well as classical outcomes on these operations. We establish a time symmetric operational framework for circuits built out of operations. In particular, we demand that the probability associated with a circuit is the same whether we calculate it forwards in time or backwards in time. We do this by imposing various double properties. These are properties wherein a forward in time and a backward in time version of the same property are required. In this paper we provide a new causality condition which we call double causality.
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.
The standard formulation of quantum theory assumes a predefined notion of time. This is a major obstacle in the search for a quantum theory of gravity, where the causal structure of space-time is expected to be dynamical and fundamentally probabilistic in character. Here, we propose a generalized formulation of quantum theory without predefined time or causal structure, building upon a recently introduced operationally time-symmetric approach to quantum theory. The key idea is a novel isomorphism between transformations and states which depends on the symmetry transformation of time reversal. This allows us to express the time-symmetric formulation in a time-neutral form with a clear physical interpretation, and ultimately drop the assumption of time. In the resultant generalized formulation, operations are associated with regions that can be connected in networks with no directionality assumed for the connections, generalizing the standard circuit framework and the process matrix framework for operations without global causal order. The possible events in a given region are described by positive semidefinite operators on a Hilbert space at the boundary, while the connections between regions are described by entangled states that encode a nontrivial symmetry and could be tested in principle. We discuss how the causal structure of space-time could be understood as emergent from properties of the operators on the boundaries of compact space-time regions. The framework is compatible with indefinite causal order, timelike loops, and other acausal structures.
Dynamical collapse models embody the idea of a physical collapse of the wave function in a mathematically well-defined way. They involve modifications to the standard rules of quantum theory in order to describe collapse as a physical process. This appears to introduce a time reversal asymmetry into the dynamics since the state at any given time depends on collapses in the past but not in the future. Here we challenge this conclusion by demonstrating that, subject to specified model constraints, collapse models can be given a structurally time symmetric formulation in which the collapse events are the primitive objects of the theory. Three different examples of time asymmetries associated with collapse models are then examined and in each case it is shown that the same dynamical rule determining the collapse events works in both the forward and backward in time directions. Any physically observed time asymmetries that arise in such models are due to the asymmetric imposition of initial or final time boundary conditions, rather than from an inherent asymmetry in the dynamical law. This is the standard explanation of time asymmetric behaviour resulting from time symmetric laws.
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.
A cornerstone of quantum mechanics is the characterization of symmetries provided by Wigner's theorem. Wigner's theorem establishes that every symmetry of the quantum state space must be either a unitary transformation or an antiunitary transformation. Here we extend Wigner's theorem from quantum states to quantum evolutions, including both the deterministic evolution associated with the dynamics of closed systems and the stochastic evolutions associated with the outcomes of quantum measurements. We prove that every symmetry of the space of quantum evolutions can be decomposed into two state space symmetries that are either both unitary or both antiunitary. Building on this result, we show that it is impossible to extend the time-reversal symmetry of unitary quantum dynamics to a symmetry of the full set of quantum evolutions. Our no-go theorem implies that any time-symmetric formulation of quantum theory must either restrict the set of the allowed evolutions or modify the operational interpretation of quantum states and processes. Here we propose a time-symmetric formulation of quantum theory where the allowed quantum evolutions are restricted to a suitable set, which includes both unitary evolution and projective measurements but excludes the deterministic preparation of pure states. The standard operational formulation of quantum theory can be retrieved from this time-symmetric version by introducing an operation of conditioning on the outcomes of past experiments.
This study proposes a time-symmetric framework for quantum measurement that restores microscopic reversibility at the level of the dynamical description while remaining compatible with causality and thermodynamic consistency. Instead of invoking a stochastic wavefunction collapse, the measurement process is modeled as a bidirectional informational update between a forward-evolving state and a backward-propagating effect, governed by a completely positive generator and its adjoint. Within this operator-based formalism, pre- and post-selected statistics are treated on an equal footing, yielding a unified description of both. The proposed scheme rigorously preserves complete positivity, normalization, and the no-signalling principle, and it is shown to satisfy Spohn's inequality for the associated quantum Markov semigroup, thereby ensuring non-negative entropy production within this setting. The framework admits a direct experimental interpretation across a range of scenarios, including weak measurements, EPR-Bell tests, homodyne detection, and photon counting. Furthermore, in the classical limit, the bidirectional update is demonstrated to reduce to the well-established Kalman filter and Rauch-Tung-Striebel (RTS) smoother used in classical estimation theory. These results support the view that the apparent temporal asymmetry of quantum measurement arises not from fundamental dynamical irreversibility, but from informational conditioning, specifically, the one-sided way in which measurement outcomes are incorporated into our description. In this sense, the arrow of time in measurement theory may be understood as an arrow of information.