3 papers
quant-ph2026
Completeness for Prime-Dimensional Phase-Affine Circuits
Colin Blake
Equational reasoning about circuits underpins quantum-circuit optimisation and verification. The qubit CNOT-dihedral fragment achieves this through phase polynomials, layered norma…
quant-ph2026
A Complete Equational Presentation of Qudit Circuits via Polycontrolled PROPs
Colin Blake
High-dimensional quantum computation needs a native circuit-level equational theory for qudits. We give the first finite schematic equational theory that is sound and complete for…
quant-ph2026
Simpler Presentations for Many Fragments of Quantum Circuits
Colin Blake
Equational reasoning is central to quantum circuit optimisation and verification: one replaces subcircuits by provably equivalent ones using a fixed set of rewrite rules viewed as…