On Galois LCD codes and LCPs of codes over mixed alphabets

Leijo Jose,Anuradha Sharma

2024-12-13

Abstract:Let $\mathtt{R}$ be a finite commutative chain ring with the maximal ideal $\gamma\mathtt{R}$ of nilpotency index $e\geq 2,$ and let $\check{\mathtt{R}}=\mathtt{R}/\gamma^{s}\mathtt{R}$ for some positive integer $ s< e.$ In this paper, we study and characterize Galois $\mathtt{R}\check{\mathtt{R}}$-LCD codes of an arbitrary block-length. We show that each weakly-free $\mathtt{R}\check{\mathtt{R}}$-linear code is monomially equivalent to a Galois $\mathtt{R}\check{\mathtt{R}}$-LCD code when $|\mathtt{R}/\gamma\mathtt{R}|>4,$ while it is monomially equivalent to a Euclidean $\mathtt{R}\check{\mathtt{R}}$-LCD code when $|\mathtt{R}/\gamma\mathtt{R}|>3.$ We also obtain enumeration formulae for all Euclidean and Hermitian $\mathtt{R}\check{\mathtt{R}}$-LCD codes of an arbitrary block-length. With the help of these enumeration formulae, we classify all Euclidean $\mathbb{Z}_4 \mathbb{Z}_{2}$-LCD codes and $\mathbb{Z}_9 \mathbb{Z}_{3}$-LCD codes of block-lengths $(1,1),$ $(1,2),$ $(2,1),$ $(2,2),$ $(3,1)$ and $(3,2)$ and all Hermitian $\frac{\mathbb{F}_{4}[u]}{\langle u^2\rangle} \;\mathbb{F}_{4}$-LCD codes of block-lengths $(1,1),$ $(1,2),$ $(2,1)$ and $(2,2)$ up to monomial equivalence. Apart from this, we study and characterize LCPs of $\mathtt{R}\check{\mathtt{R}}$-linear codes. We further study a direct sum masking scheme constructed using LCPs of $\mathtt{R}\check{\mathtt{R}}$-linear codes and obtain its security threshold against fault injection and side-channel attacks. We also discuss another application of LCPs of $\mathtt{R}\check{\mathtt{R}}$-linear codes in coding for the noiseless two-user adder channel.

Information Theory

What problem does this paper attempt to address?

### What problems does this paper attempt to solve?

This paper mainly studies and characterizes Galois LCD codes (linear complementary dual codes) defined on a mixed alphabet and their linear complementary pairs (LCPs). Specifically, the goals and contributions of the paper are as follows:

1. **Research and Characterization of Galois LCD Codes**:
- The paper explores Galois \( R\check{R} \)-LCD codes of arbitrary block lengths and shows that every weakly - free \( R\check{R} \)-linear code is unitarily equivalent to a Galois \( R\check{R} \)-LCD code or a Euclidean \( R\check{R} \)-LCD code under specific conditions.
- Provides enumeration formulas for all Euclidean and Hermitian \( R\check{R} \)-LCD codes.

2. **Classification of LCD Codes of Specific Lengths**:
- Using the above - mentioned enumeration formulas, through Magma software, classifies Euclidean \( Z_4Z_2 \)-LCD codes, \( Z_9Z_3 \)-LCD codes, and Hermitian \( F_4[u]\langle u^2 \rangle F_4 \)-LCD codes of specific block lengths such as (1,1), (1,2), (2,1), (2,2), (3,1), (3,2).

3. **Research on Linear Complementary Pairs (LCPs)**:
- Studies and characterizes LCPs of \( R\check{R} \)-linear codes, providing a new characterization method, which is different from previous work.
- Explores direct - sum and masking schemes based on LCPs and analyzes their security thresholds under fault injection and side - channel attacks.
- Discusses the application of LCPs in the noiseless two - user additive channel.

### Representation of Formulas in Markdown Format

- **Ring Structure**:
Let \( R \) be a finite commutative chain ring with a maximal ideal \( \gamma R \) and the nilpotency index of \( \gamma \) is \( e\geq2 \). Let \( \check{R}=R / \gamma^s R \), where \( s \) is a positive integer satisfying \( s < e \).

- **Generator Matrix Form**:
The generator matrix of a weakly - free \( R\check{R} \)-linear code \( C \) can be represented as:
\[
G=\begin{bmatrix}
A & B\\
\gamma^{e - s}E & F
\end{bmatrix}
\]
where \( A\in M_{k_0\times a}(R) \), \( B\in M_{k_0\times b}(\check{R}) \), \( \gamma^{e - s}E\in M_{\ell_0\times a}(R) \), \( F\in M_{\ell_0\times b}(\check{R}) \).

- **Inner Product Form**:
For any \( m_1, m_2\in M \), define the \( h \)-Galois inner product as:
\[
\langle m_1, m_2\rangle_h=\sum_{i = 1}^a c_i\sigma^h(c'_i)+\gamma^{e - s}\sum_{j = 1}^b d_j\sigma^h(d'_j)
\]

- **Dual Code**:
The \( h \)-Galois dual code \( C^\perp_h \) is defined as:
\[
C^\perp_h=\{m_1\in M:\langle m_1, m_2\rangle_h = 0\text{ for all }m_2\in C\}
\]

### Summary

This paper, through in - depth...