Struct BoundaryWarrant 

pub struct BoundaryWarrant<R> {
    pub hypothesis_residual: R,
    pub tolerance: R,
    pub amplification: R,
    pub conclusion_bound: R,
    pub holds: bool,
}

What a boundary check certifies: the measured hypothesis and the bound it buys.

Returned by partial_trace_preservation_boundary. The fields are separate because the decision and the number are separate questions: holds answers “did the hypothesis pass at the tolerance I named”, and conclusion_bound answers “what may I then assert about the traced commutator”. A caller composing several of these needs the second.

Fields

hypothesis_residual: R

The measured ‖[Z ⊗ 1_B, M]‖_F.

tolerance: R

The tolerance the caller named for that residual.

amplification: R

√(d_B), the factor by which the partial trace can amplify a residual.

conclusion_bound: R

The certified bound on ‖[Z, Tr_B(M)]‖_F, namely √(d_B) · hypothesis_residual.

holds: bool

Whether hypothesis_residual ≤ tolerance.

Trait Implementations

impl<R: Clone> Clone for BoundaryWarrant<R>

fn clone(&self) -> BoundaryWarrant<R>

Returns a duplicate of the value.

fn clone_from(&mut self, source: &Self)

Performs copy-assignment from source.

impl<R: Copy> Copy for BoundaryWarrant<R>

impl<R: Debug> Debug for BoundaryWarrant<R>

fn fmt(&self, f: &mut Formatter<'_>) -> Result

Formats the value using the given formatter.

impl<R: PartialEq> PartialEq for BoundaryWarrant<R>

fn eq(&self, other: &BoundaryWarrant<R>) -> bool

Equality operator ==.

fn ne(&self, other: &Rhs) -> bool

Inequality operator !=.

impl<R: PartialEq> StructuralPartialEq for BoundaryWarrant<R>