Dagger compact category

Last updated May 13, 2023

In category theory, a branch of mathematics, dagger compact categories (or dagger compact closed categories) first appeared in 1989 in the work of Sergio Doplicher and John E. Roberts on the reconstruction of compact topological groups from their category of finite-dimensional continuous unitary representations (that is, Tannakian categories).^[1] They also appeared in the work of John Baez and James Dolan as an instance of semistrict k-tuply monoidal n-categories, which describe general topological quantum field theories,^[2] for n = 1 and k = 3. They are a fundamental structure in Samson Abramsky and Bob Coecke's categorical quantum mechanics.^[3]^[4]^[5]

Overview

Dagger compact categories can be used to express and verify some fundamental quantum information protocols, namely: teleportation, logic gate teleportation and entanglement swapping, and standard notions such as unitarity, inner-product, trace, Choi–Jamiolkowsky duality, complete positivity, Bell states and many other notions are captured by the language of dagger compact categories.^[3] All this follows from the completeness theorem, below. Categorical quantum mechanics takes dagger compact categories as a background structure relative to which other quantum mechanical notions like quantum observables and complementarity thereof can be abstractly defined. This forms the basis for a high-level approach to quantum information processing.

Formal definition

A dagger compact category is a dagger symmetric monoidal category $\mathbf {C}$ which is also compact closed, together with a relation to tie together the dagger structure to the compact structure. Specifically, the dagger is used to connect the unit to the counit, so that, for all $A$ in $\mathbf {C}$ , the following diagram commutes:

To summarize all of these points:

A category is closed if it has an internal hom functor; that is, if the hom-set of morphisms between two objects of the category is an object of the category itself (rather than of Set).
A category is monoidal if it is equipped with an associative bifunctor $\mathbf {C} \otimes \mathbf {C} \to \mathbf {C}$ that is associative, natural and has left and right identities obeying certain coherence conditions.
A monoidal category is symmetric monoidal, if, for every pair A, B of objects in C, there is an isomorphism $\sigma _{A,B}:A\otimes B\simeq B\otimes A$ that is natural in both A and B, and, again, obeys certain coherence conditions (see symmetric monoidal category for details).
A monoidal category is compact closed, if every object $A\in \mathbf {C}$ has a dual object $A^{*}$ . Categories with dual objects are equipped with two morphisms, the unit $\eta _{A}:I\to A^{*}\otimes A$ and the counit $\varepsilon _{A}:A\otimes A^{*}\to I$ , which satisfy certain coherence or yanking conditions.
A category is a dagger category if it is equipped with an involutive functor $\dagger \colon \mathbf {C} ^{op}\rightarrow \mathbf {C}$ that is the identity on objects, but maps morphisms to their adjoints.
A monoidal category is dagger symmetric if it is a dagger category and is symmetric, and has coherence conditions that make the various functors natural.

A dagger compact category is then a category that is each of the above, and, in addition, has a condition to relate the dagger structure to the compact structure. This is done by relating the unit to the counit via the dagger:

\sigma _{A,A^{*}}\circ \varepsilon _{A}^{\dagger }=\eta _{A}

shown in the commuting diagram above. In the category FdHilb of finite-dimensional Hilbert spaces, this last condition can be understood as defining the dagger (the Hermitian conjugate) as the transpose of the complex conjugate.

Examples

The following categories are dagger compact.

The category FdHilb of finite dimensional Hilbert spaces and linear maps. The morphisms are linear operators between Hilbert spaces. The product is the usual tensor product, and the dagger here is the Hermitian conjugate.
The category Rel of Sets and relations. The product is, of course, the Cartesian product. The dagger here is just the opposite.
The category of finitely generated projective modules over a commutative ring. The dagger here is just the matrix transpose.
The category nCob of cobordisms. Here, the n-dimensional cobordisms are the morphisms, the disjoint union is the tensor, and the reversal of the objects (closed manifolds) is the dagger. A topological quantum field theory can be defined as a functor from nCob into FdHilb.^[6]
The category Span(C) of spans for any category C with finite limits.

Infinite-dimensional Hilbert spaces are not dagger compact, and are described by dagger symmetric monoidal categories.

Structural theorems

Selinger showed that dagger compact categories admit a Joyal-Street style diagrammatic language^[7] and proved that dagger compact categories are complete with respect to finite dimensional Hilbert spaces^[8]^[9]i.e. an equational statement in the language of dagger compact categories holds if and only if it can be derived in the concrete category of finite dimensional Hilbert spaces and linear maps. There is no analogous completeness for Rel or nCob.

This completeness result implies that various theorems from Hilbert spaces extend to this category. For example, the no-cloning theorem implies that there is no universal cloning morphism.^[10] Completeness also implies far more mundane features as well: dagger compact categories can be given a basis in the same way that a Hilbert space can have a basis. Operators can be decomposed in the basis; operators can have eigenvectors, etc.. This is reviewed in the next section.

Basis

The completeness theorem implies that basic notions from Hilbert spaces carry over to any dagger compact category. The typical language employed, however, changes. The notion of a basis is given in terms of a coalgebra. Given an object A from a dagger compact category, a basis is a comonoid object $(A,\delta ,\varepsilon )$ . The two operations are a copying or comultiplication δ: A → A ⊗ A morphism that is cocommutative and coassociative, and a deleting operation or counit morphism ε: A → I . Together, these obey five axioms:^[11]

Comultiplicativity:

(1_{A}\otimes \varepsilon )\circ \delta =1_{A}=(\varepsilon \otimes 1_{A})\circ \delta

Coassociativity:

(1_{A}\otimes \delta )\circ \delta =(\delta \otimes 1_{A})\circ \delta

Cocommutativity:

\sigma _{A,A}\circ \delta =\delta

Isometry:

\delta ^{\dagger }\circ \delta =1_{A}

Frobenius law:

(\delta ^{\dagger }\otimes 1_{A})\circ (1_{A}\otimes \delta )=\delta \circ \delta ^{\dagger }

To see that these relations define a basis of a vector space in the traditional sense, write the comultiplication and counit using bra–ket notation, and understanding that these are now linear operators acting on vectors $|j\rangle$ in a Hilbert space H:

{\begin{aligned}\delta :H&\to H\otimes H\\|j\rangle &\mapsto |j\rangle \otimes |j\rangle =|jj\rangle \\\end{aligned}}

and

{\begin{aligned}\varepsilon :H&\to \mathbb {C} \\|j\rangle &\mapsto 1\\\end{aligned}}

The only vectors $|j\rangle$ that can satisfy the above five axioms must be orthogonal to one-another; the counit then uniquely specifies the basis. The suggestive names copying and deleting for the comultiplication and counit operators come from the idea that the no-cloning theorem and no-deleting theorem state that the only vectors that it is possible to copy or delete are orthogonal basis vectors.

General results

Given the above definition of a basis, a number of results for Hilbert spaces can be stated for compact dagger categories. We list some of these below, taken from^[11] unless otherwise noted.

A basis can also be understood to correspond to an observable, in that a given observable factors on (orthogonal) basis vectors. That is, an observable is represented by an object A together with the two morphisms that define a basis: $(A,\delta ,\varepsilon )$ .
An eigenstate of the observable $(A,\delta ,\varepsilon )$ is any object $\psi$ for which

\delta \circ \psi =\psi \otimes \psi

Eigenstates are orthogonal to one another.^{[ clarification needed ]}

An object $\psi$ is complementary to the observable $(A,\delta ,\varepsilon )$ if^{[ clarification needed ]}

\delta ^{\dagger }\circ ({\overline {\psi }}\otimes \psi )=\varepsilon ^{\dagger }

(In quantum mechanics, a state vector

\psi

is said to be complementary to an observable if any measurement result is equiprobable. viz. an spin eigenstate of S_x is equiprobable when measured in the basis S_z, or momentum eigenstates are equiprobable when measured in the position basis.)

Two observables $(A,\delta _{X},\varepsilon _{X})$ and $(A,\delta _{Z},\varepsilon _{Z})$ are complementary if

\delta _{Z}^{\dagger }\circ \delta _{X}=\varepsilon _{Z}\circ \varepsilon _{X}^{\dagger }

Complementary objects generate unitary transformations. That is,

\delta ^{\dagger }\circ (\psi \otimes 1_{A})

is unitary if and only if

\psi

is complementary to the observable

(A,\delta ,\varepsilon )

Related Research Articles

In quantum mechanics, bra–ket notation, or Dirac notation, is used ubiquitously to denote quantum states. The notation uses angle brackets, and , and a vertical bar , to construct "bras" and "kets".

Quantum decoherence is the loss of quantum coherence, the process in which a system's behaviour changes from that which can be explained by quantum mechanics to that which can be explained by classical mechanics. In quantum mechanics, particles such as electrons are described by a wave function, a mathematical representation of the quantum state of a system; a probabilistic interpretation of the wave function is used to explain various quantum effects. As long as there exists a definite phase relation between different states, the system is said to be coherent. A definite phase relationship is necessary to perform quantum computing on quantum information encoded in quantum states. Coherence is preserved under the laws of quantum physics.

In physics, an operator is a function over a space of physical states onto another space of physical states. The simplest example of the utility of operators is the study of symmetry. Because of this, they are very useful tools in classical mechanics. Operators are even more important in quantum mechanics, where they form an intrinsic part of the formulation of the theory.

In mathematics, coalgebras or cogebras are structures that are dual to unital associative algebras. The axioms of unital associative algebras can be formulated in terms of commutative diagrams. Turning all arrows around, one obtains the axioms of coalgebras. Every coalgebra, by duality, gives rise to an algebra, but not in general the other way. In finite dimensions, this duality goes in both directions.

In mathematics, a bialgebra over a field K is a vector space over K which is both a unital associative algebra and a counital coassociative coalgebra. The algebraic and coalgebraic structures are made compatible with a few more axioms. Specifically, the comultiplication and the counit are both unital algebra homomorphisms, or equivalently, the multiplication and the unit of the algebra both are coalgebra morphisms.

In mathematics, a Hopf algebra, named after Heinz Hopf, is a structure that is simultaneously an algebra and a coalgebra, with these structures' compatibility making it a bialgebra, and that moreover is equipped with an antiautomorphism satisfying a certain property. The representation theory of a Hopf algebra is particularly nice, since the existence of compatible comultiplication, counit, and antipode allows for the construction of tensor products of representations, trivial representations, and dual representations.

Second quantization, also referred to as occupation number representation, is a formalism used to describe and analyze quantum many-body systems. In quantum field theory, it is known as canonical quantization, in which the fields are thought of as field operators, in a manner similar to how the physical quantities are thought of as operators in first quantization. The key ideas of this method were introduced in 1927 by Paul Dirac, and were later developed, most notably, by Pascual Jordan and Vladimir Fock. In this approach, the quantum many-body states are represented in the Fock state basis, which are constructed by filling up each single-particle state with a certain number of identical particles. The second quantization formalism introduces the creation and annihilation operators to construct and handle the Fock states, providing useful tools to the study of the quantum many-body theory.

In linear algebra and functional analysis, the partial trace is a generalization of the trace. Whereas the trace is a scalar valued function on operators, the partial trace is an operator-valued function. The partial trace has applications in quantum information and decoherence which is relevant for quantum measurement and thereby to the decoherent approaches to interpretations of quantum mechanics, including consistent histories and the relative state interpretation.

In abstract algebra, a representation of a Hopf algebra is a representation of its underlying associative algebra. That is, a representation of a Hopf algebra H over a field K is a K-vector space V with an action H × V → V usually denoted by juxtaposition ( that is, the image of (h,v) is written hv ). The vector space V is called an H-module.

In quantum mechanics, a two-state system is a quantum system that can exist in any quantum superposition of two independent quantum states. The Hilbert space describing such a system is two-dimensional. Therefore, a complete basis spanning the space will consist of two independent states. Any two-state system can also be seen as a qubit.

In mathematics, especially in the fields of representation theory and module theory, a Frobenius algebra is a finite-dimensional unital associative algebra with a special kind of bilinear form which gives the algebras particularly nice duality theories. Frobenius algebras began to be studied in the 1930s by Richard Brauer and Cecil Nesbitt and were named after Georg Frobenius. Tadashi Nakayama discovered the beginnings of a rich duality theory, . Jean Dieudonné used this to characterize Frobenius algebras. Frobenius algebras were generalized to quasi-Frobenius rings, those Noetherian rings whose right regular representation is injective. In recent times, interest has been renewed in Frobenius algebras due to connections to topological quantum field theory.

In quantum mechanics, the momentum operator is the operator associated with the linear momentum. The momentum operator is, in the position representation, an example of a differential operator. For the case of one particle in one spatial dimension, the definition is:

String diagrams are a formal graphical language for representing morphisms in monoidal categories, or more generally 2-cells in 2-categories. They are a prominent tool in applied category theory. When interpreted in the monoidal category of vector spaces and linear maps with the tensor product, string diagrams are called tensor networks or Penrose graphical notation. This has led to the development of categorical quantum mechanics where the axioms of quantum theory are expressed in the language of monoidal categories.

In category theory, monoidal functors are functors between monoidal categories which preserve the monoidal structure. More specifically, a monoidal functor between two monoidal categories consists of a functor between the categories, along with two coherence maps—a natural transformation and a morphism that preserve monoidal multiplication and unit, respectively. Mathematicians require these coherence maps to satisfy additional properties depending on how strictly they want to preserve the monoidal structure; each of these properties gives rise to a slightly different definition of monoidal functors

In category theory, a branch of mathematics, compact closed categories are a general context for treating dual objects. The idea of a dual object generalizes the more familiar concept of the dual of a finite-dimensional vector space. So, the motivating example of a compact closed category is FdVect, the category having finite-dimensional vector spaces as objects and linear maps as morphisms, with tensor product as the monoidal structure. Another example is Rel, the category having sets as objects and relations as morphisms, with Cartesian monoidal structure.

In the mathematical field of category theory, a dagger symmetric monoidal category is a monoidal category $that also possesses a dagger structure. That is, this category comes equipped not only with a tensor product in the category theoretic sense but also with a dagger structure, which is used to describe unitary morphisms and self-adjoint morphisms in : abstract analogues of those found in FdHilb, the category of finite-dimensional Hilbert spaces. This type of category was introduced by Peter Selinger as an intermediate structure between dagger categories and the dagger compact categories that are used in categorical quantum mechanics, an area that now also considers dagger symmetric monoidal categories when dealing with infinite-dimensional quantum mechanical concepts.$

In category theory, a branch of mathematics, a rigid category is a monoidal category where every object is rigid, that is, has a dual X^* and a morphism 1 → X ⊗ X^* satisfying natural conditions. The category is called right rigid or left rigid according to whether it has right duals or left duals. They were first defined by Neantro Saavedra Rivano in his thesis on Tannakian categories.

In quantum physics, a quantum state is a mathematical entity that provides a probability distribution for the outcomes of each possible measurement on a system. Knowledge of the quantum state together with the rules for the system's evolution in time exhausts all that can be predicted about the system's behavior. A mixture of quantum states is again a quantum state. Quantum states that cannot be written as a mixture of other states are called pure quantum states, while all other states are called mixed quantum states. A pure quantum state can be represented by a ray in a Hilbert space over the complex numbers, while mixed states are represented by density matrices, which are positive semidefinite operators that act on Hilbert spaces.

In mathematics, weak bialgebras are a generalization of bialgebras that are both algebras and coalgebras but for which the compatibility conditions between the two structures have been "weakened". In the same spirit, weak Hopf algebras are weak bialgebras together with a linear map S satisfying specific conditions; they are generalizations of Hopf algebras.

In quantum mechanics, the variational method is one way of finding approximations to the lowest energy eigenstate or ground state, and some excited states. This allows calculating approximate wavefunctions such as molecular orbitals. The basis for this method is the variational principle.

References

↑ Doplicher, S.; Roberts, J. (1989). "A new duality theory for compact groups". Invent. Math. 98: 157–218. Bibcode:1989InMat..98..157D. doi:10.1007/BF01388849. S2CID 120280418.
↑ Baez, J.C.; Dolan, J. (1995). "Higher-dimensional Algebra and Topological Quantum Field Theory". J. Math. Phys. 36 (11): 6073–6105. arXiv: q-alg/9503002 . Bibcode:1995JMP....36.6073B. CiteSeerX 10.1.1.269.4681 . doi:10.1063/1.531236. S2CID 14908618.
1 2 Abramsky, S.; Coecke, B. (2004). "A categorical semantics of quantum protocols". Proceedings of the 19th IEEE conference on Logic in Computer Science (LiCS'04). IEEE. pp. 415–425. arXiv: quant-ph/0402130 . CiteSeerX 10.1.1.330.7289 . doi:10.1109/LICS.2004.1319636. ISBN 0-7695-2192-4. S2CID 1980118.
↑ Abramsky, S.; Coecke, B. (2009). "Categorical quantum mechanics". In Engesser, K.; Gabbay, D.M.; Lehmann, D. (eds.). Handbook of Quantum Logic and Quantum Structures. Elsevier. pp. 261–323. arXiv: 0808.1023 . ISBN 978-0-08-093166-1.
↑ Abramsky and Coecke used the term strongly compact closed categories, since a dagger compact category is a compact closed category augmented with a covariant involutive monoidal endofunctor.
↑ Atiyah, M. (1989). "Topological quantum field theories" (PDF). Inst. Hautes Études Sci. Publ. Math. 68: 175–186. doi:10.1007/BF02698547. S2CID 121647908.
↑ Selinger, Peter (2007). "Dagger compact closed categories and completely positive maps: (Extended Abstract)". Electronic Notes in Theoretical Computer Science. 170 (Proceedings of the 3rd International Workshop on Quantum Programming Languages (QPL 2005)): 139–163. CiteSeerX 10.1.1.84.8476 . doi:10.1016/j.entcs.2006.12.018.
↑ Selinger, P. (2011). "Finite dimensional Hilbert spaces are complete for dagger compact closed categories". Electronic Notes in Theoretical Computer Science. 270 (Proceedings of the Joint 5th International Workshop on Quantum Physics and Logic and 4th Workshop on Developments in Computational Models (QPL/DCM 2008)): 113–9. arXiv: 1207.6972 . CiteSeerX 10.1.1.749.4436 . doi:10.1016/j.entcs.2011.01.010.
↑ Hasegawa, M.; Hofmann, M.; Plotkin, G. (2008). "Finite Dimensional Vector Spaces Are Complete for Traced Symmetric Monoidal Categories". In Avron, A.; Dershowitz, N.; Rabinovich, A. (eds.). Pillars of Computer Science. Lecture Notes in Computer Science. Vol. 4800. Springer. pp. 367–385. CiteSeerX 10.1.1.443.3495 . doi:10.1007/978-3-540-78127-1_20. ISBN 978-3-540-78127-1. S2CID 15045491.
↑ Abramsky, S. (2010). "No-Cloning in categorical quantum mechanics". In Mackie, I.; Gay, S. (eds.). Semantic Techniques for Quantum Computation. Cambridge University Press. pp. 1–28. ISBN 978-0-521-51374-6.
1 2 Coecke, Bob (2009). "Quantum Picturalism". Contemporary Physics. 51: 59–83. arXiv: 0908.1787 . doi:10.1080/00107510903257624. S2CID 752173.

Dagger-compact category at the nLab

This page is based on this Wikipedia article
Text is available under the CC BY-SA 4.0 license; additional terms may apply.
Images, videos and audio are available under their respective licenses.

[AQFT-1] Doplicher, S.; Roberts, J. (1989). "A new duality theory for compact groups". Invent. Math. 98: 157–218. Bibcode:1989InMat..98..157D. doi:10.1007/BF01388849. S2CID 120280418.

[HDATQFT-2] Baez, J.C.; Dolan, J. (1995). "Higher-dimensional Algebra and Topological Quantum Field Theory". J. Math. Phys. 36 (11): 6073–6105. arXiv: q-alg/9503002 . Bibcode:1995JMP....36.6073B. CiteSeerX 10.1.1.269.4681 . doi:10.1063/1.531236. S2CID 14908618.

[QProtocols-3] 1 2 Abramsky, S.; Coecke, B. (2004). "A categorical semantics of quantum protocols". Proceedings of the 19th IEEE conference on Logic in Computer Science (LiCS'04). IEEE. pp. 415–425. arXiv: quant-ph/0402130 . CiteSeerX 10.1.1.330.7289 . doi:10.1109/LICS.2004.1319636. ISBN 0-7695-2192-4. S2CID 1980118.

[CQM-4] Abramsky, S.; Coecke, B. (2009). "Categorical quantum mechanics". In Engesser, K.; Gabbay, D.M.; Lehmann, D. (eds.). Handbook of Quantum Logic and Quantum Structures. Elsevier. pp. 261–323. arXiv: 0808.1023 . ISBN 978-0-08-093166-1.

[5] Abramsky and Coecke used the term strongly compact closed categories, since a dagger compact category is a compact closed category augmented with a covariant involutive monoidal endofunctor.

[6] Atiyah, M. (1989). "Topological quantum field theories" (PDF). Inst. Hautes Études Sci. Publ. Math. 68: 175–186. doi:10.1007/BF02698547. S2CID 121647908.

[7] Selinger, Peter (2007). "Dagger compact closed categories and completely positive maps: (Extended Abstract)". Electronic Notes in Theoretical Computer Science. 170 (Proceedings of the 3rd International Workshop on Quantum Programming Languages (QPL 2005)): 139–163. CiteSeerX 10.1.1.84.8476 . doi:10.1016/j.entcs.2006.12.018.

[8] Selinger, P. (2011). "Finite dimensional Hilbert spaces are complete for dagger compact closed categories". Electronic Notes in Theoretical Computer Science. 270 (Proceedings of the Joint 5th International Workshop on Quantum Physics and Logic and 4th Workshop on Developments in Computational Models (QPL/DCM 2008)): 113–9. arXiv: 1207.6972 . CiteSeerX 10.1.1.749.4436 . doi:10.1016/j.entcs.2011.01.010.

[9] Hasegawa, M.; Hofmann, M.; Plotkin, G. (2008). "Finite Dimensional Vector Spaces Are Complete for Traced Symmetric Monoidal Categories". In Avron, A.; Dershowitz, N.; Rabinovich, A. (eds.). Pillars of Computer Science. Lecture Notes in Computer Science. Vol. 4800. Springer. pp. 367–385. CiteSeerX 10.1.1.443.3495 . doi:10.1007/978-3-540-78127-1_20. ISBN 978-3-540-78127-1. S2CID 15045491.

[10] Abramsky, S. (2010). "No-Cloning in categorical quantum mechanics". In Mackie, I.; Gay, S. (eds.). Semantic Techniques for Quantum Computation. Cambridge University Press. pp. 1–28. ISBN 978-0-521-51374-6.

[coecke-11] 1 2 Coecke, Bob (2009). "Quantum Picturalism". Contemporary Physics. 51: 59–83. arXiv: 0908.1787 . doi:10.1080/00107510903257624. S2CID 752173.

[1]

[2]

[3]

[4]

[5]

[6]

[7]

[8]

[9]

[10]

[11]