Decoding convolutional codes over finite rings. A linear dynamical systems approach

Ángel Luis Muñoz Castañeda,Noemí Decastro-García,Miguel V. Carriegos

2024-11-27

Abstract:Observable convolutional codes defined over Zpr with the Predictable Degree Property admits minimal input state output representations that behaves well under restriction of scalars. We make use of this fact to present Rosenthal's decoding algorithm for these convolutional codes. When combined with the Greferath-Vellbinger algorithm and a modified version of the Torrecillas-Lobillo-Navarro algorithm, the decoding problem reduces to selecting two decoding algorithms for linear block codes over a field. Finally, we analyze both the theoretical and practical error-correction capabilities of the combined algorithm,

Information Theory

What problem does this paper attempt to address?

The main problem that this paper attempts to solve is the decoding problem of convolutional codes over finite rings, especially how to use the method of linear dynamical systems to decode convolutional codes defined over \( \mathbb{Z}_{p^r} \). Specifically, the paper focuses on:

1. **Generalization of Decoding Algorithms**: Generalize Rosenthal's decoding algorithm from finite fields to the finite ring \( \mathbb{Z}_{p^r} \), and combine the Greferath - Vellbinger algorithm and the improved Torrecillas - Lobillo - Navarro algorithm to improve decoding efficiency.

2. **Minimum Input/State/Output (I/S/O) Representation**: Study the minimum I/S/O representation of convolutional codes with Predictable Degree Property (PDP) over finite rings, and prove that these representations perform well under scalar restriction.

3. **Error - correction Capability**: Analyze the error - correction capability of the proposed combined algorithm in theory and practice to ensure its effectiveness in practical applications.

Through these methods, the paper aims to provide a new and efficient solution for the decoding of convolutional codes over more complex algebraic structures (such as finite rings), thereby expanding their potential for application in highly robust and efficient coding schemes.

### Key Point Summary

- **Definition of Convolutional Codes**: Convolutional codes are defined as sub - modules of \( \mathbb{Z}_{p^r}[z]^n \).
- **Transformation of Decoding Problems**: Transform the decoding problem of convolutional codes into the decoding problems of two linear block codes.
- **Performance Evaluation**: Verify the performance of the algorithm through experiments, and discuss its scope of application and limitations.

### Formula Examples

- Free Distance of Convolutional Codes:
\[
d_{\text{free}}(C) = \min \left\{ \omega_H(v(z)) \mid v(z) \in C, v(z) \neq 0 \right\}
\]
where \( \omega_H(v(z)) \) is the Hamming weight of the polynomial vector \(v(z)\).

- Minimum Constraint Length:
\[
\delta_C := \min \left\{ \delta_G(z) \mid G(z) \text{ is an encoder of } C \right\}
\]

- Conditions for Achieving Complete Decoding:
If the free distance of the convolutional code \(C\) is \(d\), and the Hamming weight of the error vector \(e(z)\) is less than or equal to \(\left\lfloor \frac{d - 1}{2} \right\rfloor\), then there exists a unique codeword such that decoding is completed.

Through these methods, the paper provides a new perspective and an effective solution for the decoding of convolutional codes over finite rings.