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.

A criterion for decoding on the binary symmetric channel

Parameters of Codes for the Binary Asymmetric Channel

On Pseudolinear Codes for Correcting Adversarial Errors

Error-detecting Abilities of Binary Nonlinear Constant Weight Codes

On the proper reconstruction of complex dynamical systems spoilt by strong measurement noise

The capacity of low-density parity-check codes under message-passing decoding

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

The Probability of Undetected Error for Binary Constant-Weight Codes

Decoding Binary Linear Codes Over Channels With Synchronization Errors

The Universality of Spatially Coupled Generalized LDPC Codes over Memoryless Symmetric Channels

Threshold Rates of Code Ensembles: Linear is Best

Linear codes associated to symmetric determinantal varieties; General case

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

Lower Bounds on Mutual Information for Linear Codes Transmitted over Binary Input Channels, and for Information Combining

Further Results on the Separating Redundancy of Binary Linear Codes.

Incorrigible Set Distributions and Unsuccessful Decoding Probability of Linear Codes

Generalized Automorphisms of Channel Codes: Properties, Code Design, and a Decoder

On the Sub-optimality of Single-Letter Coding over Networks

Sparse superposition codes with rotational invariant coding matrices for memoryless channels

Guessing random additive noise decoding with symbol reliability information (SRGRAND)

Low-density graph codes that are optimal for source/channel coding and binning