arXivDaily arXiv每日学术速递 周一至周五更新
arXiv 2311.17841cs.ITcs.CCmath.IT
收藏

单变量重数码与折叠Reed-Solomon码的快速列表译码

Fast list-decoding of univariate multiplicity and folded Reed-Solomon codes

Rohan Goyal, Prahladh Harsha, Mrinal Kumar, Ashutosh Shankar

AI总结:

本研究提出随机化算法,将单变量重数码与折叠Reed-Solomon码的列表译码时间优化至$\tilde{O}(n)$,同时设计了两类代数问题的快速算法,推广了经典幂级数模逆算法。

摘要:

我们证明,现有的单变量重数码与折叠Reed-Solomon(FRS)码列表译码算法可以实现$\tilde{O}(n)$的时间复杂度。单变量重数码和FRS码是Reed-Solomon码的自然变体,因在列表译码中的应用而被发现和研究。已知对于任意$\u03f5>0$和码率$r \u2208 (0,1)$,存在这类码的显式构造族,其码率为$r$,且能在多项式时间内从$(1-r-\u03f5)$比例的错误中完成列表译码,列表大小为常数(Guruswami & Wang(IEEE Trans. Inform. Theory 2013)以及Kopparty、Ron-Zewi、Saraf & Wootters(SIAM J. Comput. 2023))。在本工作中,我们提出了随机化算法,可在$\tilde{O}(n)$时间内完成上述列表译码任务,其中$n$为码的分组长度。我们的算法包含两个主要组件。第一个组件基于Alekhnovich(IEEE Trans. Inf. Theory 2005)的格基方法,后者曾设计出接近Johnson半径的Reed-Solomon码$\tilde{O}(n)$时间列表译码算法。作为第二个组件的一部分,我们针对两个自然的代数问题设计了$\tilde{O}(n)$时间算法:给定一个$(m+2)$元多项式$Q(x,y_0,\u2026,y_m) = \tilde{Q}(x) + \u2211_{i=0}^m Q_i(x)\u00b7 y_i$,第一个算法求解形式为$Q\u200b\left(x, f(x), \frac{df}{dx}, \u2026,\frac{d^m f}{dx^m}\right) \equiv 0$的$m$阶线性微分方程,第二个算法求解形式为$Q\left(x, f(x), f(\u03b3x), \u2026,f(\u03b3^m x)\right) \equiv 0$的函数方程,其中$m$为任意常数,$\u03b3$是阶数足够高的域元素。这些算法可视为Sieveking(Computing 1972)和Kung(Numer. Math. 1974)提出的计算幂级数模逆的经典$\tilde{O}(n)$时间算法的推广,可能具有独立的研究价值。

英文摘要:

We show that the known list-decoding algorithms for univariate multiplicity and folded Reed-Solomon codes can be made to run in $\tilde{O}(n)$ time. Univariate multiplicity codes and FRS codes are natural variants of Reed-Solomon codes that were discovered and studied for their applications to list decoding. It is known that for every $ε>0$, and rate $r \in (0,1)$, there exist explicit families of these codes that have rate $r$ and can be list decoded from a $(1-r-ε)$ fraction of errors with constant list size in polynomial time (Guruswami & Wang (IEEE Trans. Inform. Theory 2013) and Kopparty, Ron-Zewi, Saraf & Wootters (SIAM J. Comput. 2023)). In this work, we present randomized algorithms that perform the above list-decoding tasks in $\tilde{O}(n)$, where $n$ is the block-length of the code. Our algorithms have two main components. The first component builds upon the lattice-based approach of Alekhnovich (IEEE Trans. Inf. Theory 2005), who designed a $\tilde{O}(n)$ time list-decoding algorithm for Reed-Solomon codes approaching the Johnson radius. As part of the second component, we design $\tilde{O}(n)$ time algorithms for two natural algebraic problems: given a $(m+2)$-variate polynomial $Q(x,y_0,\dots,y_m) = \tilde{Q}(x) + \sum_{i=0}^m Q_i(x)\cdot y_i$ the first algorithm solves order-$m$ linear differential equations of the form $Q\left(x, f(x), \frac{df}{dx}, \dots,\frac{d^m f}{dx^m}\right) \equiv 0$ while the second solves functional equations of the form $Q\left(x, f(x), f(γx), \dots,f(γ^m x)\right) \equiv 0$, where $m$ is an arbitrary constant and $γ$ is a field element of sufficiently high order. These algorithms can be viewed as generalizations of classical $\tilde{O}(n)$ time algorithms of Sieveking (Computing 1972) and Kung (Numer. Math. 1974) for computing the modular inverse of a power series, and might be of independent interest.

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

↑