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.

Efficient Characteristic Set Algorithms for Equation Solving in Finite Fields and Applications in Cryptanalysis

On the Efficiency of Solving Boolean Polynomial Systems with the Characteristic Set Method

Solving Polynomial Equations: Characteristic Sets And Triangular Systems

Pbcs An Efficient Parallel Characteristic Set Method For Solving Boolean Polynomial Systems

A New Algorithmic Scheme for Computing Characteristic Sets

Decomposing polynomial sets into simple sets over finite fields: The zero-dimensional case

Decomposing Polynomial Sets into Simple Sets over Finite Fields: the Positive-Dimensional Case.

An Elimination Method Based On Seidenberg Theory And Its Applications

Zhuang-Zi: A New Algorithm for Solving Multivariate Polynomial Equations over a Finite Field.

Real solution isolation with multiplicity of zero-dimensional triangular systems

Quantum Algorithm for Optimization and Polynomial System Solving over Finite Field and Application to Cryptanalysis

SMT Solving over Finite Field Arithmetic

On the Diophantine Equation F (X) F (Y) = F (Z(2))

An Elimination Method for Polynomial Systems

Solving Boolean Polynomial Systems By Parallelizing Characteristic Set Method For Cyber-Physical Systems

SIMPLE DECOMPOSITION OF POLYNOMIAL SETS OVER FINITE FIELDS

Square-Free Pure Triangular Decomposition of Zero-Dimensional Polynomial Systems

Solving Generalized Bivariate Integer Equations and Its Application to Factoring With Known Bits

A class of quadratic matrix equations over finite fields

Solving Polynomial Equations Over Finite Fields

Irreducible Zero Decomposition