verify

Functions to verify correctness of logical Clifford gadgets with tableaux comparison.

Supported features

Verifying Cliffords with valid_clifford_implementation()

  • Works for \(k>1\) codes

  • Works for operations on a single code block or between two code blocks

  • Works for non-CSS codes (e.g. the \([[5, 1, 3]]\) code)

  • Ancilla qubits can be used in the implementation

The same features are available for valid_stabilizer_state_preparation().

See the Verifying Logical Clifford Gadgets tutorial for more details.

Functions

valid_clifford_implementation(...[, ...])

Checks whether impl_function is a valid implementation of semantic_function.

valid_stabilizer_state_preparation(...[, ...])

Checks whether impl_function is a valid implementation of semantic_function.