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:2610.12782

Coset Lifted Product Codes: Constructing Quantum LDPC Codes from Non-Normal Subgroup Actions

Rajendra Prasad Rajpurohit, V. Lalitha, Shayan Srinivasa Garani

quant-phcs.ITSubmitted Oct 8, 2026• Announced Oct 12, 2026• 0 citations
arXivHTMLPDF

Abstract

We introduce coset lifted product (CLP) codes, a family of quantum LDPC codes that combine the protograph structure of lifted product codes with the coset action of Aydin, Tamo, and Barg \cite{AydinTamoBarg2026}. Given a finite group $G$, a subgroup $H \le G$ that need not be normal, a protograph $A$ over $\mathbb F_2[G]$, and a protograph $B$ over $\mathbb F_2[N_G(H)]$, the two protographs act on the cosets $G/H$ from the left and from the right to produce quantum CSS codes. Further, for groups of odd order, we give an explicit formula for the dimension as a sum over the irreducible representations $ρ$ of $G$ of hypergraph product dimensions. A search over $14,843$ pairs $(G,H)$ with $H$ restricted to be non-normal and $120 \le n \le 400$ yields certified codes that exceed the best published value of $Q=kd^2/n$ at check weights $6,7$ and $9$, i.e., we obtain $[[360,20,20]]$ at $w=6$, a $[[360,24,20]]$ code at $w=7$, and codes $[[252,16,18]]$ and $[[288,16,20]]$ at $w=9$. Our search also produce high-distance codes with parameters $[[168,10,14]], [[240,8,20]]$ at $w=6$ and $[[216,8,18]]$ at $w=7$.

Related papers

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

Logical Spectroscopy: Lifted-Product Codes with Addressable Bases

Jong Yeon Lee

Quantum LDPC memories can encode many logical qubits, but that alone does not make them usable: applications need to know where the logical operators are supported, how they are labeled, and how conjugate $X/Z$ partners pair. For hypergraph-product codes this information follows from row reduction over $\mathbb{F}_2$. For Abelian lifted-product codes, which include prominent high-rate constructions, it does not: the entries of the defining seed matrices live in a group algebra rather than a field, so pivots need not be invertible and row reduction can fail. To address this problem, we introduce \emph{logical spectroscopy}. For an odd-order Abelian lift group, the Chinese remainder theorem splits the group algebra into finite fields, one for each Frobenius orbit of characters; we call these orbits packets. Packet by packet, we solve ordinary finite-field linear algebra, lift the answers back to the physical code with the associated packet projectors, and pair $X$ and $Z$ logicals between reciprocal packets by trace duality. The result is a complete conjugate logical basis for a finite Abelian lifted product code that is addressable: every logical coordinate carries canonical packet and Künneth-summand labels, deterministic within-block indices, a conjugate partner, and an explicit binary representative. The code's own translation symmetry then acts on these coordinates in closed form. We apply the construction to examples with up to 5000 physical qubits, including high-rate examples whose distance-witness is reported explicitly. We further extend the decomposition to even-order lifts. Logical spectroscopy thus equips Abelian lifted products with an explicit logical coordinate system and an algebraic toolkit for high-rate code search.

quant-pharXiv:2607.05386•Jul 7, 2026•0 citations

Quantum Tanner Codes at Moderate Blocklength

Feroz Ahmed Mian, Vaishnavi L. Addala, Arman Meraj +2 more

We present explicit constructions of quantum Tanner (QT) codes with good rate and distance, obtained through two complementary approaches: the left-right Cayley complex (LRCC) description and the "lifting" perspective, in which a seed Calderbank-Shor-Steane (CSS) code is lifted by commuting left-right regular actions of a finite group $\mathcal{G}$. Through an extensive search over non-abelian groups from GAP's SmallGrp library, we investigate the moderate-blocklength regime ($n \in [500,1000]$) and identify several new code instances with distance upper bounds exceeding $20$. These include $[[480,8,(\leq 21,\leq 21)]]$, $[[504,4,(\leq 36,\leq 27)]]$, $[[672,4,(\leq 48,\leq 28)]]$, $[[720,6,(\leq 30,\leq 30)]]$, and $[[864,8,(\leq 39,\leq 31)]]$, with these bounds obtained using up to $350$ million trials of sQetch, a randomized distance estimator. The code instances presented have check weights ranging from $9$ to $20$. Using the Tesseract decoder, we estimate pseudo-thresholds of $3.6\%$-$4.6\%$ under phenomenological noise and $0.14\%$-$0.27\%$ under circuit-level noise, comparable to prior results at shorter code lengths. We also provide QuantumExpanders$.$jl, an open-source Julia library for constructing QT codes and explicit constructions of Ramanujan graphs.

quant-pharXiv:2608.12509•Aug 14, 2026•0 citations

Multi-agent discovery of practical quantum LDPC codes

Dongheng Qian, Tianyi Li

Quantum low-density parity-check (qLDPC) codes can encode multiple logical qubits using sparse parity checks, yet searching for useful finite-length instances remains a challenging design problem because code performance must be optimized while satisfying practical constraints. Motivated by recent advances in artificial-intelligence agents for scientific discovery, we develop a multi-agent framework for discovering practical qLDPC codes. The framework combines specialist proposal and review, persistent scientific memory, long-horizon evolution of executable programs, and deterministic construction and evaluation within a closed-loop search. These programs instantiate coset-orbit balanced-product codes, providing a search space that includes bicycle and lifted-product constructions as well as non-normal subgroup actions. To incorporate practical constraints, we restrict the search to binary CSS codes with block length $n\leq400$ and overall weight $w\leq10$. Within this regime, the framework discovers codes with leading or competitive rate--distance performance in every weight class considered, with representative instances including $[[288,16,18]]$ at $w=7$, $[[288,18,18]]$ at $w=9$, and $[[234,28,18]]$ at $w=10$. The search also uncovers structurally distinct, high-performing constructions, including a $[[336,12,\leq24]]$ candidate and a $[[368,18,16]]$ code, both of which are genuine balanced-product constructions with non-normal subgroup actions. When evaluated under code-capacity depolarizing noise using a common BP-OSD decoding protocol, the discovered codes also exhibit low logical failure rates. Together, these results provide hardware-relevant finite-length candidates for further experimental evaluation and show how structured agentic search can contribute to scientific discovery.

quant-pharXiv:2608.08996•Aug 11, 2026•0 citations

High-Girth Regular Quantum LDPC Codes from Affine-Coset Structures

Koki Okada, Kenta Kasai

We construct a quantum low-density parity-check code family from a length-$512$ Calderbank--Shor--Steane base matrix pair. The base pair is permutation-equivalent to the known SPC(3) product CSS code, and the present affine-coset description gives a direct proof that both Tanner graphs are $(3,8)$-regular with girth $8$. The base code has parameters $[[512,174,8]]$. We then apply circulant permutation matrix (CPM) lifts. The main decoding experiment uses the CPM-lifted code with lift factor $P=32$, which has parameters $[[16384,4142,18\le d\le32]]$, under the code-capacity depolarizing model. Complete enumeration excludes nontrivial logical representatives of weight at most $16$ on both sides, giving $d_X,d_Z\ge18$. Explicit weight-$32$ non-stabilizer logical representatives give the upper bounds $d_X,d_Z\le32$. A belief-propagation decoder with post-processing achieved frame error rate about $10^{-8}$ at $p=0.085$; an independently observed logical residual of weight $40$ is consistent with the sharper structural bound.

quant-pharXiv:2604.20838•Apr 23, 2026•0 citations

Quantum Bicycle LDPC Codes with High $kd^2/n$ from Divisor-Driven Search

Liangdong Lu, Guanmin Guo, Yang Liu +1 more

Bicycle (two-block circulant) quantum low-density parity-check (LDPC) codes include some of the best known small quantum codes, yet their design has relied on group-algebra formulations in which the dimension and distance are accessible only through matrix computation. We show that in the cyclic case the construction collapses into the polynomial ring $\F_2[x]/(x^{l}-1)$: self-orthogonality is automatic, the quantum dimension is read off from a polynomial gcd, and the minimum distance is certified exactly through the Calderbank correspondence to additive codes over $\F_4$, turning code search into an algebraically pre-filtered enumeration that reaches parameter regimes poorly covered by existing tables. A computer search based on this framework recovers the short codes $[[42,12,4]]_2$ and $[[62,12,4]]_2$ and produces a family of codes with competitive figure of merit $kd^2/n$, including $[[66,20,7]]_2$ with $kd^2/n=14.85$, above the bivariate bicycle code $[[144,12,12]]_2$ ($kd^2/n=12$) at less than half the block length, together with $[[46,2,8]]_2$, $[[66,2,9]]_2$, $[[66,4,8]]_2$, $[[66,6,8]]_2$ and, at $n=90$, $[[90,16,6]]_2$, $[[90,18,6]]_2$, $[[90,20,6]]_2$. An exhaustive census at $n=48$ delineates the boundary of this picture: we exhibit a $[[48,10,6]]_2$ code from a minimal $48$-element group (the Aydin--Tamo--Barg realization uses $72$ elements), and prove that distance $5$ forces a stabilizer-rank loss, which excludes $[[48,10,5]]_2$ from the weight-$8$ symmetric coset family. The framework thus opens a systematic route to bicycle-type quantum LDPC codes beyond the reach of group-theoretic searches, and identifies exactly where genuinely coset-theoretic phenomena begin.

cs.ITCross-listedarXiv:2608.09115•Aug 11, 2026•0 citations
We introduce coset lifted product (CLP) codes, a family of quantum LDPC codes that combine the protograph structure of lifted product codes with the coset action of Aydin, Tamo, and Barg \cite{AydinTamoBarg2026}. Given a finite group GGG, a subgroup H≤GH \le GH≤G that need not be normal, a protograph AAA over F2[G]\mathbb F_2[G]F2​[G], and a protograph BBB over F2[NG(H)]\mathbb F_2[N_G(H)]F2​[NG​(H)], the two protographs act on the cosets G/HG/HG/H from the left and from the right to produce quantum CSS codes. Further, for groups of odd order, we give an explicit formula for the dimension as a sum over the irreducible representations ρρρ of GGG of hypergraph product dimensions. A search over 14,84314,84314,843 pairs (G,H)(G,H)(G,H) with HHH restricted to be non-normal and 120≤n≤400120 \le n \le 400120≤n≤400 yields certified codes that exceed the best published value of Q=kd2/nQ=kd^2/nQ=kd2/n at check weights 6,76,76,7 and 999, i.e., we obtain [[360,20,20]][[360,20,20]][[360,20,20]] at w=6w=6w=6, a [[360,24,20]][[360,24,20]][[360,24,20]] code at w=7w=7w=7, and codes [[252,16,18]][[252,16,18]][[252,16,18]] and [[288,16,20]][[288,16,20]][[288,16,20]] at w=9w=9w=9. Our search also produce high-distance codes with parameters [[168,10,14]],[[240,8,20]][[168,10,14]], [[240,8,20]][[168,10,14]],[[240,8,20]] at w=6w=6w=6 and [[216,8,18]][[216,8,18]][[216,8,18]] at w=7w=7w=7.
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.
Quantum LDPC memories can encode many logical qubits, but that alone does not make them usable: applications need to know where the logical operators are supported, how they are labeled, and how conjugate X/ZX/ZX/Z partners pair. For hypergraph-product codes this information follows from row reduction over F2\mathbb{F}_2F2​. For Abelian lifted-product codes, which include prominent high-rate constructions, it does not: the entries of the defining seed matrices live in a group algebra rather than a field, so pivots need not be invertible and row reduction can fail. To address this problem, we introduce \emph{logical spectroscopy}. For an odd-order Abelian lift group, the Chinese remainder theorem splits the group algebra into finite fields, one for each Frobenius orbit of characters; we call these orbits packets. Packet by packet, we solve ordinary finite-field linear algebra, lift the answers back to the physical code with the associated packet projectors, and pair XXX and ZZZ logicals between reciprocal packets by trace duality. The result is a complete conjugate logical basis for a finite Abelian lifted product code that is addressable: every logical coordinate carries canonical packet and Künneth-summand labels, deterministic within-block indices, a conjugate partner, and an explicit binary representative. The code's own translation symmetry then acts on these coordinates in closed form. We apply the construction to examples with up to 5000 physical qubits, including high-rate examples whose distance-witness is reported explicitly. We further extend the decomposition to even-order lifts. Logical spectroscopy thus equips Abelian lifted products with an explicit logical coordinate system and an algebraic toolkit for high-rate code search.
We present explicit constructions of quantum Tanner (QT) codes with good rate and distance, obtained through two complementary approaches: the left-right Cayley complex (LRCC) description and the "lifting" perspective, in which a seed Calderbank-Shor-Steane (CSS) code is lifted by commuting left-right regular actions of a finite group G\mathcal{G}G. Through an extensive search over non-abelian groups from GAP's SmallGrp library, we investigate the moderate-blocklength regime (n∈[500,1000]n \in [500,1000]n∈[500,1000]) and identify several new code instances with distance upper bounds exceeding 202020. These include [[480,8,(≤21,≤21)]][[480,8,(\leq 21,\leq 21)]][[480,8,(≤21,≤21)]], [[504,4,(≤36,≤27)]][[504,4,(\leq 36,\leq 27)]][[504,4,(≤36,≤27)]], [[672,4,(≤48,≤28)]][[672,4,(\leq 48,\leq 28)]][[672,4,(≤48,≤28)]], [[720,6,(≤30,≤30)]][[720,6,(\leq 30,\leq 30)]][[720,6,(≤30,≤30)]], and [[864,8,(≤39,≤31)]][[864,8,(\leq 39,\leq 31)]][[864,8,(≤39,≤31)]], with these bounds obtained using up to 350350350 million trials of sQetch, a randomized distance estimator. The code instances presented have check weights ranging from 999 to 202020. Using the Tesseract decoder, we estimate pseudo-thresholds of 3.6%3.6\%3.6%-4.6%4.6\%4.6% under phenomenological noise and 0.14%0.14\%0.14%-0.27%0.27\%0.27% under circuit-level noise, comparable to prior results at shorter code lengths. We also provide QuantumExpanders...jl, an open-source Julia library for constructing QT codes and explicit constructions of Ramanujan graphs.
Quantum low-density parity-check (qLDPC) codes can encode multiple logical qubits using sparse parity checks, yet searching for useful finite-length instances remains a challenging design problem because code performance must be optimized while satisfying practical constraints. Motivated by recent advances in artificial-intelligence agents for scientific discovery, we develop a multi-agent framework for discovering practical qLDPC codes. The framework combines specialist proposal and review, persistent scientific memory, long-horizon evolution of executable programs, and deterministic construction and evaluation within a closed-loop search. These programs instantiate coset-orbit balanced-product codes, providing a search space that includes bicycle and lifted-product constructions as well as non-normal subgroup actions. To incorporate practical constraints, we restrict the search to binary CSS codes with block length n≤400n\leq400n≤400 and overall weight w≤10w\leq10w≤10. Within this regime, the framework discovers codes with leading or competitive rate--distance performance in every weight class considered, with representative instances including [[288,16,18]][[288,16,18]][[288,16,18]] at w=7w=7w=7, [[288,18,18]][[288,18,18]][[288,18,18]] at w=9w=9w=9, and [[234,28,18]][[234,28,18]][[234,28,18]] at w=10w=10w=10. The search also uncovers structurally distinct, high-performing constructions, including a [[336,12,≤24]][[336,12,\leq24]][[336,12,≤24]] candidate and a [[368,18,16]][[368,18,16]][[368,18,16]] code, both of which are genuine balanced-product constructions with non-normal subgroup actions. When evaluated under code-capacity depolarizing noise using a common BP-OSD decoding protocol, the discovered codes also exhibit low logical failure rates. Together, these results provide hardware-relevant finite-length candidates for further experimental evaluation and show how structured agentic search can contribute to scientific discovery.
We construct a quantum low-density parity-check code family from a length-512512512 Calderbank--Shor--Steane base matrix pair. The base pair is permutation-equivalent to the known SPC(3) product CSS code, and the present affine-coset description gives a direct proof that both Tanner graphs are (3,8)(3,8)(3,8)-regular with girth 888. The base code has parameters [[512,174,8]][[512,174,8]][[512,174,8]]. We then apply circulant permutation matrix (CPM) lifts. The main decoding experiment uses the CPM-lifted code with lift factor P=32P=32P=32, which has parameters [[16384,4142,18≤d≤32]][[16384,4142,18\le d\le32]][[16384,4142,18≤d≤32]], under the code-capacity depolarizing model. Complete enumeration excludes nontrivial logical representatives of weight at most 161616 on both sides, giving dX,dZ≥18d_X,d_Z\ge18dX​,dZ​≥18. Explicit weight-323232 non-stabilizer logical representatives give the upper bounds dX,dZ≤32d_X,d_Z\le32dX​,dZ​≤32. A belief-propagation decoder with post-processing achieved frame error rate about 10−810^{-8}10−8 at p=0.085p=0.085p=0.085; an independently observed logical residual of weight 404040 is consistent with the sharper structural bound.
Quantum Bicycle LDPC Codes with High kd2/nkd^2/nkd2/n from Divisor-Driven Search
Bicycle (two-block circulant) quantum low-density parity-check (LDPC) codes include some of the best known small quantum codes, yet their design has relied on group-algebra formulations in which the dimension and distance are accessible only through matrix computation. We show that in the cyclic case the construction collapses into the polynomial ring $\F_2[x]/(x^{l}-1)$: self-orthogonality is automatic, the quantum dimension is read off from a polynomial gcd, and the minimum distance is certified exactly through the Calderbank correspondence to additive codes over $\F_4$, turning code search into an algebraically pre-filtered enumeration that reaches parameter regimes poorly covered by existing tables. A computer search based on this framework recovers the short codes [[42,12,4]]2[[42,12,4]]_2[[42,12,4]]2​ and [[62,12,4]]2[[62,12,4]]_2[[62,12,4]]2​ and produces a family of codes with competitive figure of merit kd2/nkd^2/nkd2/n, including [[66,20,7]]2[[66,20,7]]_2[[66,20,7]]2​ with kd2/n=14.85kd^2/n=14.85kd2/n=14.85, above the bivariate bicycle code [[144,12,12]]2[[144,12,12]]_2[[144,12,12]]2​ (kd2/n=12kd^2/n=12kd2/n=12) at less than half the block length, together with [[46,2,8]]2[[46,2,8]]_2[[46,2,8]]2​, [[66,2,9]]2[[66,2,9]]_2[[66,2,9]]2​, [[66,4,8]]2[[66,4,8]]_2[[66,4,8]]2​, [[66,6,8]]2[[66,6,8]]_2[[66,6,8]]2​ and, at n=90n=90n=90, [[90,16,6]]2[[90,16,6]]_2[[90,16,6]]2​, [[90,18,6]]2[[90,18,6]]_2[[90,18,6]]2​, [[90,20,6]]2[[90,20,6]]_2[[90,20,6]]2​. An exhaustive census at n=48n=48n=48 delineates the boundary of this picture: we exhibit a [[48,10,6]]2[[48,10,6]]_2[[48,10,6]]2​ code from a minimal 484848-element group (the Aydin--Tamo--Barg realization uses 727272 elements), and prove that distance 555 forces a stabilizer-rank loss, which excludes [[48,10,5]]2[[48,10,5]]_2[[48,10,5]]2​ from the weight-888 symmetric coset family. The framework thus opens a systematic route to bicycle-type quantum LDPC codes beyond the reach of group-theoretic searches, and identifies exactly where genuinely coset-theoretic phenomena begin.