## View abstract

### Session II.3 - Real-Number Complexity

Saturday, June 17, 14:00 ~ 14:30

## Rigid continuation paths I. Quasilinear average complexity for solving polynomial systems

### Pierre Lairez

#### Inria, France   -   This email address is being protected from spambots. You need JavaScript enabled to view it. document.getElementById('cloakde25c68b5d5d9d9c6ccb35487f84c593').innerHTML = ''; var prefix = '&#109;a' + 'i&#108;' + '&#116;o'; var path = 'hr' + 'ef' + '='; var addyde25c68b5d5d9d9c6ccb35487f84c593 = 'p&#105;&#101;rr&#101;.l&#97;&#105;r&#101;z' + '&#64;'; addyde25c68b5d5d9d9c6ccb35487f84c593 = addyde25c68b5d5d9d9c6ccb35487f84c593 + '&#105;nr&#105;&#97;' + '&#46;' + 'fr'; var addy_textde25c68b5d5d9d9c6ccb35487f84c593 = 'p&#105;&#101;rr&#101;.l&#97;&#105;r&#101;z' + '&#64;' + '&#105;nr&#105;&#97;' + '&#46;' + 'fr';document.getElementById('cloakde25c68b5d5d9d9c6ccb35487f84c593').innerHTML += '<a ' + path + '\'' + prefix + ':' + addyde25c68b5d5d9d9c6ccb35487f84c593 + '\'>'+addy_textde25c68b5d5d9d9c6ccb35487f84c593+'<\/a>';

How many operations do we need on 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, we prove a quasi-optimal bound $\text{(input size)}^{1+o(1)}$. This improves upon the previously known $\text{(input size)}^{\frac32 +o(1)}$ bound.

The 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. We show that on average, we can compute one approximate root of a random Gaussian polynomial system of $n$ equations of degree at most $D$ in $n+1$ homogeneous variables with $O(n^4 D^2)$ continuation steps. This is a significant improvement over previous bounds that prove no better than $\sqrt{2}^{\min(n, D)}$ continuation steps on average.

This talk will also be an introduction to Felipe Cucker's talk in the same session.