Challenges
Datasets
Workspaces
Papers
Discussions
Leaderboard
Log inSign up
Challenges
Datasets
Workspaces
Papers
Discussions
Leaderboard
Blog
Job Board
Q3AS

© 2026 Aqora Quantum S.A.S.

TermsPrivacyLegal Notice

arXiv:2609.36213

Bivariate Bicycle Codes over Group Algebras

Chaobin Liu

quant-phSubmitted Sep 28, 2026• Announced Sep 30, 2026• 0 citations
arXivHTMLPDF

Abstract

We study a weighted-shift formulation of bivariate bicycle group-algebra (BBGA) codes over finite group algebras. One binary shift acts by right multiplication and the other by left multiplication; associativity ensures that these shifts commute even for a nonabelian seed group. Bivariate polynomials in the shifts, including mixed monomials, therefore define CSS codes. We give explicit sparsity bounds and distinguish nonabelian seed groups from codes that are intrinsically inequivalent to abelian realizations. For $D_3$, a pair of weighted permutation shifts generates a regular $C_6\times C_{12}$ action and recovers the known $[[144,12,12]]$ and $[[144,14,14]]$ bivariate bicycle codes. We also present a computer-verified $[[144,16,12]]$ code over $A_4\times C_6$, with every check of weight eight. This example belongs to the established nonabelian two-block group-algebra family. Exhaustive low-weight enumeration and an intrinsic stabilizer-support invariant certify that it is inequivalent to any ordinary abelian BB or two-block group-algebra realization, even under qubit permutations combined with local Clifford operations. Finally, a nonuniform weighted-shift construction over $\mathbb{F}_2[C_3]$ yields a $[[18,4,3]]$ code with check weights six and eight. An exact enumeration of its minimum stabilizer supports rules out every ordinary binary 2BGA realization at that length, under the same equivalence. This establishes that the unrestricted weighted-shift formulation extends beyond the ordinary 2BGA class, even with an abelian seed group.

Related papers

Quantum bivariate bicycle codes with weight-8 checks surpassing the BB benchmark

Liangdong Lu, Ruipan Yang, Guanmin Guo

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 $kd^2/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=2\dim R/(A,B)$ (forcing even $k$), a $4\ell m$-element symmetry group on generator pairs, an $X/Z$ distance equality $d_X=d_Z$, 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\ge 15]]$ exceeds the benchmark distance $12$ (certified $d\ge 15$), $[[144,10,12]]$ reaches it with weight-$8$ checks, and $[[144,16,10]]$ encodes a third more logical qubits at $kd^2/n=11.11$ ($7.4\%$ below benchmark) while decoding no worse. At $n=72$, $[[72,14,8]]$ attains $kd^2/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 $\approx 0.1\%$ pseudo-threshold versus $\approx 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.

quant-pharXiv:2609.06572•Sep 8, 2026•0 citations

Quantum two-block group algebra codes

Hsiang-Ku Lin, Leonid P. Pryadko

We consider quantum two-block group algebra (2BGA) codes, a family of smallest lifted-product (LP) codes. These codes are related to generalized-bicycle codes, except a cyclic group is replaced with an arbitrary finite group, generally non-Abelian. As special cases, 2BGA codes include a subset of square-matrix LP codes over Abelian groups, including quasicyclic codes, and all square-matrix hypergraph-product codes constructed from a pair of classical group codes. We establish criteria for permutation equivalence of 2BGA codes and give bounds for their parameters, both explicit and in relation to other quantum and classical codes. We also enumerate the optimal parameters of all inequivalent binary connected 2BGA codes with stabilizer generator weights $W\ensuremath{\le}8$, of length $n\ensuremath{\le}100$ for Abelian groups, and $n\ensuremath{\le}200$ for non-Abelian groups.

arXiv:2306.16400•Physical Review A•Feb 5, 2024•33 citations

Breaking the bicycle frame: Coset-based quantum LDPC codes

Arda Aydin, Itzhak Tamo, Alexander Barg

Generalizing the construction of two-block group algebra (2BGA) codes, we introduce a family of two-block quantum LDPC codes constructed using the action of a group on the cosets of its subgroup. This replaces the regular group actions of the earlier two-block constructions and significantly expands the search space, yielding new quantum LDPC codes outside the 2BGA family. Through a computer search, we identify several new quantum LDPC codes, including weight-6 codes with parameters $[[48,8,6]]$, $[[96,8,10]]$, and $[[224,12,16]]$, as well as weight-8 codes with parameters $[[84,16,8]]$, $[[112,16,10]]$, $[[128,16,12]]$, and $[[168,16,15]]$. Furthermore, we introduce a maximally packed syndrome extraction schedule of depth $w+2$, including initialization and measurement steps, for any code with a maximum stabilizer weight of $w$ from our family. Under a standard circuit-level noise model, our codes, when decoded using BP-OSD, perform competitively with BB codes, achieving thresholds of $\approx0.65\%$ for the weight-6 family and $\approx0.35\%$ for the weight-8 family. Finally, we introduce a group-theoretic framework to generate sequences of graph-based covers of 2BGA codes, recovering and extending recent results on code constructions of this type.

quant-pharXiv:2606.17268•Jun 17, 2026•0 citations

Topological subsystem bivariate bicycle codes with four-qubit check operators

Zijian Liang, Yu-An Chen

High-rate bivariate bicycle (BB) codes are promising low-overhead quantum memories, but their stabilizer checks typically have weight $6$ or higher, making syndrome extraction challenging. We introduce subsystem bivariate bicycle (SBB) codes, a translation-invariant CSS subsystem construction that realizes BB-code logical structure using local weight-$4$ gauge measurements. Their stabilizer syndromes are inferred by multiplying the corresponding gauge outcomes. We further show that nonlocal stabilizers in translation-invariant CSS subsystem codes can be detected using a determinantal-ideal criterion based on the gauge-operator commutation matrix. When this criterion excludes nonlocal stabilizers, a finite-depth Clifford circuit decouples gauge qubits and identifies the protected subsystem with a corresponding BB stabilizer code. An SBB code is topological, meaning that it has no nontrivial local logical operators, if and only if the corresponding BB code is topological. A finite search yields low-overhead examples including $[[27,6,3]]$, $[[75,10,5]]$, and $[[108,12,6]]$; the latter encodes six times more logical qubits than a subsystem surface code at the same block length and distance. These results show how gauge degrees of freedom can make high-rate BB logical structure compatible with local weight-$4$ syndrome extraction.

quant-pharXiv:2605.04151•May 7, 2026•0 citations

Spectral Theory of Semisimple Bivariate Bicycle Codes

Eric Sabo, Mahir Bilen Can, David Marquis

Extending the classical theory of two-dimensional cyclic codes, we develop an algebraic approach to bivariate bicycle codes. Using Frobenius-orbit idempotents, formulas for logical dimensions are derived and lower bounds on minimum distances are established. A systematic theory of code symmetries is formulated to construct a structured block-monomial subgroup of coordinate permutations. Several explicit examples show how to generate these codes from first principles without relying on numerical searches. An appendix extends the analysis to BCH-based product constructions.

quant-pharXiv:2608.27565•Aug 31, 2026

Logical Operator Decomposition for Distance Analysis of Bivariate Bicycle Codes

Mohammad Rowshan, Simon Devitt

Bivariate bicycle (BB) quantum codes are a prominent finite-length family of quantum low-density parity-check codes, but their minimum distance is usually established numerically rather than read from the defining polynomials. We study the $Z$-logical quotient $K/S$ over $\mathbb F_2[x,y]/(x^\ell-1,y^m-1)$ and show that it fits into a short exact sequence with an annihilator quotient as kernel and a colon quotient as cokernel. The sequence gives an explicit logical basis, a dimension formula, and a componentwise distance identity $d_Z=\min(d_{\mathcal A},d_{\mathcal C})$. Using the Frobenius structure of the finite group algebra, we prove $r_{\mathcal A}=r_{\mathcal C}=k/2$ for every BB code, including repeated-root cases. The algebraic component of a logical class is distinct from the support shape of its lightest representatives: an annihilator class can have a lighter two-block representative, and a colon class can have a one-sided minimum. For lower bounds we show that every proper subset of a minimum-weight logical operator has nonzero syndrome, and that this property persists inside the colon component but not inside the annihilator component. A translation-anchored cluster search built on it proves the distances $4,6,10,10,12,18$ of the six standard BB codes of lengths $18$ to $288$ and enumerates every minimum-weight logical operator. The resulting census shows that $[[108,8,10]]$ is the only one of the six whose distance is attained in a single component, with $d_{\mathcal C}=10$ and $d_{\mathcal A}=12$.

quant-pharXiv:2609.39395•Oct 1, 2026•0 citations
We study a weighted-shift formulation of bivariate bicycle group-algebra (BBGA) codes over finite group algebras. One binary shift acts by right multiplication and the other by left multiplication; associativity ensures that these shifts commute even for a nonabelian seed group. Bivariate polynomials in the shifts, including mixed monomials, therefore define CSS codes. We give explicit sparsity bounds and distinguish nonabelian seed groups from codes that are intrinsically inequivalent to abelian realizations. For D3D_3D3​, a pair of weighted permutation shifts generates a regular C6×C12C_6\times C_{12}C6​×C12​ action and recovers the known [[144,12,12]][[144,12,12]][[144,12,12]] and [[144,14,14]][[144,14,14]][[144,14,14]] bivariate bicycle codes. We also present a computer-verified [[144,16,12]][[144,16,12]][[144,16,12]] code over A4×C6A_4\times C_6A4​×C6​, with every check of weight eight. This example belongs to the established nonabelian two-block group-algebra family. Exhaustive low-weight enumeration and an intrinsic stabilizer-support invariant certify that it is inequivalent to any ordinary abelian BB or two-block group-algebra realization, even under qubit permutations combined with local Clifford operations. Finally, a nonuniform weighted-shift construction over F2[C3]\mathbb{F}_2[C_3]F2​[C3​] yields a [[18,4,3]][[18,4,3]][[18,4,3]] code with check weights six and eight. An exact enumeration of its minimum stabilizer supports rules out every ordinary binary 2BGA realization at that length, under the same equivalence. This establishes that the unrestricted weighted-shift formulation extends beyond the ordinary 2BGA class, even with an abelian seed group.
Bivariate bicycle (BB) codes of Bravyi \emph{et al.}~\cite{Bravyi2024} are quantum low-density parity-check codes with weight-666 checks, exemplified by [[144,12,12]][[144,12,12]][[144,12,12]] with kd2/n=12kd^2/n=12kd2/n=12. We develop the algebraic structure theory of BB-type codes with weight-888 checks (weight-444 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=2dim⁡R/(A,B)k=2\dim R/(A,B)k=2dimR/(A,B) (forcing even kkk), a 4ℓm4\ell m4ℓm-element symmetry group on generator pairs, an X/ZX/ZX/Z distance equality dX=dZd_X=d_ZdX​=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=144n=144n=144 the pipeline returns a census of 535353 codes whose strongest members surpass the BB benchmark: [[144,6,d≥15]][[144,6,d\ge 15]][[144,6,d≥15]] exceeds the benchmark distance 121212 (certified d≥15d\ge 15d≥15), [[144,10,12]][[144,10,12]][[144,10,12]] reaches it with weight-888 checks, and [[144,16,10]][[144,16,10]][[144,16,10]] encodes a third more logical qubits at kd2/n=11.11kd^2/n=11.11kd2/n=11.11 (7.4%7.4\%7.4% below benchmark) while decoding no worse. At n=72n=72n=72, [[72,14,8]][[72,14,8]][[72,14,8]] attains kd2/n=12.44kd^2/n=12.44kd2/n=12.44---more than twice the same-length BB code---and decodes better; a circuit-level memory experiment places our weight-888 codes at ≈0.1%\approx 0.1\%≈0.1% pseudo-threshold versus ≈0.4%\approx 0.4\%≈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.
We consider quantum two-block group algebra (2BGA) codes, a family of smallest lifted-product (LP) codes. These codes are related to generalized-bicycle codes, except a cyclic group is replaced with an arbitrary finite group, generally non-Abelian. As special cases, 2BGA codes include a subset of square-matrix LP codes over Abelian groups, including quasicyclic codes, and all square-matrix hypergraph-product codes constructed from a pair of classical group codes. We establish criteria for permutation equivalence of 2BGA codes and give bounds for their parameters, both explicit and in relation to other quantum and classical codes. We also enumerate the optimal parameters of all inequivalent binary connected 2BGA codes with stabilizer generator weights $W\ensuremath{\le}8$, of length $n\ensuremath{\le}100$ for Abelian groups, and $n\ensuremath{\le}200$ for non-Abelian groups.
Generalizing the construction of two-block group algebra (2BGA) codes, we introduce a family of two-block quantum LDPC codes constructed using the action of a group on the cosets of its subgroup. This replaces the regular group actions of the earlier two-block constructions and significantly expands the search space, yielding new quantum LDPC codes outside the 2BGA family. Through a computer search, we identify several new quantum LDPC codes, including weight-6 codes with parameters [[48,8,6]][[48,8,6]][[48,8,6]], [[96,8,10]][[96,8,10]][[96,8,10]], and [[224,12,16]][[224,12,16]][[224,12,16]], as well as weight-8 codes with parameters [[84,16,8]][[84,16,8]][[84,16,8]], [[112,16,10]][[112,16,10]][[112,16,10]], [[128,16,12]][[128,16,12]][[128,16,12]], and [[168,16,15]][[168,16,15]][[168,16,15]]. Furthermore, we introduce a maximally packed syndrome extraction schedule of depth w+2w+2w+2, including initialization and measurement steps, for any code with a maximum stabilizer weight of www from our family. Under a standard circuit-level noise model, our codes, when decoded using BP-OSD, perform competitively with BB codes, achieving thresholds of ≈0.65%\approx0.65\%≈0.65% for the weight-6 family and ≈0.35%\approx0.35\%≈0.35% for the weight-8 family. Finally, we introduce a group-theoretic framework to generate sequences of graph-based covers of 2BGA codes, recovering and extending recent results on code constructions of this type.
High-rate bivariate bicycle (BB) codes are promising low-overhead quantum memories, but their stabilizer checks typically have weight 666 or higher, making syndrome extraction challenging. We introduce subsystem bivariate bicycle (SBB) codes, a translation-invariant CSS subsystem construction that realizes BB-code logical structure using local weight-444 gauge measurements. Their stabilizer syndromes are inferred by multiplying the corresponding gauge outcomes. We further show that nonlocal stabilizers in translation-invariant CSS subsystem codes can be detected using a determinantal-ideal criterion based on the gauge-operator commutation matrix. When this criterion excludes nonlocal stabilizers, a finite-depth Clifford circuit decouples gauge qubits and identifies the protected subsystem with a corresponding BB stabilizer code. An SBB code is topological, meaning that it has no nontrivial local logical operators, if and only if the corresponding BB code is topological. A finite search yields low-overhead examples including [[27,6,3]][[27,6,3]][[27,6,3]], [[75,10,5]][[75,10,5]][[75,10,5]], and [[108,12,6]][[108,12,6]][[108,12,6]]; the latter encodes six times more logical qubits than a subsystem surface code at the same block length and distance. These results show how gauge degrees of freedom can make high-rate BB logical structure compatible with local weight-444 syndrome extraction.
Extending the classical theory of two-dimensional cyclic codes, we develop an algebraic approach to bivariate bicycle codes. Using Frobenius-orbit idempotents, formulas for logical dimensions are derived and lower bounds on minimum distances are established. A systematic theory of code symmetries is formulated to construct a structured block-monomial subgroup of coordinate permutations. Several explicit examples show how to generate these codes from first principles without relying on numerical searches. An appendix extends the analysis to BCH-based product constructions.
Bivariate bicycle (BB) quantum codes are a prominent finite-length family of quantum low-density parity-check codes, but their minimum distance is usually established numerically rather than read from the defining polynomials. We study the ZZZ-logical quotient K/SK/SK/S over F2[x,y]/(xℓ−1,ym−1)\mathbb F_2[x,y]/(x^\ell-1,y^m-1)F2​[x,y]/(xℓ−1,ym−1) and show that it fits into a short exact sequence with an annihilator quotient as kernel and a colon quotient as cokernel. The sequence gives an explicit logical basis, a dimension formula, and a componentwise distance identity dZ=min⁡(dA,dC)d_Z=\min(d_{\mathcal A},d_{\mathcal C})dZ​=min(dA​,dC​). Using the Frobenius structure of the finite group algebra, we prove rA=rC=k/2r_{\mathcal A}=r_{\mathcal C}=k/2rA​=rC​=k/2 for every BB code, including repeated-root cases. The algebraic component of a logical class is distinct from the support shape of its lightest representatives: an annihilator class can have a lighter two-block representative, and a colon class can have a one-sided minimum. For lower bounds we show that every proper subset of a minimum-weight logical operator has nonzero syndrome, and that this property persists inside the colon component but not inside the annihilator component. A translation-anchored cluster search built on it proves the distances 4,6,10,10,12,184,6,10,10,12,184,6,10,10,12,18 of the six standard BB codes of lengths 181818 to 288288288 and enumerates every minimum-weight logical operator. The resulting census shows that [[108,8,10]][[108,8,10]][[108,8,10]] is the only one of the six whose distance is attained in a single component, with dC=10d_{\mathcal C}=10dC​=10 and dA=12d_{\mathcal A}=12dA​=12.