José Joaquín Bernal,Diana H. Bueno-Carreño,Juan Jacobo Simón
Abstract:In this note, we apply some techniques developed in [1]-[3] to give a particular construction of bivariate Abelian Codes from cyclic codes, multiplying their dimension and preserving their apparent distance. We show that, in the case of cyclic codes whose maximum BCH bound equals its minimum distance the obtained abelian code verifies the same property; that is, the strong apparent distance and the minimum distance coincide. We finally use this construction to multiply Reed-Solomon codes to abelian codes
What problem does this paper attempt to address?
The main problem that this paper attempts to solve is to multiply the dimension of cyclic codes by constructing specific two - variable Abelian codes while maintaining their apparent distance. Specifically, the paper shows that when the maximum BCH bound of a cyclic code is equal to its minimum distance, the resulting Abelian code also has the same property, that is, the strong apparent distance is consistent with the minimum distance. In addition, the paper also uses this construction method to extend Reed - Solomon codes to Abelian codes while maintaining the true minimum distance.
### Main contributions of the paper:
1. **Construction method**: A method for constructing two - variable Abelian codes from cyclic codes is proposed, which can increase the dimension of the code while maintaining its apparent distance.
2. **Property preservation**: It is proved that under certain conditions, the strong apparent distance of the constructed Abelian code is consistent with the minimum distance.
3. **Application example**: It is shown how to extend Reed - Solomon codes to Abelian codes and keep their minimum distance unchanged.
### Specific problem analysis:
- **Dimension multiplication**: Through the construction method, the dimension of a cyclic code can be multiplied by a factor \(n\), thus generating a higher - dimensional Abelian code.
- **Distance preservation**: Under specific conditions (such as when the maximum BCH bound of a cyclic code is equal to its minimum distance), the constructed Abelian code can also maintain this property.
- **Application example**: Through specific examples (such as RS(255, 223) code), it is shown how to extend these codes to Abelian codes and maintain their minimum distance.
### Mathematical representation:
- **Definition set**: For a fixed \(\hat{\alpha}=(\alpha,\beta)\), any Abelian code \(C\) can be determined by its definition set \(D_{\hat{\alpha}}(C)\), where
\[
D_{\hat{\alpha}}(C)=\{(a,b)\in I:c(\alpha^{a},\beta^{b}) = 0,\forall c\in C\}
\]
- **Strong apparent distance**: The strong apparent distance \(sd^{*}(C)\) of an Abelian code \(C\) is defined as
\[
sd^{*}_{\hat{\alpha}}(C)=\min\{sd^{*}(M(\phi_{\hat{\alpha},e})):0\neq e^{2}=e\in C\}
\]
where \(\phi_{\hat{\alpha},e}\) is the discrete Fourier transform of the polynomial \(e\).
### Conclusion:
By constructing specific Abelian codes, the paper not only increases the dimension of the code but also maintains its important distance properties, which is of great significance for coding theory and practical applications.