Journal of Philosophical Logic 42 (3):501-523 (2013)
AbstractIn 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 interconvertible 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, not isomorphic to one another. On the other hand, state spaces for which there is such an isomorphism, which we term 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 symmetric bipartite state, the associated conditioning map of which is an isomorphism
Added to PP
Historical graph of downloads
References found in this work
Quantum Quandaries: A Category-Theoretic Perspective.J. C. Baez - 2006 - In Dean Rickles, Steven French & Juha T. Saatsi (eds.), The Structural Foundations of Quantum Gravity. Clarendon Press.
Ensemble Steering, Weak Self-Duality, and the Structure of Probabilistic Theories.Howard Barnum, Carl Philipp Gaebler & Alexander Wilce - 2013 - Foundations of Physics 43 (12):1411-1427.
Four and a Half Axioms for Finite-Dimensional Quantum Probability.Alexander Wilce - 2012 - In Yemima Ben-Menahem & Meir Hemmo (eds.), Probability in Physics. Springer. pp. 281--298.
Similar books and articles
Causal Categories: Relativistically Interacting Processes. [REVIEW]Bob Coecke & Raymond Lal - 2013 - Foundations of Physics 43 (4):458-501.
Morley Degree in Unidimensional Compact Complex Spaces.Dale Radin - 2006 - Journal of Symbolic Logic 71 (2):569 - 585.
On Measurable Limits of Compact Cardinals.Arthur W. Apter - 1999 - Journal of Symbolic Logic 64 (4):1675-1688.
Quantum Mechanics and Operational Probability Theory.E. G. Beltrametti & S. Bugajski - 2002 - Foundations of Science 7 (1-2):197-212.
Compactness of Loeb Spaces.Renling Jin & Saharon Shelah - 1998 - Journal of Symbolic Logic 63 (4):1371-1392.
Quantum Information Processing, Operational Quantum Logic, Convexity, and the Foundations of Physics.Howard Barnum - 2003 - Studies in History and Philosophy of Science Part B: Studies in History and Philosophy of Modern Physics 34 (3):343-379.
On the Role of the Baire Category Theorem and Dependent Choice in the Foundations of Logic.Robert Goldblatt - 1985 - Journal of Symbolic Logic 50 (2):412-422.
Daggers, Kernels, Baer *-Semigroups, and Orthomodularity.John Harding - 2013 - Journal of Philosophical Logic 42 (3):535-549.
Actions of Non-Compact and Non-Locally Compact Polish Groups.Sławomir Solecki - 2000 - Journal of Symbolic Logic 65 (4):1881-1894.
Limit Ultrapowers and Abstract Logics.Paolo Lipparini - 1987 - Journal of Symbolic Logic 52 (2):437-454.