
TL;DR
This paper characterizes the symmetric monoidal category TOF generated by the Toffoli gate, establishing its equivalence to a subcategory of sets and partial isomorphisms, and providing a complete set of identities.
Contribution
It provides a complete set of identities for TOF and proves its equivalence to a subcategory of sets and partial isomorphisms, extending prior work on the cnot gate.
Findings
TOF is a discrete inverse category with identities for the cnot gate
A normal form for restriction idempotents is constructed
TOF is equivalent to FPinj2, a subcategory of sets and partial isomorphisms
Abstract
We provide a complete set of identities for the symmetric monoidal category, TOF, generated by the Toffoli gate and computational ancillary bits. We do so by demonstrating that the functor which evaluates circuits on total points, is an equivalence into the full subcategory of sets and partial isomorphisms with objects finite powers of the two element set. The structure of the proof builds -- and follows the proof of Cockett et al.-- which provided a full set of identities for the cnot gate with computational ancillary bits. Thus, first it is shown that TOF is a discrete inverse category in which all of the identities for the cnot gate hold; and then a normal form for the restriction idempotents is constructed which corresponds precisely to subobjects of the total points of TOF. This is then used to show that TOF is equivalent to FPinj2, the full subcategory of sets and partial…
Peer Reviews
No public reviews on file for this paper yet. If you reviewed it on a platform where reviews are public (OpenReview, ICLR, NeurIPS, ICML), you can paste yours below so the community can read it here.
Videos
No videos yet. Explain this paper in a talk, walkthrough, or lecture? Add one.
