← Bare seven-qubit code

Entry facet

Representation ladder

R1 checks through R5 cross-model views, with canonicality and provenance.

  1. R1

    Checks

    Sparse Pauli generators in symplectic form, including stabilizer and gauge rows.

    • bare-code-primary-tableau canonical

      Six checks and one logical Pauli pair retain Table I's qubit order. Exact binary-symplectic checks establish the protected quotient and distance; the circular scene represents incidence, not an ancilla circuit.

      References: li2017bare

  2. R2

    Structure

    CSS pairs, chain complexes, lattices, and other structure behind the checks.

    No representation at this rung is recorded for this entry.

  3. R3

    Dynamics

    Ordered measurement schedules and their instantaneous stabilizer groups.

    No representation at this rung is recorded for this entry.

  4. R4

    Circuit & detectors

    Named syndrome-extraction circuits and detector error models.

    No representation at this rung is recorded for this entry.

  5. R5

    Cross-model views

    Executable or illuminating algebraic, ZX, fermionic, tensor, and statistical dictionaries.

    No representation at this rung is recorded for this entry.