Unique Decoding of Explicit -balanced Codes Near the Gilbert-Varshamov Bound
Fernando Granha Jeronimo, Dylan Quintana, Shashank Srivastava, Madhur Tulsiani
Abstract
The Gilbert-Varshamov bound (non-constructively) establishes the existence of binary codes of distance 1/2-ε and rate Ω(ε2) (where an upper bound of O(ε2log(1/ε)) is known). Ta-Shma [STOC 2017] gave an explicit construction of ε-balanced binary codes, where any two distinct codewords are at a distance between 1/2-ε/2 and 1/2+ε/2, achieving a near optimal rate of Ω(ε2+β), where β→ 0 as ε→ 0. We develop unique and list decoding algorithms for (a slight modification of) the family of codes constructed by Ta-Shma, in the adversarial error model. We prove the following results for ε-balanced codes with block length N and rate Ω(ε2+β) in this family: -For all , there are explicit codes which can be uniquely decoded up to an error of half the minimum distance in time NOε,β(1). -For any fixed constant β independent of ε, there is an explicit construction of codes which can be uniquely decoded up to an error of half the minimum distance in time (log(1/ε))O(1)·NOβ(1). -For any , there are explicit ε-balanced codes with rate Ω(ε2+β) which can be list decoded up to error 1/2-ε'in time NOε,ε',β(1), where ε',β→ 0 as ε→ 0. The starting point of our algorithms is the framework for list decoding direct-sum codes develop in Alev et al. [SODA 2020], which uses the Sum-of-Squares SDP hierarchy. The rates obtained there were quasipolynomial in ε. Here, we show how to overcome the far from optimal rates of this framework obtaining unique decoding algorithms for explicit binary codes of near optimal rate. These codes are based on simple modifications of Ta-Shma's construction.
Ask about this paper
Your agent reads all of it.
Lune indexed this paper to the last equation, along with the top-tier papers that cite it. Ask a question and the answer quotes them.
Your agent calls
Luneget_paper_fulltext
Free to start. No credit card required.
Terminal
Install the CLIlune papers fulltext cf9b9420-97aa-4ff8-93e2-1c74e5ba15ebCited by top-tier papers3
- Hypercontractivity on high dimensional expandersMitali Bafna, Max Hopkins, Tali Kaufman, Shachar LovettSTOC 2022 · 20 citations
- High Dimensional Expanders: Eigenstripping, Pseudorandomness, and Unique GamesMitali Bafna, Max Hopkins, Tali Kaufman, Shachar LovettSODA 2022 · 19 citations
- Gilbert and Varshamov Meet Johnson: List-Decoding Explicit Nearly-Optimal Binary CodesSilas Richelson, Sourya RoyFOCS 2023 · 8 citations
Builds on3
- LDPC Codes Achieve List Decoding CapacityJonathan Mosheiff, Nicolas Resch, Noga Ron-Zewi, Shashwat Silas et al.FOCS 2020 · 27 citations
- List Decoding of Direct Sum CodesVedat Levi Alev, Fernando Granha Jeronimo, Dylan Quintana, Shashank Srivastava et al.SODA 2020 · 16 citations
- Arikan meets Shannon: polar codes with near-optimal convergence to channel capacityVenkatesan Guruswami, Andrii Riazanov, Min YeSTOC 2020 · 16 citations
Related papers
- Near-linear time decoding of Ta-Shma's codes via splittable regularityFernando Granha Jeronimo, Shashank Srivastava, Madhur TulsianiSTOC 2021 · 18 citations
- Improved Explicit Near-Optimal Codes in the High-Noise RegimesXin Li, Songtao MaoSODA 2025 · 1 citation
- Error Correcting Codes that Achieve BSC Capacity Against Channels that are Poly-Size CircuitsRonen Shaltiel, Jad SilbakFOCS 2022 · 7 citations
- Efficient list-decoding with constant alphabet and list sizesZeyu Guo, Noga Ron-ZewiSTOC 2021 · 21 citations
- Explicit two-deletion codes with redundancy matching the existential boundVenkatesan Guruswami, Johan HåstadSODA 2021 · 12 citations
