Abstract:In this work, we show that the class of multivariate degree-$d$ polynomials mapping $\{0,1\}^{n}$ to any Abelian group $G$ is locally correctable with $\widetilde{O}_{d}((\log n)^{d})$ queries for up to a fraction of errors approaching half the minimum distance of the underlying code. In particular, this result holds even for polynomials over the reals or the rationals, special cases that were previously not known. Further, we show that they are locally list correctable up to a fraction of errors approaching the minimum distance of the code. These results build on and extend the prior work of the authors [ABPSS24] (STOC 2024) who considered the case of linear polynomials and gave analogous results. Low-degree polynomials over the Boolean cube $\{0,1\}^{n}$ arise naturally in Boolean circuit complexity and learning theory, and our work furthers the study of their coding-theoretic properties. Extending the results of [ABPSS24] from linear to higher-degree polynomials involves several new challenges and handling them gives us further insights into properties of low-degree polynomials over the Boolean cube. For local correction, we construct a set of points in the Boolean cube that lie between two exponentially close parallel hyperplanes and is moreover an interpolating set for degree-$d$ polynomials. To show that the class of degree-$d$ polynomials is list decodable up to the minimum distance, we stitch together results on anti-concentration of low-degree polynomials, the Sunflower lemma, and the Footprint bound for counting common zeroes of polynomials. Analyzing the local list corrector of [ABPSS24] for higher degree polynomials involves understanding random restrictions of non-zero degree-$d$ polynomials on a Hamming slice. In particular, we show that a simple random restriction process for reducing the dimension of the Boolean cube is a suitably good sampler for Hamming slices.

A degree reduction method for an efficient QUBO formulation for the graph coloring problem

Approximate Degree Reduction of Interval Triangular Bézier Surfaces

Degree reduction techniques for polynomial optimization problems

Quadratic unconstrained binary optimization problem preprocessing: Theory and empirical analysis

QUBO formulations for NP-Hard spanning tree problems

A New Reduction Method from Multivariate Polynomials to Univariate Polynomials

On the application of matrix congruence to QUBO formulations for systems of linear equations

On new algorithmic techniques for the weighted vertex coloring problem

Quadratic Decomposable Submodular Function Minimization: Theory and Practice (Computation and Analysis of PageRank over Hypergraphs)

Iterated Clique Reductions in Vertex Weighted Coloring for Large Sparse Graphs

Fractional programming formulation for the vertex coloring problem

Quantifier elimination for quartics

Variable Reduction For Quadratic Unconstrained Binary Optimization

Fractional coloring with local demands and applications to degree-sequence bounds on the independence number

Query Based Graph Data Reduction Algorithms and Application in Education.

A Polynomial Method for Counting Colorings of Sparse Graphs

Particle Swarm Optimization Based Degree Reduction of Rational Bézier Curves

Optimal Degree Reduction Of Interval Polynomials And Interval Bezier Curves Under L-1 Norm

Simplex QP-based methods for minimizing a conic quadratic objective over polyhedra

Low Degree Local Correction Over the Boolean Cube

Solving Quadratic Unconstrained Binary Optimization with divide-and-conquer and quantum algorithms