We introduce multivariate multicycle (MM) codes, a new family of quantum error correcting codes that unifies and generalizes bivariate bicycle codes, multivariate bicycle codes, abelian two-block group algebra codes, generalized bicycle codes, trivariate tricycle codes, and n-dimensional toric codes. MM codes are Calderbank-Shor-Steane (CSS) codes defined from length-t chain complexes with $t \ge 4$. The chief advantage of these codes is that they possess metachecks and high confinement that permit complete single-shot decoding, while also having additional algebraic structure that might enable logical non-Clifford gates. We offer a framework that facilitates the construction of long-length chain complexes through the use of Koszul complex. In particular, obtaining explicit boundary maps (parity check and metacheck matrices) is particularly straightforward in our approach. This simple but very general parameterization of codes permitted us to efficiently perform a numerical search, where we identify several MM code candidates that demonstrate these capabilities at high rates and high code distances. Examples of new codes with parameters $[[n,k,d]]$ include $[[96, 12, 8]]$, $[[96, 44, 4]]$ $[[144, 40, 4]]$, $[[216, 12, 12]]$, $[[360, 30, 6]]$, $[[384, 80, 4]]$, $[[486, 24, 12]]$, $[[486, 66, 9]]$ and $[[648, 60, 9]]$. Notably, our codes achieve confinement profiles that surpass all known single-shot decodable quantum CSS codes of practical blocksize.
We introduce multivariate multicycle (MM) codes, a new family of quantum error correcting codes that unifies and generalizes bivariate bicycle codes, multivariate bicycle codes, abelian two-block group algebra codes, generalized bicycle codes, trivariate tricycle codes, and n-dimensional toric codes. MM codes are Calderbank-Shor-Steane (CSS) codes defined from length-t chain complexes with t≥4. The chief advantage of these codes is that they possess metachecks and high confinement that permit complete single-shot decoding, while also having additional algebraic structure that might enable logical non-Clifford gates. We offer a framework that facilitates the construction of long-length chain complexes through the use of Koszul complex. In particular, obtaining explicit boundary maps (parity check and metacheck matrices) is particularly straightforward in our approach. This simple but very general parameterization of codes permitted us to efficiently perform a numerical search, where we identify several MM code candidates that demonstrate these capabilities at high rates and high code distances. Examples of new codes with parameters [[n,k,d]] include [[96,12,8]], [[96,44,4]][[144,40,4]], [[216,12,12]], [[360,30,6]], [[384,80,4]], [[486,24,12]], [[486,66,9]] and [[648,60,9]]. Notably, our codes achieve confinement profiles that surpass all known single-shot decodable quantum CSS codes of practical blocksize.
Abelian multicycle (AMC) codes are compact quantum low-density parity-check codes whose multiblock chain-complex structure provides redundant low-weight stabilizers and supports single-shot error correction. We introduce Floquet AMC codes by deriving a quotient-lattice representation of a general level-j, D-dimensional AMC complex over a finite Abelian group algebra, lifting this lattice to spacetime, and rotating the circuit-time direction in the associated ZX network. When the check and data spiders have even valence and admit a time-oriented local port matching, the network decomposes into a periodic schedule of native two-qubit XX and ZZ measurements. We construct generalized-bicycle and level-2 AMC4 examples, determine their instantaneous stabilizer groups, and compute their embedded distances by minimizing over all inequivalent circuit cuts. For AMC4 instances locally equivalent to four-dimensional toric codes, we obtain Floquet memories with parameters [[108,6,5]], [[144,6,8]], and [[324,6,10]]. Local Pauli-web detector templates and beam-search decoding under the measurement-native EM3 noise model yield an estimated pseudothreshold of approximately 1.2%. These results provide compact measurement-only realizations of higher-dimensional homological redundancy without directly measuring the original weight-six stabilizers.
While quantum low-density parity check (qLDPC) codes are a low-overhead means of quantum information storage, it is valuable for quantum codes to possess fault-tolerant features beyond this resource efficiency. In this work, we introduce trivariate tricycle (TT) codes, qLDPC codes that combine several desirable features: high thresholds under a circuit-level noise model, partial single-shot decodability for low-time-overhead decoding, a large set of transversal Clifford gates and automorphisms within and between code blocks, and (for several sub-constructions) constant-depth implementations of a (non-Clifford) CCZ gate. TT codes are CSS codes based on a length-3 chain complex, and are defined from three trivariate polynomials, with the 3D toric code (3DTC) belonging to this construction. We numerically search for TT codes and find several candidates with improved parameters relative to the 3DTC, using up to 48× fewer data qubits as equivalent 3DTC encodings. We construct syndrome-extraction circuits for these codes and numerically demonstrate single-shot decoding in Z memory, in both phenomenological and circuit-level noise models. We also demonstrate that the codes have good performance under single-shot decoding even in X memory. Under circuit-level noise, TT codes have a crossing point of 0.3% in X memory and 1% in Z memory (with single-shot decoding). All TT codes possess several transversal CZ gates that can partially address logical qubits between two code blocks. The codes possess a large set of automorphisms that can perform Clifford gates within a code block. Finally, we establish several TT code polynomial constructions that allow for a constant-depth implementation of logical CCZ gates. We find codes with CCZ gates that use up to 5.7× fewer data qubits as equivalent-distance 3DTC encodings, and others with encoding rates as high as 1/4.
Bivariate bicycle (BB) codes of Bravyi \emph{et al.}~\cite{Bravyi2024} are quantum low-density parity-check codes with weight-6 checks, exemplified by [[144,12,12]] with kd2/n=12. We develop the algebraic structure theory of BB-type codes with weight-8 checks (weight-4 generator polynomials) and use it, together with an exactly validated search pipeline, to construct and certify new codes. We prove an exact dimension formula k=2dimR/(A,B) (forcing even k), a 4ℓm-element symmetry group on generator pairs, an X/Z distance equality dX=dZ, and a family of subgroup-coset kernel vectors giving rigorous distance upper bounds and a design rule for high-distance constructions; all distances are computed exhaustively by a cross-validated bit-mask verifier. At n=144 the pipeline returns a census of 53 codes whose strongest members surpass the BB benchmark: [[144,6,d≥15]] exceeds the benchmark distance 12 (certified d≥15), [[144,10,12]] reaches it with weight-8 checks, and [[144,16,10]] encodes a third more logical qubits at kd2/n=11.11 (7.4% below benchmark) while decoding no worse. At n=72, [[72,14,8]] attains kd2/n=12.44---more than twice the same-length BB code---and decodes better; a circuit-level memory experiment places our weight-8 codes at ≈0.1% pseudo-threshold versus ≈0.4% for the BB reference under an identical model, quantifying the threshold cost of the heavier checks. All structural statements are verified numerically on the whole census.
Generalized bicycle (GB) codes have emerged as a promising class of quantum error-correcting codes with practical decoding capabilities. While numerous asymptotically good quantum codes and quantum low-density parity-check code constructions have been proposed, their finite block-length performance often remains unquantified. In this work, we demonstrate that GB codes exhibit comparable or superior error correction performance in finite-length settings, particularly when designed with higher or unrestricted row weights. Leveraging their flexible construction, GB codes can be tailored to achieve high rates while maintaining efficient decoding. We evaluate GB codes against other leading quantum code families, such as quantum Tanner codes, single-parity-check product codes, and bivariate bicycle codes, highlighting their versatility in practical finite-length applications.
Calderbank-Shor-Steane (CSS) codes are a versatile quantum error-correcting family built out of commuting X- and Z-type checks. We introduce CSS-like codes on G-valued qudits for any finite group G that reduce to qubit CSS codes for G=Z2 yet generalize the Kitaev quantum double model for general groups. The X-checks of our group-CSS codes correspond to left and/or right multiplication by group elements, while Z-checks project onto solutions to group word equations. We describe quantum-double models on oriented two-dimensional CW complexes (which need not cellulate a manifold) and prove that, when G is non-Abelian and simple, every G-covariant group-CSS code with suitably upper-bounded Z-check weight and lower-bounded Z-distance reduces to a CW quantum double. We describe the codespace and logical operators of CW quantum doubles via the same intuition used to obtain logical structure of surface codes. We obtain distance bounds for codes on non-Abelian simple groups from the graph underlying the CW complex, and construct intrinsically non-Abelian code families with asymptotically optimal rate and distances. Adding "ghost vertices" to the CW complex generalizes quantum double models with defects and rough boundary conditions whose logical structure can be understood without reference to non-Abelian anyons or defects. Several non-invertible symmetry-protected topological states, both with ordinary and higher-form symmetries, are the unique codewords of simply-connected CW quantum doubles with a single ghost vertex.
Quantum error correction suppresses noise in quantum systems to allow for high-precision computations. In this Letter, we introduce multivariate bicycle quantum low-density parity-check (QLDPC) codes, via an extension of the framework developed by Bravyi [S. Bravyi, A. W. Cross, J. M. Gambetta, D. Maslov, P. Rall, and T. J. Yoder, ], and particularly focus on trivariate bicycle (TB) codes. Unlike the weight-6 codes proposed in their study, we offer concrete examples of weight-5 TB-QLDPC codes which promise to be more amenable to near-term experimental setups. We show that TB-QLDPC codes up to weight 6 have a biplanar structure and often possess a two-dimensional toric layout. Under circuit level noise, we find substantially better encoding rates than comparable surface codes while offering similar error suppression capabilities. For example, we can encode four logical qubits with distance 5 into 60 physical qubits using weight-5 check measurements of circuit depth 7, while a surface code with these parameters requires 200 physical qubits. The high encoding rate and compact layout make our codes highly suitable candidates for near-term hardware implementations, paving the way for a realizable quantum error correction protocol.