---
title: Orthogonal Self-Dual Codes
url: https://www.emergentmind.com/topics/orthogonal-self-dual-codes
type: topic
---

# Orthogonal Self-Dual Codes

Orthogonal self-dual codes are linear codes defined over finite fields, rings, or group algebras that are equal to their own duals under a prescribed symmetric bilinear form, most commonly the Euclidean inner product. These codes are central in coding theory for their algebraic structure, optimality properties (such as saturating the Singleton bound in the MDS context), and intrinsic connections to lattices, combinatorial designs, and quantum error correction.

## 1. Definitions and Fundamental Constructions

Let $\mathbb{F}_q$ be a finite field of characteristic $p$, $n$ a positive integer, and let $C \subseteq \mathbb{F}_q^n$ be a linear code of length $n$ and dimension $k$. The Euclidean inner product on $\mathbb{F}_q^n$ is
\[
\langle x, y \rangle = \sum_{i=1}^n x_i y_i.
\]
The Euclidean dual code is $C^\perp = \{ y \in \mathbb{F}_q^n \mid \langle x, y \rangle = 0,\, \forall x \in C \}$.

- $C$ is **self-orthogonal** if $C \subseteq C^\perp$.
- $C$ is **self-dual** if $C = C^\perp$ (then $k = n/2$ and $n$ even).
- **Orthogonal** here refers to the code being isotropic under the symmetric form; all codewords are orthogonal to each other.

A code is maximum distance separable (MDS) if it attains the Singleton bound: $d = n - k + 1$. A code is **almost self-dual** if $n$ is odd, $C \subseteq C^\perp$ and $\dim C^\perp = \dim C + 1$ [1906.00380].

Extensions to codes over rings, group algebras, or chain rings are analogously defined with respect to suitable inner products.

## 2. Algebraic Criteria for (Self-)Orthogonality in MDS and GRS Constructions

A principal approach to constructing orthogonal self-dual codes uses Generalized Reed–Solomon (GRS) codes and their extensions. The central criterion is as follows [1906.00380]:
- For $C = \mathrm{GRS}_k(\mathbf{v}, \mathbf{a})$ over $\mathbb{F}_q$ with distinct evaluation points $a_1,\dots,a_n$ and nonzero multipliers $v_i$,
  \[
  C \text{ is self-orthogonal} \iff \exists\, X(x) \in \mathbb{F}_q[x],\ \deg X = n-2k,\ X \neq 0,\ \text{such that}~ v_i^2 = X(a_i) L(a_i)^{-1} \ne 0~\forall i,
  \]
  where $L(a_i) = \prod_{j\neq i} (a_i - a_j)$.

In the special case $k = n/2$ over square fields $q = r^2$, the criterion simplifies: if there exists $\Lambda \in \mathbb{F}_q^*$ such that $\Lambda L(a_i)^{-1}$ is a nonzero square for all $i$, then $C$ is self-dual. Using cyclotomic coset-based evaluation sets, about $q/8$ new MDS self-dual codes can be obtained for each large square $q$ [1906.00380].

Analogous orthogonality conditions are available for
- Extended GRS codes (for almost self-dual and self-dual codes with odd $n$).
- **Twisted GRS (TGRS) codes**, where explicit block-matrix conditions control multi-twist orthogonality and self-duality for a large new class of MDS and near-MDS codes [2605.23460].

For codes constructed as $2$-quasi-abelian group algebra submodules (e.g., double circulant codes), self-duality reduces to the equation $b \cdot \bar b = -1$ in the group ring, which has solutions if and only if $-1$ is a square in the ambient field [2108.07427].

## 3. Infinite Families, Enumeration, and Asymptotic Results

Enumeration and asymptotic properties are key for evaluating the abundance and quality of orthogonal self-dual codes.
  
- **MDS self-orthogonal and self-dual codes:** The cyclotomic coset construction for GRS codes yields about $q/8$ distinct even lengths $n$ with true self-dual codes, $q/8$ with almost self-dual codes (odd $n$), and $q/4$ with self-orthogonal codes of dimension $n/2-1$ (even $n$), demonstrating quadratic growth in the number of distinct parameters as $q$ grows [1906.00380].
- **Quasi-abelian index-2 codes:** The counting formulas for the number of self-dual and self-orthogonal index-2 quasi-abelian codes are explicit and depend on the number of solutions to $b \cdot \bar b = -1$ in field components; the existence of self-dual codes hinges on $-1$ being a square [2108.07427].
- **Chain ring and ring codes:** Recursive constructions yield explicit enumeration formulas for all self-orthogonal and self-dual codes over arbitrary finite commutative chain rings of even characteristic, expressed in terms of chains of self-orthogonal codes over their residue fields [2510.06082][2510.06069].

Orthogonal self-dual code families built via these methods are **asymptotically good**—there exist infinite sequences with rate $1/2$ and lower-bounded relative distance, and for certain parameters they exceed classical bounds (e.g., surpassing the Gilbert–Varshamov bound for nonprime $q \geq 64$) [1709.07221].

## 4. Recursive and Algebraic Lifting Methods

Orthogonal self-dual codes can be systematically constructed from more elementary self-orthogonal codes:
- **Binary case:** Every self-orthogonal code of even length (with further divisibility constraint if $q \equiv 3 \pmod 4$) extends to a self-dual code [1709.07221][2511.05440]. This is achieved via Witt-type isometries or algebraic matrix completion processes.
- **Ring and chain ring case:** Any self-orthogonal code over a finite chain ring can be recursively lifted from a chain of self-orthogonal residue codes [2510.06082][2510.06069]. These liftings preserve orthogonality and the chain structure of code invariants (torsion codes, types).
- **$\mathbb{Z}_4$ case:** Any self-orthogonal $\mathbb{Z}_4$-code can be expanded to a self-dual code by adjoining vectors of the form $2v$ for certain $v$ in the binary dual or via block generator augmentation. This method recovers all known indecomposable self-dual codes of small length and has led to the discovery of new Euclidean-optimal codes and extremal unimodular lattices [2409.00404].
- **$\mathbb{Z}_2 \times \mathbb{Z}_4$ case:** All code types (I, II, 0) can be realized, with explicit canonical generator block forms, product, and neighbor constructions [0910.3084].

## 5. Applications, Structure Theorems, and Quantum Codes

- **Quantum error correction:** Any classical self-orthogonal code under the (Euclidean or Hermitian) inner product can be used to construct a quantum stabilizer code via the CSS construction. Many families of self-orthogonal and self-dual MDS or near-MDS codes yield quantum codes saturating the quantum Singleton bound [2506.00994][2501.16343][2605.23460].
- **Algebraic–Geometry (AG) codes:** Orthogonality and self-duality for AG codes is characterized by differential (residue) criteria; generically, an AG code $C_L(D, G)$ is self-orthogonal if $2G - D + W \geq 0$ and self-dual if $2G = D - W$ (with $W$ a canonical divisor) [2501.16343][2506.00994].
- **Lattice theory:** Via Construction A, self-dual codes over $\mathbb{Z}_4$ map to (odd or even) unimodular lattices; new extremal lattices have been constructed in this way from self-dual codes of previously unknown parameters [2409.00404].
- **Invariant theory:** Weight enumerators for self-dual codes are governed by explicit rings of invariants and MacWilliams-type relations, depending on code type and choice of module (e.g., for $\mathbb{Z}_2\times\mathbb{Z}_4$-codes, the invariance group is $C_2\times C_2$) [0910.3084].

## 6. Broadening Constructions: Plateaux Functions, Embedding, and Algebraic Techniques

- **Plateaued functions:** By using weakly regular plateaued functions (a generalization of bent functions), large families of $p$-ary linear self-orthogonal and self-dual codes with controlled weight spectra are constructed, particularly optimal or almost optimal for binary and ternary cases [2411.04447].
- **Shortest embedding:** Minimal self-orthogonal or self-dual extensions of arbitrary linear codes can be computed via properties of the hull and orthonormal basis construction. For Hamming and Reed–Muller codes, this yields, for example, the shortened Golay code and previously unknown optimal self-orthogonal codes [2511.05440].
- **Orthogonal matrices:** In characteristic $p$, randomized sampling in the orthogonal group $O_n(q)$ enables direct construction of MDS self-dual codes using canonical generator forms $G = [I_m | A]$ with $A A^\top = -I_m$ [1610.07736].

## 7. Comparison with Previous Literature and Impact

Recent advances have dramatically increased the known set of orthogonal self-dual and self-orthogonal codes, particularly in the MDS and AG setting. Where classical constructions (e.g., via cyclic, double-circulant, or direct-sum methods) were limited to $O(\sqrt{q})$ or $O(\text{divisors}(q-1))$ possible parameters, cyclotomic and group algebra methods expand this to $\Theta(q)$ or $\Theta(q^2)$. These growth rates are confirmed through explicit counts and constructive enumeration theorems [1906.00380][2108.07427].

Orthogonal self-dual codes thus provide a unifying algebraic framework encompassing many optimal and structurally rich code families, with deep connections to algebraic geometry, finite group theory, combinatorics, and the theory of quantum information [1906.00380][2108.07427][2506.00994][1709.07221][2510.06082][1610.07736][2411.04447][2409.00404][2501.16343][0910.3084][2511.05440][2605.23460].

Source: https://www.emergentmind.com/topics/orthogonal-self-dual-codes