Source-linked AI summary
Toy quantum categories
Bob Coecke, Bill Edwards
TL;DR
The paper asks how quantum-like behavior can arise in categorical models smaller than Hilbert-space quantum mechanics. It models Spekkens’s toy theory as a subcategory of FRel and shows that the two-element set supports complementary observables and protocol simulations. The model remains limited by the Boolean semiring’s missing negatives and phases.
Problem
The paper investigates whether Spekkens’s toy theory and its quantum-like behavior can be understood through general categorical structure rather than as an isolated model.
Method
It studies a subcategory of FRel, using dagger symmetric monoidal categories and basis structures to represent observables and their complementarity.
Results
The two-element set in FRel has complementary observables and can simulate quantum teleportation and dense coding, while Spekkens’s toy theory is captured by the categorical framework.
Takeaways & Limitations
The quantum-like properties of Spekkens’s toy theory can be attributed at least partly to general dagger symmetric monoidal structure with basis structures.
Takeaways & Limitations
The FRel model has only two complementary observables because its Boolean semiring lacks elements corresponding to negatives and phases.
Abstract
from arXiv · showhide
We show that Rob Spekken's toy quantum theory arises as an instance of our categorical approach to quantum axiomatics, as a (proper) subcategory of the dagger compact category FRel of finite sets and relations with the cartesian product as tensor, where observables correspond to dagger Frobenius algebras. This in particular implies that the quantum-like properties of the toy model are in fact very general category-theoretic properties. We also show the remarkable fact that we can already interpret complementary quantum observables on the two-element set FRel.
1 Preliminaries
The paper develops categorical counterparts of quantum systems using dagger symmetric monoidal categories, where basis structures generalize orthonormal bases and support abstract observables. Complementarity is characterized through unbiased states and classical points, with an equivalent Hopf-bialgebra formulation.
- Categorical setting: A dagger symmetric monoidal category combines tensor composition, an identity object, and an involutive dagger; states are morphisms I → A.In FdHilb, these correspond to tensor products, the one-dimensional Hilbert space, adjoints, and vectors represented as maps C → H.
- Basis structures: A basis structure is an isometric, co-commutative comonoid satisfying the Frobenius identity and corresponds to an orthonormal basis in FdHilb.Its copying and deleting maps send each basis vector to its tensor square and to the scalar 1, respectively.
- Compact structure: Basis structures can generate compact structure: a Bell-state morphism η = δ ◦ ǫ† exists, so a dagger symmetric monoidal category with basis structures on all objects is compact closed.This supports categorical formulations of quantum protocols such as teleportation.
- Complementarity: Complementary observables are basis structures whose classical states are unbiased for the other structure, and vice versa.Unbiasedness is abstractly defined by requiring the map Λδ(ψ) to be unitary, while classical states satisfy the comonoid-homomorphism equations.
- Complementarity: The complementary-observable definition reduces to the standard Hilbert-space notion, and each complementary pair forms a scaled Hopf bialgebra with trivial antipode when the category has enough points.Coecke and Duncan showed that this abstract definition captures most of the behavior of complementary observables in quantum systems.
2 FRel
Within FRel, the two-element set supports two complementary observables, including one not arising from the usual biproduct structure. This structure simulates teleportation and dense coding, while Boolean-semiring limitations explain its asymmetry and reduced resemblance to a qubit.
- 2 FRel: FRel consists of finite sets and relations, with Cartesian product as tensor, singleton identity object, and relational converse as dagger.Relations can also be represented by Boolean matrices, with composition given by Boolean matrix multiplication.
- 2 FRel: Every FRel object has a biproduct-derived basis structure, but the two-element set also has a second basis structure with one classical point and two unbiased points.The first structure has two classical points and one unbiased point; the second reverses these roles.
- 2 FRel: The two basis structures on the two-element set are complementary under both the definition and the Hopf-bialgebra characterization.Thus FRel contains complementary observables despite the second structure not arising from biproduct structure, contradicting an earlier claim in [1].
- 2 FRel: Compared with a standard qubit, the two-element FRel model has only two complementary observables and unequal numbers of classical states, so it is an imperfect but quantum-like model.The Boolean semiring lacks negatives and an element playing the role of i, preventing the full phase structure associated with a genuine qubit.
- 2 FRel: The two-observable structure on the two-element set in FRel is rich enough to simulate quantum teleportation and dense coding, including classical communication and measurement decoherence.Complementarity supplies the Bell-basis construction required for these protocol simulations.
3 Spek
Spek is constructed as a sub-†-SMC of FRel whose relations generate a toy quantum theory while excluding FRel’s biproduct-derived basis structure. Its observables form a mutually complementary triple, and the resulting category is dagger compact closed.
- Construction: Spek is a sub-†-SMC of FRel, generated from finite-set relations using relational composition, cartesian product, and relational converse.Its objects are tensor products of IV = {1, 2, 3, 4} together with the unit object I.
- Construction: The generating states are six relations z0, z1, x0, x1, y0, and y1, obtained through permutations of the deleting relation.The construction distinguishes three pairs of states associated with the Z, X, and Y observables.
- Observables: The four basis structures sharing the same classical points are grouped into one observable, with further observables obtained by permutation transformations.The deleting operation can vary while preserving the relevant classical and unbiased points; this freedom corresponds to coherent-superposition choices in FdHilb.
- Complementarity: Observables X, Y, and Z are mutually complementary under both the unbiasedness definition and the Hopf-bialgebra characterization.Complementarity is defined by requiring compatible basis structures from the two observables to be complementary in either sense.
- Relation to FRel: Spek excludes the biproduct-derived basis structure of FRel, leaving its unexpected basis structures on equal footing rather than privileging one.This exclusion means Spek does not inherit the basis structure on IV arising from the underlying biproduct structure.
- Compact closure: Spek is dagger compact closed because its Bell-state construction and compact-closure equations are inherited from FRel.The basic Bell state is formed as ηIV := δZ ◦ ǫZ, and tensor products of this state give the corresponding states for larger objects.
4 Connection with Spekkens’s toy theory
Spek is constructed to reproduce Spekkens’s toy theory, with its states and operations generated compositionally from a small set of relations. The construction captures the toy theory’s single-, two-, and three-system states and connects its quantum-like successes to dagger-SMC structure with basis structures.
- Spek’s single-system states correspond exactly to the six states of the Spek object IV.
- Two-system states include toy-theory analogues of entangled states and disentangled bipartite states, generated from Spek’s generators and permutations.
- Three-system states include a GHZ analogue derived from Spek’s generators via partial transposition, with other states generated by permutations and Cartesian products.
- Spek also contains the toy theory’s allowed operations, including permutations for single-system unitary evolution and relations modelling measurement projection.
- Spek reproduces the ingredients of Spekkens’s toy theory from a symmetry group, copying and deleting maps, and compositionality, forming its compositional closure up to three systems.
- The toy theory’s modelling successes, including teleportation, dense coding, no-cloning, and no-broadcasting, can be attributed at least partly to its dagger-SMC structure with basis structures.
5 Bloch sphere picture
The toy theory’s states are used to interpret three perpendicular Bloch-sphere directions associated with the X-, Y-, and Z-bases, whereas FRel captures a different set of Bloch-sphere states.
- Spek’s states interpret the three perpendicular Bloch-sphere directions spanned by the X-, Y-, and Z-bases.
- FRel captures a distinct subset of the Bloch sphere’s states from those represented by Spek.