Abstract:Additive codes may have better parameters than linear codes. However, still very few cases are known and the explicit construction of such codes is a challenging problem. Here we show that a Griesmer type bound for the length of additive codes can always be attained with equality if the minimum distance is sufficiently large. This solves the problem for the optimal parameters of additive codes when the minimum distance is large and yields many infinite series of additive codes that outperform linear codes.
What problem does this paper attempt to address?
The problem that this paper attempts to solve is whether additive codes can reach the Griesmer bound. Specifically, the author explores whether the length \(n\) of additive codes can be exactly equal to the value of the Griesmer bound when the minimum distance \(d\) is large enough. This problem is of great significance for optimizing the parameters of additive codes and can explain and generate many infinite series of additive codes, which are superior to linear codes in some cases.
### Main contributions of the paper
1. **Reachability of the Griesmer bound**:
- The author has proven that for a large enough minimum distance \(d\), the length \(n\) of additive codes can be exactly equal to the value of the Griesmer bound.
- This result solves the problem of optimal parameters of additive codes when the minimum distance is large and provides many infinite series of additive codes, which are superior to linear codes under the same length and minimum distance.
2. **Geometric construction**:
- The paper proposes a geometric construction method, which generalizes the construction method proposed by Solomon and Stiffler for linear codes. This construction method is not only applicable to additive codes but also can accurately reach the Griesmer bound when the minimum distance is large.
3. **Application prospects**:
- Additive codes have important applications in fields such as quantum coding, computer storage systems, and deep - space communication. Therefore, studying the optimal parameters of additive codes and their construction methods has important theoretical and practical significance.
### Related formulas
The specific form of the Griesmer bound is as follows:
\[ n \geq \sum_{i = 0}^{k - 1} \left\lceil \frac{d}{q^i} \right\rceil=: g_q(k, d) \]
where:
- \(n\) is the length of the codeword,
- \(k\) is the dimension of the code,
- \(d\) is the minimum distance,
- \(q\) is the number of elements in the finite field \(\mathbb{F}_q\).
### Conclusion
Through the above research, the author not only solves the problem of additive codes reaching the Griesmer bound but also provides a new geometric construction method, which provides a theoretical basis and practical tool for future research. This helps to further explore the potential of additive codes in various application scenarios.