A free construction adjoining explicit control to a prop via eight equations is sound and complete for the circuit subtheory of the free semisimple rig completion, simplifying axiomatizations for quantum circuits and multiply controlled Toffoli gates.
Title resolution pending
1 Pith paper cite this work. Polarity classification is still indexing.
1
Pith paper citing it
fields
cs.LO 1years
2025 1verdicts
CONDITIONAL 1representative citing papers
citing papers explorer
-
One rig to control them all
A free construction adjoining explicit control to a prop via eight equations is sound and complete for the circuit subtheory of the free semisimple rig completion, simplifying axiomatizations for quantum circuits and multiply controlled Toffoli gates.