Abstract:Let $\mathcal{R}_e=GR(p^e,r)[y]/\langle g(y),p^{e-1}y^t\rangle$ be a finite commutative chain ring, where $p$ is a prime number, $GR(p^e,r)$ is the Galois ring of characteristic $p^e$ and rank $r,$ $t$ and $k$ are positive integers satisfying $1\leq t\leq k$ when $e \geq 2,$ while $t=k$ when $e=1,$ and $g(y)=y^k+p(g_{k-1}y^{k-1}+\cdots+g_1y+g_0)\in GR(p^e,r)[y]$ is an Eisenstein polynomial with $g_0$ as a unit in $GR(p^e,r).$ In this paper, we first establish a duality-preserving 1-1 correspondence between additive codes over $\mathcal{R}_e$ and $\mathbb{Z}_{p^e}\mathbb{Z}_{p^{e-1}}$-linear codes, where the character-theoretic dual codes of additive codes over $\mathcal{R}_e$ correspond to the Euclidean dual codes of $\mathbb{Z}_{p^e}\mathbb{Z}_{p^{e-1}}$-linear codes, and vice versa. This correspondence gives rise to a method for constructing additive codes over $\mathcal{R}_e$ and their character-theoretic dual codes, as unlike additive codes over $\mathcal{R}_e,$ $\mathbb{Z}_{p^e}\mathbb{Z}_{p^{e-1}}$-linear codes can be completely described in terms of generator matrices. We also list additive codes over the chain ring $\mathbb{Z}_4[y]/\langle y^2-2,2y \rangle$ achieving the Plotkin's bound for homogeneous weights, which suggests that additive codes over $\mathcal{R}_e$ is a promising class of error-correcting codes to find optimal codes with respect to the homogeneous metric.
What problem does this paper attempt to address?
The main problem that this paper attempts to solve is to study the algebraic structure of Eisenstein additive codes and their character - theoretic dual codes over finite commutative chain rings. Specifically, by establishing a one - to - one correspondence between additive codes and mixed - alphabet linear codes, the author has solved the following types of problems:
1. **Establishing a one - to - one correspondence**: A one - to - one correspondence that preserves the dual property between additive codes and \(Z_{p^e}Z_{p^{e - 1}}\)-linear codes has been established. This correspondence shows that the character - theoretic dual code of an additive code corresponds to the Euclidean dual code of a \(Z_{p^e}Z_{p^{e - 1}}\)-linear code, and vice versa.
2. **Constructing and classifying specific types of codes**:
- Methods for constructing all Euclidean self - orthogonal, self - dual, and complementary dual (ACD) additive codes are provided.
- Counting formulas for these codes are provided, which helps to classify these codes up to unitary equivalence.
3. **Applications in special cases**: Using the above methods, self - orthogonal and self - dual additive codes of certain specific lengths are specifically classified, for example, codes of length 2 and 3 over the chain ring \(Z_9[y]/\langle y^2 - 3,3y\rangle\), and ACD codes of length 2 over the chain ring \(Z_4[y]/\langle y^2 - 2,2y\rangle\).
### Main contributions
- **Theoretical framework**: By introducing and studying the one - to - one correspondence between additive codes and \(Z_{p^e}Z_{p^{e - 1}}\)-linear codes, a new method for studying additive codes is provided.
- **Specific results**: Specific construction methods and counting formulas are provided, especially for self - orthogonal, self - dual, and ACD codes.
- **Practical applications**: By classifying codes of specific lengths and on specific rings, the practical application value of the theoretical results is demonstrated.
### Formula display
The mathematical formulas involved in the paper are as follows:
- The chain ring \(R_e = GR(p^e,r)[y]/\langle g(y),p^{e - 1}y^t\rangle\), where \(g(y)=y^k + p(g_{k - 1}y^{k - 1}+\cdots+g_1y + g_0)\) is an Eisenstein polynomial, and \(g_0\) is a unit in \(GR(p^e,r)\).
- The \(\chi\)-dual code is defined as:
\[
C^\perp_\chi=\{d\in R_e^N:\chi_d(c) = 1\text{ for all }c\in C\}
\]
where,
\[
\chi_d(c)=\chi_{d_0}(c_0)\chi_{d_1}(c_1)\cdots\chi_{d_{N - 1}}(c_{N - 1})
\]
Through the solution of these problems, this paper provides new perspectives and tools for the study of Eisenstein additive codes over finite commutative chain rings.