Eduardo Camps,Hiram H. López,Gretchen L. Matthews
Abstract:In this paper, we consider the hull of an algebraic geometry code, meaning the intersection of the code and its dual. We demonstrate how codes whose hulls are algebraic geometry codes may be defined using only rational places of Kummer extensions (and Hermitian function fields in particular). Our primary tool is explicitly constructing non-special divisors of degrees $g$ and $g-1$ on certain families of function fields with many rational places, accomplished by appealing to Weierstrass semigroups. We provide explicit algebraic geometry codes with hulls of specified dimensions, producing along the way linearly complementary dual algebraic geometric codes from the Hermitian function field (among others) using only rational places and an answer to an open question posed by Ballet and Le Brigand for particular function fields. These results complement earlier work by Mesnager, Tang, and Qi that use lower-genus function fields as well as instances using places of a higher degree from Hermitian function fields to construct linearly complementary dual (LCD) codes and that of Carlet, Mesnager, Tang, Qi, and Pellikaan to provide explicit algebraic geometry codes with the LCD property rather than obtaining codes via monomial equivalences.
What problem does this paper attempt to address?
The problems that this paper attempts to solve mainly focus on how to construct the hull of algebraic - geometric codes with specified dimensions through specific function fields (such as Kummer extensions and Hermitian function fields), and these codes use only rational points. Specifically, the paper focuses on:
1. **Explicit construction of non - special divisors**: The paper shows how to explicitly construct non - special divisors of degrees \(g\) and \(g - 1\) on certain function fields. The construction of these divisors utilizes the properties of Weierstrass semigroups, especially for Kummer extensions and Hermitian function fields.
2. **The hull of algebraic - geometric codes**: The paper explores how to use these non - special divisors to construct algebraic - geometric codes so that the hull of these codes are also algebraic - geometric codes and these codes have the linear complementary dual (LCD) property. The dimension of the hull can be determined by the properties of non - special divisors.
3. **Solving an open problem**: The paper solves an open problem proposed by Ballet and Le Brigand, that is, how to find non - special divisors of degree \(g - 1\) on specific function fields.
### Specific problem description
- **Construction of non - special divisors**:
- The paper first explicitly constructs non - special divisors of degrees \(g\) and \(g - 1\) through the properties of Weierstrass semigroups.
- For the Kummer extension \(\prod_{i = 1}^r(y-\alpha_i)=x^m\), the paper gives a specific construction method, where \(\alpha_i\in\mathbb{F}_q\), \((q, m)=1\), and \((r, m) = 1\).
- **The hull of algebraic - geometric codes**:
- By constructing non - special divisors, the paper defines the algebraic - geometric code \(C(D, G)\) and its dual code \(C(D, H)\) so that the hull of \(C(D, G)\cap C(D, H)\) can be represented in the form of an algebraic - geometric code.
- In particular, when \(\gcd(G, H)\) is a non - special divisor, the hull \(\text{Hull}(C(D, G))=C(D,\gcd(G, H))\).
- **Linear complementary dual (LCD) codes**:
- The paper makes \(C(D, G)\) a linear complementary dual code by choosing appropriate divisors \(G\) and \(H\), that is, \(C(D, G)\cap C(D, G)^\perp = \{0\}\).
### Application background
- **Coding theory**: These results are of great significance in coding theory, especially in constructing algebraic - geometric codes with specific properties.
- **Cryptography**: Linear complementary dual codes are used in cryptography to protect against side - channel attacks and fault - injection attacks.
- **Quantum error - correcting codes**: These codes are also applied in quantum error - correcting codes, especially in entanglement - assisted quantum error - correcting codes.
### Main contributions
- **Explicit construction**: It provides methods for explicitly constructing non - special divisors, which is of great significance for understanding and applying algebraic - geometric codes.
- **Theoretical results**: It proves that under specific conditions, the hull of algebraic - geometric codes can be completely represented by algebraic - geometric codes.
- **Practical applications**: These results provide a theoretical basis for constructing algebraic - geometric codes with specific properties, especially for applications in coding theory and cryptography.
In conclusion, this paper solves the problem of constructing algebraic - geometric codes with specified hulls on specific function fields through explicit construction of non - special divisors and provides theoretical support for the applications of these codes.