From observables and states to Hilbert space and back: a 2-categorical adjunction

DOI10.1007/S10485-018-9522-6MaRDI QIDQ1633192zbMATHOpenAlexWikidataFDO

Authors Arthur J. Parzygnat

Publication date 19 December 2018

Published in Applied Categorical Structures (Search for Journal in Brave)

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

zbMATH Keywords

algebraic quantum theoryGNS constructionstates on \(C^*\)-algebras

Mathematics Subject Classification ID

General theory of (C^*)-algebras (46L05) States of selfadjoint operator algebras (46L30) General theory of von Neumann algebras (46L10) Operator algebra methods applied to problems in quantum theory (81R15)

Abstract: Given a representation of a C*-algebra, thought of as an abstract collection of physical observables, together with a unit vector, one obtains a state on the algebra via restriction. We show that the Gelfand-Naimark-Segal (GNS) construction furnishes a left adjoint of this restriction. To properly formulate this adjoint, it must be viewed as a weak natural transformation, a 1-morphism in a suitable 2-category, rather than as a functor between categories. Weak naturality encodes the functoriality and the universal property of adjunctions encodes the characterizing features of the GNS construction. Mathematical definitions and results are accompanied by physical interpretations.

Recommendations

• A diagrammatic approach to the categorical coherent state
• Interpreting observables in a quantum world from the categorial standpoint
• A shortcut from categorical quantum theory to convex operational theories
• Interacting quantum observables: categorical algebra and diagrammatics
• A categorical framework for the quantum harmonic oscillator
• Categorical quantum mechanics. II: Classical-quantum interaction
• Towards Quantum Field Theory in Categorical Quantum Mechanics
• Towards a categorical boson-fermion correspondence
• Infinite-dimensional categorical quantum mechanics
• Categorical equivalences from state-effect adjunctions

Cites work

• scientific article; zbMATH DE number 1686998 (Why is no real title available?)
• scientific article; zbMATH DE number 3579447 (Why is no real title available?)
• scientific article; zbMATH DE number 1216133 (Why is no real title available?)
• scientific article; zbMATH DE number 626734 (Why is no real title available?)
• scientific article; zbMATH DE number 815101 (Why is no real title available?)
• scientific article; zbMATH DE number 898620 (Why is no real title available?)
• scientific article; zbMATH DE number 3097323 (Why is no real title available?)
• Information Theory and Statistical Mechanics
• Irreducible representations of operator algebras
• Lie Groups, Lie Algebras, and Representations
• Loop spaces, characteristic classes and geometric quantization
• Quantum Theory for Mathematicians
• Quantum field theory: A tourist guide for mathematicians
• Reports of the Midwest Category Seminar

Cited in

(6)

• A new perspective on observables in the category of relations: a spectral presheaf for relations
• SVD entanglement entropy
• Stinespring's construction as an adjunction
• A diagrammatic derivation of the Hermitian adjoint
• Non-commutative disintegrations: existence and uniqueness in finite dimensions
• A categorical framework for the quantum harmonic oscillator

This page was built for publication: From observables and states to Hilbert space and back: a 2-categorical adjunction

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