Enum Gate1Q 

pub enum Gate1Q {
    X,
    Y,
    Z,
    H,
    S,
    SDag,
    SqrtX,
    SqrtXDag,
    SqrtY,
    SqrtYDag,
    Hxy,
    Hyz,
    Hnxy,
    Hnxz,
    Hnyz,
    Cxyz,
    Czyx,
    Cnxyz,
    Cxnyz,
    Cxynz,
    Cnzyx,
    Cznyx,
    Czynx,
}

A named single-qubit Clifford, identified by the signed Pauli images (X → …, Z → …) of Gate1Q::images.

The names and the tableaux are stim’s. Variants that stim spells with underscores and negation markers (H_XY, C_NZYX) are spelled here in camel case with the same letters in the same order (Hxy, Cnzyx).

Variants

X

X → +X, Z → −Z.

Y

X → −X, Z → −Z.

Z

X → −X, Z → +Z.

H

Hadamard: X → +Z, Z → +X.

S

Phase gate S = √Z: X → +Y, Z → +Z.

SDag

S† = √Z†: X → −Y, Z → +Z.

SqrtX

√X: X → +X, Z → −Y.

SqrtXDag

√X†: X → +X, Z → +Y.

SqrtY

√Y: X → −Z, Z → +X.

SqrtYDag

√Y†: X → +Z, Z → −X.

Hxy

H_XY: X → +Y, Z → −Z.

Hyz

H_YZ: X → −X, Z → +Y.

Hnxy

H_NXY: X → −Y, Z → −Z.

Hnxz

H_NXZ: X → −Z, Z → −X.

Hnyz

H_NYZ: X → −X, Z → −Y.

Cxyz

C_XYZ, the order-three cycle X → Y → Z → X.

Czyx

C_ZYX, the inverse cycle X → Z → Y → X.

Cnxyz

C_NXYZ: X → −Y, Z → −X.

Cxnyz

C_XNYZ: X → −Y, Z → +X.

Cxynz

C_XYNZ: X → +Y, Z → −X.

Cnzyx

C_NZYX: X → −Z, Z → −Y.

Cznyx

C_ZNYX: X → +Z, Z → −Y.

Czynx

C_ZYNX: X → −Z, Z → +Y.

Implementations

impl Gate1Q

pub const fn images(self) -> ((PauliBasis, bool), (PauliBasis, bool))

The gate’s signed Pauli tableau as (X → image, Z → image), each image an axis and whether it is negated.

This is the gate’s definition: TableauSimulator::gate1 realizes each variant as a composition of primitive frame updates, and the pairing of composition to tableau is what the unit tests pin.

Examples

use ticit::PauliBasis;
use ticit::Gate1Q;

// The Hadamard exchanges X and Z without a sign.
assert_eq!(
    Gate1Q::H.images(),
    ((PauliBasis::Z, false), (PauliBasis::X, false))
);

Trait Implementations

impl Clone for Gate1Q

fn clone(&self) -> Gate1Q

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Copy for Gate1Q

impl Debug for Gate1Q

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

Formats the value using the given formatter.

impl Eq for Gate1Q

impl Hash for Gate1Q

fn hash<__H>(&self, state: &mut __H)

where __H: Hasher,

Feeds this value into the given Hasher.

fn hash_slice<H>(data: &[Self], state: &mut H)

where H: Hasher, Self: Sized,

Feeds a slice of this type into the given Hasher.

impl PartialEq for Gate1Q

fn eq(&self, other: &Gate1Q) -> bool

Equality operator ==.

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

Inequality operator !=.

impl StructuralPartialEq for Gate1Q