---
title: Cyclic Hypergraph Product Code
url: https://www.emergentmind.com/topics/cyclic-hypergraph-product-code
type: topic
---

# Cyclic Hypergraph Product Code

Cyclic hypergraph product codes are a symmetry-constrained family of quantum low-density parity-check CSS codes obtained by taking the hypergraph product of two cyclic codes. In the formulation introduced in "Cyclic Hypergraph Product Code" [2511.09683], the cyclic restriction defines a class denoted CxC, together with two subfamilies, C2 and CxR. The construction is motivated by a contrast with prior optimization of hypergraph product codes through progressive edge growth, random search, simulated annealing, and reinforcement learning: instead of local transformations, it imposes additional global symmetries and permits exhaustive search over structured instances. The reported consequence is a family of codes with improved \([N,K,D]\) tradeoffs, logical error rates per logical qubit up to three orders of magnitude lower than previously optimized HGP codes, and a planar QCCD layout supporting constant-depth syndrome extraction.

## 1. Hypergraph-product setting

The cyclic construction is a specialization of the general hypergraph-product CSS construction. Let
\(A\in\mathbb{F}_2^{m_a\times n_a}\) and \(B\in\mathbb{F}_2^{m_b\times n_b}\) be classical parity-check matrices. The associated CSS code has block length
\[
N=n_a n_b + m_a m_b,
\]
with sparse check matrices
\[
H_X=\bigl[A\otimes I_{n_b}\;\big|\;I_{m_a}\otimes B^T\bigr],
\qquad
H_Z=\bigl[I_{n_a}\otimes B\;\big|\;A^T\otimes I_{m_b}\bigr].
\]
These have dimensions \((m_a n_b)\times N\) and \((n_a m_b)\times N\), respectively, and satisfy \(H_XH_Z^T=0\) by construction [2511.09683].

Within the Tillich–Zémor framework quoted in the exposition, if \(r_a=\mathrm{rank}\,A\) and \(r_b=\mathrm{rank}\,B\), then
\[
K=\dim\ker H_X+\dim\ker H_Z-N=2\,(n_a-r_a)(n_b-r_b),
\]
and
\[
D=\min\{d(A),\,d(A^T),\,d(B),\,d(B^T)\}.
\]
This places cyclic hypergraph product codes squarely inside the standard HGP paradigm rather than outside it: the novelty lies in the symmetry of the seed matrices, not in a different commutativity mechanism or a different CSS assembly.

As context, HGP codes are presented as one of the most popular families of quantum LDPC codes, and circuit-level simulations are cited as showing that they can achieve the same logical error rate as surface codes with reduced qubit overhead. The cyclic construction is therefore best viewed as a structured refinement of an already competitive LDPC family.

## 2. Cyclic specialization and the C2/CxR subfamilies

The cyclic ingredient is introduced through binary cyclic matrices. A binary cyclic matrix of size \(a\times a\) has the form
\[
C(x)=\sum_{\ell} x_\ell\,Q_a^\ell,
\qquad
Q_a=\text{the \(a\times a\) unit-cycle permutation},
\]
with coefficients \(x_\ell\in\{0,1\}\). By construction,
\[
Q_aC=CQ_a.
\]

In the cyclic hypergraph-product construction, one takes
\[
A=C(x)\in\mathbb{F}_2^{a\times a},
\qquad
B=C(y)\in\mathbb{F}_2^{b\times b},
\]
so that
\[
H_X=\bigl[C(x)\otimes I_b\;\big|\;I_a\otimes C(y)^T\bigr],
\qquad
H_Z=\bigl[I_a\otimes C(y)\;\big|\;C(x)^T\otimes I_b\bigr].
\]
Because \(C(x)Q_a=Q_aC(x)\) and similarly for \(C(y)\), the full parity-check structure is doubly block-circulant: shifting the \(a\) row-blocks by one and the \(b\) column-blocks by one leaves \(H_X\) and \(H_Z\) invariant [2511.09683].

Two distinguished subfamilies are isolated.

1. **C2 codes**: these are the symmetric cyclic instances obtained by choosing
   \[
   a=b=n_c,\qquad C(x)=C(y),
   \]
   so the HGP is taken between a cyclic code and itself.

2. **CxR codes**: these are repeated cyclic instances obtained by choosing
   \[
   A=C(x)\in\mathbb{F}_2^{n_c\times n_c},
   \qquad
   B=C(y)=I_{d_c-1}+Q_{d_c},
   \]
   where \(B\) is identified as the \([d_c,1,d_c]\) repetition code.

The role of symmetry is central. The work explicitly contrasts this with machine-learning-based searches that improve code performance through local transformations. A plausible implication is that the cyclic ansatz restricts the search space in a way that exposes globally organized high-performance instances that may be difficult to reach through unconstrained local optimization.

## 3. Parameter formulas

Let the classical cyclic code \(C(x)\) have parameters \([n_c,k_c,d_c]\), so that
\[
\mathrm{rank}\,C(x)=r_a=n_c-k_c.
\]
If \(C(y)\) has parameters \([n_b,k_b,d_b]\) and rank \(r_b\), then the exposition gives the CxC parameters as
\[
N=n_a n_b+m_a m_b=a b +(a-r_a)(b-r_b)=2ab,
\]
using the stated facts that for a cyclic parity check \(m_a=r_a\) and \(m_b=r_b\), and that \(r_a+r_b=a+b\). The logical-qubit count and minimum distance are
\[
K=2\,(a-r_a)(b-r_b),
\qquad
D=\min\{d_c,d_b\}.
\]

For the two subfamilies, these formulas simplify substantially [2511.09683].

For **C2 codes**,
\[
N_{C2}=2n_c^2,\qquad
K_{C2}=2k_c^2,\qquad
D_{C2}=d_c,\qquad
\omega_{C2}=2w_x,
\]
where \(w_x\) is the number of nonzero terms in the seed polynomial of \(C(x)\).

For **CxR codes**,
\[
N_{CxR}=2n_c d_c,\qquad
K_{CxR}=2k_c,\qquad
D_{CxR}=d_c,\qquad
\omega_{CxR}=w_x+2.
\]

These closed forms are important for two reasons. First, they make the effect of the cyclic seed transparent at the level of \([N,K,D]\) and check weight \(\omega\). Second, they explain why exhaustive search is feasible in the reported study: the search is over a small-parameter, symmetry-constrained family rather than over arbitrary sparse parity-check matrices.

## 4. Exemplary codes and comparative tradeoffs

The exposition highlights three codes from an exhaustive search, all simulated with check weight \(\omega\le 10\). The comparison baseline "ML-HGP \([625,25,8]\)" is identified as the state-of-the-art HGP code optimized by simulated annealing and reinforcement learning in Freire et al. [2511.09683].

| Code | Parameters | Comparison |
|---|---|---|
| C2 \([450,32,8]\) | \(N=450\), \(\omega=6\), rate \(0.071\), \(D/N=0.018\) | Same \(D\) as ML-HGP \([625,25,8]\), shorter \(N\), more \(K\); at \(p=10^{-3}\), \(\tilde p_L/k\approx 4.5\times10^{-7}\) |
| C2 \([882,50,10]\) | \(N=882\), \(\omega=6\), rate \(0.057\), \(D/N=0.011\) | Up to 3 orders better \(\tilde p_L/k\) than ML-HGP at \(p=10^{-3}\) |
| CxR \([336,20,6]\) | \(N=336\), \(\omega=6\), rate \(0.059\), \(D/N=0.018\) | Outperforms ML-HGP \([625,25,8]\) despite lower rate |

The comparison is not limited to prior HGP optimization. The abstract further states that some C2 codes achieve simultaneously a lower logical error rate and a smaller qubit overhead than state-of-the-art LDPC codes such as bivariate bicycle codes, with the qualification that this comes at the price of a larger block length. That qualification is material: the reported advantage is not a blanket dominance over all competing LDPC families on every axis.

A common misconception would be to treat the cyclic restriction as merely aesthetic or as a source of implementation convenience only. The examples instead show that the same symmetry constraint can improve both code parameters and circuit-level behavior relative to earlier optimized HGP instances.

## 5. Decoding, syndrome extraction, and QCCD layout

Decoding is performed with belief propagation plus ordered statistics decoding, BP+OSD, following Panteleev–Kovalev (2021). The implementation emphasis, however, is not only on decoding but on a syndrome-extraction schedule tailored to the cyclic structure.

The proposed QCCD layout uses two rows. All data qubits are placed in an upper \(1\times 2ab\) row, and all ancilla qubits in a lower \(1\times 2ab\) row. A cyclic-shift primitive \((\chi,\eta,\zeta)\) permutes ancilla indices so as to align each ancilla with the appropriate block of data qubits. The exposition states that trapped-ion or other "flying-qubit" hardware can realize these long-range cyclic permutations with shuttling [2511.09683].

Data qubits are indexed as
\[
q_{(i,j,k)},\qquad i\in\{0,1\},\; j\in\mathbb{Z}_a,\; k\in\mathbb{Z}_b,
\]
and ancillas as
\[
a_{(r,j,k)},\qquad r\in\{X,Z\}.
\]
A syndrome round decomposes into four phases:

1. Prepare all ancilla in \(\lvert +\rangle\).
2. For each monomial \(x^\eta\) in \(C(x)\), perform a \((0,\eta,0)\) cyclic shift, then simultaneous CX gates
   \[
   q_{(0,\,j\oplus\eta,k)}\to a_{(X,j,k)},
   \]
   and CZ gates
   \[
   q_{(1,\,j,k)}\to a_{(Z,j\oplus\eta,k)},
   \]
   followed by measurement/reset of the \(Z\)-ancilla in the \(X\)-basis.
3. For each monomial \(y^\zeta\) in \(C(y)\), perform a \((1,0,\zeta)\) cyclic shift, then simultaneous CX gates
   \[
   q_{(1,j,k\oplus\zeta)}\to a_{(X,j,k)},
   \]
   and CZ gates
   \[
   q_{(0,j,k)}\to a_{(Z,j,k\oplus\zeta)},
   \]
   followed by measurement/reset of the \(X\)-ancilla in \(X\).
4. Repeat \(d\) rounds for fault tolerance.

Because the CX and CZ gates associated with each monomial are non-overlapping, each loop executes in a single layer. The resulting two-qubit-gate depth per syndrome round is
\[
2(w_x+w_y)+2,
\]
independent of \(a\) and \(b\). Including ancilla preparation and measurement, the total depth for \(d\) rounds is
\[
\bigl(2(w_x+w_y)+2\bigr)d + (2w_x+1).
\]
The paper therefore characterizes the syndrome extraction as constant-depth at LDPC scale. The significance is not merely asymptotic: the depth bound is directly tied to seed-polynomial weights rather than to the block dimensions.

## 6. Circuit-level performance and comparative interpretation

The reported simulations use standard depolarizing circuit noise in which gate, measure, reset, and idle all occur at physical rate \(p\). The logical error rate \(\tilde p_L\) is normalized per round per logical qubit, and a heuristic fit of the form
\[
\tilde p_L \approx p^{D/2}\exp\bigl(\alpha+\beta p+\gamma p^2\bigr)
\]
is given, with coefficients \((\alpha,\beta,\gamma)\) tabulated in Appendix Table A1 [2511.09683].

At \(p=10^{-3}\), the key values singled out in the exposition are:
\[
\text{C2 }[882,50,10],\ \omega=6:\quad \tilde p_L/k\approx 2\times 10^{-8},
\]
\[
\text{C2 }[450,32,8],\ \omega=6:\quad \tilde p_L/k\approx 4.5\times 10^{-7},
\]
\[
\text{ML-HGP }[625,25,8],\ \omega\approx 7:\quad \tilde p_L/k\approx 2\times 10^{-5}.
\]
These figures support the stated claim of up to three orders of magnitude suppression of logical error at comparable or lower qubit overhead.

The comparison against the surface-code heuristic
\[
p_L\approx 0.1(100\,p)^{(D+1)/2}
\]
is reported to show that an LDPC advantage emerges already for modest \(D\sim 8\). In addition, plots of \(\tilde p_L/k\) versus inverse rate \(N/K\) and versus \(p\) are said to confirm that the C2 family, and even the simpler CxR family, outperform both ML-optimized HGP codes and leading bivariate bicycle codes in many regimes.

The comparative picture is therefore specific rather than absolute. The cyclic construction is reported to improve on earlier HGP codes under full circuit-level noise, and in some cases to exceed leading bivariate bicycle codes in logical error rate and qubit overhead, but the abstract explicitly notes the larger block length of those C2 instances. This suggests that cyclic hypergraph product codes are best understood as a high-performing structured corner of the quantum LDPC design space, distinguished by the joint appearance of exhaustive searchability, favorable \([N,K,D]\) tradeoffs with \(\omega\le 10\), and constant-depth syndrome extraction in a two-row QCCD architecture.

Source: https://www.emergentmind.com/topics/cyclic-hypergraph-product-code