Quick Navigation

Topics

Quantum Circuit Design Gate Engineering Quantum Simulation Entanglement Theory Quantum Correlations

The Category CNOT

arXiv
Authors: Robin Cockett, Cole Comfort, Priyaa Srinivasan

Year

2017

Paper ID

44813

Status

Preprint

Abstract Read

~2 min

Abstract Words

68

Citations

N/A

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.

Why This Paper Matters

  • This paper contributes to the Quantum Simulation research area in the Quantum Articles archive.
  • It adds a 2017 reference point for readers tracking recent quantum research.
  • 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.

Paper Tools

Become a member to use research tools

Sign in to open papers, visit source links, share, cite, compare, copy DOI links, request category corrections, and build your reading list.

Show Paper arXiv Publisher Share Cite This Paper Copy URL Compare Copy DOI Add to Reading List Category Correction Request

References & Citation Signals

Local Citation Graph (Related-Paper Links)

Current Paper #44813 #78846 Analog quantum simulation of Sh... #78810 Secure Quantum Handshakes: Quan... #78802 Quantum Co-Design of Inhomogene... #78801 Constructing Large and Structur...

External citation index: OpenAlex citation signal

Community Reactions

Quick sentiment from readers on this paper.

Score: 0
Likes: 0 Dislikes: 0

Sign in to react to this paper.

Discussion & Reviews (Moderated)

Average Rating: 0.0 / 5 (0 ratings)

No written reviews yet.