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

A Two-Branch Finite-Field Construction for Regular CSS LDPC Bases

Koki Okada, Kenta Kasai

quant-phcs.ITSubmitted May 22, 2026• Announced May 25, 2026• 0 citations• Revised Aug 14, 2026 (v2)
v1 · May 22, 2026v2 · Aug 14, 2026v3 · Sep 11, 2026
arXivHTMLPDF

Abstract

This paper develops a two-branch multiplicative-coset construction for regular Calderbank-Shor-Steane (CSS) quantum low-density parity-check base matrices. For a target column weight \(J\) and an even row weight \(L\), the method reduces regularity, CSS orthogonality, and same-type 4-cycle exclusion to explicit quotient-coset conditions over a finite field. A normalized exhaustive search for these conditions produces base matrices for several \((J,L)\) pairs, so the construction is not tied to a single degree distribution. The construction separates the finite-length design into two stages: the base matrix fixes the degree distribution and the first girth constraints, and a cyclic lift randomizes edge connections subject to exact algebraic checks. As a detailed example, we carry one \((3,10)\)-regular base through the lift and decoding stages. For this example, the selected 64-fold lift gives a code whose same-type Tanner graphs have girth at least eight, and it also excludes a specified weight-16 nondegenerate logical-support orbit. The resulting instance is a \([[10240,4108,\,10\le d\le32]]\) CSS code. For decoding, we use joint log-domain belief propagation together with low-complexity deterministic post-processing rules for small residual syndromes, including repairs for residual patterns with two unsatisfied checks. The frame error rate (FER) measurements provide finite-length decoding data for this detailed example; at depolarizing probability \(p=0.058\), the post-processing FER is \(1.0\times10^{-7}\).

Comments
v2: Corrected the coordinate lists of the explicit weight-32 X- and Z-type logical representatives. The corrected supports have zero syndrome and increase the corresponding stabilizer-row rank from 3066 to 3067; the bounds 10<=d_X,d_Z,d<=32 are unchanged

Related papers

Rate-2/3 Girth-8 (3,18)-Regular Quantum LDPC Codes from Two-Branch Finite-Field Bases and CPM Lifts

Koki Okada, Kenta Kasai

We construct a rate-$2/3$ quantum low-density parity-check (LDPC) code from a $(3,18)$-regular two-branch finite-field base and a circulant-permutation-matrix (CPM) lift of degree $P=101$. The resulting code is a Calderbank--Shor--Steane (CSS) code with parameters $[[34542,23032,18]]$. Its distance is established by a computer-assisted proof: an explicit nontrivial logical operator gives the upper bound, and a complete symmetry-reduced enumeration excludes every nonzero vector of weight below 18 in both parity-check kernels. We also prove that every affine-in-$t$ CPM lift of the same base satisfying CSS orthogonality has distance at most 18 for every prime lift degree $P>19$. The construction has row weight 18 and column weight 3, and the Tanner graphs of $H_X$ and $H_Z$ separately have girth 8. Decoder experiments with log-likelihood-ratio (LLR) joint belief propagation (BP) and deterministic post-processing show no failures in $10^8$ trials at $p=0.01$, and a finite-length frame error rate (FER) sweep estimates the transition near $p=0.029$.

quant-pharXiv:2606.27130•Jun 26, 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

High-Girth Regular Quantum LDPC Codes from Square-Base Hypergraph Products via CPM Lifts

Koki Okada, Kenta Kasai

We study square-base Calderbank--Shor--Steane (CSS) hypergraph-product codes as a finite-length class for regular high-girth quantum low-density parity-check (LDPC) design. For base matrices of small column weight, we give checkable conditions for regularity, rank deficiency, and short-cycle exclusion, and we present explicit column-weight-three and column-weight-four examples with Tanner girth 6 and 8. We also analyze circulant permutation matrix (CPM) lifts of this class. Using the standard voltage-sum criterion, we identify orthogonality-forced Tanner 8-cycles and show that CPM lifting cannot raise the Tanner girth beyond 8 when these cycles are present. As a representative finite-length instance, a randomized CPM lift of the girth-8 base construction gives a $[[28800,62,18\le d\le192]]$ girth-8 $(3,6)$-regular CSS-LDPC code. Complete enumeration excludes nontrivial logical supports of weight at most $16$ on both sides, giving $d_X,d_Z\ge18$; explicit weight-$192$ representatives give $d_X,d_Z\le192$. Under degeneracy-aware belief-propagation decoding with optional ordered-statistics-decoding-lite post-processing, this code produced zero decoding failures in $2.993\times 10^8$ independent trials at depolarizing probability $p=0.1402$; the Wilson 95\% upper confidence bound is $1.28\times 10^{-8}$.

quant-pharXiv:2604.27817•May 1, 2026•0 citations

Pair-Partition Constructions for CPM-Based Quantum LDPC Codes

Koki Okada, Kenta Kasai

We introduce the pair-partition (PP) construction of binary Calderbank--Shor--Steane quantum low-density parity-check codes from circulant permutation matrices. A square array of pair partitions imposes linear paired-difference equations on the CPM exponents and thereby guarantees CSS orthogonality. Pairing graphs derived from this array allow the combinatorial design to be screened before exponent search. We further give and prove a complete algorithm for verifying lower bounds on the quantum minimum distance of a fixed CSS lift. The algorithm searches for zero-syndrome vectors outside the opposing stabilizer row space, uses only rigorously valid pruning rules, and finds no vector through a prescribed weight if and only if the corresponding distance exceeds that weight. For fixed column weight, row weight, and search limit, cyclic symmetry makes the combinatorial support-enumeration bound independent of the lift size, although matrix preprocessing and row-space tests can still depend on the lift size. Thus the construction stage and the distance-verification stage are both specified by directly checkable finite procedures.

quant-pharXiv:2607.14091•Jul 16, 2026•0 citations

Quantum CSS LDPC Codes based on Dyadic Matrices for Belief Propagation-based Decoding

Alessio Baldelli, Massimo Battaglioni, Jonathan Mandelbaum +2 more

Quantum low-density parity-check (QLDPC) codes provide a practical balance between error-correction capability and implementation complexity in quantum error correction (QEC). In this paper, we propose an algebraic construction based on dyadic matrices for designing both classical and quantum LDPC codes. The method first generates classical binary quasi-dyadic LDPC codes whose Tanner graphs have girth 6. It is then extended to the Calderbank-Shor-Steane (CSS) framework, where the two component parity-check matrices are built to satisfy the compatibility condition required by the recently introduced CAMEL-ensemble quaternary belief propagation decoder. This compatibility condition ensures that all unavoidable cycles of length 4 are assembled in a single variable node, allowing the mitigation of their detrimental effects by decimating that variable node.

cs.ITCross-listedarXiv:2601.08636•IEEE International Symposium on Information Theory (ISIT)•Jan 14, 2026•0 citations

Local Automorphism-Aware Syndrome Compilation for General Quantum LDPC Codes

Eugenio Durazo Rocha, Olai Å. Mostad, Hsuan-Yin Lin +1 more

Low-depth syndrome extraction for Calderbank-Shor-Steane (CSS) quantum low-density parity-check codes can be formulated as a proper ordered edge-coloring problem subject to quantum parity constraints. A proper edge-coloring of the CSS Tanner graph ensures that each data or ancilla qubit participates in at most one two-qubit gate per layer, but does not guarantee a valid interleaving of the X- and Z-check measurements as for every overlapping X/Z check pair, the number of shared data qubits on which the X interaction precedes the Z interaction must be even. The minimum number of colors in a proper ordered edge-coloring satisfying the quantum parity constraints equals the minimum two-qubit depth when each stabilizer check is measured with a single ancilla. We introduce local automorphism-aware syndrome compilation (LocalASC), which reduces the constraint system to edge-orbit variables under a subgroup of the Tanner graph automorphisms and lifts each feasible orbit assignment to the full graph. Although the $6$-layer degree lower bound is unattainable for the published weight-$6$ IBM bivariate bicycle codes, we show that this is not universal among two-block CSS codes. Among code instances for which the maximum check weight equals the maximum Tanner graph degree, LocalASC finds depth-optimal syndrome-extraction schedules for several two-block CSS codes with odd component weights, including instances with unequal odd weights. We also obtain lower-bound-saturating syndrome-extraction schedules for several quantum Tanner codes satisfying the same degree condition. To obtain the subgroups used by LocalASC without computing the full automorphism group of the Tanner graph, we construct translation subgroups for two-block group-algebra CSS codes over abelian groups. For quantum Tanner codes, we give conditions under which square-complex symmetries extend to Tanner graph automorphisms.

quant-pharXiv:2609.40319•Oct 1, 2026•0 citations
This paper develops a two-branch multiplicative-coset construction for regular Calderbank-Shor-Steane (CSS) quantum low-density parity-check base matrices. For a target column weight (J) and an even row weight (L), the method reduces regularity, CSS orthogonality, and same-type 4-cycle exclusion to explicit quotient-coset conditions over a finite field. A normalized exhaustive search for these conditions produces base matrices for several ((J,L)) pairs, so the construction is not tied to a single degree distribution. The construction separates the finite-length design into two stages: the base matrix fixes the degree distribution and the first girth constraints, and a cyclic lift randomizes edge connections subject to exact algebraic checks. As a detailed example, we carry one ((3,10))-regular base through the lift and decoding stages. For this example, the selected 64-fold lift gives a code whose same-type Tanner graphs have girth at least eight, and it also excludes a specified weight-16 nondegenerate logical-support orbit. The resulting instance is a ([[10240,4108,,10\le d\le32]]) CSS code. For decoding, we use joint log-domain belief propagation together with low-complexity deterministic post-processing rules for small residual syndromes, including repairs for residual patterns with two unsatisfied checks. The frame error rate (FER) measurements provide finite-length decoding data for this detailed example; at depolarizing probability (p=0.058), the post-processing FER is (1.0\times10^{-7}).
We construct a rate-2/32/32/3 quantum low-density parity-check (LDPC) code from a (3,18)(3,18)(3,18)-regular two-branch finite-field base and a circulant-permutation-matrix (CPM) lift of degree P=101P=101P=101. The resulting code is a Calderbank--Shor--Steane (CSS) code with parameters [[34542,23032,18]][[34542,23032,18]][[34542,23032,18]]. Its distance is established by a computer-assisted proof: an explicit nontrivial logical operator gives the upper bound, and a complete symmetry-reduced enumeration excludes every nonzero vector of weight below 18 in both parity-check kernels. We also prove that every affine-in-ttt CPM lift of the same base satisfying CSS orthogonality has distance at most 18 for every prime lift degree P>19P>19P>19. The construction has row weight 18 and column weight 3, and the Tanner graphs of HXH_XHX​ and HZH_ZHZ​ separately have girth 8. Decoder experiments with log-likelihood-ratio (LLR) joint belief propagation (BP) and deterministic post-processing show no failures in 10810^8108 trials at p=0.01p=0.01p=0.01, and a finite-length frame error rate (FER) sweep estimates the transition near p=0.029p=0.029p=0.029.
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.
We study square-base Calderbank--Shor--Steane (CSS) hypergraph-product codes as a finite-length class for regular high-girth quantum low-density parity-check (LDPC) design. For base matrices of small column weight, we give checkable conditions for regularity, rank deficiency, and short-cycle exclusion, and we present explicit column-weight-three and column-weight-four examples with Tanner girth 6 and 8. We also analyze circulant permutation matrix (CPM) lifts of this class. Using the standard voltage-sum criterion, we identify orthogonality-forced Tanner 8-cycles and show that CPM lifting cannot raise the Tanner girth beyond 8 when these cycles are present. As a representative finite-length instance, a randomized CPM lift of the girth-8 base construction gives a [[28800,62,18≤d≤192]][[28800,62,18\le d\le192]][[28800,62,18≤d≤192]] girth-8 (3,6)(3,6)(3,6)-regular CSS-LDPC code. Complete enumeration excludes nontrivial logical supports of weight at most 161616 on both sides, giving dX,dZ≥18d_X,d_Z\ge18dX​,dZ​≥18; explicit weight-192192192 representatives give dX,dZ≤192d_X,d_Z\le192dX​,dZ​≤192. Under degeneracy-aware belief-propagation decoding with optional ordered-statistics-decoding-lite post-processing, this code produced zero decoding failures in 2.993×1082.993\times 10^82.993×108 independent trials at depolarizing probability p=0.1402p=0.1402p=0.1402; the Wilson 95\% upper confidence bound is 1.28×10−81.28\times 10^{-8}1.28×10−8.
We introduce the pair-partition (PP) construction of binary Calderbank--Shor--Steane quantum low-density parity-check codes from circulant permutation matrices. A square array of pair partitions imposes linear paired-difference equations on the CPM exponents and thereby guarantees CSS orthogonality. Pairing graphs derived from this array allow the combinatorial design to be screened before exponent search. We further give and prove a complete algorithm for verifying lower bounds on the quantum minimum distance of a fixed CSS lift. The algorithm searches for zero-syndrome vectors outside the opposing stabilizer row space, uses only rigorously valid pruning rules, and finds no vector through a prescribed weight if and only if the corresponding distance exceeds that weight. For fixed column weight, row weight, and search limit, cyclic symmetry makes the combinatorial support-enumeration bound independent of the lift size, although matrix preprocessing and row-space tests can still depend on the lift size. Thus the construction stage and the distance-verification stage are both specified by directly checkable finite procedures.
Quantum low-density parity-check (QLDPC) codes provide a practical balance between error-correction capability and implementation complexity in quantum error correction (QEC). In this paper, we propose an algebraic construction based on dyadic matrices for designing both classical and quantum LDPC codes. The method first generates classical binary quasi-dyadic LDPC codes whose Tanner graphs have girth 6. It is then extended to the Calderbank-Shor-Steane (CSS) framework, where the two component parity-check matrices are built to satisfy the compatibility condition required by the recently introduced CAMEL-ensemble quaternary belief propagation decoder. This compatibility condition ensures that all unavoidable cycles of length 4 are assembled in a single variable node, allowing the mitigation of their detrimental effects by decimating that variable node.
Low-depth syndrome extraction for Calderbank-Shor-Steane (CSS) quantum low-density parity-check codes can be formulated as a proper ordered edge-coloring problem subject to quantum parity constraints. A proper edge-coloring of the CSS Tanner graph ensures that each data or ancilla qubit participates in at most one two-qubit gate per layer, but does not guarantee a valid interleaving of the X- and Z-check measurements as for every overlapping X/Z check pair, the number of shared data qubits on which the X interaction precedes the Z interaction must be even. The minimum number of colors in a proper ordered edge-coloring satisfying the quantum parity constraints equals the minimum two-qubit depth when each stabilizer check is measured with a single ancilla. We introduce local automorphism-aware syndrome compilation (LocalASC), which reduces the constraint system to edge-orbit variables under a subgroup of the Tanner graph automorphisms and lifts each feasible orbit assignment to the full graph. Although the 666-layer degree lower bound is unattainable for the published weight-666 IBM bivariate bicycle codes, we show that this is not universal among two-block CSS codes. Among code instances for which the maximum check weight equals the maximum Tanner graph degree, LocalASC finds depth-optimal syndrome-extraction schedules for several two-block CSS codes with odd component weights, including instances with unequal odd weights. We also obtain lower-bound-saturating syndrome-extraction schedules for several quantum Tanner codes satisfying the same degree condition. To obtain the subgroups used by LocalASC without computing the full automorphism group of the Tanner graph, we construct translation subgroups for two-block group-algebra CSS codes over abelian groups. For quantum Tanner codes, we give conditions under which square-complex symmetries extend to Tanner graph automorphisms.