Colin Blake

Completeness for Prime-Dimensional Phase-Affine Circuits

2026 · HAL (Le Centre pour la Communication Scientifique Directe)

Equational reasoning about circuits underpins quantum-circuit optimisation and verification. The qubit CNOT-dihedral fragment achieves this through phase polynomials, layered normal forms, and a complete equational theory; we develop the corresponding theory for prime-dimensional qudits, where …