Abstract:We provide fundamental results on positive solutions to parametrized systems of generalized polynomial $\textit{inequalities}$ (with real exponents and positive parameters), including generalized polynomial $\textit{equations}$. In doing so, we also offer a new perspective on fewnomials and (generalized) mass-action systems. We find that geometric objects, rather than matrices, determine generalized polynomial systems: a bounded set/"polytope" $P$ (arising from the coefficient matrix) and two subspaces representing monomial differences and dependencies (arising from the exponent matrix). The dimension of the latter subspace, the monomial dependency $d$, is crucial. As our main result, we rewrite $\textit{polynomial inequalities}$ in terms of $d$ $\textit{binomial equations}$ on $P$, involving $d$ monomials in the parameters. In particular, we establish an explicit bijection between the original solution set and the solution set on $P$ via exponentiation. (i) Our results apply to any generalized polynomial system. (ii) The dependency $d$ and the dimension of $P$ indicate the complexity of a system. (iii) Our results are based on methods from linear algebra and convex/polyhedral geometry, and the solution set on $P$ can be further studied using methods from analysis such as sign-characteristic functions (introduced in this work). We illustrate our results (in particular, the relevant geometric objects) through three examples from real fewnomial and reaction network theory. For two mass-action systems, we parametrize the set of equilibria and the region for multistationarity, respectively, and even for univariate trinomials, we offer new insights: We provide a "solution formula" involving discriminants and "roots".

The Sharp Bound for the Number of Real Solutions to Polynomial Equation Systems

On the Polynomial Sharp Upper Estimate Conjecture in 7-Dimensional Simplex

A stratified polyhedral homotopy method for sampling positive dimensional zero sets of polynomial systems

Sharp Polynomial Estimate of Integral Points in Right-Angled Simplices

On the Sharp Polynomial Upper Estimate Conjecture in Eight-Dimensional Simplex

Parametrized systems of generalized polynomial equations: first applications to fewnomials

Parametrized systems of generalized polynomial inequalitites via linear algebra and convex geometry

Number of Solutions of Systems of Homogeneous Polynomial Equations over Finite Fields

Sparse systems with high local multiplicity

On a Conjecture about the Number of Solutions to Linear Diophantine Equations with a Positive Integer Parameter

Counting solutions of a polynomial system locally and exactly

Univariate representations of solutions to generic polynomial complementarity problems

Existence of a unique solution to parametrized systems of generalized polynomial equations

Real zeros of mixed random fewnomial systems

A Complete Algorithm for Counting Real Solutions of Polynomial Systems of Equations and Inequalities

New bounds for the number of connected components of fewnomial hypersurfaces

Real solution isolation with multiplicity of zero-dimensional triangular systems

Biggest Sharp Polynomial Estimate of Integral Points in Right-Angled Simplices

A Sharp Polynomial Estimate of Positive Integral Points in A 4-Dimensional Tetrahedron and A Sharp Estimate of the Dickman-De Bruijn Function

Analysis for A Sharp Polynomial Upper Estimate of the Number of Positive Integral Points in A 4-Dimensional Tetrahedron

Coordinate-free Characterization of Homogeneous Polynomials with Isolated Singularities