Fast list-decoding of univariate multiplicity and folded Reed-Solomon codes (2311.17841v4)
Abstract: 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 $\epsilon>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-\epsilon)$ 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{dm f}{dxm}\right) \equiv 0$ while the second solves functional equations of the form $Q\left(x, f(x), f(\gamma x), \dots,f(\gammam x)\right) \equiv 0$, where $m$ is an arbitrary constant and $\gamma$ 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.
- Linear time erasure codes with nearly optimal recovery. In Prabhakar Raghavan, ed., Proc. 36363636th IEEE Symp. on Foundations of Comp. Science (FOCS), pages 512–519. 1995.
- Randomly punctured Reed-Solomon codes achieve list-decoding capacity over linear-sized fields, 2023. (manuscript). arXiv:2304.09445, eccc:2023/TR23-125.
- Fast algorithms to search for the rational solutions of linear differential equations with polynomial coefficients. In Stephen M. Watt, ed., Proc. International Symp. Symbolic and Algebraic Computation (ISSAC), pages 267–270. ACM, 1991.
- A linear time erasure-resilient code with nearly optimal recovery. IEEE Trans. Inform. Theory, 42(6):1732–1736, 1996. (Preliminary version in 36th FOCS, 1995).
- Michael Alekhnovich. Linear Diophantine equations over polynomials and soft decoding of reed-solomon codes. IEEE Trans. Inform. Theory, 51(7):2257–2265, 2005. (Preliminary version in 43rd FOCS, 2002).
- Fast algorithms for polynomial solutions of linear differential equations. In Manuel Kauers, ed., Proc. International Symp. Symbolic and Algebraic Computation (ISSAC), pages 45–52. ACM, 2005.
- Elwyn R. Berlekamp. Nonbinary BCH decoding. In Proc. IEEE International Symposium on Information Theory (ISIT). 1967.
- Decoding multivariate multiplicity codes over product sets. IEEE Trans. Inform. Theory, 70(1):154–169, 2024. (Preliminary version in 53rd STOC, 2021). arXiv:2012.01530, eccc:2020/TR20-179.
- ———. Ideal-theoretic explanation of capacity-achieving decoding. IEEE Trans. Inform. Theory, 70(2):1107–1123, 2024. (Preliminary version in 25th RANDOM, 2021). arXiv:2103.07930, eccc:2021/TR21-036.
- Don Coppersmith. Small solutions to polynomial equations, and low exponent RSA vulnerabilities. J. Cryptol., 10(4):233–260, 1997. (Preliminary version in EUROCRYPT, 1996).
- Joachim von zur Gathen and Jürgen Gerhard. Modern Computer Algebra. Cambridge University Press, 3 edition, 2013.
- Linear time encodable and list decodable codes. In Lawrence L. Larmore and Michel X. Goemans, eds., Proc. 35353535th ACM Symp. on Theory of Computing (STOC), pages 126–135. 2003.
- Explicit codes achieving list decoding capacity: Error-correction with optimal redundancy. IEEE Trans. Inform. Theory, 54(1):135–150, 2008. (Preliminary version in 38th STOC, 2006). arXiv:cs/0511072, eccc:2005/TR05-133.
- Improved decoding of Reed-Solomon and algebraic-geometry codes. IEEE Trans. Inform. Theory, 45(6):1757–1767, 1999. (Preliminary version in 39th FOCS, 1998). eccc:1998/TR98-043.
- Linear-algebraic list decoding for variants of Reed-Solomon codes. IEEE Trans. Inform. Theory, 59(6):3257–3268, 2013. (Preliminary version in 26th IEEE Conference on Computational Complexity, 2011 and 15th RANDOM, 2011). eccc:2012/TR12-073.
- Local list recovery of high-rate tensor codes and applications. SIAM J. Comput., 49(4), 2020. (Preliminary version in 58th FOCS, 2017). arXiv:1706.03383, eccc:2017/TR17-104.
- Swastik Kopparty. Some remarks on multiplicity codes. In Alexander Barg and Oleg R. Musin, eds., Discrete Geometry and Algebraic Combinatorics, volume 625 of Contemporary Mathematics, pages 155–176. AMS, 2014. arXiv:1505.07547.
- ———. List-decoding multiplicity codes. Theory of Computing, 11:149–182, 2015. eccc:2012/TR12-044.
- Victor Yu. Krachkovsky. Reed-Solomon codes for correcting phased error bursts. IEEE Trans. Inform. Theory, 49(11):2975–2984, 2003.
- On list recovery of high-rate tensor codes. IEEE Trans. Inform. Theory, 67(1):296–316, 2021. (Preliminary version in 23rd RANDOM, 2019). eccc:2019/TR19-080.
- Improved decoding of Folded Reed-Solomon and Multiplicity codes. In Mikkel Thorup, ed., Proc. 59595959th IEEE Symp. on Foundations of Comp. Science (FOCS), pages 212–223. 2018. arXiv:1805.01498, eccc:2018/TR18-091.
- ———. Improved list decoding of Folded Reed-Solomon and Multiplicity codes. SIAM J. Comput., 52(3):794–840, 2023. (Preliminary version in 59th FOCS, 2018). arXiv:1805.01498, eccc:2018/TR18-091.
- High-rate codes with sublinear-time decoding. J. ACM, 61(5):28:1–28:20, 2014. (Preliminary version in 43rd STOC, 2011). eccc:2010/TR10-148.
- Hsiang-Tsung Kung. On computing reciprocals of power series. Numer. Math., 22(5):341–348, 1974.
- James L. Massey. Shift-register synthesis and BCH decoding. IEEE Trans. Inform. Theory, 15(1):122–127, 1969.
- Rasmus Refslund Nielsen. List decoding of linear block codes. Ph.D. thesis, Technical University of Denmark, 2001.
- Correcting errors beyond the Guruswami-Sudan radius in polynomial time. In Éva Tardos, ed., Proc. 46464646th IEEE Symp. on Foundations of Comp. Science (FOCS), pages 285–294. 2005.
- Efficient decoding of Reed-Solomon codes beyond half the minimum distance. IEEE Trans. Inform. Theory, 46(1):246–257, 2000.
- The fast decoding of Reed-Solomon codes using Fermat theoretic transforms and continued fractions. IEEE Trans. Inform. Theory, 24(1):100–106, 1978.
- Коды для m-метрики (Russian) [Codes for the m𝑚mitalic_m-metric]. Probl. Peredachi Inf., 33(1):55–63, 1997. (English translation in Problems Inform. Transmission, 33(1):45–52, 1997).
- Malte Sieveking. An algorithm for division of powerseries. Computing, 10(1-2):153–156, 1972.
- Michael F. Singer. Liouvillian solutions of linear differential equations with Liouvillian coefficients. J. Symb. Comput., 11(3):251–273, 1991. (Preliminary version in 3rd Computers and Mathematics 1989).
- Expander codes. IEEE Trans. Inform. Theory, 42(6):1710–1722, November 1996. (Preliminary version in 35th FOCS, 1994).
- Generalized Singleton bound and list-decoding Reed-Solomon codes beyond the Johnson radius. SIAM J. Comput., 52(3):684–717, 2023. (Preliminary version in 52nd STOC, 2020). arXiv:1911.01502.
- Madhu Sudan. Decoding of Reed-Solomon codes beyond the error-correction bound. J. Complexity, 13(1):180–193, 1997. (Preliminary version in 37th FOCS, 1996).
- Itzhak Tamo. Tighter list-size bounds for list-decoding and recovery of folded Reed-Solomon and multiplicity codes, 2023. (manuscript). arXiv:2312.17097.