Categorical formulation of finite-dimensional quantum algebras (Q543370): Difference between revisions
From MaRDI portal
Created a new Item |
ReferenceBot (talk | contribs) Changed an Item |
||
(5 intermediate revisions by 4 users not shown) | |||
Property / review text | |||
One provocative proposal to categorify quantum mechanics is to base it on \(\dagger\)-Frobenius monoids [\textit{B. Coecke, D. Pavlovic} and \textit{J. Vicary}, Dagger-Frobenius algebras in FdHilb are orthogonal bases. Technical Report, RR-08-03, Oxford Univ. Computing Lab (2008)]. The physical intuition behind this approach is that time-reversal of processes -- the \(\dagger\)-functor -- is somehow a central fundamental concept [\textit{J. C. Baez}, in: D. Rickles (ed.) et al., The structural foundations of quantum gravity. Oxford: Clarendon Press. 240--265 (2006; Zbl 1125.83005)]. Other fundamental-looking structures, such as the complex numbers, are de-emphasized. This paper is about categorifying finite-dimensional \(C^\star\)-algebras as certain types of \(\dagger\)-Frobenius monoids (Theorem 4.6). A key property of finite-dimensional commutative \(C^\star\)-algebras is the spectral theorem. The main result of the paper is a \(\dagger\)-Frobenius monoid categorification of the spectral theorem (Section 5). The relevance to TQFT is discussed. | |||
Property / review text: One provocative proposal to categorify quantum mechanics is to base it on \(\dagger\)-Frobenius monoids [\textit{B. Coecke, D. Pavlovic} and \textit{J. Vicary}, Dagger-Frobenius algebras in FdHilb are orthogonal bases. Technical Report, RR-08-03, Oxford Univ. Computing Lab (2008)]. The physical intuition behind this approach is that time-reversal of processes -- the \(\dagger\)-functor -- is somehow a central fundamental concept [\textit{J. C. Baez}, in: D. Rickles (ed.) et al., The structural foundations of quantum gravity. Oxford: Clarendon Press. 240--265 (2006; Zbl 1125.83005)]. Other fundamental-looking structures, such as the complex numbers, are de-emphasized. This paper is about categorifying finite-dimensional \(C^\star\)-algebras as certain types of \(\dagger\)-Frobenius monoids (Theorem 4.6). A key property of finite-dimensional commutative \(C^\star\)-algebras is the spectral theorem. The main result of the paper is a \(\dagger\)-Frobenius monoid categorification of the spectral theorem (Section 5). The relevance to TQFT is discussed. / rank | |||
Normal rank | |||
Property / reviewed by | |||
Property / reviewed by: Daniel Moskovich / rank | |||
Normal rank | |||
Property / Mathematics Subject Classification ID | |||
Property / Mathematics Subject Classification ID: 81T45 / rank | |||
Normal rank | |||
Property / Mathematics Subject Classification ID | |||
Property / Mathematics Subject Classification ID: 81R05 / rank | |||
Normal rank | |||
Property / Mathematics Subject Classification ID | |||
Property / Mathematics Subject Classification ID: 20M13 / rank | |||
Normal rank | |||
Property / Mathematics Subject Classification ID | |||
Property / Mathematics Subject Classification ID: 18D10 / rank | |||
Normal rank | |||
Property / Mathematics Subject Classification ID | |||
Property / Mathematics Subject Classification ID: 46L60 / rank | |||
Normal rank | |||
Property / zbMATH DE Number | |||
Property / zbMATH DE Number: 5909150 / rank | |||
Normal rank | |||
Property / zbMATH Keywords | |||
\(\dagger\)-Frobenius algebra | |||
Property / zbMATH Keywords: \(\dagger\)-Frobenius algebra / rank | |||
Normal rank | |||
Property / zbMATH Keywords | |||
\(\dagger\)-Frobenius monoid | |||
Property / zbMATH Keywords: \(\dagger\)-Frobenius monoid / rank | |||
Normal rank | |||
Property / zbMATH Keywords | |||
\(\dagger\)-category | |||
Property / zbMATH Keywords: \(\dagger\)-category / rank | |||
Normal rank | |||
Property / zbMATH Keywords | |||
TQFT | |||
Property / zbMATH Keywords: TQFT / rank | |||
Normal rank | |||
Property / zbMATH Keywords | |||
categorification | |||
Property / zbMATH Keywords: categorification / rank | |||
Normal rank | |||
Property / zbMATH Keywords | |||
categorical quantum mechanics | |||
Property / zbMATH Keywords: categorical quantum mechanics / rank | |||
Normal rank | |||
Property / zbMATH Keywords | |||
spectral theorem | |||
Property / zbMATH Keywords: spectral theorem / rank | |||
Normal rank | |||
Property / zbMATH Keywords | |||
finite-dimensional \(C^\star\) algebra | |||
Property / zbMATH Keywords: finite-dimensional \(C^\star\) algebra / rank | |||
Normal rank | |||
Property / MaRDI profile type | |||
Property / MaRDI profile type: MaRDI publication profile / rank | |||
Normal rank | |||
Property / OpenAlex ID | |||
Property / OpenAlex ID: W1616247518 / rank | |||
Normal rank | |||
Property / arXiv ID | |||
Property / arXiv ID: 0805.0432 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: TWO-DIMENSIONAL TOPOLOGICAL QUANTUM FIELD THEORIES AND FROBENIUS ALGEBRAS / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Abstract Physical Traces / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: H*-algebras and nonunital Frobenius algebras: first steps in infinite-dimensional categorical quantum mechanics / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Higher-dimensional algebra. II: 2-Hilbert spaces / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q3434467 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q4523528 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Spherical categories / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Toy Quantum Categories (Extended Abstract) / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q5448360 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: A new duality theory for compact groups / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Lattice topological field theory in two dimensions / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: The geometry of tensor calculus. I / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q4452848 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: STATE SUM CONSTRUCTION OF TWO-DIMENSIONAL OPEN-CLOSED TOPOLOGICAL QUANTUM FIELD THEORIES / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Open-closed strings: Two-dimensional extended TQFTs and Frobenius algebras / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: A theory of dimension / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q5639839 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Sheaves in geometry and logic: a first introduction to topos theory / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q4840146 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: From subfactors to categories and topology. I: Frobenius algebras in and Morita equivalence of tensor categories / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q3997462 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q4841402 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Dagger Compact Closed Categories and Completely Positive Maps / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Frobenius monads and pseudomonoids / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Quantum invariants of knots and 3-manifolds / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Completeness of †-categories and the complex numbers / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: \(2-C^{*}\)-categories with non-simple units / rank | |||
Normal rank | |||
links / mardi / name | links / mardi / name | ||
Latest revision as of 04:58, 4 July 2024
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | Categorical formulation of finite-dimensional quantum algebras |
scientific article |
Statements
Categorical formulation of finite-dimensional quantum algebras (English)
0 references
17 June 2011
0 references
One provocative proposal to categorify quantum mechanics is to base it on \(\dagger\)-Frobenius monoids [\textit{B. Coecke, D. Pavlovic} and \textit{J. Vicary}, Dagger-Frobenius algebras in FdHilb are orthogonal bases. Technical Report, RR-08-03, Oxford Univ. Computing Lab (2008)]. The physical intuition behind this approach is that time-reversal of processes -- the \(\dagger\)-functor -- is somehow a central fundamental concept [\textit{J. C. Baez}, in: D. Rickles (ed.) et al., The structural foundations of quantum gravity. Oxford: Clarendon Press. 240--265 (2006; Zbl 1125.83005)]. Other fundamental-looking structures, such as the complex numbers, are de-emphasized. This paper is about categorifying finite-dimensional \(C^\star\)-algebras as certain types of \(\dagger\)-Frobenius monoids (Theorem 4.6). A key property of finite-dimensional commutative \(C^\star\)-algebras is the spectral theorem. The main result of the paper is a \(\dagger\)-Frobenius monoid categorification of the spectral theorem (Section 5). The relevance to TQFT is discussed.
0 references
\(\dagger\)-Frobenius algebra
0 references
\(\dagger\)-Frobenius monoid
0 references
\(\dagger\)-category
0 references
TQFT
0 references
categorification
0 references
categorical quantum mechanics
0 references
spectral theorem
0 references
finite-dimensional \(C^\star\) algebra
0 references
0 references
0 references
0 references