Abstract:We present a randomized algorithm for solving low-degree polynomial equation systems over finite fields faster than exhaustive search. In order to do so, we follow a line of work by Lokshtanov, Paturi, Tamaki, Williams, and Yu (SODA 2017), Björklund, Kaski, and Williams (ICALP 2019), and Dinur (SODA 2021). In particular, we generalize Dinur's algorithm for $\mathbb{F}_2$ to all finite fields, in particular the "symbolic interpolation" of Björklund, Kaski, and Williams, and we use an efficient trimmed multipoint evaluation and interpolation procedure for multivariate polynomials over finite fields by Van der Hoeven and Schost (AAECC 2013). The running time of our algorithm matches that of Dinur's algorithm for $\mathbb{F}_2$ and is significantly faster than the one of Lokshtanov et al. for $q>2$. We complement our results with tight conditional lower bounds that, surprisingly, we were not able to find in the literature. In particular, under the strong exponential time hypothesis, we prove that it is impossible to solve $n$-variate low-degree polynomial equation systems over $\mathbb{F}_q$ in time $O((q-\varepsilon)^{n})$. As a bonus, we show that under the counting version of the strong exponential time hypothesis, it is impossible to compute the number of roots of a single $n$-variate low-degree polynomial over $\mathbb{F}_q$ in time ${O((q-\varepsilon)^{n})}$; this generalizes a result of Williams (SOSA 2018) from $\mathbb{F}_2$ to all finite fields.

Separating symmetric polynomials over finite fields

Separating symmetric polynomials over finite fields

Symmetric Functions over Finite Fields

Separating invariants for two-dimensional orthogonal groups over finite fields

Smooth symmetric systems over a finite field and applications

Irreducibility of Polynomials with Square Coefficients over Finite Fields

An approach to normal polynomials through symmetrization and symmetric reduction

A criterion for the normality of polynomials over finite fields based on their coefficients

Symmetries of various sets of polynomials

A new symmetric resolution for $(x_{1},\dots, x_{n})^{n}$

Square values of several polynomials over a finite field

Solving Polynomial Equations Over Finite Fields

Intersecting families of polynomials over finite fields

On the Field Isomorphism Problem for the Family of Simplest Quartic Fields

On the number of the irreducible factors of $ x^{n}-1 $ over finite fields

Solutions monomiales minimales irréductibles dans $SL_{2}(\mathbb{Z}/p^{n}\mathbb{Z})$

Generators for the Algebra of Symmetric Functions

Homogeneous formulas and symmetric polynomials