An Interpreter for Quantum Circuits

Lucas Helms, Ruben Gamboa

This paper describes an ACL2 interpreter for "netlists" describing quantum circuits. Several quantum gates are implemented, including the Hadamard gate H, which rotates vectors by…