ECCC-Report TR24-148https://eccc.weizmann.ac.il/report/2024/148Comments and Revisions published for TR24-148en-usTue, 05 Nov 2024 14:25:15 +0200
Revision 1
| High Rate Multivariate Polynomial Evaluation Codes |
Mrinal Kumar,
Harry Sha,
Swastik Kopparty
https://eccc.weizmann.ac.il/report/2024/148#revision1The classical Reed-Muller codes over a finite field $\mathbb{F}_q$ are based on evaluations of $m$-variate polynomials of degree at most $d$ over a product set $U^m$, for some $d$ less than $|U|$. Because of their good distance properties, as well as the ubiquity and expressive power of polynomials, these codes have played an influential role in coding theory and complexity theory. This is especially so in the setting of $U$ being ${\mathbb{F}}_q$ where they possess deep locality properties. However, these Reed-Muller codes have a significant limitation in terms of the rate achievable --- the rate cannot be more than $\frac{1}{m{!}} = \exp(-m \log m)$.
In this work, we give the first constructions of multivariate polynomial evaluation codes which overcome the rate limitation -- concretely, we give explicit evaluation domains $S \subseteq \mathbb{F}_q^m$ on which evaluating $m$-variate polynomials of degree at most $d$ gives a good code. For $m= O(1)$, these new codes have relative distance $\Omega(1)$ and rate $1 - \epsilon$ for any $\epsilon > 0$. In fact, we give two quite different constructions, and for both we develop efficient decoding algorithms for these codes that can
decode from half the minimum distance.
The first of these codes is based on evaluating multivariate polynomials on simplex-like sets. The distance of this code is proved via a generalized Schwartz-Zippel lemma on the probability of non-zeroness when evaluating polynomials on sparser subsets of $U^m$ -- the final bound only depends on the ``shape'' of the set, and recovers the Schwartz-Zippel bound for the case of the full $U^m$, while still being $\Omega(1)$ for much sparser simplex-like subsets of $U^m$.
The second of these codes is more algebraic and, surprisingly (to us), has some strong locality properties. It is based on evaluating multivariate polynomials at the intersection points of hyperplanes in general position. It turns out that these evaluation points have many large subsets of collinear points. These subsets form the basis of a simple local characterization, and using some deeper algebraic tools generalizing ideas from Polischuk-Spielman, Raz-Safra and Ben-Sasson-Sudan, we show that this gives a local test for these codes. Interestingly, the set of evaluation points for these locally testable multivariate polynomial evaluation codes can be as small as $O(d^m)$, and need not occupy a constant or even noticeable fraction of the full space $\mathbb{F}_q^m$.
Tue, 05 Nov 2024 14:25:15 +0200https://eccc.weizmann.ac.il/report/2024/148#revision1
Paper TR24-148
| High Rate Multivariate Polynomial Evaluation Codes |
Mrinal Kumar,
Harry Sha,
Swastik Kopparty
https://eccc.weizmann.ac.il/report/2024/148The classical Reed-Muller codes over a finite field $\mathbb{F}_q$ are based on evaluations of $m$-variate polynomials of degree at most $d$ over a product set $U^m$, for some $d$ less than $|U|$. Because of their good distance properties, as well as the ubiquity and expressive power of polynomials, these codes have played an influential role in coding theory and complexity theory. This is especially so in the setting of $U$ being ${\mathbb{F}}_q$ where they possess deep locality properties. However, these Reed-Muller codes have a significant limitation in terms of the rate achievable --- the rate cannot be more than $\frac{1}{m{!}} = \exp(-m \log m)$.
In this work, we give the first constructions of multivariate polynomial evaluation codes which overcome the rate limitation -- concretely, we give explicit evaluation domains $S \subseteq \mathbb{F}_q^m$ on which evaluating $m$-variate polynomials of degree at most $d$ gives a good code. For $m= O(1)$, these new codes have relative distance $\Omega(1)$ and rate $1 - \epsilon$ for any $\epsilon > 0$. In fact, we give two quite different constructions, and for both we develop efficient decoding algorithms for these codes that can
decode from half the minimum distance.
The first of these codes is based on evaluating multivariate polynomials on simplex-like sets. The distance of this code is proved via a generalized Schwartz-Zippel lemma on the probability of non-zeroness when evaluating polynomials on sparser subsets of $U^m$ -- the final bound only depends on the ``shape'' of the set, and recovers the Schwartz-Zippel bound for the case of the full $U^m$, while still being $\Omega(1)$ for much sparser simplex-like subsets of $U^m$.
The second of these codes is more algebraic and, surprisingly (to us), has some strong locality properties. It is based on evaluating multivariate polynomials at the intersection points of hyperplanes in general position. It turns out that these evaluation points have many large subsets of collinear points. These subsets form the basis of a simple local characterization, and using some deeper algebraic tools generalizing ideas from Polischuk-Spielman, Raz-Safra and Ben-Sasson-Sudan, we show that this gives a local test for these codes. Interestingly, the set of evaluation points for these locally testable multivariate polynomial evaluation codes can be as small as $O(d^m)$, and need not occupy a constant or even noticeable fraction of the full space $\mathbb{F}_q^m$.
Sat, 05 Oct 2024 14:08:54 +0300https://eccc.weizmann.ac.il/report/2024/148