Verifying Quantum Circuits in GAP

Explore a cutting-edge approach to verifying quantum circuit equivalence using the GAP programming language in this 18-minute conference talk from the WQS 2024 workshop. Delve into the development of Quantum GAP, a specialized library enabling easy specification of quantum circuits within GAP. Discover how this tool has been applied to verify 30 quantum gate decompositions from previous research in quantum circuit design and optimization. Gain insights into the verification process for ancilla management and the validation of rotational gates. Learn about this ongoing effort presented by Scott Wesley from the University of Waterloo, Canada, as part of the ACM SIGPLAN-sponsored Workshop on Quantum Software (WQS) 2024.

[WQS24] Verifying Quantum Circuits in GAP