← Four-qubit Bacon-Shor subsystem 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.

    • stabilizer-incidence canonical

      The binary symplectic representation retains both stabilizer and gauge rows. The generic orienting view shows center-check support on data qubits; it does not display the gauge subsystem or imply a hardware layout. Gauge generators remain available in the executable formal description.

      References: bacon2006operator

  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.