Abstract:Time synchronization is crucial for the safe and reliable operation of the fifth generation (5G) network, especially for applications requiring ultra-reliable low-latency data transmissions. The time synchronization problem, however, becomes increasingly challenging in high-mobility scenarios because the channel conditions, e.g., the multipath delay spread may vary rapidly. While there exist numerous works on the design of efficient channel decoding algorithms, decoding linear codes such as polar codes in the presence of synchronization errors is a less-explored topic. In this paper, we aim to fill this void and develop a systemic approach to decode general binary linear codes over binary symmetric channels with synchronization errors in which the lack of synchronization is modeled as the deletion channel model. The maximum likelihood (ML) decoding problem for binary linear codes over deletion channels is first formulated as a nonlinear optimization problem, in which a set of linear constraints are employed to characterize the input-output relationship of a deletion channel. It turns out that both the objective function and the constraints of this optimization problem are nonlinear, which poses significant challenges against the design of efficient decoding algorithms. As a remedy, we first replace the nonlinear objective function of this optimization problem via a lower bound. And we prove this lower bound is a linear function in the special case that the input is binary. We then apply the linear programming (LP) relaxation approach to obtain an approximate solution to the proposed nonlinear optimization problem. An adaptive branch-and-cut decoding algorithm has also been developed by making use of the ML-certificate property of the LP decoder for deletion channel. It is seen through simulation studies that the proposed decoding algorithm can achieve close-to-optimal bit error rate (BER) decoding performance at moderate computational complexity.

What problem does this paper attempt to address?

The problem that this paper attempts to solve is to decode binary linear codes in the presence of synchronization errors. Specifically, the paper focuses on the synchronization problems in 5G high - mobility networks caused by clock drift and time offset of high - speed mobile devices, which may lead to bit deletion during data transmission. The paper proposes a systematic method to decode general binary linear codes with synchronization errors on the binary symmetric channel, where the synchronization errors are modeled as the deletion channel model. The main goal is to solve this problem through the maximum - likelihood (ML) decoding method, but the direct implementation of ML decoding is computationally very complex. Therefore, the paper proposes a framework of a nonlinear optimization problem and approximately solves this problem through the linear programming (LP) relaxation method and the adaptive branch - and - cut algorithm to achieve near - optimal bit error rate (BER) performance while maintaining a moderate computational complexity. ### Main Contributions 1. **Deletion Channel Model**: A set of linear constraints are proposed to describe the input - output relationship of the deletion channel, thereby transforming the ML decoding problem into an optimization problem. This is the first time to propose a closed - form deletion channel model. 2. **Linear Relaxation**: By applying the methods in the literature, a linear relaxation form of the nonlinear optimization problem is given. 3. **Adaptive Decoding Algorithm**: An adaptive decoding algorithm based on the branch - and - cut method is proposed, which can achieve near - optimal performance with a moderate computational complexity. ### Technical Details - **Deletion Channel Model**: The paper defines a deletion matrix \( P \) and describes the input - output relationship of the deletion channel through a set of constraint conditions: \[ x \setminus M = xP \] where \( P \) satisfies the following constraints: \[ \sum_{i = 1}^N P_{i,j}=1, \quad \forall j \] \[ \sum_{j = 1}^{N - M} P_{i,j}\leq1, \quad \forall i \] \[ \sum_{i = 1}^k P_{i,j + 1}\leq\sum_{i = 1}^k P_{i,j}, \quad \forall j, \forall k \] \[ P_{i,j}\in\{0,1\} \] - **Optimization Problem**: The ML decoding problem is transformed into a minimum - distance (MD) decoding problem: \[ \min_x \sum_{i = 1}^{N - M} \omega_i[y(i)]x\left(\sum_P P_{:,i}\right) \] where \(\omega_i\) is an indicator variable used to indicate whether the bit in the received sequence \( y \) is 1 or 0. - **Linear Programming Decoding**: By introducing auxiliary variables and relaxing the constraint conditions, the problem is transformed into a linear integer programming problem and solved using the linear programming method. - **Adaptive Branch - and - Cut Algorithm**: Using the ML certificate property of the linear programming decoder, an adaptive branch - and - cut algorithm is developed to further improve the decoding performance. ### Summary The paper proposes an effective decoding algorithm by establishing the deletion channel model and the optimization problem framework, which can achieve near - optimal decoding performance in the presence of synchronization errors. This provides important theoretical and technical support for reliable low - latency data transmission in 5G high - mobility networks.

Decoding Binary Linear Codes Over Channels With Synchronization Errors

Performances Analysis of Polar Codes Decoding Algorithms over Variant Binary-Input Channels

Linear Programming Decoding of Binary Linear Codes for Symbol-Pair Read Channels

Low-Latency Adaptive Ordered Statistic Decoding of Polar Codes.

Partial CRC-aided decoding of 5G-NR short codes using reliability information

Progressive Bit-Flipping Decoding of Polar Codes over Layered Critical Sets.

On The Decoding Error Weight of One or Two Deletion Channels

Deletion codes in the high-noise and high-rate regimes

Linear Time Decoding of Real-Field Codes over High Error Rate Channels

On the Performance of Low-complexity Decoders of LDPC and Polar Codes

Linear Network Code for Erasure Broadcast Channel with Feedback: Complexity and Algorithms

An Information-Theoretic Perspective on Successive Cancellation List Decoding and Polar Code Design

An Improved Bit-Flipping Algorithm of Successive Cancellation List Decoding for Polar Codes

Design of Convergence-Optimized Non-Binary LDPC Codes over Binary Erasure Channel

On Error-Correction Performance and Implementation of Polar Code List Decoders for 5G

Sequential Decoding of Convolutional Codes for Synchronization Errors

On the Concatenations of Polar Codes and Non-Binary LDPC Codes.

Enhanced Quasi-Maximum Likelihood Decoding Based on 2D Modified Min-Sum Algorithm for 5G LDPC Codes

Near-Optimal Generalized Decoding of Polar-like Codes

Deep learning-enabled polar code decoders for 5G networks and beyond

Codes Over Absorption Channels