arXivDaily arXiv每日学术速递 周一至周五更新
arXiv周末暂无论文更新,休息一下吧,周末愉快~~
arXiv 2408.14652cs.ITcs.DSmath.IT
收藏

解码错误的连续优化

Continuous Optimization for Decoding Errors

Shashank Srivastava

AI总结:

本论文提出了基于受限证明系统和抽象正则性引理的列表解码框架,为Tanner codes、AEL和量子LDPC等码设计了多项式时间解码算法,并改进了超越Johnson界的列表大小与纠错半径。

摘要:

纠错码是伪随机性中最基本的对象之一,在通信、复杂性理论等领域有广泛应用。纠错码之所以有用,是因为它们能够支持解码,即从带噪副本中恢复码字的任务。列表解码是一种放松形式,允许解码器输出一个码字列表,在过去25年中取得了巨大进展。在本论文中,我们证明了关于列表解码的新的算法和组合结果。\n我们描述了一个列表解码框架,该框架将高效解码的任务简化为在特定受限证明系统中证明距离。然后,我们将此框架应用于 Sipser 和 Spielman [IEEE Trans. Inf. Theory 1996] 的 Tanner codes 以及唯一可解码基础码的 Alon-Edmonds-Luby (AEL) 距离放大 [FOCS 1995],以获得这些码的首个多项式时间列表解码算法。我们还展示了对 AEL 距离放大量子版本的扩展,以获得多项式时间可列表解码的量子 LDPC 码。\n接下来,我们给出了基于抽象正则性引理的上述框架的替代观点。我们展示了如何针对接近 Gilbert-Varshamov 界 [STOC 2017] 的 Ta-Shma 显式码高效实现正则性引理。这导出了 Ta-Shma 码的唯一解码的近线性时间算法。\n我们还给出了改进已知列表大小超越 Johnson 界的新的组合结果。首先,我们改编 AEL 放大以构造一个新的显式码族,这些码可以被组合列表解码到最优纠错半径。这是第一个不使用显著代数成分的此类码的例子。其次,我们提出了 Folded Reed-Solomon 码的列表大小改进,改进了显式列表解码达到容量码的最先进列表大小。

英文摘要:

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.

机构、总结、中文摘要均由AI分析而来,可能存在错误,请以论文正文为准。

↑