EN FR
EN FR


Section: New Results

Quasilinear Average Complexity for Solving Polynomial Systems

How many operations do we need on the average to compute an approximate root of a random Gaussian polynomial system? Beyond Smale's 17th problem that asked whether a polynomial bound is possible, Pierre Lairez has proved in [10] a quasi-optimal bound (inputsize)1+o(1), which improves upon the previously known (inputsize)3/2+o(1) bound. His new algorithm relies on numerical continuation along rigid continuation paths. The central idea is to consider rigid motions of the equations rather than line segments in the linear space of all polynomial systems. This leads to a better average condition number and allows for bigger steps. He showed that on the average, one approximate root of a random Gaussian polynomial system of n equations of degree at most D in n+1 homogeneous variables can be computed with O(n5D2) continuation steps. This is a decisive improvement over previous bounds, which prove no better than 2min(n,D) continuation steps on the average.