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.

Efficiently List-Decodable Insertion and Deletion Codes Via Concatenation

Locally Decodable/Correctable Codes for Insertions and Deletions

Strict Half-Singleton Bound, Strict Direct Upper Bound for Linear Insertion-Deletion Codes and Optimal Codes

Synchronization Strings: Codes for Insertions and Deletions Approaching the Singleton Bound

Improved Singleton bound on insertion-deletion codes and optimal constructions

Combinatorial alphabet-dependent bounds for insdel codes

On Relaxed Locally Decodable Codes for Hamming and Insertion-Deletion Errors

Continuous Optimization for Decoding Errors

Efficient encoding and decoding algorithm for a class of perfect single-deletion-correcting permutation codes

Random Reed-Solomon Codes Achieve the Half-Singleton Bound for Insertions and Deletions over Linear-Sized Alphabets

List-decodable Codes and Covering Codes

Two-Insertion/Deletion/Substitution Correcting Codes

Optimal Codes Detecting Deletions in Concatenated Binary Strings Applied to Trace Reconstruction

Improved Bounds for Codes Correcting Insertions and Deletions

Explicit Subcodes of Reed-Solomon Codes that Efficiently Achieve List Decoding Capacity

ELF Codes: Concatenated Codes with an Expurgating Linear Function as the Outer Code

Randomness-Efficient Constructions of Capacity-Achieving List-Decodable Codes

A Spatially Coupled PAC Coding Scheme and Its List Decoding

Permutation and Multi-permutation Codes Correcting Multiple Deletions

Optimal Codes Correcting a Single Indel / Edit for DNA-Based Data Storage