Repetition code, distance 9 on QCCD — every architecture, ranked
Pick a measure to rank by; click a dot to open a design.
About this board
One syndrome-extraction round of the Repetition code, distance 9 compiled onto every architecture, shipped and from the study's families; the circuit checked in stim to measure exactly the code's stabilizers, every program checked against the 20 rules and, where it passed, by the proved Lean checker (R10). Each dot is a design; pick what to rank by, click a dot for its numbers and the steps in the design tool where each claim can be checked.
Click a dot to see the design's numbers, its claim, and the steps to check it on.
Submit a design
Coloured dots are submitted designs, each credited.
Disqualified — not ranked
Not ranked: each breaks a rule or the task’s hardware budget.
| design | family | breaks | R10 |
|---|---|---|---|
| Repetition code, distance 9 on chain — a line of traps one linear trap | line | over budget: dacs 1728 > max_dacs 128 | passed |
| Repetition code, distance 9 on cylinder 6x4 — four concentric rings with spokes the torus drawn as a chip: 42 traps, no crossings | torus | over budget: dacs 1680 > max_dacs 128 | passed |
| Repetition code, distance 9 on random 4-regular graph, 16 junctions 32 traps on a random expander: short paths, no drawing | random graph | R20 R21 over budget: dacs 1280 > max_dacs 128 | passed |
| Repetition code, distance 9 on torus 4x4 — a periodic lattice every row and column a closed loop, 32 traps | torus | R20 R21 over budget: dacs 1280 > max_dacs 128 | passed |
| Repetition code, distance 9 on grid9x9 — the baseline lattice traps on the wires of a 9x9 junction grid | lattice | over budget: dacs 5760 > max_dacs 128 | passed |
| Repetition code, distance 9 on grid5x5 — a small planar lattice 40 traps on the wires of a 5x5 junction grid | lattice | over budget: dacs 1600 > max_dacs 128 | passed |
| Repetition code, distance 9 on the code's Tanner graph as the machine a hub per check and per data qubit, a contact trap on every Tanner edge: every contact one hop | random graph | R20 over budget: dacs 1320 > max_dacs 128 | passed |