valid_clifford_implementation

guppyft.verify.valid_clifford_implementation(semantic_function: SemanticCliffordUnitary | SemanticCliffordUnitaryDouble, impl_function: ImplementationCliffordUnitary | ImplementationCliffordUnitaryDouble, code_definition: StabilizerCode, impl_num_ancillas: int = 0) → bool[source]

Checks whether impl_function is a valid implementation of semantic_function.

Can check implementations of Clifford semantics across one or two code blocks.

Parameters:

  • semantic_function – A Guppy function for semantic action of a Clifford operator on one or two code blocks.

  • impl_function – A Guppy function for implementing the semantics on one or two code blocks.

  • code_definition – A stabilizer code with well defined [[n, k, d]] parameters, stabilizer generators and logical operators.

  • impl_num_ancillas – The number of ancilla qubits used in the implementation. Defaults to zero.

Returns:

A Boolean indicating whether the implementation is valid.