A computer scientist’s reconstruction of quantum theory*
From MaRDI portal
Publication:5876440
DOI10.1088/1751-8121/ac8459OpenAlexW3199975410MaRDI QIDQ5876440
John van de Wetering, Bas Westerbaan
Publication date: 1 February 2023
Published in: Journal of Physics A: Mathematical and Theoretical (Search for Journal in Brave)
Full work available at URL: https://arxiv.org/abs/2109.10707
von Neumann algebraeffect algebraJordan algebraJBW-algebrasequential productreconstruction of quantum theoryeffectus
Related Items
Uses Software
Cites Work
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- The expectation monad in quantum foundations
- Derivation of the rules of quantum mechanics from information-theoretic axioms
- Effect algebras and unsharp quantum logics.
- Probabilities, distribution monads, and convex categories
- Characterizing quantum theory in terms of information-theoretic constraints
- Operator algebras with a faithful weakly-closed representation
- Quantum logic in dagger kernel categories
- On normed Jordan algebras which are Banach dual spaces
- Convex structures and effect algebras
- Sequential products on effect algebras
- Semantics for a quantum programming language by operator algebras
- Coreflections in algebraic quantum logic
- Conditional probability, three-slit experiments, and the Jordan algebra structure of quantum mechanics
- Commutativity in Jordan operator algebras
- Quantum programming with inductive datatypes: causality and affine type theory
- Sequential quantum measurements
- Completeness of †-categories and the complex numbers
- Entanglement and the three-dimensionality of the Bloch ball
- States of Convex Sets
- Poisson Spaces with a Transition Probability
- Quantum Theory from First Principles
- On the Structure and Tensor Products of JC-Algebras
- Categorical Probabilistic Theories
- Space in Monoidal Categories
- Higher-order interference and single-system postulates characterizing quantum theory
- Orthomodular lattices, Foulis Semigroups and Dagger Kernel Categories
- Environment and Classical Channels in Categorical Quantum Mechanics
- An embedding theorem for Hilbert categories
- The arithmetics of quadratic Jordan algebras
- Characterization of hilbert spaces by orthomodular spaces
- Three characterisations of the sequential product
- Towards a quantum programming language
- Terminality implies non-signalling
- Infinite-dimensional Categorical Quantum Mechanics
- Total and Partial Computation in Categorical Quantum Foundations
- An effect-theoretic reconstruction of quantum theory
- A derivation of quantum theory from physical requirements
- A characterisation of ordered abstract probabilities
- A simple and quantum-mechanically motivated characterization of the formally real Jordan algebras
- A Categorical Reconstruction of Quantum Theory
- Sequential product spaces are Jordan algebras
- Measures with Values in a Partially Ordered Vector Space
- Thermodynamics and the structure of quantum theory