Encoding of Algebraic Geometry Codes With Quasi-Linear Complexity O(NlogN)

• Published in: IEEE transactions on information theory Vol. 71; no. 7; pp. 5013 - 5026
• Main Authors: Li, Songsong, Liu, Shu, Ma, Liming, Wan, Yunqi, Xing, Chaoping
• Format: Journal Article
• Language: English
• Published: IEEE 01.07.2025
• Subjects: Algebraic geometry codes; Codes; Complexity theory; Costs; Decoding; Electronic mail; Encoding; encoding algorithms; Fast Fourier transforms; Geometry; multipoint evaluation; Polynomials; Reed-Solomon codes
• ISSN: 0018-9448; 1557-9654
• DOI: 10.1109/TIT.2025.3562424

Fast encoding and decoding of codes have always been an important topic in coding 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 <inline-formula> <tex-math notation="LaTeX">O(N\log N) </tex-math></inline-formula> is not an easy task. Despite of the fact that algebraic geometry codes (AG codes) were discovered in the early 1980s, encoding algorithms of algebraic geometry codes with quasi-linear complexity <inline-formula> <tex-math notation="LaTeX">O(N\log N) </tex-math></inline-formula> 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 <inline-formula> <tex-math notation="LaTeX">O(N\log ^{2} N) </tex-math></inline-formula> (Beelen et al. IEEE Trans. Inf. Theory 2021). In this paper, we design an encoding algorithm for algebraic geometry codes with quasi-linear complexity <inline-formula> <tex-math notation="LaTeX">O(N\log N) </tex-math></inline-formula>. Moreover, for these fast encodable AG codes, the inverse of encoding, that is, interpolating the message function from the corresponding codeword, can be computed with the same complexity <inline-formula> <tex-math notation="LaTeX">O(N\log N) </tex-math></inline-formula>. Our algorithms are applicable to a large class of algebraic geometry codes based on both plane and non-plane curves, including Kummer extensions, Artin-Schreier extensions, and Hermitian field towers.