Bounds on numers of vectors of multiplicities for polynomials which are easy to compute

  • Authors:

  • Dima Grigoriev;Nicolai Vorobjov

  • Affiliations:

  • IRMAR, Université de Rennes, Campus de Beaulieu, 35042 Rennes, cedex, France;Department of Mathematical Sciences, University of Bath, Bath, BA2 7AY, England

  • Venue:
  • ISSAC '00 Proceedings of the 2000 international symposium on Symbolic and algebraic computation
  • Year:
  • 2000

Quantified Score

Hi-index 0.00

Visualization

Abstract

Let F be an algebraically closed field of zero characteristic, a polynomial @@@@ ∈ F[X1, … , Xn have a multiplicative complexity r and ƒ1, … ƒk ∈ F[X1, … , Xn] be some polynomials of degrees not exceeding d, such that @@@@ = ƒ1 = ··· = ƒk = 0 has a finite number of roots. We show that the number of possible distinct vectors of multiplicities of these roots is small when r, d and k are small. As technical tools we design algorithms which produce Gröbner bases and vectors of multiplicities of the roots for a parametric zero-dimensional system. The complexities of these algorithms are singly exponential. We also describe an algorithm for parametric absolute factorization of multivariate polynomials. This algorithm has subexponential complexity in the case of a small (relative to the number of variables) degree of the polynomials.