Irrational mixed decomposition and sharp fewnomial bounds for tropical polynomial systems
Given convex polytopes P1,...,Pr in Rn and finite subsets WI of the Minkowsky sums PI=∑i∈IPi, we consider the quantity N(W)=∑I⊂[r](−1)r−∣I∣WI. We develop a technique that we call irrational mixed decomposition which allows us to estimate N(W) under some assumptions on the family W=(WI). 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 WI=∑i∈IWi is called discrete mixed volume of W1,...,Wr. 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 W1,...,Wn. We also prove that the discrete mixed volume of W1,...,Wr is bounded from above by the Kouchnirenko number ∏i=1r(∣Wi∣−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 W1,...,Wn. 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.