Stabilizer circuit verification

Understand

The ubiquity of stabilizer circuits in the design and operation of quantum computers makes techniques to verify their correctness essential.

• The simulation of stabilizer circuits, which aims to replicate their behavior using a classical computer, is known to be efficient and provides a means of testing correctness.
• However, simulation is limited in its ability to examine the exponentially large space of possible measurement outcomes.
• We propose a comprehensive set of efficient classical algorithms to fully characterize and exhaustively verify stabilizer circuits with Pauli unitaries conditioned on parities of measurements.