Struct StabilizerTableau 

pub struct StabilizerTableau { /* private fields */ }

CHP stabilizer tableau for poly-time Clifford-circuit simulation.

The x and z fields are flat row-major buffers of length (2n + 1) * n; element (row, col) lives at row * n + col. The phase buffer r has length 2n + 1.

Implementations

impl StabilizerTableau

pub fn new(n_qubits: usize) -> QuantumResult<Self>

Build the tableau for the computational-basis state |0…0⟩.

Destabilizers are initialized to X_i (row i, i < n) and stabilizers to Z_i (row n + i); all phases are +.

pub fn n_qubits(&self) -> usize

Number of qubits the tableau tracks.

pub fn h(&mut self, a: usize) -> QuantumResult<()>

Apply a Hadamard on qubit a.

For each row i: r[i] ^= x[i][a] & z[i][a] then swap x[i][a], z[i][a].

pub fn s(&mut self, a: usize) -> QuantumResult<()>

Apply a phase gate S on qubit a.

For each row i: r[i] ^= x[i][a] & z[i][a] then z[i][a] ^= x[i][a].

pub fn cnot(&mut self, control: usize, target: usize) -> QuantumResult<()>

Apply a controlled-NOT with the given control and target qubits.

For each row i: r[i] ^= x[i][c] & z[i][t] & (x[i][t] ^ z[i][c] ^ true), x[i][t] ^= x[i][c], z[i][c] ^= z[i][t].

pub fn x(&mut self, a: usize) -> QuantumResult<()>

Apply a Pauli-X on qubit a, realized as X = H S S H.

pub fn z(&mut self, a: usize) -> QuantumResult<()>

Apply a Pauli-Z on qubit a, realized as Z = S S.

pub fn y(&mut self, a: usize) -> QuantumResult<()>

Apply a Pauli-Y on qubit a.

Y = i·X·Z; applying Z then X realizes Y up to a global phase, which is unobservable in the stabilizer formalism.

pub fn is_deterministic(&self, a: usize) -> QuantumResult<bool>

Whether a Z-basis measurement of qubit a is deterministic.

The outcome is random iff some stabilizer generator anticommutes with Z_a, i.e. some row p in n..2n has x[p][a] == true.

pub fn measure(&mut self, a: usize, rng: &mut LcgRng) -> QuantumResult<bool>

Perform a Z-basis measurement of qubit a, collapsing the tableau and returning the outcome (true = |1⟩).

Trait Implementations

impl Clone for StabilizerTableau

fn clone(&self) -> Self

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for StabilizerTableau

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

Formats the value using the given formatter.