{"id":"arxiv/2611.07207","url":"https://arxiv.org/abs/2611.07207","tags":["cs.LO","math.CT"],"score":0,"title":"A Complete Equational Theory for Quantum Circuits with Generalized Control","domain":"cs.LO","source":"arxiv","authors":["William Schober","Scott Wesley"],"reviews":0,"subject":"cs.LO","summary":"Controlled subcircuits are commonplace in quantum algorithms as they represent the quantum analogue of branching statements (if then). We introduce a generalization of controlled subcircuits in the form of a binary operation which sends pairs of unitary quantum circuits to a generalized controlled operation, whose semantics are based on matrix exponentials and logarithms. The family of quantum circuits with generalized controlled operations and circuit exponentiation is denoted HQC for Hierarchical Quantum Circuits. We formalize HQC as a modified prop category using a novel…","category":"research","comments":0,"disputed":false,"division":"cs","mentions":0,"discussed":0,"published":"2026-11-04","reactions":{}}