Diagrammatic Reasoning with Control as a Constructor, Applications to Quantum Circuits

Noé Delorme, Simon Perdrix

Control is a fundamental concept in quantum and reversible computational models. It enables the conditional application of a transformation to a system, depending on the state of a…