Categorical formulation of finite-dimensional quantum algebras

DOI10.1007/S00220-010-1138-0zbMATH Open1221.81146arXiv0805.0432OpenAlexW1616247518MaRDI QIDQ543370FDOQ543370

Authors: Jamie Vicary 

Publication date: 17 June 2011

Published in: Communications in Mathematical Physics (Search for Journal in Brave)

Abstract: We describe how dagger-Frobenius monoids give the correct categorical description of certain kinds of finite-dimensional 'quantum algebras'. We develop the concept of an involution monoid, and use it to construct a correspondence between finite-dimensional C*-algebras and certain types of dagger-Frobenius monoids in the category of Hilbert spaces. Using this technology, we recast the spectral theorems for commutative C*-algebras and for normal operators into an explicitly categorical language, and we examine the case that the results of measurements do not form finite sets, but rather objects in a finite Boolean topos. We describe the relevance of these results for topological quantum field theory.

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

Recommendations

• Categorical formulation of finite-dimensional \(C^*\)-algebras
• Catenarity in quantum algebras
• scientific article
• Categorification of algebraic quantum field theories
• Categorification and the quantum Grassmannian
• Categories over quantum affine algebras and monoidal categorification
• Categorification and quasi-Hopf algebras
• Monoidal categorification and quantum affine algebras
• Catenarity in quantum nilpotent algebras
• Categorification of integrable representations of quantum groups

zbMATH Keywords

categorificationTQFTspectral theoremcategorical quantum mechanics\(\dagger\)-category\(\dagger\)-Frobenius algebra\(\dagger\)-Frobenius monoidfinite-dimensional \(C^\star\) algebra

Mathematics Subject Classification ID

Finite-dimensional groups and algebras motivated by physics and their representations (81R05) Topological field theories in quantum mechanics (81T45) Applications of selfadjoint operator algebras to physics (46L60) Arithmetic theory of semigroups (20M13)

Cites Work

• The geometry of tensor calculus. I
• Sheaves in geometry and logic: a first introduction to topos theory
• Lattice topological field theory in two dimensions
• A theory of dimension
• From subfactors to categories and topology. I: Frobenius algebras in and Morita equivalence of tensor categories
• Open-closed strings: Two-dimensional extended TQFTs and Frobenius algebras
• Toy quantum categories (extended abstract)
• 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?)
• STATE SUM CONSTRUCTION OF TWO-DIMENSIONAL OPEN-CLOSED TOPOLOGICAL QUANTUM FIELD THEORIES
• Quantum measurements without sums
• Title not available (Why is that?)
• A new duality theory for compact groups
• Quantum invariants of knots and 3-manifolds
• Abstract Physical Traces
• TWO-DIMENSIONAL TOPOLOGICAL QUANTUM FIELD THEORIES AND FROBENIUS ALGEBRAS
• Frobenius monads and pseudomonoids
• \(H^\ast\)-algebras and nonunital Frobenius algebras: first steps in infinite-dimensional categorical quantum mechanics
• Title not available (Why is that?)
• Quantum quandaries: a category-theoretic perspective
• \(2-C^{*}\)-categories with non-simple units
• Spherical categories
• Completeness of \(\dagger\)-categories and the complex numbers
• Higher-dimensional algebra. II: 2-Hilbert spaces
• Title not available (Why is that?)

Cited In (37)

• \(H^\ast\)-algebras and nonunital Frobenius algebras: first steps in infinite-dimensional categorical quantum mechanics
• Reversible monadic computing
• Title not available (Why is that?)
• Some examples of quantum graphs
• Some graphical aspects of Frobenius algebras.
• Categorically Morita equivalent compact quantum groups
• Quotient categories and phases
• Categorical properties of the complex numbers
• Algebraic connectedness and bipartiteness of quantum graphs
• Quon language: surface algebras and Fourier duality
• Title not available (Why is that?)
• Title not available (Why is that?)
• Generalised Mermin-type non-locality arguments
• Quantum symmetries of Hadamard matrices
• Infinite-dimensional categorical quantum mechanics
• $Q$-systems and compact $W^*$-algebra objects
• On the structure of abstract \(H^*\)-algebras
• Q-system completion for \(C^\ast 2\)-categories
• A covariant Stinespring theorem
• Infinite-Dimensionality in Quantum Foundations: W*-algebras as Presheaves over Matrix Algebras
• Categorical formulation of finite-dimensional \(C^*\)-algebras
• Geometric quantization and epistemically restricted theories: the continuous case
• Presentations of projective quantum groups
• A compositional approach to quantum functions
• A categorical reconstruction of quantum theory
• Frobenius structures over Hilbert \(C^*\)-modules
• Discrete quantum structures. I: Quantum predicate logic
• Classification of quantum graphs on M2 and their quantum automorphism groups
• Compositional quantum logic
• Categories of relations as models of quantum theory
• A 2-Categorical Approach to Composing Quantum Structures.
• Monoidal characterisation of groupoids and connectors
• Categories of quantum and classical channels
• Unitary dual functors for unitary multitensor categories
• Quantum sets
• Two roads to classicality
• The Morita theory of quantum graph isomorphisms

This page was built for publication: Categorical formulation of finite-dimensional quantum algebras

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