Struct IdealRecovery 

pub struct IdealRecovery<R: RealField> { /* private fields */ }

The isometry and the recovery of a code.

Implementations

impl<R: RealField> IdealRecovery<R>

pub fn isometry(&self) -> &QcMorphism<R>

E : 2^k → 2^n, one Kraus operator.

pub fn encoder(&self) -> &QcMorphism<R>

The encoder as a unitary on the n physical qubits: |x⟩ ⊗ |0…0⟩ ↦ |x̄⟩ for the logical value x on the first k wires, completed to a unitary by the remaining coset states of the X-stabilizer group, one per coset and character. This is the box a low-level model in the shape of Lorenz & Tull’s Example 58 starts with, so that its input type is the logical space.

pub fn recovery(&self) -> &QcMorphism<R>

τ : 2^n → 2^k, one Kraus operator per syndrome.

pub fn syndromes(&self) -> usize

The number of syndromes, 2^(n − k).

pub fn max_correction_weight(&self) -> usize

The largest weight among the corrections in the table.

pub fn corrections(&self) -> &[(Vec<bool>, Vec<bool>)]

The correction table by syndrome index: the X and Z supports of the Pauli applied, so a caller can reproduce a recovery by hand.

impl<R> IdealRecovery<R>

where R: RealField + FromPrimitive + Default + Debug,

pub fn from_basis<W: NaturalNumber>( basis: &LogicalBasis<W>, ) -> Result<Self, QuantumError>

The isometry and the recovery of the code a LogicalBasis describes.

Errors

QuantumError::DimensionMismatch above IDEAL_RECOVERY_MAX_QUBITS; QuantumError::CalculationError if a logical basis state comes out zero or a syndrome has no correction up to weight n; the channel constructors’ errors.

Trait Implementations

impl<R: Clone + RealField> Clone for IdealRecovery<R>

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

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl<R: Debug + RealField> Debug for IdealRecovery<R>

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

Formats the value using the given formatter.

impl<R: PartialEq + RealField> PartialEq for IdealRecovery<R>

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

Equality operator ==.

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

Inequality operator !=.

impl<R: PartialEq + RealField> StructuralPartialEq for IdealRecovery<R>