DeepAI AI Chat
Log In Sign Up

Polar Codes with exponentially small error at finite block length

by   Jarosław Błasiok, et al.
Harvard University
Carnegie Mellon University

We show that the entire class of polar codes (up to a natural necessary condition) converge to capacity at block lengths polynomial in the gap to capacity, while simultaneously achieving failure probabilities that are exponentially small in the block length (i.e., decoding fails with probability (-N^Ω(1)) for codes of length N). Previously this combination was known only for one specific family within the class of polar codes, whereas we establish this whenever the polar code exhibits a condition necessary for any polarization. Our results adapt and strengthen a local analysis of polar codes due to the authors with Nakkiran and Rudra [Proc. STOC 2018]. Their analysis related the time-local behavior of a martingale to its global convergence, and this allowed them to prove that the broad class of polar codes converge to capacity at polynomial block lengths. Their analysis easily adapts to show exponentially small failure probabilities, provided the associated martingale, the "Arikan martingale", exhibits a corresponding strong local effect. The main contribution of this work is a much stronger local analysis of the Arikan martingale. This leads to the general result claimed above. In addition to our general result, we also show, for the first time, polar codes that achieve failure probability (-N^β) for any β < 1 while converging to capacity at block length polynomial in the gap to capacity. Finally we also show that the "local" approach can be combined with any analysis of failure probability of an arbitrary polar code to get essentially the same failure probability while achieving block length polynomial in the gap to capacity.


page 1

page 2

page 3

page 4


Log-logarithmic Time Pruned Polar Coding

A pruned variant of polar coding is proposed for binary erasure channels...

Depth versus Breadth in Convolutional Polar Codes

Polar codes were introduced in 2009 by Arikan as the first efficient enc...

General Strong Polarization

Arı kan's exciting discovery of polar codes has provided an altogether n...

Asymmetric Construction of Low-Latency and Length-Flexible Polar Codes

Polar codes are a class of capacity-achieving error correcting codes tha...

Arıkan meets Shannon: Polar codes with near-optimal convergence to channel capacity

Let W be a binary-input memoryless symmetric (BMS) channel with Shannon ...

Complexity and Second Moment of the Mathematical Theory of Communication

The performance of an error correcting code is evaluated by its error pr...

Polar-like Codes and Asymptotic Tradeoff among Block Length, Code Rate, and Error Probability

A general framework is proposed that includes polar codes over arbitrary...