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

# Bivariate Bicycle qLDPC Codes

Bivariate bicycle qLDPC codes are CSS stabilizer codes built from sparse bivariate polynomials over the quotient ring \(R=\mathbb{F}_2[x,y]/(x^\ell-1,y^m-1)\), or equivalently from two-block group-algebra constructions over \(\mathbb{Z}/\ell \times \mathbb{Z}/m\). Their parity checks are block-circulant, quasi-cyclic, and sparse; in the widely studied instantiations derived from three monomials in each of \(A\) and \(B\), stabilizers have weight \(6\), each data qubit has constant degree, and the Tanner graph exhibits 2D periodicity together with a controlled amount of long-range connectivity [2604.25026][2407.03973]. The family has consequently become a focal point for three interconnected research programs: algebraic analysis of logical operators and symmetries, decoding on sparse but loopy Tanner graphs, and hardware architectures that either exploit or compensate for the nonlocal edges.

## 1. Algebraic framework and CSS structure

The standard BB construction starts from two sparse bivariate polynomials,
\[
A(x,y)=\sum_{i,j} a_{ij}x^iy^j,\qquad B(x,y)=\sum_{i,j} b_{ij}x^iy^j,
\]
over
\[
R=\mathbb{F}_2[x,y]/(x^\ell-1,y^m-1).
\]
With the commuting shift operators
\[
x=S_\ell\otimes I_m,\qquad y=I_\ell\otimes S_m,
\]
each monomial \(x^iy^j\) becomes a block-circulant shift on an \(\ell\times m\) torus, and \(A,B\) become \(\ell m\times \ell m\) binary matrices. The CSS parity-check matrices are then
\[
H_X=[A\ B],\qquad H_Z=[B^T\ A^T],
\]
with the commutation condition
\[
H_XH_Z^T=0,
\]
equivalently \(AB+BA=0\pmod 2\) in the bicyclic presentation [2604.25026][2407.03973].

The same family admits a two-block or group-algebra description. Writing \(R=\mathbb{F}_2[G]\) for \(G=\mathbb{Z}/\ell\times \mathbb{Z}/m\), one forms a three-term complex
\[
C(c,d):\ R \leftarrow R_h\oplus R_v \leftarrow R,
\]
with differentials \((c,-d)\) and \((d,c)\). In this language, physical qubits occupy horizontal and vertical edge sectors, and logical \(Z\)-operators are represented by homology classes
\[
H_1(C(c,d))=\{(f,g)\in R_h\oplus R_v:cf=dg\}/\{(rd,rc):r\in R\}.
\]
This formulation is central to explicit logical-basis constructions and fold-transversal gates [2407.03973].

In the instantiations studied in several implementation papers, \(A=A_1+A_2+A_3\) and \(B=B_1+B_2+B_3\) are each sums of three monomials in \(x\) or \(y\). Each row and column of \(A\) and \(B\) then has weight \(3\), so the stabilizers derived from \(H_X,H_Z\) have weight \(6\) [2604.25026]. This sparse constant-weight structure is the reason BB codes are classed as qLDPC rather than merely quasi-cyclic stabilizer codes.

## 2. Tanner-graph geometry and representative code families

The Tanner graph of a BB code is bipartite between data qubits and check nodes. In the principal benchmark family, each data vertex has degree \(3\) and each check vertex has degree \(6\), and the quasi-cyclic structure creates a 2D toric arrangement with periodic boundary conditions. Long-range edges arise from monomials \(x^iy^j\) that wrap support around the torus, so BB codes are not strictly planar nearest-neighbor codes even when they admit regular 2D embeddings [2604.25026]. This has two immediate consequences that recur throughout the literature: short cycles and trapping sets degrade iterative decoding, and hardware implementations must either realize or virtualize a limited set of nonlocal couplings [2605.14170][2404.17676].

A distinct but related geometric statement is that bicycle Tanner graphs have thickness \(2\), which has motivated bilayer and two-sided layouts in both neutral-atom and superconducting-style discussions [2404.18809]. At the same time, several papers emphasize that BB codes retain nonzero rate and significantly higher encoding rate than the surface code at comparable blocklengths [2504.13043][2404.17676].

| Code | Reported parameters | Typical context |
|---|---|---|
| \([[72,12,6]]\) | \(n=72,\ k=12,\ d=6\) | circuit-level decoding, networked and erasure-aware studies |
| \([[90,8,10]]\) | \(n=90,\ k=8,\ d=10\) | networked, fusion-based, and 2D-local studies |
| \([[108,8,10]]\) | \(n=108,\ k=8,\ d=10\) | 2D-local and photonic studies |
| \([[144,12,12]]\) | \(n=144,\ k=12,\ d=12\) | main decoder and hardware benchmark |
| \([[288,12,18]]\) | \(n=288,\ k=12,\ d=18\) | larger BB benchmark; modular “two-gross” instance |
| \([[882,24,18\le d\le 24]]\) | B1 code | large-code decoder generality |

Beyond these benchmark instances, symmetry-focused work constructs \([[98,6,12]]\) and \([[162,8,12]]\) BB codes with explicit logical bases and fold-transversal Clifford gates [2407.03973]. Implementation papers also single out the “gross” code \([[144,12,12]]\) and “two-gross” code \([[288,12,18]]\) as architectural primitives in modular schemes [2506.03094].

A common misconception is to treat BB codes as surface-code variants with a few extra edges. The papers instead describe them as sparse CSS qLDPC codes with structured 2D periodicity and controlled nonlocality: they are toric in layout, but their algebraic definition and logical content are not reducible to topological nearest-neighbor stabilizer patterns [2604.25026][2412.04181].

## 3. Logical operators, homology, and transversal gate structure

The logical-operator theory of BB codes is unusually explicit for a qLDPC family. In the two-block formalism, logical \(Z\)-operators live in
\[
H=\{(f,g)\in R_h\oplus R_v:cf=dg\}/\{(rd,rc):r\in R\}.
\]
For odd \(\ell,m\), the ring \(R\) is semisimple, and the codes are pure and principal: \(H\) decomposes as
\[
R/(c,d)\oplus R/(c,d)\to H,\qquad ([f],[g])\mapsto [fP,gQ],
\]
where \(P\) and \(Q\) generate \(\mathrm{ann}(c)\) and \(\mathrm{ann}(d)\) [2407.03973]. This yields explicit horizontal and vertical logical sectors analogous to toric-code cycles, while preserving BB’s high-rate qLDPC structure.

For the symmetric examples \([[98,6,12]]\) and \([[162,8,12]]\), the papers construct “nice” logical bases and corresponding dual \(X\)-bases. These bases make the action of translation automorphisms, axis exchange, and ZX-duality transparent. In the \([[98,6,12]]\) case, the fold-transversal gates generated by \(SWAP_x\), \(SWAP_\omega\), \(H_{\tau_0}\), and \(CZ_{\tau_0\omega}\) act as symplectic matrices over \(\mathbb{F}_{2^3}\), and the resulting logical gate group modulo Paulis is
\[
G\cong C_2\times PSL_2(\mathbb{F}_{2^3})=C_2\times Sp_2(\mathbb{F}_{2^3}).
\]
For \([[162,8,12]]\), the corresponding group is
\[
G\cong Sp_2(\mathbb{F}_{2^2})\times \left(Sp_2(\mathbb{F}_{2^2})\rtimes C_2\right)
\]
[2407.03973]. These are Clifford-only constructions; the same work explicitly identifies the absence of a non-Clifford transversal gate as an open issue.

Self-dual extensions modify the BB family rather than the logical theory. Stacking a non-self-dual BB code with its transpose-related partner yields a self-dual double-layer code with
\[
H_X=H_Z=
\begin{pmatrix}
A & B^{\mathsf T} & A^{\mathsf T} & B\\
B^{\mathsf T} & A & B & A^{\mathsf T}
\end{pmatrix}
=
\begin{pmatrix}
U & U^{\mathsf T}
\end{pmatrix},
\qquad
U=I_2\otimes A+\sigma_x\otimes B^{\mathsf T},
\]
preserving LDPC sparsity while enabling transversal Clifford structure [2602.15372]. Numerical calculations under a circuit-level noise model report pseudo-thresholds exceeding \(0.7\%\) for odd-weight double-layer families and up to \(\approx 0.5\%\) for even-weight stacked codes [2602.15372].

A further extension appears in the lifted-product setting, where 2D bivariate bicycle codes act as component codes of 3D bivariate tricycle codes. Under the algebraic conditions \(|G|\) odd and \(c\in (a,b)\), the LP structure gives a one-way transversal CNOT from a 3D code to its 2D BB component, enabling teleportation-based code switching, while the 3D tricycle admits a depth-2 CCZ [2510.07269]. This suggests a division of labor in which BB layers provide low-overhead Clifford handling and related product codes provide non-Clifford resources.

## 4. Decoding on sparse but loopy graphs

Decoding BB codes is dominated by the tension between LDPC sparsity and abundant short cycles. In the standard CSS setting, \(X\)- and \(Z\)-components are decoded independently, and many works analyze one binary component under a binary symmetric channel or a detector-space reduction of circuit-level noise. A representative normalized min-sum update takes the form
\[
m_{c\to v}^{(t+1)}=\alpha\Bigg[\prod_{v'\in N(c)\setminus v}\mathrm{sign}(m_{v'\to c}^{(t)})\Bigg]\min_{v'\in N(c)\setminus v}|m_{v'\to c}^{(t)}|,
\]
\[
m_{v\to c}^{(t+1)}=\mu_i+\sum_{c'\in N(v)\setminus c}m_{c'\to v}^{(t)},
\qquad
m_i^{(t)}=\mu_i+\sum_{c\in N(v_i)}m_{c\to v_i}^{(t)},
\]
with \(\mu_i=\log((1-p)/p)\) and hard decision \(\hat e_i=0\) if \(m_i^{(t)}\ge 0\), else \(1\) [2605.14170]. The central obstacle is that BP is exact on trees, whereas BB Tanner graphs contain many short cycles and trapping sets.

The most explicit decoder tailored to this observation is the Multiple-Bases Belief-Propagation List Decoder. MBBP-LD constructs redundant parity-check “bases” by cycle-free subtree decompositions of the Tanner graph, augments
\[
H^{(t)}=
\begin{bmatrix}
H\\
H_t
\end{bmatrix},
\]
runs BP in parallel on each basis, and selects a candidate by the frequency-weighted score
\[
f_{\mathrm{DM}}^{\mathrm{FWS}}(L)=\arg\max_{e\in L}\frac{|\{e'\in L:e'=e\}|}{w_H(e)+1}.
\]
For \([[144,12,12]]\), MBBP-LD achieves \(3\%\)–\(24\%\) logical-error-rate reduction versus BP-OSD and \(7\%\)–\(17\%\) versus BPGD across low-to-moderate \(p\); for \([[288,12,18]]\), LER reductions reach up to \(49\%\) compared to BP-OSD and up to \(36\%\) compared to BPGD. On the larger B1 code \([[882,24,18\le d\le 24]]\), it remains competitive with BPGD while maintaining BP-like latency under parallel implementation [2605.14170].

Circuit-level decoding has produced several other BB-specific benchmarks. A sliding-window BP decoder with guided decimation guessing attains a similar logical error rate as BP with ordered-statistics decoding and combination-sweep of order \(10\); for a window size of three syndrome cycles, a multi-threaded CPU implementation achieves a worst-case decoding latency of \(3\) ms per window for the \([[144,12,12]]\) code [2403.18901]. Ambiguity Clustering, which clusters ambiguous post-BP regions and decodes them independently, is up to \(27\times\) faster than BP-OSD with matched accuracy at \(0.3\%\) circuit-level depolarising noise, and decodes the 144-qubit Gross code in \(135\,\mu\)s per round of syndrome extraction on an M2 CPU [2406.14527]. A recurrent transformer with code-aware attention goes further on \([[72,12,6]]\): at \(p=0.1\%\), its logical error rate is almost \(5\) times lower than BP-OSD, while maintaining more consistent runtime. On \([[144,12,12]]\), the same model is worse at low \(p\), with logical error rate roughly \(7\times\) higher than BP-OSD at \(p=0.1\%\), but still retains a speed advantage of more than one order of magnitude [2504.13043].

Erasure-dominated settings lead to different decoders and different structural metrics. The Quantum Maxwell Erasure Decoder extends peeling with bounded symbolic guessing, runs in
\[
O\!\big(|E_0|\,d_v\,d_c\,B^2\big),
\]
and on tested BB instances approaches maximum-likelihood performance with small budgets; for the BB code \([[360,12,\le 24]]\), budgets \(1\le B\le 6\) interpolate smoothly between peeling and ML and already recover ML-like performance in the observed range [2601.10713]. In erasure-aware circuit models, BiBiEQ compiles BB memory circuits with explicit erasure checks. For the studied \([[72,12,6]]\), \([[108,8,10]]\), and \([[144,12,12]]\) families, the distance hop \(6\to 10\) yields a drop in per-round LER by \(10\)–\(17\times\) larger than the hop \(10\to 12\), and the \(4\)EC schedule keeps the exact and approximate engines close enough that the approximate engine becomes a reliable proxy for faster sweeps [2602.07578].

## 5. Implementation pathways

The geometry of BB codes has motivated a wide range of hardware mappings. In a strictly 2D-local setting, a bilayer architecture with LOCC-based routing measures light checks every round and heavy checks less frequently. Circuit-level simulations show that, in some parameter regimes, BB codes implemented with this protocol have logical error rates comparable to the surface code while using fewer physical qubits; for example, the \([[144,12,12]]\) BB code reaches \(\epsilon_L=1.56\times 10^{-4}\) with \(576\) qubits, compared with \(12\) surface-code patches using \(852\) qubits and \(\epsilon_L\approx 1.43\times 10^{-4}\) [2404.17676].

A related but distinct route is networked implementation. Here the combined Tanner graph
\[
H_{XZ}=
\begin{bmatrix}
H_X\\
H_Z
\end{bmatrix}
\]
is bipartitioned by balanced min-cut so that cross-node stabilizer interactions are implemented by Bell-pair-assisted teleported CNOTs. For \([[72,12,6]]\), a typical bipartition has \(E_{\mathrm{cut}}=104\) bridge edges; for \([[90,8,10]]\), \(E_{\mathrm{cut}}\approx 102\); and for \([[144,12,12]]\), \(E_{\mathrm{cut}}\approx 124\). Circuit-level simulations indicate that a \(\approx 1\%\) threshold exists for local gate noise in the two-node networked setting, and that Bell pairs with fidelity \(F\ge 99\%\) are necessary for the networked implementation to be competitive with the monolithic architecture at practical \(p\approx 10^{-3}\)–\(10^{-2}\) [2604.25026].

Neutral-atom and photonic realizations have pushed the implementation story further. A neutral-atom Rydberg proposal combines a dilation-and-folding remapping with optimized ancilla placement, reducing the maximum Euclidean communication distance for \([[144,12,12]]\) from \(23\) or \(21\) lattice spacings in earlier layouts to \(7.21\), and achieves an optimized \(\mathrm{CZ}\) gate with fidelity \(\mathcal F>0.999\) at distances greater than \(12\,\mu\mathrm m\). For the \([[144,12,12]]\) code this yields a full error-correction cycle estimate of \(\sim 1.28\) ms [2404.18809]. In fusion-based photonic architectures with emitter-generated resource states, small BB codes attain Pauli-error-only pseudo-thresholds up to \(0.181\%\) and erasure-only pseudo-thresholds up to \(8.70\%\) for \([[144,12,12]]\); under modified repeat-until-success fusion, the photon-loss pseudo-threshold for \([[144,12,12]]\) saturates around \(\approx 3\%\) at \(N=8\) [2509.17223].

The modular “bicycle architecture” treats \([[144,12,12]]\) and \([[288,12,18]]\) as code modules with explicit logical instruction sets, adapters, and T factories. For these two specific BB codes, the architecture supplies fault-tolerant logical instruction sets, decoder assumptions, and a compilation strategy adapted to module constraints, and its end-to-end resource estimates show that an order of magnitude larger logical circuits can be implemented with a given number of physical qubits than on surface-code architectures [2506.03094].

## 6. Boundary conditions, derived families, and structural limits

The original BB construction is toric, but open-boundary variants are now explicit. For the hypergraph-product or univariate specialization \(A(x,y)=A(x)\), \(B(x,y)=B(y)\), pruning removes qubits and checks that enforce periodic wraparound while preserving locality. If \(A(x)\mid (x^\ell-1)\) and \(B(y)\mid (y^m-1)\), the pruned code has parameters
\[
[[\le 2\ell m,\ k,\ d]],
\]
and more specifically
\[
[[\ell m+(\ell-r_A)(m-r_B),\ r_A r_B,\ \min(d_A,d_B)]],
\]
while remaining “as local” as the toric parent [2412.04181]. The same paper also constructs explicit pruned examples beyond the univariate case, including color-code-related and inverse-monomial instances, and shows that certain fold-transversal phase-type gates descend to the pruned codes [2412.04181].

A different frontier concerns measurement noise and single-shot correction. In the coprime BB subclass with \(N=\ell m\), trinomials \(a(z),b(z)\), and
\[
g(z)=\gcd(a(z),b(z),z^N-1),
\]
the logical dimension is
\[
k=2\deg g(z),
\]
and the same polynomial governs stabilizer redundancy and the classical syndrome codes required for single-shot decoding. Per stabilizer type,
\[
r_X=r_Z=\deg g(z)=k/2,
\qquad
\frac{r_X}{N}=\frac{r_Z}{N}=\frac{k}{n}.
\]
The syndrome codes are cyclic codes generated by \(g(z)\), so BCH-like root arguments can raise the syndrome distance \(d_S\), but the same algebra imposes the cap
\[
d_S\le \deg g(z)+1 = k/2 + 1.
\]
This is the structural bottleneck identified in the coprime ansatz: high quantum rate fixes a corresponding upper bound on single-shot measurement tolerance [2601.01137].

Several derived families alter the noise model or even the Pauli structure. Romanesco codes are Clifford-deformed bivariate bicycle codes on a bipartite hexagonal lattice; they are non-CSS, self-dual, and each stabilizer is half \(X\) and half \(Z\). Under strong noise bias, their effective distance approaches the distance of the underlying classical cellular-automaton input codes, and simulations show that a \([[288,12,12]]_\clubsuit^{\mathrm{torus}}\) Romanesco code can outperform the \([[288,12,18]]\) BB CSS code over a wide bias range because its large-bias effective distance is governed by the classical distance \(d_c=54\) rather than the CSS distance \(18\) [2506.00130]. Twisted-torus generalizations over finite fields extend the bivariate-bicycle framework to qudits. In the finite-length search reported so far, twisted-torus qudit constructions typically achieve larger distances than untwisted counterparts and outperform previously reported twisted qubit instances; representative examples include \([[48,4,10]]_{q=3}\), \([[216,8,31]]_{q=5}\), and \([[216,8,34]]_{q=7}\) [2602.04443].

These developments clarify the present status of BB qLDPC codes. The family is no longer a single toric construction with a single decoder, but a broader algebraic ecosystem with explicit logical bases, several decoding paradigms, open-boundary and self-dual variants, bias-tailored deformations, and hardware-specific realizations. The enduring open questions are correspondingly structural rather than merely numerical: how to enlarge syndrome distance without sacrificing rate, how to preserve favorable gate symmetries under boundary modifications, and how to co-design code families, decoders, and architectures around the long-range but highly organized couplings that define the bivariate bicycle paradigm [2601.01137][2412.04181].

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