REVIEW 1 cited by
A Complete Equational Theory for Quantum Circuits
Not yet reviewed by Pith; the record is open.
This paper has not been read by Pith yet. Machine review is queued; the pith claim, tier, and objections will appear here once it completes.
SPECIMEN: schema-true, not a live event
T0 review · schema-true
One-sentence machine reading of the paper's core claim.
pith:XXXXXXXX · record.json · timestamp
Signed reviews
read the original abstract
We introduce the first complete equational theory for quantum circuits. More precisely, we introduce a set of circuit equations that we prove to be sound and complete: two circuits represent the same unitary map if and only if they can be transformed one into the other using the equations. The proof is based on the properties of multi-controlled gates -- that are defined using elementary gates -- together with an encoding of quantum circuits into linear optical circuits, which have been proved to have a complete axiomatisation.
Forward citations
Cited by 1 Pith paper
-
Completeness for flow-preserving rewrite rules
The flow-preserving rewrite rules of Figure 2 are complete for all MBQC-form ZX-diagrams with Pauli flow.
Discussion (0). Continue with ORCID to comment.