Categorical formulation of finite-dimensional quantum algebras

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

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
• Title not available (Why is that?)
• 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?)
• Title not available (Why is that?)
• \(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 (30)

• Reversible monadic computing
• Title not available (Why is that?)
• Some examples of quantum graphs
• Categorically Morita equivalent compact quantum groups
• Geometric Quantization and Epistemically Restricted Theories: The Continuous Case
• Algebraic connectedness and bipartiteness of quantum graphs
• A Categorical Reconstruction of Quantum Theory
• Title not available (Why is that?)
• Title not available (Why is that?)
• Generalised Mermin-type non-locality arguments
• Quantum symmetries of Hadamard matrices
• Compositional Quantum Logic
• Q-system completion for \(C^\ast 2\)-categories
• A covariant Stinespring theorem
• Infinite-Dimensionality in Quantum Foundations: W*-algebras as Presheaves over Matrix Algebras
• Presentations of projective quantum groups
• A compositional approach to quantum functions
• Frobenius structures over Hilbert \(C^*\)-modules
• Title not available (Why is that?)
• Discrete quantum structures. I: Quantum predicate logic
• Q-systems and compact W*-algebra objects
• Quotient Categories and Phases
• Classification of quantum graphs on M2 and their quantum automorphism groups
• 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
• 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)