← Check-product 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.

    • primary-stabilizer-incidence canonical

      Qubits and stabilizer rows are joined exactly when the executable binary symplectic row has support. This is operator incidence, not asserted spatial or hardware geometry.

      References: cross2022qltc

  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.