Entry facet
Representation ladder
R1 checks through R5 cross-model views, with canonicality and provenance.
- R1
Checks
Sparse Pauli generators in symplectic form, including stabilizer and gauge rows.
corrected-mixed-pauli-tableau canonical
Ten mixed-Pauli checks and the displayed logical pair retain the primary qubit order. The circular scene shows operator incidence only; exact enumeration independently distinguishes the corrected and printed rows.
References: gottesman1997stabilizer, gottesman2004errata
- R2
Structure
CSS pairs, chain complexes, lattices, and other structure behind the checks.
No representation at this rung is recorded for this entry.
- R3
Dynamics
Ordered measurement schedules and their instantaneous stabilizer groups.
No representation at this rung is recorded for this entry.
- R4
Circuit & detectors
Named syndrome-extraction circuits and detector error models.
No representation at this rung is recorded for this entry.
- R5
Cross-model views
Executable or illuminating algebraic, ZX, fermionic, tensor, and statistical dictionaries.
No representation at this rung is recorded for this entry.