Showing quant-phShow all
2 papers · 1 filter
quant-ph2026
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…
quant-ph2024
Minimal Equational Theories for Quantum Circuits
Alexandre Clément, Noé Delorme, Simon Perdrix
We introduce the first minimal and complete equational theory for quantum circuits. Hence, we show that any true equation on quantum circuits can be derived from simple rules, all…