[Jump to code hierarchy]

Cornucopia code[1]

Description

GALA code with rate just above one half whose \(G\)-lift entries are affine permutations of a \(\mathbb{Z}_3\times\mathbb{Z}_q\) grid. The layout and the syndrome-extraction schedule are designed together, so that a full syndrome cycle takes twelve entangling layers regardless of the code size.

The code has \(n=36q\) qubits partitioned into twelve blocks of \(P=3q\) with \(\gcd(q,3)=1\), each block laid out as a \(3\times q\) array, and three blocks of checks of each type. The twelve lift entries \(A_k\) and \(B_k\), for \(k\in\mathbb{Z}_6\), each act on the grid as an affine map \((x,y)\mapsto(ax+b,y+s)\), so the row part lies in the affine group of \(\mathbb{Z}_3\), which is isomorphic to \(S_3\), while the column part is a cyclic shift. Two entries invert the row coordinate and two translate it, while the remaining eight are pure column shifts. Among the pairs \((A_i,B_j)\) that enter the orthogonality condition, only \((A_1,B_2)\) and \((A_0,B_3)\) fail to commute, and both have \(i+j\equiv3 \bmod 6\), an offset that the three retained check rows never realize [1]. The twelve column shifts are left unconstrained by orthogonality and are the free parameters of the code search.

Protection

Every stabilizer generator has weight twelve, one qubit in each data block. The reported instances all satisfy \(k=n/2+4\), giving rate just above one half [1].

A weight-preserving bijection between the two logical sectors forces \(d_X=d_Z\) [1; Lemma 1]. Distances are certified exactly for \([[252,130,6]]\), \([[576,292,8]]\), \([[900,454,10]]\), \([[1044,526,12]]\), \([[1764,886,14]]\), \([[2304,1156,16]]\), and \([[2844,1426,18]]\), the last three of which exceed the generator weight [1].

Gates

The global column shift \(y\mapsto y+1\) is a code automorphism. For the reported instances, its logical action decomposes into parallel cyclic shifts of eighteen logical registers of length \(q\), together with four invariant logical modes [1; Prop. 2].

Decoding

Relay belief propagation, with belief propagation and ordered-statistics decoding as a fallback for shots it does not resolve [1].

Fault Tolerance

The circuit-level distance, the least number of independent faults of the syndrome-extraction circuit producing an undetectable logical error, is reported only as an upper bound, and that bound falls strictly below \(d\) for the \([[252,130,6]]\) and \([[1044,526,12]]\) instances [1; Tab. 1].

Threshold

Circuit-level simulations give pseudo-thresholds above \(0.4\%\), defined by the break-even condition that the logical error rate per logical qubit per cycle equal the physical error rate [1]. At physical error rate \(10^{-3}\), the \([[2844,1426,18]]\) code has an extrapolated logical error rate of \(2.6\times10^{-16}\) at an overhead of about three physical qubits per logical qubit.

Cousin

  • \([[1152,580,\leq 12]]\) co-designed Kasai code— The \([[1152,580,\leq 12]]\) code is permutation equivalent to a \(\mathrm{GALA}_{12,3}(S_3\times\mathbb{Z}_{32})\) code [2], drawn from the same direct-product GALA sector as the Cornucopia family. It need not lie in the family itself since its lift takes mutually inverse row translations where the Cornucopia construction repeats a single one [1,3]. Its \([[2304,1156]]\) sibling has non-cyclic Abelian factor \(\mathbb{Z}_2\times\mathbb{Z}_{32}\) and also lies outside the family [2].

Primary Hierarchy

Parents
Cornucopia codes lie in the direct-product monomial GALA sector with non-Abelian top factor \(S_3\) and Abelian bottom factor \(C_q\), and were obtained independently [2]. The affine maps of the \(\mathbb{Z}_3\times\mathbb{Z}_q\) grid realize \(S_3\times C_q\) because the row part of an affine map on \(\mathbb{Z}_3\) ranges over the affine group of \(\mathbb{Z}_3\), which is isomorphic to \(S_3\). The depth-twelve syndrome-extraction schedule is the \(J=L/4\) case of the GALA schedule condition, in which the two halves of the lift decouple [2].
Since \(\gcd(q,3)=1\), the Chinese remainder theorem relabels the \(P=3q\) coordinates of each block, identifying \(\mathbb{Z}_3\times\mathbb{Z}_q\) with the ring \(\mathbb{Z}_{3q}\) [1]. Affine maps are preserved under this identification, so each lift entry \((x,y)\mapsto(ax+b,y+s)\) becomes a single affine permutation of \(3q\) letters, whose multiplier reduces to \(a\) modulo \(3\) and to one modulo \(q\) [1].
Cornucopia code

References

[1]
Z. Lu, W. Li, and D.-L. Deng, “Quantum error correction at ultra-low overhead”, (2026) arXiv:2608.02773
[2]
W. Yang, C. Duckering, and A. Dua, “Designer Codes from GALA: Compact, Self-Dual, and Rate-1/2 QEC on Reconfigurable Atom Arrays”, (2026) arXiv:2608.07431
[3]
C. Zhao, C. Duckering, A. Gu, N. Maskara, and H. Zhou, “Towards Ultra-High-Rate Quantum Error Correction with Reconfigurable Atom Arrays”, (2026) arXiv:2604.16209
Page edit log

Your contribution is welcome!

on github.com (edit & pull request)

— see instructions

Zoo Code ID: cornucopia

Cite as:
“Cornucopia code”, The Error Correction Zoo (V. V. Albert & P. Faist, eds.), 2026. https://errorcorrectionzoo.org/c/cornucopia, arXiv:2606.11484
BibTeX:
@incollection{eczoo_cornucopia,
title={Cornucopia code},
booktitle={The Error Correction Zoo},
year={2026},
editor={Albert, Victor V. and Faist, Philippe},
eprint={2606.11484},
doi={10.48550/arXiv.2606.11484},
url={https://errorcorrectionzoo.org/c/cornucopia}
}
Share via:
Twitter | Mastodon |  | E-mail
Permanent link:
https://errorcorrectionzoo.org/c/cornucopia

Cite as:

“Cornucopia code”, The Error Correction Zoo (V. V. Albert & P. Faist, eds.), 2026. https://errorcorrectionzoo.org/c/cornucopia, arXiv:2606.11484

Github: https://github.com/errorcorrectionzoo/eczoo_data/edit/main/codes/quantum/qubits/stabilizer/qldpc/active_orthogonality/cornucopia.yml.