A convex geometric approach to counting the roots of a polynomial system

AbstractConsider a polynomial system F=(f1,…,fn) in n variables with complex coefficients. A standard way to bound the number of isolated roots of F in Cn is to multiply and add the degrees of the fi in a straightfoward computation described explicitly by some variant of Bézout's theorem. Unfortunately, even if one knows a priori which monomial terms will appear, this upper bound can be far from exact. In practice, one frequently knows which monomial terms will appear in a polynomial system before one actually decides to count or approximate its roots, so a fast accurate root count which takes this additional information into account is vital.We propose a much tighter upper bound on the number of isolated roots of F in Cn, and give an explicit combinatorial geometric criterion for when it is exact. As a corollary we obtain a geometric characterization of the average-case computational complexity of root counting. Our root count is a formula derived from the theory of toric varieties and its computation involves finding the mixed volume of n shadowed polytopes in Rn. Our formula generalizes the BKK bound (Bernshtein, 1975; Kushnirenko, 1976; Khovanskii, 1978; Canny and Rojas, 1991) in four ways: 1.For any rϵ{0,…,n}, our formula can be used to count the roots whose first r coordinates are nonzero. (The BKK bound only handles the r=n case.) As a corollary we obtain that for fixed n, all of these root counts (for generic F) can be done in time polynomial in the numbers of monomial terms of the fi.2.We refine Bernshtein's (1975) algebraic criterion for exactness of the BKK bound into a complete classification of the subsets of the coefficients of F whose genericity guarantees exactness in our generalized bound.3.Our results are stated in terms of arbitrary algebraically closed fields of any characteristic. (The BKK bound was originally stated only over the complex numbers.)4.We generalize all of the above to results on the number of (n—k)-dimensional components of the zero set of (f1,…,fk) when k⩽n