A Complete Equational Theory for Quantum Circuits with Generalized Control

William Schober, Scott Wesley

Controlled subcircuits are commonplace in quantum algorithms as they represent the quantum analogue of branching statements (if then). We introduce a generalization of controlled s…