The Category CNOT

Abstract

We exhibit a complete set of identities for CNOT, the symmetric monoidal category generated by the controlled-not gate, the swap gate, and the computational ancillae. We prove that CNOT is a discrete inverse category. Moreover, we prove that CNOT is equivalent to the category of partial isomorphisms of finitely-generated non-empty commutative torsors of characteristic 2. Equivalently this is the category of affine partial isomorphisms between finite-dimensional Z2 vector spaces.

In Proceedings QPL 2017, arXiv:1802.09737

References in corpus (2)

• Sinkhorn normal form for unitary matrices
• A Simplified Stabilizer ZX-calculus

Cited by in corpus (5)

• A Complete Equational Theory for Quantum Circuits
• The ZX&-calculus: A complete graphical calculus for classical circuits using spiders
• The Category TOF
• Why FHilb is Not an Interesting (Co)Differential Category
• String Diagrams for Defect-Based Surface Code Computing