---
title: One-Generator Quasi-Cyclic Codes
url: https://www.emergentmind.com/topics/one-generator-quasi-cyclic-codes
type: topic
---

# One-Generator Quasi-Cyclic Codes

A one-generator quasi-cyclic (QC) code is a principal submodule of a direct sum of cyclic modules over a commutative ring, and serves as a unifying generalization for numerous families of algebraic error-correcting codes. Over a finite field $\mathbb{F}_q$ (or, more generally, a finite chain ring or local ring), an $\ell$-index QC code of length $n = \ell m$ is an $\mathbb{F}_q$-linear code invariant under cyclic shifts of $\ell$-blocks, admitting an isomorphic module representation as a submodule of $(\mathbb{F}_q[x]/(x^m-1))^\ell$. A one-generator QC code is an $(\mathbb{F}_q[x]/(x^m-1))$-submodule generated by a single element (vector of polynomials). The algebraic and structural theory of such codes provides exact generator/BCH-type bounds, efficient decoding, and applications to quantum codes, as seen in a succession of recent works [2412.13613], [2504.00568], [2504.09126], [2211.03392], [1307.1746], [2111.04914], [1309.1623], [1108.3754], [1704.08815], [2009.02543].

## 1. Structural Foundations and Algebraic Setup

Let $q$ be a prime power, $m\geq1$, and $\ell\geq2$. The ambient ring is $R = \mathbb{F}_q[x]/(x^m-1)$, which is a principal ideal ring when $\gcd(m,q)=1$. The ambient vector space $\mathbb{F}_q^{\ell m}$ (or $R^\ell$) is partitioned into $\ell$ blocks of length $m$.

A codeword is identified with a vector $(c_0(x),\dots, c_{\ell-1}(x)) \in R^\ell$, where each $c_i(x)$ is a polynomial of degree less than $m$. A code $C \subset R^\ell$ is called $\ell$-quasi-cyclic if it is invariant under the simultaneous action of multiplication by $x$ in each component. This invariance translates to $C$ being an $R$-submodule of $R^\ell$. In particular, $C$ is called one-generator if $C=R\cdot G(x)$ for some $G(x)\in R^\ell$.

When considered over a finite chain ring $R$ (e.g., $R = \mathbb{F}_q + u\mathbb{F}_q$ with $u^2=0$), or more generally a principal ideal ring, exactly analogous module-theoretic and structural results apply [1307.1746], [2111.04914], [1309.1623].

## 2. Construction and Canonical Forms

A one-generator QC code is completely specified by a generator tuple $G(x) = (g_1(x), \ldots, g_\ell(x)) \in R^\ell$, and has the form
$$
C = \{ a(x) G(x) \mid a(x) \in R \}.
$$
The generator $G(x)$ often satisfies further divisibility and minimality conditions, often expressed in terms of basic (coprime) decompositions, strong Gröbner bases, or explicit CRT coordinates. In the index-$2$ case, every such QC code $C$ is generated by at most two elements and admits a canonical (Gröbner) form [2504.00568], [2504.09126]:
$$
C = \langle (g_{11}(x), g_{12}(x)), (0, g_{22}(x)) \rangle \subset R^2,
$$
with $g_{ij}(x) \mid x^m-1$ and appropriate compatibility conditions. The code is one-generator if and only if $g_{11}(x)g_{22}(x) \equiv 0 \pmod{x^m-1}$. In that case, an explicit single generator can be constructed via the extended Euclidean algorithm.

The CRT decomposition of $R$ allows a direct-sum decomposition of $C$ into constituent codes over extension fields or residue rings, facilitating analysis of dimension, duality, and minimum distance [2504.09126], [1309.1623], [2111.04914].

## 3. Generator Matrices and Parameter Formulas

The generator matrix of a one-generator QC code is classically constructed by listing the $\mathbb{F}_q$-expansions of the cyclic $m$-shifts of $G(x)$ [1704.08815]. If $\deg(g_i(x)) = a_i$, the $\mathbb{F}_q$-dimension is
$$
k = \sum_{i=0}^{\ell-1} ( m - \deg(g_i(x)) ).
$$
Alternatively, for $h(x) = \gcd(x^m-1, g_1(x), \ldots, g_\ell(x))$,
$$
k = m - \deg h(x).
$$
A generator matrix is block circulant: each block corresponding to $g_i(x)$ gives rise to an $m \times m$ circulant matrix, and the rows of the code matrix correspond to shifted versions of $G(x)$.

For QC codes over chain rings or principal ideal rings, the full structure is controlled by a sequence of divisors and associated annihilator ideals, linking the $\mathbb{F}_q$- or $R$-module structure directly to the generator polynomials [1309.1623], [2111.04914].

## 4. Duality, Orthogonality, and the LCD Property

The explicit polynomial and matrix representation allows precise duality computations. For the Euclidean, Hermitian, or symplectic inner products, necessary and sufficient polynomial conditions for self-orthogonality or dual containment can be formulated [2412.13613], [2504.00568], [2504.09126], [2009.02543]. For example, in index-$2$,
- **Symplectic self-orthogonality**: For $G = [A \mid B]$, $A$ and $B$ circulant, $C$ is self-orthogonal iff $AB^T = BA^T$; equivalently,
  $$
  a(x)\widetilde{b}(x) \equiv b(x)\widetilde{a}(x) \pmod{x^m-1}
  $$
  where $\widetilde{t}(x) = x^{m-1}t(x^{-1})$ [2412.13613].

- **Euclidean LCD property**: $C = \langle (g_{11},g_{12}) \rangle$ is LCD iff
  $$
  \gcd\left(\frac{x^m-1}{g(x)},\;g_{11}(x)^2+g_{12}(x)^2\right)=1
  $$
  where $g(x) = \gcd(g_{11},g_{12})$ [2504.09126].

The decomposition via CRT shows that the dual code corresponds to the orthogonal direct sum of constituents, and the LCD property is equivalent to trivial intersection with the dual in each direct summand.

## 5. Minimum Distance Bounds

Minimum distance lower bounds for one-generator QC codes follow from their CRT decomposition and block cyclic structure. Let $\widetilde{C}$ be the cyclic code of length $m$ determined by $\gcd(g_1(x),\ldots,g_\ell(x))$, and let $B$ be the code over $\mathbb{F}_q$ generated by the coefficient vectors of $G(x)$. Then
$$
d_{\min}(C) \geq d_{\min}(\widetilde{C})\, d_{\min}(B)
$$
[1307.1746]. For index-$2$ QC codes whose cyclic constituent has $\delta-1$ consecutive roots, the BCH-type bound gives $d_{\min}(C) \geq 2\delta$.

Strong bounds also arise for specialized families (quasi-BCH codes, generalized QC codes over $R=\mathbb{F}_q+u\mathbb{F}_q$), and combinatorial analysis yields the designed minimum distance in quasi-BCH settings [1108.3754].

## 6. Enumeration, Automorphisms, and Weight Distribution

Enumeration formulas for one-generator QC codes with fixed annihilator are derived from chains of basic divisors and idempotent-lifting algorithms, providing explicit counts depending on the module structure [1309.1623]. For the ambient field case, orbit-counting and group-theoretic analysis of automorphism groups yield tight upper bounds on the number of nonzero codeword weights [2211.03392]. The group generated by the block shift, field multipliers, and scalars acts with orbits corresponding to weight levels, and Burnside's lemma gives a closed-form sum:
- $s(C) \leq |G'\backslash C^*|$

where $s(C)$ is the number of nonzero weights, and $G'$ is the automorphism group generated by block shifts and field automorphisms.

## 7. Applications: Quantum Codes and Extensions

One-generator QC codes underpin constructions of classical codes with strong symplectic or Hermitian self-orthogonality, which are leveraged to construct quantum stabilizer codes and entanglement-assisted codes with record-breaking parameters [2412.13613], [2009.02543]. For example, index-$2$ QC codes with symplectic self-orthogonality yield quantum codes of parameters $[[n,n-k,d_s]]_q$, where $d_s$ is the symplectic minimum distance.

QC codes over extension rings (such as $\mathbb{F}_q+u\mathbb{F}_q$ or finite chain rings) produce families of modules and provide new examples of codes with optimal or near-optimal distance for various metrics, including Lee and Hamming distance [1307.1746], [2111.04914].

Extensions of the algebraic approach allow for efficient decoding (quasi-BCH syndrome decoding [1108.3754]), computation of minimal basis, and explicit generator construction, as well as systematic design of new codes for both classical and quantum applications.

---

The theory of one-generator quasi-cyclic codes now forms a central core of algebraic coding theory, linking principal module theory, polynomial factorizations, block-circulant structures, duality, and quantum code construction in a unified algebraic framework [2412.13613], [2504.00568], [2504.09126], [2211.03392], [1307.1746], [1309.1623], [1704.08815], [2111.04914], [1108.3754], [2009.02543].

Source: https://www.emergentmind.com/topics/one-generator-quasi-cyclic-codes