Abstract:Error-correcting codes are one of the most fundamental objects in pseudorandomness, with applications in communication, complexity theory, and beyond. Codes are useful because of their ability to support decoding, which is the task of recovering a codeword from its noisy copy. List decoding is a relaxation where the decoder is allowed to output a list of codewords, and has seen tremendous progress over the last 25 years. In this thesis, we prove new algorithmic and combinatorial results about list decoding. We describe a list decoding framework that reduces the task of efficient decoding to proving distance in certain restricted proof systems. We then instantiate this framework for Tanner codes of Sipser and Spielman [IEEE Trans. Inf. Theory 1996] and Alon-Edmonds-Luby (AEL) distance amplification [FOCS 1995] of unique decodable base codes to get the first polynomial time list decoding algorithms for these codes. We also show extensions to the quantum version of AEL distance amplification to get polynomial-time list decodable quantum LDPC codes. We next give an alternate viewpoint of the above framework based on abstract regularity lemmas. We show how to efficiently implement the regularity lemma for the case of Ta-Shma's explicit codes near the Gilbert-Varshamov bound [STOC 2017]. This leads to a near-linear time algorithm for unique decoding of Ta-Shma's code. We also give new combinatorial results that improve known list sizes beyond the Johnson bound. Firstly, we adapt the AEL amplification to construct a new family of explicit codes that can be combinatorially list decoded to the optimal error correction radius. This is the first example of such a code that does not use significant algebraic ingredients. Secondly, we present list size improvements for Folded Reed-Solomon codes, improving the state of the art list size for explicit list decoding capacity achieving codes.

Analytical Bounds on Maximum-Likelihood Decoded Linear Codes with Applications to Turbo-Like Codes: An Overview

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

Upper Bounds On the ML Decoding Error Probability of General Codes over AWGN Channels

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

LDPC Codes Achieve List Decoding Capacity

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

On Pseudocodewords and Decision Regions of Linear Programming Decoding of HDPC Codes

Graph-Cover Decoding and Finite-Length Analysis of Message-Passing Iterative Decoding of LDPC Codes

Efficient Convergent Maximum Likelihood Decoding on Tail-Biting Trellises

Continuous Optimization for Decoding Errors

On Low Density Majority Codes

New Upper Bounds on the Error Probability under ML Decoding for Spinal Codes and the Joint Transmission-Decoding System Design

Bounds on the Finite-Length RaptorQ Codes under Maximum Likelihood Decoding.

Improved Linear Programming Decoding of LDPC Codes and Bounds on the Minimum and Fractional Distance

Nonlinear Codes Exceeding the Gilbert-Varshamov and Tsfasman-Vlăduţ-Zink Bounds.

Factor Graph Optimization of Error-Correcting Codes for Belief Propagation Decoding

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

Polynomial Freiman-Ruzsa, Reed-Muller codes and Shannon capacity

A Separation Algorithm for Improved LP-Decoding of Linear Block Codes

Bounds on Maximum Lee Distance Codes

Amended Truncated Union Bounds on the Ml Decoding Performance of Binary Linear Codes over Awgn Channels