The structure of reversible computation determines the self-duality of quantum theory

Abstract

Predictions for measurement outcomes in physical theories are usually computed by combining two distinct notions: a state, describing the physical system, and an observable, describing the measurement which is performed. In quantum theory, however, both notions are in some sense identical: outcome probabilities are given by the overlap between two state vectors - quantum theory is self-dual. In this paper, we show that this notion of self-duality can be understood from a dynamical point of view. We prove that self-duality follows from a computational primitive called bit symmetry: every logical bit can be mapped to any other logical bit by a reversible transformation. Specifically, we consider probabilistic theories more general than quantum theory, and prove that every bit-symmetric theory must necessarily be self-dual. We also show that bit symmetry yields stronger restrictions on the set of allowed bipartite states than the no-signalling principle alone, suggesting reversible time evolution as a possible reason for limitations of non-locality.

4 pages, 1 figure. v2: published version. Title slightly changed, interpretation of Theorem 2 corrected

References in corpus (1)

• A generalized no-broadcasting theorem

Cited by in corpus (64)

• Generalized Probability Theories: What determines the structure of quantum theory?
• Higher-order interference and single-system postulates characterizing quantum theory
• General probabilistic theories: An introduction
• Generalized Probabilistic Theories Without the No-Restriction Hypothesis
• A no-go theorem on the nature of the gravitational field beyond quantum theory
• Generalised phase kick-back: the structure of computational algorithms from physical principles
• Entanglement is an inevitable feature of any non-classical theory
• Entanglement is necessary for emergent classicality in all physical theories
• Deriving Grover's lower bound from simple physical principles
• Geometry of the set of mixed quantum states: An apophatic approach
• Computation in generalised probabilistic theories
• Thermodynamics and the structure of quantum theory
• Ruling out higher-order interference from purity principles
• Three-dimensionality of space and the quantum bit: an information-theoretic approach
• Accessible fragments of generalized probabilistic theories, cone equivalence, and applications to witnessing nonclassicality
• Nonlocality Without Entanglement: Quantum Theory and Beyond
• Composites and Categories of Euclidean Jordan Algebras
• Conjugates, Filters and Quantum Mechanics
• Oracles and query lower bounds in generalised probabilistic theories
• Coherence and contextuality in a Mach-Zehnder interferometer
• Classicality without local discriminability: decoupling entanglement and complementarity
• Bounds on the power of proofs and advice in general physical theories
• Some Nearly Quantum Theories
• Classification of all alternatives to the Born rule in terms of informational properties
• Reversibility and the structure of the local state space
• Strongly symmetric spectral convex bodies are Jordan algebra state spaces
• Dense Coding with Locality Restriction for Decoder: Quantum Encoders vs. Super-Quantum Encoders
• Testing quantum theory by generalizing noncontextuality
• The principle of information symmetry constrains the state-space in any physical theory
• Dissecting the qutrit
• Perfect Discrimination in Approximate Quantum Theory of General Probabilistic Theories
• The Information Content of Systems in General Physical Theories
• Reversible Dynamics in Strongly Non-Local Boxworld Systems
• Probabilistic Theories and Reconstructions of Quantum Theory (Les Houches 2019 lecture notes)
• Information-theoretic foundations of thermodynamics in general probabilistic theories
• Preparation Uncertainty Implies Measurement Uncertainty in a Class of Generalized Probabilistic Theories
• Pseudo standard entanglement structure cannot be distinguished from standard entanglement structure
• Classical analogue of quantum superdense coding and communication advantage of a single quantum system
• Von Neumann's information engine without the spectral theorem
• Unification of energy concepts in generalised phase space theories
• How dynamics constrains probabilities in general probabilistic theories
• Timelike correlations and quantum tensor product structure
• From reasonable postulates to generalised Hamiltonian systems
• The black hole information problem beyond quantum theory
• Quantum Darwinism and the spreading of classical information in non-classical theories
• A Royal Road to Quantum Theory (or Thereabouts), Extended Abstract
• Qubit from the classical collision entropy
• Thermodynamics and the Structure of Quantum Theory as a Generalized Probabilistic Theory
• Simulating all multipartite non-signalling channels via quasiprobabilistic mixtures of local channels in generalised probabilistic theories
• Entropic Uncertainty Relations in a Class of Generalized Probabilistic Theories
• Robustness of contextuality under different types of noise as quantifiers for parity-oblivious multiplexing tasks
• The Born rule
• Spin-bounded correlations: rotation boxes within and beyond quantum theory
• Is the local linearity of space-time inherited from the linearity of probabilities?
• Tsirelson's Inequality for the Precession Protocol is Maximally Violated by Quantum Theory
• Proceedings of the 7th International Workshop on Physics and Computation
• Conical Designs and Categorical Jordan Algebraic Post-Quantum Theories
• A Superalgebra Within: representations of lightest standard model particles form a ${\mathbb{Z}}_2^5$-graded algebra
• One-shot and asymptotic classical capacity in general physical theories
• The relativistic reason for quantum probability amplitudes
• Differential Geometry of Contextuality
• Bipartite polygon models: entanglement classes and their nonlocal behaviour
• Can QBism exist without Q? Morphophoric measurements in generalised probabilistic theories
• Energy Cost of Localization of Relational Quantum Information