arXiv++ Combinatorics

We study the topological degree on the positive orthant of a map $F:\mathbb{R}^n_{>0}\to\mathbb{R}^n$ whose components are real polynomials, possibly with real exponents, with the same support $\mathcal{A}$ of $N=n+k+1$ monomials. This degree is well defined under a half-space condition on the columns of the coefficient matrix indexed by the faces of the Newton polytope, which holds for generic exponents and coefficients. We give three formulas for it, all in terms of signs of maximal minors. The first one is a Viro formula: the degree is a signed count of the simplices of a regular triangulation of $\mathcal{A}$ which are positively decorated in the sense of Bihan, Santos and Spaenlehauer. The second one is a sum over the facets of the Newton polytope, and the third one a sum over the vertices of the polyhedron of the Gale dual system. As a consequence, the degree only depends on the oriented matroids of the exponent and coefficient matrices restricted to the vertices of the Newton polytope. We also obtain a Descartes rule of signs for the degree and, in the generic case, the upper bound $|°F|<\frac12\min(M(n,N),M(k,N))$, where $M(d,N)$ is the largest number of facets of a $d$-polytope with $N$ vertices. This bound is sharp when $n=2$ or $k=2$. Using the H-duality of Bihan, Dickenstein and Forsgård, we show that the set of possible degrees is symmetric in $n$ and $k$. Since a nonzero degree forces a positive zero, our formulas give sign conditions for the existence of positive solutions, as well as parity statements for their number.

The classical Descartes' rule of signs bounds the number of positive roots of a real polynomial in one variable by the number of sign changes of its coefficients. This bound only depends on the order of the exponents and on the signs of the coefficients, that is, on the oriented matroids of the exponent and coefficient matrices. We give a multivariate generalization of this rule to arbitrary fewnomial systems: for systems of $n$ real polynomial equations in $n$ variables with $n+k+1$ monomials, we obtain upper bounds for the number of nondegenerate positive solutions which only depend on sign conditions on the maximal minors of the coefficient matrix and of the exponent matrix and its liftings. For $k=1$ they are the Descartes rules of signs for circuits of Bihan-Dickenstein and Bihan-Dickenstein-Forsgård. Our approach starts from the Gale duality and the Khovanskii-Rolle argument of Bihan and Sottile, which reduce the problem to counting common zeros of iterated Jacobians in a polyhedron $Δ$. This polyhedron is a chamber of a hyperplane arrangement whose combinatorics is determined by the oriented matroid of the coefficient matrix. We bound the number of these zeros by the Bézout number minus the zeros forced in the other chambers by a topological degree, which we compute by a facet-count formula involving the signs of minors of a Gale dual matrix of the exponent matrix. This leads to a recursion over the flats of the arrangement, which ends on lines with the Descartes rules for circuits. In this way the coefficients enter the bounds through the combinatorics of the arrangement, and the exponents through sign conditions on minors.

We investigate a version of Viro's method for constructing polynomial systems with many positive solutions, based on regular triangulations of the Newton polytope of the system. The number of positive solutions obtained with our method is governed by the size of the largest positively decorable subcomplex of the triangulation. Here, positive decorability is a property that we introduce and which is dual to being a subcomplex of some regular triangulation. Using this duality, we produce large positively decorable subcomplexes of the boundary complexes of cyclic polytopes. As a byproduct we get new lower bounds, some of them being the best currently known, for the maximal number of positive solutions of polynomial systems with prescribed numbers of monomials and variables. We also study the asymptotics of these numbers and observe a log-concavity property.

Given convex polytopes $P_1,...,P_r$ in $R^n$ and finite subsets $W_I$ of the Minkowsky sums $P_I=\sum_{i \in I} P_i$, we consider the quantity $N(W)=\sum_{I \subset {\bf [}r {\bf ]}} {(-1)}^{r-|I|} \big| W_I \big|$. We develop a technique that we call irrational mixed decomposition which allows us to estimate $N(W)$ under some assumptions on the family $W=(W_I)$. In particular, we are able to show the nonnegativity of $N(W)$ in some important cases. The quantity $N(W)$ associated with the family defined by $W_I=\sum_{i \in I} W_i$ is called discrete mixed volume of $W_1,...,W_r$. We show that for $r=n$ the discrete mixed volume provides an upper bound for the number of nondegenerate solutions of a tropical polynomial system with supports $W_1,...,W_n$. We also prove that the discrete mixed volume of $W_1,...,W_r$ is bounded from above by the Kouchnirenko number $\prod_{i=1}^r (|W_i|-1)$. For $r=n$ this number was proposed as a bound for the number of nondegenerate positive solutions of any real polynomial system with supports $W_1,...,W_n$. This conjecture was disproved, but our result shows that the Kouchnirenko number is a sharp bound for the number of nondegenerate positive solutions of real polynomial systems constructed by means of the combinatorial patchworking.

We define nondegenerate tropical complete intersections imitating the corresponding definition in complex algebraic geometry. As in the complex situation, all nonzero intersection multiplicity numbers between tropical hypersurfaces defining a nondegenerate tropical complete intersection are equal to 1. The intersection multiplicity numbers we use are sums of mixed volumes of polytopes which are dual to cells of the tropical hypersurfaces. We show that the Euler characteristic of a real nondegenerate tropical complete intersection depends only on the Newton polytopes of the tropical polynomials which define the intersection. Basically, it is equal to the usual signature of a complex complete intersection with same Newton polytopes, when this signature is defined. The proof reduces to the toric hypersurface case, and uses the notion of $E$-polynomials of complex varieties.