A Complete Equational Theory for Quantum Circuits

Watch a conference talk from the 18th Theory of Quantum Computation Conference (TQC 2023) exploring groundbreaking research on quantum circuit theory. Discover the first complete equational theory for quantum circuits through a detailed presentation of sound and complete circuit equations that prove when two circuits represent identical quantum evolutions. Learn about the innovative proof methodology based on multi-controlled gates and linear optical circuit encoding, establishing formal foundations for quantum circuit optimization, hardware constraints, and verification. Delivered by Simon Perdrix at the University of Aveiro, this 33-minute presentation draws from published research papers and advances theoretical quantum information science with practical applications for quantum computing development.