Representations, variants, and realization ledger

Every row below describes the same code only within a stated domain. A useful dictionary names both what it preserves and what it changes.

Representation ladder

picturepreservesadds insightmust not be inferred
sparse CSS incidenceexact checks, ranks, logical quotientmachine-verifiable finite algebraboundary physics not encoded by a matrix name alone
colored homologystabilizer deformation classes and boundary endpointswhy three string colors describe one logical paira numerical decoder or circuit threshold
anyon condensationexcitation fusion and boundary absorption sectorsprecise color/Pauli boundary and surgery languagethat equally colored drawn edges are identical interfaces
folded surface codeslogical phase under local-Clifford equivalencebranching strings become attached surface stringsexact check/qubit order for this constructor
random three-body Isingperfect-syndrome likelihood classesthree-way error correlations and phase transitionan efficient decoder or a circuit-level result
tensor networklocal encoder tensors and operator pushinghow patches may be composedinherited global parameters after contraction

The homology source is Bombín and Martín-Delgado, the unfolding dictionary is Kubica, Yoshida, and Pastawski, the statistical model is Katzgraber, Bombín, and Martín-Delgado, the boundary classification is Kesselring et al., and the tensor construction is Farrelly, Tuckett, and Stace.

Variant ledger

6.6.6 versus 4.8.8. Both realize the abstract two-dimensional color-code order on trivalent, face-three-colorable cellulations. Their face weights, vertex density, clipped boundaries, extraction circuits, and finite qubit formulas differ. The comparative resource analysis of Bombín and Martín-Delgado supports the relation, not numerical transfer between entries. In particular, the circuit study of Landahl, Anderson, and Rice analyzes a 4.8.8 architecture; its numerical results are context, not 6.6.6 data.

Triangular color boundary versus Pauli boundary. The constructor fixes one red, green, and blue side. A patch whose sides condense Pauli-labelled sectors can have a similar outline and different logical/surgery behavior. The boundary condition belongs in the formal identity.

Seven-qubit Steane block. The distance-three member is locally the same stabilizer code up to row and qubit relabeling. Steane's algebraic presentation and this family's growing geometry answer different questions; fixed-block circuit evidence is not automatically scaling evidence.

Hybrid lattice surgery. Joining 6.6.6 and 4.8.8 regions deliberately changes the local tiling to trade face weight against layout cost. The hybrid device is neither an alias nor an isolated member of either uniform family.

Tensor contraction. Connecting encoder tensors removes or pairs legs and creates a new global stabilizer code. Every resulting n, k, boundary, and distance must be recomputed.

Realization ledger

platform evidenceestablisheddid not establish
seven-qubit trapped-ion blockencoded operations on the smallest triangular color/Steane memberincreasing-distance family suppression
trapped-ion fault-tolerant logical processorClifford primitives combined with magic-state preparation and injectiona universal transversal set on one 2D block
reconfigurable neutral-atom architecturemany small logical blocks and transversal inter-block operationsgrowth of one 6.6.6 memory patch
superconducting triangular processortwo finite sizes, repeated extraction, hardware-specific decoding, Clifford gates, injection, and logical teleportationan extraction-independent threshold or asymptotic family constant

The corresponding primary records are Nigg et al., Postler et al., Bluvstein et al., and Lacroix et al..

As of the 2026-08-02 realization sweep, no photonic 6.6.6 demonstration met the Atlas distinction between a proposal and an executed logical code. The same sweep found that only the superconducting record in this set directly compared two color-code sizes; the earlier results remain important fixed-block or multi-block evidence.

The disciplined use of an equivalence

An equivalence is most useful when it tells the reader which computation to move to another language. Unfolding motivates projected surface-code decoding; anyon condensation organizes boundary joins; the Ising model organizes likelihood correlations; tensor pushing organizes composition. None authorizes copying a distance, threshold, or hardware number without rebuilding the finite identity tuple. That restriction is the difference between a representation dictionary and an accidental conflation of codes.