Abstract
We describe how †-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 †-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.
Article PDF
Similar content being viewed by others
Avoid common mistakes on your manuscript.
References
Abrams L.: Two-dimensional topological quantum field theories and Frobenius algebras. J. Knot Theory and Ram. 5, 569–587 (1996)
Abramsky, S., Coecke, B.: A categorical semantics of quantum protocols. In: Proceedings of the 19th Annual IEEE Symposium on Logic in Computer Science, Washington, DC. IEEE Computer Science Press, 2004, pp. 415–425
Abramsky S., Coecke B.: Abstract physical traces. Theory and Appl. Cat. 14(6), 111–124 (2005)
Abramsky, S., Coecke, B.: Handbook of Quantum Logic and Quantum Structures. Volume 2, Chapter Categorical Quantum Mechanics. Maryland Heights, MO: Elsevier, 2008
Abramsky, S., Heunen, C.: Classical structures in infinite-dimensional categorical quantum mechanics. In preparation, 2010
Baez J.C.: Higher-dimensional algebra II: 2-Hilbert spaces. Adv. Math. 127, 125–189 (1997)
Baez J.C.: Structural Foundations of Quantum Gravity. Chapter Quantum Quandaries: A Category-Theoretic Perspective, pp. 240–265. Oxford University Press, Oxford (2006)
Bakalov B., Kirillov A.: Lectures on Tensor Categories and Modular Functors. Amer. Math. Soc., Providence, RI (2001)
Barrett J.W., Westbury B.W.: Spherical categories. Adv. in Math. 143(2), 357–375 (1999)
Coecke, B., Edwards, B.: Toy quantum categories. In: Quantum Physics and Logic 2008, Electronic Notes in Theoretical Computer Science, 2008. To appear
Coecke, B., Pavlovic, D.: The Mathematics of Quantum Computation and Technology, Chapter Quantum Measurements Without Sums. Oxford-NewYork: Taylor and Francis, 2006
Coecke, B., Pavlovic, D., Vicary, J.: Dagger-Frobenius algebras in FdHilb are orthogonal bases. Technical Report, RR-08-03, Oxford Univ. Computing Lab., 2008
Day B., McCrudden P., Street R.: Dualizations and antipodes. Appl. Categ. Struct. 11, 229–260 (2003)
Doplicher S., Roberts J.E.: A new duality theory for compact groups. Invent. Math. 98, 157–218 (1989)
Döring, A., Isham, C.: New Structures in Physics, Chapter ‘What is a Thing?’: Topos Theory in the Foundations of Physics. 2008, available at http://arxiv.org/abs/0803.0417 [quant-ph], 2008
Fukuma M., Hosono S., Kawai H.: Lattice topological field theory in two dimensions. Commun. Math. Phys. 161(1), 157–175 (1994)
Halvorson H., Müger M.: Handbook of the Philosophy of Physics, Chapter Algebraic quantum field theory. Amsterdam: North Holland, 2006
Joyal A., Street R.: The geometry of tensor calculus I. Adv. in Math. 88, 55–112 (1991)
Kassel, C.: Quantum Groups. Volume 155 of Graduate Texts in Mathematics. Berlin-Heidelberg- NewYork: Springer-Verlag, 1995
Kock J.: Frobenius Algebras and 2D Topological Quantum Field Theories. Cambridge University Press, Cambridge (2004)
Lauda A.D., Pfeiffer H.: State sum construction of two-dimensional open-closed topological quantum field theories. J. Knot Theory and Ram. 16, 1121–1163 (2007)
Lauda A.D., Pfeiffer H.: Open-closed strings: Two-dimensional extended TQFTs and Frobenius algebras. Topology and Appl. 155(7), 623–666 (2008)
Longo R., Roberts J.E.: A theory of dimension. K-Theory 11, 103–159 (1997)
Mac Lane S.: Categories for the Working Mathematician 2nd ed. Springer, Berlin-Heidelberg-NewYork (1997)
Mac Lane S., Moerdijk I.: Sheaves in Geometry and Logic. Springer, Berlin-Heidelberg-NewYork (1992)
McLarty C.: Elementary Categories, Elementary Toposes. Oxford University Press, Oxford (1995)
Müger M.: From subfactors to categories and topology I. Frobenius algebras in and morita equivalence of tensor categories. J. Pure and Appl. Alg. 180, 81–157 (2003)
Murphy G.J.: C*-Algebras and Operator Theory. Academic Press, London-NewYork (1990)
Quinn, F.: Geometry and Quantum Field Theory (Park City, UT, 1991), Chapter Lectures on Axiomatic Topological Quantum Field Theory, Providence, RI: Amer. Math. Soc., 1995, pp. 323–453
Selinger, P.: Dagger compact closed categories and completely positive maps. In: Proceedings of the 3rd International Workshop on Quantum Programming Languages (QPL 2005), Lect. Notes in Theor. Comp. Sci. 170, 139–163 (2007)
Street R.: Frobenius monads and pseudomonoids. J. Math. Phys. 45, 3930–3948 (2004)
Turaev, V.: Quantum Invariants of Knots and 3-Manifolds, Volume 18 of de Gruyter Studies in Mathematics. Berlin: Walter de Gruyter, 1994
Vicary, J.: Completeness of dagger-categories and the complex numbers. J. Math. Phys., 2010. To appear
Zito P.: 2-C*-categories with non-simple units. Adv. in Math. 210, 122–164 (2007)
Author information
Authors and Affiliations
Corresponding author
Additional information
Communicated by Y.Kawahigashi
Rights and permissions
About this article
Cite this article
Vicary, J. Categorical Formulation of Finite-Dimensional Quantum Algebras. Commun. Math. Phys. 304, 765–796 (2011). https://doi.org/10.1007/s00220-010-1138-0
Received:
Accepted:
Published:
Issue Date:
DOI: https://doi.org/10.1007/s00220-010-1138-0