Bounded-degree Low Rank Parity Check Codes

Ermes Franch,Chunlei Li
2024-01-27
Abstract:Low rank parity check (LRPC) codes are the rank-metric analogue of low density parity check codes. In this paper we investigate a sub-family of LRPC codes, which have a parity check matrix defined over a subspace $V_{\alpha,d}=\langle 1,\alpha, \ldots, \alpha^{d-1}\rangle_{\mathbb{F}_q}\subsetneq \mathbb{F}_{q^m}$, where $\mathbb{F}_{q^m}$ is the finite field of $q^m$ elements and $d$ is significantly smaller than $m $. These codes are named bounded-degree LRPC (BD-LRPC) codes and are the same as the standard LRPC codes of density $2$ when the degree $d=2$, while BD-LRPC codes of degree $d>2$ constitute a proper subset of LRPC codes of density $d$. Exploiting the particular structure of their parity check matrix, we show that the BD-LRPC codes of degree $d$ can uniquely correct errors of rank weight $r$ when $n-k \geq r + u$ for certain $u \geq 1$, in contrast to the condition $n-k\geq dr$ required for the standard LRPC codes, where $d\geq n/(n-k)$. This underscores the superior decoding capability of the proposed BD-LRPC codes. As the code length $n$ approaches infinity, when $n/m\rightarrow 0$, it is shown that $u$ can be chosen as a certain constant, which indicates that the BD-LRPC codes with a code rate of $R$ can be, with a high probability, uniquely decodable with the decoding radius $\rho=r/n$ approaching the Singleton bound $1-R$ for $n \to \infty$; and when $b= n/m$ is a constant, the BD-LRPC codes can have unique decoding radius $\rho = 1-R-\epsilon $ for a small $\epsilon$, which can easily lead to $\rho>(1-R)/2$ with properly chosen parameters.
Information Theory
What problem does this paper attempt to address?
The problem that this paper attempts to solve is the problem of improving the decoding ability in rank metric codes, especially in Low Rank Parity Check (LRPC) codes. Specifically, the paper proposes a sub - family of LRPC codes - Bounded - Degree Low Rank Parity Check (BD - LRPC) codes. These codes have a parity - check matrix with a specific structure, allowing for the unique correction of errors with higher rank weights under certain conditions. ### Background and Objectives of the Paper Rank metric codes are an encoding technique for error correction, widely used in areas such as network coding, cross - error correction, and cryptography. In recent years, significant progress has been made in the research of such codes, especially in decoding algorithms. However, when the rank weight of the error exceeds a certain threshold, efficient decoding remains a challenge. Although traditional LRPC codes can achieve unique decoding through probabilistic polynomial - time algorithms, their decoding radius is limited by the density and length of the codes. ### Proposal of BD - LRPC Codes To overcome this limitation, the paper proposes BD - LRPC codes. The elements of the parity - check matrix \( H \) of these codes are randomly selected from a specific subspace \( V_{\alpha, d}=\langle 1, \alpha,\ldots,\alpha^{d - 1}\rangle_{\mathbb{F}_q} \), where \( \alpha\in\mathbb{F}_{q^m} \) and \( d \) is significantly smaller than \( m \). This structure enables BD - LRPC codes to uniquely correct errors with higher rank weights under certain conditions. ### Main Contributions 1. **Improvement in Decoding Ability**: The paper proves that BD - LRPC codes can uniquely correct errors with rank weight \( r \) under the condition \( n - k\geq r + u \), while standard LRPC codes require \( n - k\geq dr \). Here, \( u\geq1 \) is a constant, indicating that BD - LRPC codes have stronger decoding ability. 2. **Asymptotic Performance Analysis**: When the code length \( n \) approaches infinity and \( n/m\rightarrow0 \), BD - LRPC codes can be uniquely decoded with high probability, and the decoding radius \( \rho = r/n \) approaches the Singleton bound \( 1 - R \), where \( R \) is the code rate. 3. **Parameter Selection**: The paper also discusses how to select parameters to ensure successful decoding. Specifically, when \( n/m \) is a constant, BD - LRPC codes can have a unique decoding radius \( \rho = 1 - R-\epsilon \), where \( \epsilon \) can be very small, so it is easy to satisfy \( \rho>(1 - R)/2 \). ### Decoding Algorithm The paper details the decoding process of BD - LRPC codes, which mainly consists of two stages: 1. **Expanding the Subspace**: Expand the error syndrome \( S \) by multiplying by the subspace \( V_{\alpha, 2} \) to increase its dimension to \( V_{\alpha, d + 1}.E \). 2. **Recovering the Error Support**: Recover the error support \( E \) through the intersection operation \( \bigcap_{i = 0}^{d + t - 2}\alpha^{-i}(V_{\alpha, d + t - 1}.E) \). ### Conclusion The BD - LRPC codes proposed in the paper not only have stronger decoding ability in theory but also have high decoding efficiency in practical applications. This provides new ideas and methods for the design and application of rank metric codes.