{"id":"arxiv/2602.09874","url":"https://arxiv.org/abs/2602.09874","tags":["quant-ph","cs.LO"],"score":0,"title":"Simpler Presentations for Many Fragments of Quantum Circuits","domain":"quant-ph","source":"arxiv","authors":["Colin Blake"],"reviews":0,"subject":"quant-ph","summary":"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 equations. A finite rule set is most informative when it separates the genuine algebra of a circuit fragment from the structural treatment of wires. This paper gives six near-Clifford fragments a common PROP treatment, where wire permutations are structural: qubit Clifford, real Clifford, Clifford+T (up to two qubits), Clifford+CS (up to three qubits), CNOT-dihedral, and qutrit Clifford. Starting from prior…","category":"research","comments":0,"disputed":false,"division":"physics","mentions":0,"discussed":0,"published":"2026-02-10","reactions":{}}