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$.

Ordered algebraic structure in a linear code

A-infinity Structures Related to Bi-Koszul Algebras

Code algebras, axial algebras and VOAs

New Binary Linear Codes from Algebraic Curves

Linear codes invariant under a linear endomorphism

A New Construction of Nonlinear Codes Via Algebraic Function Fields

A generalization of algebraic-geometry codes

Group code structures on affine-invariant codes

Some New Codes from Algebraic Curves.

Even poset and a parity result for binary linear code

Characterizing completely regular codes from an algebraic viewpoint

A Class of Linear Codes with Good Parameters from Algebraic Curves

Every -linear code is equivalent to a multi-twisted code

Function-field codes

Disjoint linear codes from algebraic function fields

A Propagation Rule for Linear Codes

Computer classification of linear codes based on lattice point enumeration and integer linear programming

Upper Bounds for Linear Graph Codes

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

Asymptotically Good Nonlinear Codes from Algebraic Curves

Linear Network Coding over Rings, Part I: Scalar Codes and Commutative Alphabets