Compositional quantum logic
From MaRDI portal
Abstract: Quantum logic aims to capture essential quantum mechanical structure in order-theoretic terms. The Achilles' heel of quantum logic is the absence of a canonical description of composite systems, given descriptions of their components. We introduce a framework in which order-theoretic structure comes with a primitive composition operation. The order is extracted from a generalisation of C*-algebra that applies to arbitrary dagger symmetric monoidal categories, which also provide the composition operation. In fact, our construction is entirely compositional, without any additional assumptions on limits or enrichment. Interpreted in the category of finite-dimensional Hilbert spaces, it yields the projection lattices of arbitrary finite-dimensional C*-algebras. Interestingly, there are models that falsify standardly assumed correspondences, most notably the correspondence between noncommutativity of the algebra and nondistributivity of the order.
Recommendations
Cites work
- \(H^\ast\)-algebras and nonunital Frobenius algebras: first steps in infinite-dimensional categorical quantum mechanics
- A link between quantum logic and categorical quantum mechanics
- Axiomatic description of mixed states from Selinger's CPM-construction
- Cartesian bicategories. I
- Categorical formulation of finite-dimensional quantum algebras
- Categories for the Practising Physicist
- Categories of quantum and classical channels
- Characterization of hilbert spaces by orthomodular spaces
- Coherence for compact closed categories
- Dagger compact closed categories and completely positive maps (extended abstract)
- Daggers, kernels, Baer *-semigroups, and orthomodularity
- scientific article; zbMATH DE number 3128586 (Why is no real title available?)
- scientific article; zbMATH DE number 3931797 (Why is no real title available?)
- scientific article; zbMATH DE number 3521027 (Why is no real title available?)
- scientific article; zbMATH DE number 845962 (Why is no real title available?)
- scientific article; zbMATH DE number 3227853 (Why is no real title available?)
- scientific article; zbMATH DE number 3186734 (Why is no real title available?)
- Idempotents in dagger categories (extended abstract)
- Operational Statistics. I. Basic Concepts
- Orthomodular lattices, Foulis semigroups and dagger kernel categories
- Phase groups and the origin of non-locality for qubits
- Picturing classical and quantum Bayesian inference
- Quantum and Classical Structures in Nondeterminstic Computation
- Quantum logic in algebraic approach
- Quantum logic in dagger kernel categories
- Relative Frobenius algebras are groupoids
- Rewriting measurement-based quantum computations with generalised flow
- The Compositional Structure of Multipartite Quantum Entanglement
- The logic of quantum mechanics
- The logic of quantum mechanics -- Take II
Cited in
(11)- Physical properties as modal operators in the topos approach to quantum mechanics
- A mathematical theory of resources
- The structure of partial isometrics
- A compositional approach to quantum functions
- Quantum computational logic with mixed states
- Concrete quantum logics with generalised compatibility
- (Modular) effect algebras are equivalent to (Frobenius) antispecial algebras
- Quotient-comprehension chains
- Categories of relations as models of quantum theory
- Categories of quantum and classical channels
- Compositional and holistic quantum computational semantics
This page was built for publication: Compositional quantum logic
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4922071)
