Reformulating and Reconstructing Quantum Theory

Abstract

We provide a reformulation of finite dimensional quantum theory in the circuit framework in terms of mathematical axioms, and a reconstruction of quantum theory from operational postulates. The mathematical axioms for quantum theory are the following: [Axiom 1] Operations correspond to operators. [Axiom 2] Every complete set of physical operators corresponds to a complete set of operations. The following operational postulates are shown to be equivalent to these mathematical axioms: [P1] Sharpness. Associated with any given pure state is a unique maximal effect giving probability equal to one. This maximal effect does not give probability equal to one for any other pure state. [P2] Information locality. A maximal measurement on a composite system is effected if we perform maximal measurements on each of the components. [P3] Tomographic locality. The state of a composite system can be determined from the statistics collected by making measurements on the components. [P4] Compound permutability. There exists a compound reversible transformation on any system effecting any given permutation of any given maximal set of distinguishable states for that system. [P5] Sturdiness. Filters are non-flattening. Hence, from these postulates we can reconstruct all the usual features of quantum theory: States are represented by positive operators, transformations by completely positive trace non-increasing maps, and effects by positive operators. The Born rule (i.e. the trace rule) for calculating probabilitieso follows. A more detailed abstract is provided in the paper.

176 pages. Many pictures. In v3: Postulate 5 assumes less (non-mixing shown to follow from non-flattening), many small changes. In v2: correction to condition on operators, significant change to notation (circuit trace is now implicit for repeated labels), revised discussion of probability, many typos fixed, many minor changes, and an index has been added

References in corpus (7)

• Informational derivation of Quantum Theory
• Characterizing quantum theory in terms of information-theoretic constraints
• Negativity and contextuality are equivalent notions of nonclassicality
• QBism, the Perimeter of Quantum Bayesianism
• A "general boundary" formulation for quantum mechanics and quantum gravity
• On quantum vs. classical probability
• Formalism Locality in Quantum Theory and Quantum Gravity

Cited by in corpus (65)

• Security in Quantum Cryptography
• Almost quantum correlations
• Generalized Probability Theories: What determines the structure of quantum theory?
• Existence of an information unit as a postulate of quantum theory
• Interpretations of quantum theory: A map of madness
• A no-go theorem for the persistent reality of Wigner's friend's perception
• Optimal quantum networks and one-shot entropies
• The Operator Tensor Formulation of Quantum Theory
• A no-go theorem on the nature of the gravitational field beyond quantum theory
• No Return to Classical Reality
• Generalised phase kick-back: the structure of computational algorithms from physical principles
• Operational quantum theory without predefined time
• Operational formulation of time reversal in quantum theory
• Steering, incompatibility, and Bell inequality violations in a class of probabilistic theories
• Quantum Theory, namely the pure and reversible theory of information
• Operational General Relativity: Possibilistic, Probabilistic, and Quantum
• Entanglement is necessary for emergent classicality in all physical theories
• Entanglement is an inevitable feature of any non-classical theory
• Quantum authentication with key recycling
• The computational landscape of general physical theories
• Measurement incompatibility and Schrödinger-EPR steering in a class of probabilistic theories
• Dilation of states and processes in operational-probabilistic theories
• Ruling out higher-order interference from purity principles
• Categorical Probabilistic Theories
• The Entropic Dynamics approach to Quantum Mechanics
• Causality re-established
• Bridging the gap between general probabilistic theories and the device-independent framework for nonlocality and contextuality
• Operational axioms for diagonalizing states
• Contextuality of general probabilistic theories
• Entropic Dynamics: an Inference Approach to Quantum Theory, Time and Measurement
• Information-theoretic postulates for quantum theory
• The Construction Interpretation: Conceptual Roads to Quantum Gravity
• Trading drift and fluctuations in entropic dynamics: quantum dynamics as an emergent universality class
• How to make unforgeable money in generalised probabilistic theories
• Why the Tsirelson Bound? Bub's Question and Fuchs' Desideratum
• Symmetry, Self-Duality and the Jordan Structure of Quantum Mechanics
• Reversibility and the structure of the local state space
• Operational Theories of Physics as Categories
• Quantum contextuality from a simple principle?
• A Categorical Reconstruction of Quantum Theory
• Composition rules for quantum processes: a no-go theorem
• Probabilistic Theories and Reconstructions of Quantum Theory (Les Houches 2019 lecture notes)
• Quantum simulation from the bottom up: the case of rebits
• Bounding quantum theory with the exclusivity principle in a two-city experiment
• Composable and Finite Computational Security of Quantum Message Transmission
• Correlations constrained by composite measurements
• The Exclusivity Principle and the Set of Quantum Correlations
• (Almost) C*-algebras as sheaves with self-action
• Some Negative Remarks on Operational Approaches to Quantum Theory
• A no-go theorem for theories that decohere to quantum mechanics
• Computation in a general physical setting
• Entanglement and the three-dimensionality of the Bloch ball
• Time Symmetry in Operational Theories
• (Quantum) Min-Entropy Resources
• A short introduction to the quantum formalism[s]
• Quantum states for a minimum-length spacetime
• Reality, Causality, and Quantum Theory
• Process-theoretic characterisation of the Hermitian adjoint
• Conical Designs and Categorical Jordan Algebraic Post-Quantum Theories
• Entropic Dynamics: Mechanics without Mechanism
• Ruling out the class of statistical processes involving two noninteracting identical particles in two modes
• Operational nonlocality
• Computational Perspectives on Bell Inequalities and Many-body Quantum Correlations
• Discrimination of symmetric states in operational probabilistic theory
• Schrödinger's equation as a consequence of the central limit theorem without prior assumption of physical laws