Struct StabilizerState 

pub struct StabilizerState {
    pub n_qubits: usize,
    pub generators: Vec<PauliString>,
}

A stabilizer state specified by its stabilizer group generators.

The stabilizer state |ψ⟩ is the unique state satisfying g|ψ⟩ = |ψ⟩ for every generator g in the stabilizer group.

Fields

n_qubits: usize

generators: Vec<PauliString>

Generators of the stabilizer group (each is an n-qubit Pauli string).

Implementations

impl StabilizerState

pub fn from_generators(n_qubits: usize, generators: Vec<PauliString>) -> Self

Create a stabilizer state from a list of generators.

Assumes the generators are already a valid independent commuting set.

pub fn computational_zero(n_qubits: usize) -> Self

The |0…0⟩ state, stabilized by Z_0, Z_1, …, Z_{n-1}.

pub fn plus_state(n_qubits: usize) -> Self

The |+…+⟩ state, stabilized by X_0, X_1, …, X_{n-1}.

pub fn is_consistent(&self) -> bool

Check that all generators commute pairwise (consistency requirement).

pub fn measure_pauli(&self, p: &PauliString) -> Option<i8>

Measure a Pauli observable P on this stabilizer state.

Returns Some(+1) if P is in the stabilizer group, Some(-1) if -P is in the stabilizer group, or None if the outcome is probabilistic (P anti-commutes with some generator).

Trait Implementations

impl Clone for StabilizerState

fn clone(&self) -> StabilizerState

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for StabilizerState

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

Formats the value using the given formatter.