Probabilistic theories with purification
arXiv:0908.1583 · doi:10.1103/PhysRevA.81.062348
Abstract
We investigate general probabilistic theories in which every mixed state has a purification, unique up to reversible channels on the purifying system. We show that the purification principle is equivalent to the existence of a reversible realization of every physical process, namely that every physical process can be regarded as arising from a reversible interaction of the system with an environment, which is eventually discarded. From the purification principle we also construct an isomorphism between transformations and bipartite states that possesses all structural properties of the Choi-Jamiolkowski isomorphism in quantum mechanics. Such an isomorphism allows one to prove most of the basic features of quantum mechanics, like e.g. existence of pure bipartite states giving perfect correlations in independent experiments, no information without disturbance, no joint discrimination of all pure states, no cloning, teleportation, no programming, no bit commitment, complementarity between correctable channels and deletion channels, characterization of entanglement-breaking channels as measure-and-prepare channels, and others, without resorting to the mathematical framework of Hilbert spaces.
Differing from the journal version, this version includes a table of contents and makes extensive use of boldface type to highlight the contents of the main theorems. It includes a self-contained introduction to the framework of general probabilistic theories and a discussion about the role of causality and local discriminability
References in corpus (10)
- Information Causality as a Physical Principle
- Theoretical framework for quantum networks
- Quantum Circuits Architecture
- Transforming quantum operations: quantum supermaps
- A generalized no-broadcasting theorem
- Towards Quantum Gravity: A Framework for Probabilistic Theories with Non-Fixed Causal Structure
- Optimal cloning of unitary transformations
- Complementarity of Private and Correctable Subsystems in Quantum Cryptography and Error Correction
- Physical Purification of Quantum States
- Particle-Hole Asymmetry and Brightening of Solitons in A Strongly Repulsive BEC
Cited by in corpus (316)
- Informational derivation of Quantum Theory
- A derivation of quantum theory from physical requirements
- Quantum causal modelling
- An Invitation to Quantum Incompatibility
- Quantum common causes and quantum causal models
- Bell nonlocality in networks
- Kochen-Specker Contextuality
- Witnessing causal nonseparability
- General Resource Theories in Quantum Mechanics and Beyond: Operational Characterization via Discrimination Tasks
- Quasi-quantization: classical statistical theories with an epistemic restriction
- Quantum from principles
- Introduction to the book "Quantum Theory: Informational Foundations and Foils"
- The completeness of quantum theory for predicting measurement outcomes
- A synthetic approach to Markov kernels, conditional independence and theorems on sufficient statistics
- Theory-independent limits on correlations from generalised Bayesian networks
- Causal and causally separable processes
- Bell's Theorem for Temporal Order
- Higher-order interference and single-system postulates characterizing quantum theory
- Limited Holism and Real-Vector-Space Quantum Theory
- Existence of an information unit as a postulate of quantum theory
- Reformulating and Reconstructing Quantum Theory
- Experimental characterization of qutrits using SIC-POVMs
- General probabilistic theories: An introduction
- On Formalisms and Interpretations
- Beyond Bell's Theorem II: Scenarios with arbitrary causal structure
- When is a non-Markovian quantum process classical?
- Reasonable fermionic quantum information theories require relativity
- Quantifying Bell: the Resource Theory of Nonclassicality of Common-Cause Boxes
- Causal categories: relativistically interacting processes
- Kolmogorov extension theorem for (quantum) causal modelling and general probabilistic theories
- The Characterization of Noncontextuality in the Framework of Generalized Probabilistic Theories
- A purification postulate for quantum mechanics with indefinite causal order
- Optimal quantum networks and one-shot entropies
- The Operator Tensor Formulation of Quantum Theory
- Quantum Relativity of Subsystems
- A no-go theorem on the nature of the gravitational field beyond quantum theory
- Theoretical framework for Higher-Order Quantum Theory
- "Social Laser": Action Amplification by Stimulated Emission of Social Energy
- Laws of Nature as Constraints
- Entanglement of a bipartite channel
- Quantum Information Biology: from information interpretation of quantum mechanics to applications in molecular biology and cognitive psychology
- Experimentally bounding deviations from quantum theory in the landscape of generalized probabilistic theories
- 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
- The Feynman problem and Fermionic entanglement: Fermionic theory versus qubit theory
- The measurement postulates of quantum mechanics are operationally redundant
- Quantum Theory, namely the pure and reversible theory of information
- Information causality from an entropic and a probabilistic perspective
- Quantum theory as the most robust description of reproducible experiments
- Steering, incompatibility, and Bell inequality violations in a class of probabilistic theories
- Entanglement and thermodynamics in general probabilistic theories
- Aspects of the phenomenology of interference that are genuinely nonclassical
- Entanglement is an inevitable feature of any non-classical theory
- Operational General Relativity: Possibilistic, Probabilistic, and Quantum
- Entanglement is necessary for emergent classicality in all physical theories
- Entanglement and superposition are equivalent concepts in any physical theory
- Quantum speedup in the identification of cause-effect relations
- Toolbox for reconstructing quantum theory from rules on information acquisition
- Fermionic computation is non-local tomographic and violates monogamy of entanglement
- Quantum Correlations in Connected Multipartite Bell Experiments
- What is nonclassical about uncertainty relations?
- Deriving Grover's lower bound from simple physical principles
- Optimal universal programming of unitary gates
- Causal structures and the classification of higher order quantum computations
- Quantum Correlations and Global Coherence in Distributed Quantum Computing
- Computation in generalised probabilistic theories
- The computational landscape of general physical theories
- Thermodynamics and the structure of quantum theory
- Reconstructing quantum theory from diagrammatic postulates
- Framework for resource quantification in infinite-dimensional general probabilistic theories
- Dilation of states and processes in operational-probabilistic theories
- Complete characterization of qubit masking
- Quantum state cloning using Deutschian closed timelike curves
- Quantum probabilities as Dempster-Shafer probabilities in the lattice of subspaces
- Ruling out higher-order interference from purity principles
- Causality re-established
- Quantum cellular automata and free quantum field theory
- Three-dimensionality of space and the quantum bit: an information-theoretic approach
- Categorical Probabilistic Theories
- Conditions on the existence of maximally incompatible two-outcome measurements in General Probabilistic Theory
- Incompatible measurements in a class of general probabilistic theories
- Resource theories of multi-time processes: A window into quantum non-Markovianity
- Terminality implies non-signalling
- Bridging the gap between general probabilistic theories and the device-independent framework for nonlocality and contextuality
- Quantum violations in the Instrumental scenario and their relations to the Bell scenario
- Microcanonical thermodynamics in general physical theories
- Accessible fragments of generalized probabilistic theories, cone equivalence, and applications to witnessing nonclassicality
- Operational axioms for diagonalizing states
- Entropic nonsignaling correlations
- Nonlocality Without Entanglement: Quantum Theory and Beyond
- Discord and non-classicality in probabilistic theories
- Deterministic transformations between unitary operations: Exponential advantage with adaptive quantum circuits and the power of indefinite causality
- Contextuality of general probabilistic theories
- Quantum learning algorithms for quantum measurements
- Almost quantum correlations violate the no-restriction hypothesis
- Quantum correlations are stronger than all nonsignaling correlations produced by n-outcome measurements
- Classical theories with entanglement
- Analysing causal structures with entropy
- Determinism without causality
- A necessary condition for incompatibility of observables in general probabilistic theories
- Quantum epistemology from subquantum ontology: quantum mechanics from theory of classical random fields
- Any consistent coupling between classical gravity and quantum matter is fundamentally irreversible
- Quantum key distribution based on orthogonal states allows secure quantum bit commitment
- Oracles and query lower bounds in generalised probabilistic theories
- A structure theorem for generalized-noncontextual ontological models
- Memory cost of temporal correlations
- Symmetries of quantum evolutions
- Information-theoretic postulates for quantum theory
- Positive maps and entanglement in real Hilbert spaces
- A non-commutative Bayes' theorem
- Impossibility of masking a set of quantum states of nonzero measure
- Information and communication in polygon theories
- Optimal Probabilistic Simulation of Quantum Channels from the Future to the Past
- Classicality without local discriminability: decoupling entanglement and complementarity
- Quantum error correction with degenerate codes for correlated noise
- Entangled Histories vs. the Two-State-Vector Formalism - Towards a Better Understanding of Quantum Temporal Correlations
- Leaks: quantum, classical, intermediate, and more
- Beyond the Cabello-Severini-Winter framework: Making sense of contextuality without sharpness of measurements
- The Construction Interpretation: Conceptual Roads to Quantum Gravity
- Almost Quantum Correlations are Inconsistent with Specker's Principle
- Non-classical correlations in quantum mechanics and beyond
- Lower Bounding Ground-State Energies of Local Hamiltonians Through the Renormalization Group
- Post-quantum steering is a stronger-than-quantum resource for information processing
- Bounds on the power of proofs and advice in general physical theories
- Free quantum field theory from quantum cellular automata: derivation of Weyl, Dirac and Maxwell quantum cellular automata
- Ensemble Steering, Weak Self-Duality, and the Structure of Probabilistic Theories
- Kirkwood-Dirac representations beyond quantum states (and their relation to noncontextuality)
- Experimentally bounding deviations from quantum theory for a photonic three-level system using theory-agnostic tomography
- Mutually Unbiased Balanced Functions & Generalized Random Access Codes
- No-free-information principle in general probabilistic theories
- How to make unforgeable money in generalised probabilistic theories
- An effect-theoretic reconstruction of quantum theory
- Simple proof of the impossibility of bit-commitment in generalised probabilistic theories using cone programming
- Quantum theory as plausible reasoning applied to data obtained by robust experiments
- Classification of all alternatives to the Born rule in terms of informational properties
- Incompatibility of observables, channels and instruments in information theories
- Mobius operators and non-additive quantum probabilities in the Birkhoff-von Neumann lattice
- Necessary and Sufficient Conditions for Local Unitary Equivalence of Multi-qubit States
- Any modification of the Born rule leads to a violation of the purification and local tomography principles
- Two Roads to Classicality
- Operational Theories in Phase Space: Toy Model for the Harmonic Oscillator
- A linear program for testing nonclassicality and an open-source implementation
- Operational restrictions in general probabilistic theories
- Universal Properties in Quantum Theory
- Quantum Causal Models
- No-signaling, entanglement-breaking, and localizability in bipartite channels
- Contextuality with vanishing coherence and maximal robustness to dephasing
- Agents, subsystems, and the conservation of information
- An axiomatic basis for quantum mechanics
- Reversibility and the structure of the local state space
- Incompatibility of unbiased qubit observables and Pauli channels
- Entropies in General Probabilistic Theories and its Application to Holevo Bound
- On defining the Hamiltonian beyond quantum theory
- Necessary and Sufficient Conditions on Measurements of Quantum Channels
- Quantum walks, deformed relativity, and Hopf algebra symmetries
- Existence of processes violating causal inequalities on time-delocalised subsystems
- General Probabilistic Theories with a Gleason-type Theorem
- Postselected quantum hypothesis testing
- Dilations and information flow axioms in categorical probability
- Testing quantum theory by generalizing noncontextuality
- Differential geometric aspects of parametric estimation theory for states on finite-dimensional C*-algebras
- Embedding cyclic information-theoretic structures in acyclic spacetimes: no-go results for indefinite causality
- Typical local measurements in generalised probabilistic theories: emergence of quantum bipartite correlations
- Dagger and Dilation in the Category of Von Neumann algebras
- A review and reformulation of macroscopic realism: resolving its deficiencies using the framework of generalized probabilistic theories
- Logical inference approach to relativistic quantum mechanics: derivation of the Klein-Gordon equation
- Hyperdense coding and superadditivity of classical capacities in hypersphere theories
- Operational Theories of Physics as Categories
- Purification of Mixed State with Closed Timelike Curve is not Possible
- Is there life beyond Quantum Mechanics?
- Reversible Dynamics in Strongly Non-Local Boxworld Systems
- Group theoretic structures in the estimation of an unknown unitary transformation
- The Information Content of Systems in General Physical Theories
- Reductions to IID in Device-independent Quantum Information Processing
- External observer reflections on QBism
- Cellular automata in operational probabilistic theories
- Integrated Information in Process Theories
- Information and disturbance in operational probabilistic theories
- Probabilistic Theories and Reconstructions of Quantum Theory (Les Houches 2019 lecture notes)
- A Matter of Principle: The Principles of Quantum Theory, Dirac's Equation, and Quantum Information
- On the impossibility of coin-flipping in generalized probabilistic theories via discretizations of semi-infinite programs
- Witnessing Non-Classicality in a Simple Causal Structure with Three Observable Variables
- Can the Stark-Einstein law resolve the measurement problem from an animate perspective?
- Lower and upper probabilities in the distributive lattice of subsystems
- Universal structure of objective states in all fundamental causal theories
- A Categorical Reconstruction of Quantum Theory
- Popescu-Rohrlich box implementation in general probabilistic theory of processes
- Simple upper and lower bounds on the ultimate success probability for discriminating arbitrary finite-dimensional quantum processes
- Pseudo standard entanglement structure cannot be distinguished from standard entanglement structure
- Connector tensor networks: a renormalization-type approach to quantum certification
- Measurement incompatibility is strictly stronger than disturbance
- Infinite-Dimensionality in Quantum Foundations: W*-algebras as Presheaves over Matrix Algebras
- Preparation Uncertainty Implies Measurement Uncertainty in a Class of Generalized Probabilistic Theories
- Derivation of quantum theory with superselection rules
- Normal completely positive maps on the space of quantum operations
- Symmetry and Self-Duality in Categories of Probabilistic Models
- Quantum from principles without assuming definite causal structure
- Capturing long-range memory structures with tree-geometry process tensors
- The Sheaf-Theoretic Structure of Definite Causality
- Correlations constrained by composite measurements
- How dynamics constrains probabilities in general probabilistic theories
- Timelike correlations and quantum tensor product structure
- Entropy of mixing exists only for classical and quantum-like theories among the regular polygon theories
- Purity through Factorisation
- Picturing Indefinite Causal Structure
- Measurement sharpness and disturbance tradeoff
- Coend Optics for Quantum Combs
- Conservation of information and the foundations of quantum mechanics
- On the properties of spectral effect algebras
- Revisited aspects of the local set in CHSH Bell scenario
- Categorical composable cryptography
- Quantum observation scheme universally identifying causalities from correlations
- Causal influence in operational probabilistic theories
- An Operational Environment for Quantum Self-Testing
- Process tomography in general physical theories
- Shannon theory beyond quantum: information content of a source
- Limitations on device independent key secure against non signaling adversary via the squashed non-locality
- On characterising assemblages in Einstein-Podolsky-Rosen scenarios
- Hierarchical axioms for quantum mechanics
- Scalar fermionic cellular automata on finite Cayley graphs
- Stinespring's construction as an adjunction
- Bell Nonlocality in Classical Systems Coexisting with other System Types
- Exploring the limits of no backward in time signalling
- Relating Wigner's Friend Scenarios to Nonclassical Causal Compatibility, Monogamy Relations, and Fine Tuning
- On the origin of nonclassicality in single systems
- Shadows and subsystems of generalized probabilistic theories: when tomographic incompleteness is not a loophole for contextuality proofs
- Spooky action at a distance in general probabilistic theories
- Quantum Darwinism and the spreading of classical information in non-classical theories
- Multi-system measurements in generalized probabilistic theories and their role in information processing
- Can relativistic bit commitment lead to secure quantum oblivious transfer?
- Every non-signalling channel is common-cause realizable
- Putting probabilities first. How Hilbert space generates and constrains them
- Mixture equivalence principles and post-quantum theories of gravity
- 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
- Effectuses in Categorical Quantum Foundations
- Categorical composable cryptography: extended version
- Quantum epistemology and falsification of random generators
- A no-go theorem for theories that decohere to quantum mechanics
- Partial independence suffices to rule out Real Quantum Theory experimentally
- Revisiting dynamics of quantum causal structures -- when can causal order evolve?
- Local tomography and the Jordan structure of quantum theory
- Computational Complexity and the Nature of Quantum Mechanics
- Pure Maps between Euclidean Jordan Algebras
- Density Hypercubes, Higher Order Interference and Hyper-Decoherence: a Categorical Approach
- Reflections on Zeilinger-Brukner information interpretation of quantum mechanics
- Time Symmetry in Operational Theories
- On the notion of composite system
- A Post-Quantum Associative Memory
- A short introduction to the quantum formalism[s]
- Computation in a general physical setting
- Unifying non-Markovian characterisation with an efficient and self-consistent framework
- Unconditionally secure quantum bit commitment based on the uncertainty principle
- On the theory of composition in physics
- Non-locality in theories without the no-restriction hypothesis
- Quantum states for a minimum-length spacetime
- Hyper-decoherence in Density Hypercubes
- Topological obstructions to quantum computation with unitary oracles
- Entanglement and the three-dimensionality of the Bloch ball
- The operational framework for quantum theories is both epistemologically and ontologically neutral
- Decoherence to quantum theory from a causally-indefinite post-quantum theory
- Symmetry-induced failures of tomographic locality: Constructing foil theories by twirling
- Proceedings of the 7th International Workshop on Physics and Computation
- Distinguishing quantum causal scenarios with indistinguishable classical analogs: The significance of intermediate latents
- Multi-object operational tasks for measurement incompatibility
- Complete extension: the non-signaling analog of quantum purification
- Causality in Higher Order Process Theories
- Structure of quantum and classical implementations of Popescu-Rohrlich box
- Reality, Causality, and Quantum Theory
- An optical implementation of quantum bit commitment using infinite-dimensional systems
- Universality of Computation in Real Quantum Theory
- Categorical Equivalences from State-Effect Adjunctions
- Shannon theory for quantum systems and beyond: information compression for fermions
- A simple formulation of no-cloning and no-hiding that admits efficient and robust verification
- Counting Risk Increments to Make Decisions During an Epidemic
- Non-locality of conjugation symmetry: characterization and examples in quantum network sensing
- Quantum Theory from Principles, Quantum Software from Diagrams
- Catalytic Activation of Bell Nonlocality
- Proper and improper mixed states serve as different prior beliefs for quantum state retrodiction
- Uncertainty-Complementarity Balance as a General Constraint on Non-locality
- Non viability of hyperbolic quantum mechanics as a theory of Nature
- Theory-independent monitoring of the decoherence of a superconducting qubit with generalized contextuality
- Optimal CHSH values for regular polygon theories in generalized probabilistic theories
- Unexpected consequences of Post-Quantum theories in the graph-theoretical approach to correlations
- Programming of channels in generalized probabilistic theories
- Correlational quantum theory and correlation constraints
- Giving Operational Meaning to the Superposition of Causal Orders
- An operational notion of classicality based on physical principles
- Dichotomy between Deterministic and Probabilistic Models in Countably Additive Effectus Theory
- Minimal operational theories: classical theories with quantum features
- Derivation of Quantum Mechanics algebraic structure from invariance of the laws of Nature under system composition and Leibniz identity
- Comment on 'The operational foundations of PT-symmetric and quasi-Hermitian quantum theory'
- Bipartite polygon models: entanglement classes and their nonlocal behaviour
- Which entropy for general physical theories?
- Decoupling local classicality from classical explainability: A noncontextual model for bilocal classical theory and a locally-classical but contextual theory
- Quantum channels as a categorical completion
- Finite-dimensional Quantum Observables are the Special Symmetric Dagger-Frobenius Algebras of CP Maps
- Locally Tomographic Shadows (Extended Abstract)
- Deriving Dagger Compactness
- A Profunctorial Semantics for Quantum Supermaps
- Quantum oblivious transfer: a short review
- Discrimination of symmetric states in operational probabilistic theory
- Spacetime symmetries and the qubit Bloch ball: a physical derivation of finite dimensional quantum theory and the number of spatial dimensions
- Quantum interpretations, causality and quantum computation
- Embodied observations from an intrinsic perspective can entail quantum dynamics
- Cryptanalysis and improvement of Wu-Cai-Wu-Zhang's quantum private comparison protocol
- A decompositional framework for process theories in spacetime
- The operational foundations of PT-symmetric and quasi-Hermitian quantum theory
- Classical structures of CP maps are all canonical
- Ruling out the class of statistical processes involving two noninteracting identical particles in two modes
- Topologically driven no-superposing theorem with a tight error bound
- Information-theoretic derivation of energy, speed bounds, and quantum theory
- One-shot and asymptotic classical capacity in general physical theories
- Fast tests for probing the causal structure of quantum processes
- Intermediate determinism in general probabilistic theories