Struct DecompositionValidator 

pub struct DecompositionValidator { /* private fields */ }

Decomposition validator

Implementations

impl DecompositionValidator

pub const fn new(tolerance: f64) -> Self

Create a new validator

pub fn validate( &self, original: &dyn GateOp, decomposed: &[DecomposedGate], ) -> QuantRS2Result<bool>

Validate that a decomposition is equivalent to original gate.

Reconstructs the product unitary of the decomposed native gates and compares it to the original gate’s matrix (up to a global phase). Returns true iff the two unitaries agree within self.tolerance.

pub fn calculate_fidelity( &self, original: &dyn GateOp, decomposed: &[DecomposedGate], ) -> QuantRS2Result<f64>

Calculate the (global-phase-invariant) gate fidelity between the original gate and the product of its decomposition.

For a d-dimensional Hilbert space the average-gate-fidelity-equivalent quantity used here is |Tr(U_orig† · U_decomp)|² / d², which equals 1 exactly when the two unitaries are identical up to a global phase.

Returns an honest QuantRS2Error::UnsupportedOperation when the decomposition uses a native gate this validator cannot reconstruct a matrix for (rather than fabricating a high fidelity).