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

• URL: http://arxiv.org/abs/2608.09115v1
• Date: Mon, 10 Aug 2026 04:45:08 GMT
• Title: Quantum Bicycle LDPC Codes with High $kd^2/n$ from Divisor-Driven Search
• Abstract summary: Bicycle quantum low-density parity-check (LDPC) codes include some of the best known small quantum codes.<n>We show that in the case the construction collapses into the ring $F[x]/(xl)$: self-orthogonality is automatic.<n>A computer search based on this framework recovers the short codes.
• Score: 3.344730946122235
• License: http://creativecommons.org/licenses/by/4.0/
• Abstract: 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.

Related papers

• Quantum bivariate bicycle codes with weight-8 checks surpassing the BB benchmark [0.0]
  BB codes of Bravyi emphet al.citeBravyi2024 are quantum low-density parity-check codes with weight-$6$ checks.<n>We develop the structure theory of BB-type codes with weight-$8$ checks (weight-$4$ generators) and use it to construct and certify new codes.
  arXiv  Detail & Related papers  (2026-09-06T12:34:34Z)
• Quantum Tanner Codes at Moderate Blocklength [0.0]
  We present explicit constructions of quantum Tanner (QT) codes with good rate and distance.<n>The code instances presented have check weights ranging from $9$ to $20$.<n>We also provide QuantumExpanders.jl, an open-source Julia library for constructing QT codes and explicit constructions of Ramanujan graphs.
  arXiv  Detail & Related papers  (2026-08-12T18:37:15Z)
• The Condition-Number Barrier in Sparse Least Squares [77.64108812086542]
  In [AS21], Axiotis and Sviridenko conjectured that the linear dependence on the restricted condition number in convex optimization cannot be improved by a sparse-time algorithm.<n>We establish their conjectured lower bound for least-squares objectives, conditional on the randomized exact-volume Small-Set Expansion Hypothesis.
  arXiv  Detail & Related papers  (2026-08-03T17:57:01Z)
• Breaking the bicycle frame: Coset-based quantum LDPC codes [65.96089068176079]
  Generalizing the construction of two-block group algebra (2BGA) codes, we introduce a family of two-block quantum LDPC codes.<n>We identify several new quantum LDPC codes, including weight-6 codes with parameters $[48,8,6]]$, $[96,8,10]]$, and $[224,12,16]]$.<n>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.
  arXiv  Detail & Related papers  (2026-06-15T20:20:57Z)
• High-Girth Regular Quantum LDPC Codes from Affine-Coset Structures [0.0]
  We construct a quantum low-density parity-check code family from a length-$512$ Calderbank-Shor--Steane base matrix pair.<n>The base pair is permutation-equivalent to the known SPC(3) product CSS code.
  arXiv  Detail & Related papers  (2026-04-22T17:59:08Z)
• Independent Trivariate Bicycle Codes [0.0]
  We introduce six independent tridimensional bicycle (ITB) codes.<n>We construct four codes including a $[140,6,14]]$ code with $kd2/n = 8.40$.<n>On the superconducting noise model, the $[140,6,14]] code achieves a per-round per-observable rate of $5.6 times 10-5$ at $p = 0.20%$.
  arXiv  Detail & Related papers  (2026-03-18T13:22:40Z)
• Approximating the operator norm of local Hamiltonians via few quantum states [53.16156504455106]
  Consider a Hermitian operator $A$ acting on a complex Hilbert space of $2n$.<n>We show that when $A$ has small degree in the Pauli expansion, or in other words, $A$ is a local $n$-qubit Hamiltonian.<n>We show that whenever $A$ is $d$-local, textiti.e., $deg(A)le d$, we have the following discretization-type inequality.
  arXiv  Detail & Related papers  (2025-09-15T14:26:11Z)
• Spectral Gaps with Quantum Counting Queries and Oblivious State Preparation [47.600794349481966]
  In this work, we present a quantum algorithm which approximates values up to additive error $epsilonDelta_k$ using a logarithmic number of qubits.<n>A key technical step in the analysis is the preparation of a suitable random initial state, which ultimately allows us to efficiently count the number of eigenvalues that are smaller than a threshold.
  arXiv  Detail & Related papers  (2025-08-28T17:04:18Z)
• Generalized toric codes on twisted tori for quantum error correction [9.623534315687825]
  Kitaev toric code is widely considered one of the leading candidates for error correction in fault-tolerant quantum computation.<n>Direct methods to increase its logical dimensions, such as lattice surgery or introducing punctures, often incur prohibitive overheads.<n>We introduce a ring-theoretic approach for efficiently analyzing topological CSS codes in two dimensions.
  arXiv  Detail & Related papers  (2025-03-05T19:00:05Z)
• Learning and Computation of $Φ$-Equilibria at the Frontier of Tractability [85.07238533644636]
  $Phi$-equilibria is a powerful and flexible framework at the heart of online learning and game theory.<n>We show that an efficient online algorithm incurs average $Phi$-regret at most $epsilon$ using $textpoly(d, k)/epsilon2$ rounds.<n>We also show nearly matching lower bounds in the online setting, thereby obtaining for the first time a family of deviations that captures the learnability of $Phi$-regret.
  arXiv  Detail & Related papers  (2025-02-25T19:08:26Z)
• Near-optimal fitting of ellipsoids to random points [68.12685213894112]
  A basic problem of fitting an ellipsoid to random points has connections to low-rank matrix decompositions, independent component analysis, and principal component analysis. We resolve this conjecture up to logarithmic factors by constructing a fitting ellipsoid for some $n = Omega(, d2/mathrmpolylog(d),)$. Our proof demonstrates feasibility of the least squares construction of Saunderson et al. using a convenient decomposition of a certain non-standard random matrix.
  arXiv  Detail & Related papers  (2022-08-19T18:00:34Z)

This list is automatically generated from the titles and abstracts of the papers in this site.

This site does not guarantee the quality of this site (including all information) and is not responsible for any consequences.