Stabilizer instrument specification for stabilizer circuit

A method for use with a computing system, the method comprising:

• receiving a stabilizer circuit specification of a stabilizer circuit that includes one or more elementary operations, wherein the one or more elementary operations are each selected from the group consisting of:
• an allocation of one or more qubits in a stabilizer state;
• an allocation of one or more random classical bits;
• a Clifford unitary;
• a Pauli unitary conditional on one or more respective parities of one or more measurement outcomes and/or one or more respective parities of the one or more random classical bits;
• a joint multi-qubit Pauli measurement;
• and
• a destructive one-qubit Pauli measurement;
• computing a standardized stabilizer instrument specification of a stabilizer instrument based at least in part on the stabilizer circuit specification, wherein the standardized stabilizer instrument specification includes an input Clifford unitary, an output Clifford unitary, and a plurality of bit matrices;
• and
• storing the standardized stabilizer instrument specification in memory.

A computing system comprising:

• a processor configured to:
• receive a stabilizer circuit specification of a stabilizer circuit;
• compute a standardized stabilizer instrument specification of a stabilizer instrument based at least in part on the stabilizer circuit specification, wherein the standardized stabilizer instrument specification includes an input Clifford unitary, an output Clifford unitary, a first bit matrix, a second bit matrix, and a third bit matrix, wherein computing the standardized stabilizer instrument specification includes:
• computing a Choi state family of the stabilizer instrument;
• and
• computing the standardized stabilizer instrument specification based at least in part on the Choi state family;
• and
• store the standardized stabilizer instrument specification in memory.