---
title: Bicycle Bivariate Codes Overview
url: https://www.emergentmind.com/topics/bicycle-bivariate-codes
type: topic
---

# Bicycle Bivariate Codes Overview

Bivariate bicycle (BB) codes are a family of CSS quantum low-density parity-check codes built from two commuting cyclic structures, typically presented through parity-check matrices
\[
H_X=[A\mid B],\qquad H_Z=[B^\top\mid A^\top],
\]
with \(A\) and \(B\) obtained from a two-variable group algebra or polynomial quotient ring on a torus [2502.17052]. In the standard bivariate description, one works over
\[
\mathcal{S}=\frac{\mathbb{F}_2[x,y]}{\langle x^\ell-1,\; y^m-1\rangle},
\]
with \(x=S_\ell\otimes \mathbb{I}_m\) and \(y=\mathbb{I}_\ell\otimes S_m\), so the blocklength is \(n=2\ell m\) and the stabilizer weight is bounded when \(A(x,y)\) and \(B(x,y)\) are sparse [2502.17052]. BB codes have become a central QLDPC family because they combine sparse checks, nontrivial encoding rate, and multiple algebraic representations that support code construction, symmetry analysis, noisy-syndrome decoding, open-boundary variants, and several distinct decoder architectures [2601.01137].

## 1. Algebraic construction and foundational formalism

A standard BB code is defined from commuting shifts in two directions. Let \(S_\ell\) be the \(\ell\times \ell\) cyclic shift matrix and set
\[
x = S_\ell\otimes \mathbb{I}_m,\qquad y = \mathbb{I}_\ell \otimes S_m.
\]
Using the trinomial ansatz,
\[
A(x, y) = x^{a_1} + y^{a_2} + y^{a_3}, \qquad
B(x, y) = y^{b_1} + x^{b_2} + x^{b_3},
\]
the CSS parity checks are
\[
H_X = [A \mid B], \qquad H_Z = [B^\top \mid A^\top],
\]
and CSS commutation follows automatically from the generalized bicycle form [2502.17052]. Because \(A\) and \(B\) are trinomials, the stabilizer weight is at most \(6\), so this subclass is LDPC [2502.17052].

The same structure can be expressed in group-algebra language. For
\[
R=\mathbb{F}_2[\mathbb{Z}_\ell\times \mathbb{Z}_m]\cong \frac{\mathbb{F}_2[x,y]}{(x^\ell-1,y^m-1)},
\]
the code is specified by two sparse algebra elements, and the qubits naturally split into two blocks or, geometrically, into horizontal and vertical edges of a periodic \(\ell\times m\) lattice [2407.03973]. This two-block viewpoint is the basis for later interpretations of BB codes as group-algebra codes, balanced-product-like objects, and translationally invariant 2D CSS codes [2407.03973].

A recurring operational distinction is between the abstract algebra and the finite torus geometry. In the polynomial formalism used for logical-operator and matching-decoder work, periodic boundaries may be twisted through relations such as
\[
x^M = x^\alpha y^N = 1,
\]
so the same local stabilizer pattern can realize distinct finite codes through different torus parameters [2602.22770]. This suggests that BB codes are best understood not as a single construction, but as a construction framework in which sparse polynomial data and boundary conditions are equally important.

## 2. Coprime BB codes, univariate reduction, and structural limits

A particularly important subclass is the coprime odd case, where \(\ell\) and \(m\) are odd and coprime. Then the bivariate ring becomes equivalent to a univariate cyclic ring:
\[
\psi:\frac{\mathbb{F}_2[x,y]}{\langle x^\ell-1,\; y^m-1\rangle} \to \frac{\mathbb{F}_2[z]}{\langle z^{\ell m}-1\rangle},
\]
with \(z=xy\) and explicit images for \(x\) and \(y\) determined by modular inverses [2502.17052]. This reduction is the key algebraic simplification behind the coprime theory.

In this coprime setting, the central invariant is the gcd of the two defining polynomials with the torus relation. One paper denotes it
\[
h(z)=\gcd(a(z),b(z),z^{\ell m}-1),
\]
and proves the dimension formula
\[
k = 2\,\deg h(z)
\]
for blocklength \(n=2\ell m\) [2502.17052]. A later noisy-syndrome analysis uses the notation
\[
g(z)=\gcd(a(z),b(z),z^N-1),\qquad N=\ell m,
\]
and obtains the equivalent rank statement
\[
k=2\deg g(z),\qquad \rank(H_X)=\rank(H_Z)=N-\deg g(z)
\]
for coprime BB codes in the univariate quotient ring \(R=\mathbb{F}_2[z]/(z^N-1)\) [2601.01137]. Notation differs across these works, but both treat the gcd polynomial as the master invariant of the coprime subclass.

The coprime theory also gives explicit existence constraints. The nontrivial dimension condition reduces to asking which irreducible factors of \(z^{\ell m}-1\) divide trinomials. For prime cyclotomic factors, the relevant criterion states that such minimal polynomials divide trinomials only when the prime is a Mersenne prime or one of the listed outlier primes
\[
73,\ 121\,369,\ 178\,481,\ 262\,657,\ 599\,479,
\]
and the composite case is reduced to the prime case by cyclotomic identities [2502.17052]. Connectedness is characterized by
\[
\gcd(\alpha,\beta,\gamma,\delta,n)=1
\]
for trinomials \(a(z)=1+z^\alpha+z^\beta\), \(b(z)=1+z^\gamma+z^\delta\) [2502.17052].

The same work proves a negative asymptotic result. Any sequence of constant-weight coprime BB codes of trinomial form is asymptotically bad; specifically,
\[
d\le \mathcal{O}(n^{4/5}),\qquad k d^{1/2}\le \mathcal{O}(n),
\]
equivalently
\[
\frac{k}{n}\le \mathcal{O}(d^{-1/2}),\qquad \frac{d}{n}\le \mathcal{O}(n^{-1/5}).
\]
Thus the coprime trinomial subclass is excluded as a route to asymptotically good QLDPC codes, even though moderately long instances remain practically attractive [2502.17052]. A plausible implication is that BB codes are primarily a finite-length rather than asymptotic design family.

## 3. Noisy measurements, syndrome codes, and single-shot decoding

The algebra of BB codes becomes more intricate when stabilizer measurements are noisy. For a CSS code with
\[
H_X \in \mathbb{F}_2^{m_X \times n},\qquad H_Z \in \mathbb{F}_2^{m_Z \times n},
\]
the syndrome layer is controlled by the left nullspaces of \(H_X\) and \(H_Z\). If \(R_X H_X=0\), then the noiseless \(X\)-syndromes form the classical linear code
\[
C_{\mathrm{S}^X}=\{\,s\in\mathbb{F}_2^{m_X}:R_X s=0\,\}=\mathrm{im}(H_X),
\]
and similarly for \(C_{\mathrm{S}^Z}\) [2601.01137]. In the coprime BB family, these syndrome codes are completely determined by the gcd polynomial:
\[
C_{\mathrm{S}^X}=C_{\mathrm{S}^Z}=\{\,\lambda(z)g(z):\lambda(z)\in R\,\},
\]
so both are cyclic length-\(N\) codes generated by \(g(z)\) [2601.01137].

This leads to an exact identity between logical rate and stabilizer redundancy density. Since
\[
r_X=r_Z=\deg g(z)=\frac{k}{2},
\]
one has
\[
\frac{r_X}{N}=\frac{r_Z}{N}=\frac{k}{n}.
\]
The same polynomial that fixes the logical dimension also fixes the number of redundant same-type stabilizer relations [2601.01137]. The syndrome distance \(d_{\mathrm{S}^{X/Z}}\) then quantifies one-round correction of measurement-bit flips, with bounded-distance radius
\[
t_{\mathrm{S}^{X/Z}}=\left\lfloor\frac{d_{\mathrm{S}^{X/Z}}-1}{2}\right\rfloor.
\]

Because the syndrome codes are ordinary cyclic codes generated by \(g(z)\), one can import BCH-style lower bounds: if \(g(z)\) has \(\delta-1\) consecutive roots, then \(d_{\mathrm{S}}\ge \delta\) [2601.01137]. At the same time, Singleton gives the upper bound
\[
d_{\mathrm{S}^{X/Z}}\le \deg g(z)+1=\frac{k}{2}+1,\qquad
t_{\mathrm{S}^{X/Z}}\le \left\lfloor\frac{k}{4}\right\rfloor.
\]
This is the structural bottleneck identified for single-shot decoding in the coprime ansatz: high quantum rate and syndrome robustness are algebraically locked together [2601.01137].

The paper gives explicit small examples. For
\[
N=21,\qquad a(z)=b(z)=1+z^3+z^9,
\]
the code has parameters \([[42,18,d]]\) and syndrome distance \(d_{\mathrm{S}^X}=4\). For
\[
N=63,\qquad a(z)=1+z^{33}+z^{57},\qquad b(z)=1+z^6+z^{39},
\]
the code has parameters \([[126,30,d]]\) and syndrome distance \(d_{\mathrm{S}^X}=10\) [2601.01137]. Under a phenomenological model with data error probability \(p\) and syndrome-bit flip probability \(q\), BP on the syndrome code followed by BP+OSD-2 on the CSS code shows that the \(N=63\) example can track a repeated \(R=3\) baseline closely in a useful low-noise regime, though the paper emphasizes that the result is a finite-radius guarantee rather than a full threshold theorem [2601.01137].

## 4. Boundaries, open-boundary descendants, and subsystem realizations

Standard BB codes are naturally defined with periodic boundary conditions because \(x\) and \(y\) are cyclic shifts on a torus [2412.04181]. Several later constructions address how to obtain open-boundary or hardware-friendlier descendants without abandoning the underlying BB algebra.

One approach is **pruning**. For the univariate hypergraph-product subclass
\[
A(x,y)=A(x),\qquad B(x,y)=B(y),
\]
if
\[
A(x)\mid (x^\ell-1),\qquad B(y)\mid (y^m-1),
\]
then the periodic code
\[
[[2\ell m,\;2r_A r_B,\;\min(d_A,d_B)]]
\]
admits a pruned open-boundary version
\[
[[\ell m+(\ell-r_A)(m-r_B),\; r_A r_B,\; \min(d_A,d_B)]]
\]
that is as local as the original code on a lattice with open boundary conditions [2412.04181]. In this theorem, distance is preserved exactly, the number of logical qubits is halved, and the physical-qubit count stays of the same order [2412.04181].

A second line of work studies **bivariate-bicycle-surface (BBS) codes**, i.e. planar/open-boundary descendants defined from Laurent polynomials \(a(x,y),b(x,y)\in F[x^{\pm1},y^{\pm1}]\). Their dimension is controlled by the quotient
\[
k_{\rm TO} = \dim_F\frac{F[x^{\pm 1},y^{\pm 1}]}{ \langle a,b\rangle},
\]
or equivalently by the number of common roots \((x,y)\) with finite nonzero coordinates, counted with algebraic multiplicity [2606.08771]. Roots at \(x=0,\infty\) or \(y=0,\infty\) signal that specialized generators are needed near the corresponding boundaries, and monomial automorphisms reveal tilted-boundary structure. The paper formulates a prescription for rectangular, diagonal, and arbitrarily tilted boundaries and states that no corner corrections are needed when the orientation-specific edge conditions are satisfied [2606.08771].

A third development is the subsystem realization of BB logical structure. **Subsystem bivariate bicycle (SBB) codes** are translation-invariant CSS subsystem codes with local weight-\(4\) gauge measurements whose stabilizer syndromes are inferred by multiplying gauge outcomes [2605.04151]. When a determinantal-ideal criterion excludes nonlocal stabilizers, a finite-depth Clifford circuit decouples one gauge qubit per unit cell and identifies the protected subsystem with a corresponding BB stabilizer code [2605.04151]. The paper proves that an SBB code is topological if and only if the corresponding BB code is topological, and reports examples including
\[
[[27,6,3]],\quad [[75,10,5]],\quad [[108,12,6]]
\]
[2605.04151].

## 5. Logical operators, self-duality, and transversal Clifford structure

The algebraic study of logical operators reveals a toric-code-like sector structure in many BB codes. In the two-block group-algebra formalism, the logical \(Z\)-operators form the homology group
\[
H=\frac{\{(f,g)\in R_h\oplus R_v\mid cf=dg\}}{\{(rd,rc)\mid r\in R\}},
\]
and a code is called **pure** if \(H\) is generated by horizontally and vertically pure classes [2407.03973]. For odd \(\ell,m\), the ring \(R=\mathbb{F}_2[x,y]/(x^\ell-1,y^m-1)\) is semisimple, and every BB code is pure and principal [2407.03973]. In semiperiodic cases, annihilator ideals are generated explicitly; if \(c=x^k+\zeta(y)\), then
\[
P(x,y)=\sum_{i=0}^{k'-1}x^{\ell-ik}\zeta(y)^i g(y)
\]
generates \(\operatorname{ann}(c)\) [2407.03973]. This yields explicit “nice bases” of logical operators analogous to horizontal and vertical loop operators in the toric code.

These bases support fold-transversal Clifford gates when additional symmetries are present. For symmetric BB codes with
\[
\ell=m,\qquad c(x,y)=d(y,x),
\]
the paper constructs swap-type, Hadamard-type, and phase/CZ-type fold-transversal gates, and gives explicit logical bases and logical gate groups for the \([[98,6,12]]\) and \([[162,8,12]]\) BB codes [2407.03973]. The significance is that BB codes can admit nontrivial no-overhead Clifford operations through lattice symmetries rather than through code switching or added ancillas.

A related but distinct development is the **self-dual** BB subclass on the honeycomb lattice. Here the self-duality condition is
\[
g(x,y)=\overline{f(x,y)},
\]
with \(\overline{x^n y^m}=x^{-n}y^{-m}\) [2510.05211]. The paper proves that the weight-\(6\) self-dual case reduces to the color code or disjoint copies of it, and therefore focuses on weight-\(8\) self-dual BB codes of the form
\[
f(x,y)=1+x+x^a y^b+x^c y^d,\qquad g(x,y)=\overline{f(x,y)}.
\]
These codes support transversal CNOT, Hadamard, and \(S\) gates, and the search up to \(n\le 200\) yields examples including
\[
[[16,4,4]],\ [[40,6,6]],\ [[56,6,8]],\ [[64,8,8]],\ [[120,8,12]],\ [[152,6,16]],\ [[160,8,16]]
\]
[2510.05211]. This suggests that self-duality restores color-code-like transversal Clifford structure while retaining the rate advantages associated with the BB framework.

## 6. Decoding, circuit-level behavior, and later extensions

A large part of the BB literature concerns decoding under increasingly realistic noise models. Under circuit-level noise, one notable result is an analytical theory of greedy peeling for BB codes. For the \([[144,12,12]]\) Gross code, the paper derives a collision-resolution factor
\[
A_0=\frac{|\text{true collisions}|}{|\text{birthday collisions}|}=0.8685,
\]
shows that shared-2 pairs always resolve under peeling, and validates
\[
P_\text{peel} = \exp\!\left(-A_0\, \gamma_\text{analytic}\, e^{-BTp}\, n\, p^2\right)
\]
across five BB codes with \(R^2=0.86\) [2604.11352]. At \(p=10^{-3}\), deferred greedy achieves identical logical error rate to BP+OSD for \([[144,12,12]]\) while giving a reported \(330\times\) latency reduction, and the \([[32,8,6]]\) code with \(d_S=4\) supports two-shot streaming decoding with \(89\%\) peeling success and a \(1.29\pm 0.03\) LER ratio versus \(T=12\) [2604.11352].

Several decoder families have been developed specifically for BB codes. A recurrent transformer-based decoder for circuit-level noise achieves a logical error rate almost \(5\) times lower than BP-OSD on \([[72,12,6]]\) at \(p=0.1\%\), and remains an order of magnitude faster than the worst-case times of a benchmark BP-OSD implementation, though on \([[144,12,12]]\) it has worse logical error rates while retaining the speed advantage [2504.13043]. A different line extends multiple-bases BP to the **Multiple-Bases Belief-Propagation List Decoder (MBBP-LD)**; on \([[144,12,12]]\) it achieves up to \(40\%\) lower logical error rate than BP-OSD while preserving the linear-time complexity profile of plain BP under parallel scheduling [2511.02951]. Matching-based decoding has also entered the field: a recent MWPM decoder uses the equivalence of BB codes to copies of the toric code and introduces the “cylinder trick,” with additional gains from BP and “over-matching” on gross codes, cyclic hypergraph-product codes, generalized toric codes, and directional codes [2602.22770].

The BB framework has also expanded in several orthogonal directions. Covering-graph methods generate infinite BB-code sequences from a base Tanner graph; for odd cover degree \(h\), the paper proves
\[
n_h=hn,\qquad k_h\ge k,\qquad d_h\le hd,
\]
and if \(k_h=k\), then
\[
d\le d_h\le hd
\]
[2511.13560]. The Gross code \([[144,12,12]]\) is reinterpreted there as a 2-cover of \([[72,12,6]]\), and the same framework yields new weight-\(8\) BB codes such as \([[64,14,8]]\) and \([[144,14,14]]\) [2511.13560]. Beyond the bivariate setting, multivariate generalizations recover BB codes as the \(r=2\) member of a broader family [2406.19151], while independent trivariate bicycle codes preserve the same bicycle/CSS block form and produce examples including \([[140,6,14]]\) with code-capacity pseudothreshold \(8.02\%\) and circuit-level pseudothreshold \(0.59\%\) [2603.17703]. Other hardware-oriented extensions include Stairway codes, which Floquetify Abelian two-block group algebra codes including the BB family [2603.00228], and BiBiEQ, which compiles BB memory circuits into erasure-aware circuits and shows that under the 4EC schedule the approximate and exact conversion engines remain close while most subthreshold gains are already realized by the \([[108,8,10]]\) BB instance [2602.07578].

Taken together, these results present BB codes as a broad algebraic platform rather than a single static code family. The same sparse two-block structure supports univariate reductions, explicit logical-operator theory, noisy-syndrome cyclic codes, open-boundary and subsystem descendants, fold-transversal or transversal Clifford gates in special subclasses, and a wide range of decoders under phenomenological, circuit-level, Floquet, and erasure-aware noise models [2502.17052]. A plausible synthesis is that BB codes are most significant as a finite-length, algebraically programmable QLDPC design space whose strengths and weaknesses are controlled as much by symmetries, gcd structure, and boundary conditions as by raw check sparsity alone.

Source: https://www.emergentmind.com/topics/bicycle-bivariate-codes