Skip to Main content Skip to Navigation
Preprints, Working Papers, ...

Separation bounds for polynomial systems

Abstract : Based on recent advances on aggregate separation bounds for univariate polynomials, we extend these results to the isolated roots of zero-dimensional, as well as positive-dimensional and overdetermined polynomial systems. We exploit the structure of the given system, as well as bounds on the height of the sparse (or toric) resultant, by means of mixed volume. This improves Canny's gap theorem [8]. Our results exploit sparseness; they are in general comparable to the lower bounds on the absolute value of the root coordinates by Brownawell and Yap [6] which, however, were obtained under a strong hypothesis, namely the existence of a zero-dimensional projection. We also present polynomial systems whose roots almost attain our zero bounds. Our bounds are applied to estimate the bitsize of the eigenvalues and eigenvectors of an integer matrix, thus showing the problem is of polynomial bit complexity, in order to bound the value of a positive polynomial over the simplex, thus improving by at least one order of magnitude upon all existing bounds, and in order to asymptotically bound the number of steps of any subdivision-based algorithm that isolates all real roots of a polynomial system.
Document type :
Preprints, Working Papers, ...
Complete list of metadatas
Contributor : Elias Tsigaridas <>
Submitted on : Saturday, February 7, 2015 - 7:29:25 PM
Last modification on : Friday, January 8, 2021 - 5:42:02 PM
Long-term archiving on: : Friday, May 8, 2015 - 10:15:54 AM


Files produced by the author(s)


  • HAL Id : hal-01105276, version 2


Ioannis Emiris, Bernard Mourrain, Elias Tsigaridas. Separation bounds for polynomial systems. 2015. ⟨hal-01105276v2⟩



Record views


Files downloads