Abstract:Fast encoding and decoding of codes have been always an important topic in code theory as well as complexity theory. Although encoding is easier than decoding in general, designing an encoding algorithm of codes of length $N$ with quasi-linear complexity $O(N\log N)$ is not an easy task. Despite the fact that algebraic geometry codes were discovered in the early of 1980s, encoding algorithms of algebraic geometry codes with quasi-linear complexity $O(N\log N)$ have not been found except for the simplest algebraic geometry codes--Reed-Solomon codes. The best-known encoding algorithm of algebraic geometry codes based on a class of plane curves has quasi-linear complexity at least $O(N\log^2 N)$. In this paper, we design an encoding algorithm of algebraic geometry codes with quasi-linear complexity $O(N\log N)$. Our algorithm works well for a large class of algebraic geometry codes based on both plane and non-plane curves. The main idea of this paper is to generalize the divide-and-conquer method from the fast Fourier Transform over finite fields to algebraic curves. Suppose we consider encoding of algebraic geometry codes based on an algebraic curve ${\mathcal X}$ over $\mathbb{F}_q$. We first consider a tower of Galois coverings ${\mathcal X}={\mathcal X}_0\rightarrow{\mathcal X}_1\rightarrow\cdots\rightarrow{\mathcal X}_r$ over a finite field $\mathbb{F}_q$, i.e., their function field tower $\mathbb{F}_q({\mathcal X}_0)\supsetneq\mathbb{F}_q({\mathcal X}_{1})\supsetneq\cdots \supsetneq\mathbb{F}_q({\mathcal X}_r)$ satisfies that each of extension \mathbb{F}_q({\mathcal X}_{i-1})/\mathbb{F}_q({\mathcal X}_i)$ is a Galois extension and the extension degree $[\mathbb{F}_q({\mathcal X}_{i-1}):\mathbb{F}_q({\mathcal X}_i)]$ {is a constant}. Then encoding of an algebraic geometry code based on ${\mathcal X}$ is reduced to the encoding of an algebraic geometry code based on ${\mathcal X}_r$.

A generalization of algebraic-geometry codes

Encoding of algebraic geometry codes with quasi-linear complexity O(Nlog N)

On Codes in the Projective Linear Group PGL(2,q)

Euclidean and Hermitian Self-orthogonal Algebraic Geometry Codes and Their Application to Quantum Codes.

Codes from Infinitely Near Points

Bases for Riemann–Roch spaces of linearized function fields with applications to generalized algebraic geometry codes

Explicit non-special divisors of small degree, algebraic geometric hulls, and LCD codes from Kummer extensions

Algebraic Geometry codes in the sum–rank metric

Algebraic geometry codes over abelian surfaces containing no absolutely irreducible curves of low genus

Algebraic Geometry codes in the sum-rank metric

Linear Codes with Few Weights from Inhomogeneous Quadratic Functions.

Asymptotic Bounds on Quantum Codes from Algebraic Geometry Codes

Algebraic Geometry Codes with Complementary Duals Exceed the Asymptotic Gilbert-Varshamov Bound

On Galois self-orthogonal algebraic geometry codes

Explicit Computation of Generalized Hamming Weights for Some Algebraic Geometric Codes

Good Linear Codes from Polynomial Evaluations.

Linear Codes over Galois Ring GR(p2, r) Related to Gauss sums.

Weierstrass Semigroup, Pure Gaps and Codes on Function Fields

Encoding via Gröbner bases and discrete Fourier transforms for several types of algebraic codes

Linear codes associated to symmetric determinantal varieties; General case

A Class of Linear Codes with a Few Weights.