Symmetry, compact closure and dagger compactness for categories of convex operational models

DOI10.1007/S10992-013-9280-8zbMATH Open1273.81028arXiv1004.2920OpenAlexW2046267553WikidataQ62117287 ScholiaQ62117287MaRDI QIDQ358688FDOQ358688

Authors: Howard Barnum, Ross Duncan, Alexander Wilce 

Publication date: 9 August 2013

Published in: Journal of Philosophical Logic (Search for Journal in Brave)

Abstract: In the categorical approach to the foundations of quantum theory, one begins with a symmetric monoidal category, the objects of which represent physical systems, and the morphisms of which represent physical processes. Usually, this category is taken to be at least compact closed, and more often, dagger compact, enforcing a certain self-duality, whereby preparation processes (roughly, states) are inter-convertible with processes of registration (roughly, measurement outcomes). This is in contrast to the more concrete "operational" approach, in which the states and measurement outcomes associated with a physical system are represented in terms of what we here call a "convex operational model": a certain dual pair of ordered linear spaces -- generally, {em not} isomorphic to one another. On the other hand, state spaces for which there is such an isomorphism, which we term {em weakly self-dual}, play an important role in reconstructions of various quantum-information theoretic protocols, including teleportation and ensemble steering. In this paper, we characterize compact closure of symmetric monoidal categories of convex operational models in two ways: as a statement about the existence of teleportation protocols, and as the principle that every process allowed by that theory can be realized as an instance of a remote evaluation protocol --- hence, as a form of classical probabilistic conditioning. In a large class of cases, which includes both the classical and quantum cases, the relevant compact closed categories are degenerate, in the weak sense that every object is its own dual. We characterize the dagger-compactness of such a category (with respect to the natural adjoint) in terms of the existence, for each system, of a {em symmetric} bipartite state, the associated conditioning map of which is an isomorphism.

Full work available at URL: https://arxiv.org/abs/1004.2920

Recommendations

• Symmetric closure operators on orthoposets
• scientific article; zbMATH DE number 599015
• Dagger compact closed categories and completely positive maps (extended abstract)
• Symmetrization of closure operators and visibility
• Closure operators in abelian categories and spectral spaces
• scientific article
• scientific article
• scientific article; zbMATH DE number 7692248
• scientific article; zbMATH DE number 832997
• scientific article; zbMATH DE number 4060125

zbMATH Keywords

quantum foundationscompact closed categoryconvex operational theoriesdagger-compact category

Mathematics Subject Classification ID

General and philosophical questions in quantum theory (81P05) Closed categories (closed monoidal and Cartesian closed categories, etc.) (18D15) Quantum state spaces, operational and probabilistic concepts (81P16)

Cites Work

• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• An operational approach to quantum probability
• Dagger compact closed categories and completely positive maps (extended abstract)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Coherence for compact closed categories
• Information processing in convex operational theories
• Teleportation in general probalistic theories
• Classical and quantum structuralism
• How to derive the Hilbert-space formulation of quantum mechanics from purely operational axioms
• Quantum quandaries: a category-theoretic perspective
• Tensor products and probability weights
• On a characterization of the state space of quantum mechanics
• Tensor products in generalized measure theory
• The Minnesota notes on Jordan algebras and their applications. Edited and annotated by Aloys Krieg and Sebastian Walcher
• On an algebraic generalization of the quantum mechanical formalism
• Ensemble steering, weak self-duality, and the structure of probabilistic theories
• The operational approach to algebraic quantum theory. I
• On the Structure and Tensor Products of JC-Algebras
• Title not available (Why is that?)
• Title not available (Why is that?)
• Symmetry and self-duality in categories of probabilistic models
• On real Jordan algebras
• Title not available (Why is that?)
• A categorical quantum logic
• Die Geodätischen von Positivitätsbereichen

Cited In (9)

• Compactly accessible categories and quantum key distribution
• Pattern recognition in non-Kolmogorovian structures
• Categorical perspective on quantization of Poisson algebra
• Decomposing all multipartite non-signalling channels via quasiprobabilistic mixtures of local channels in generalised probabilistic theories
• A shortcut from categorical quantum theory to convex operational theories
• Title not available (Why is that?)
• Local tomography and the Jordan structure of quantum theory
• Title not available (Why is that?)
• Division algebras and quantum theory

Uses Software

• QPL

This page was built for publication: Symmetry, compact closure and dagger compactness for categories of convex operational models

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q358688)