Categorical Quantum Mechanics

Categorical quantum mechanics expresses quantum processes through their compositional structure: sequential operations, parallel systems, adjoints, and entangled states. It can reveal why a protocol works without expanding every matrix entry. It is a mathematical framework for reasoning, not an interpretation or an automatic proof that quantum theory is unique.

Helpful background. Process Theories introduces objects, processes, tensor products, and closed experiments.

Finite-dimensional Hilbert spaces as a model

In the category of finite-dimensional Hilbert spaces, objects are spaces and morphisms are linear maps. Composition is matrix multiplication, the tensor product describes parallel systems, and the dagger sends $f$ to its adjoint $f^\dagger$.

A vector is a map $\psi:\mathbb C\to H$. Composing with the adjoint of $\phi$ gives the amplitude

$$\phi^\dagger\circ\psi=\langle\phi\mid\psi\rangle.$$

The probability for a normalized rank-one test is its modulus squared. A diagram representing an amplitude should therefore not be read immediately as a probability. Mixed states, general measurement outcomes, and classical communication require appropriate additional structure.

Copying a basis is not universal cloning

Choose an orthonormal basis and define

$$\Delta\lvert i\rangle=\lvert i\rangle\otimes\lvert i\rangle.$$

This map copies those distinguished basis states. On a superposition it gives

$$\Delta(\alpha\lvert0\rangle+\beta\lvert1\rangle) =\alpha\lvert00\rangle+\beta\lvert11\rangle,$$

which differs from two independent copies. The choice of a copyable basis encodes classical data within the quantum theory, not a violation of no-cloning.

Categorical descriptions of classical structures package this copying operation with deletion and algebraic compatibility conditions. Their purpose is to distinguish a classical interface from unrestricted quantum information.

What a graphical identity means

A compositional proof states that two networks evaluate to the same process in every model satisfying the specified axioms. Its strength depends on the calculus: soundness means the rewrite rules preserve meaning; completeness means all equalities in a stated fragment can be derived. Completeness is always relative to a defined language and semantics.

Dagger compact structure captures entangled cups, caps, and wire-bending identities. It appears in models beyond ordinary quantum mechanics. Identifying the quantum theory requires further assumptions about scalars, positivity, probability, and classical systems.

For physical channels, completely positive maps provide a mixed-state semantics. The distinction between arbitrary linear maps and realizable channels prevents an attractive diagram from being mistaken for an experimentally available deterministic process.

Exercises

For $\lvert+\rangle$, compare the probabilities of measuring $01$ after applying $\Delta$ and after preparing $\lvert+\rangle\otimes\lvert+\rangle$.

Solution

The first output is $(\lvert00\rangle+\lvert11\rangle)/\sqrt2$, so $01$ has probability zero. The product state gives probability $1/4$. Copying basis labels preserves coherent correlations rather than duplicating an arbitrary input.

References

• Abramsky, Samson, and Bob Coecke, “A categorical semantics of quantum protocols,” Proceedings of the 19th Annual IEEE Symposium on Logic in Computer Science, 415–425 (2004). Paper.
• Coecke, Bob, and Aleks Kissinger, Picturing Quantum Processes, Cambridge University Press, 2017. Publisher.