a Polyhedral Method to Compute all Affine Solution Sets of Sparse Polynomial Systems

Danko Adrovic and Jan Verschelde

Abstract:

To compute solutions of sparse polynomial systems efficiently we have to exploit the structure of their Newton polytopes. While the application of polyhedral methods naturally excludes solutions with zero components, an irreducible decomposition of a variety is typically understood in affine space, including also those components with zero coordinates. We present a polyhedral method to compute all affine solution sets of a polynomial system. The method enumerates all factors contributing to a generalized permanent. Toric solution sets are recovered as a special case of this enumeration. For sparse systems as adjacent 2-by-2 minors our methods scale much better than the techniques from numerical algebraic geometry.

Key words and phrases. affine set, irreducible decomposition, Newton polytope, monomial map, permanent, polyhedral method, Puiseux series, sparse polynomial.