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".

Geometry of the signed support of a multivariate polynomial and Descartes' rule of signs

On Descartes' rule of signs for hyperbolic polynomials

On a problem inspired by Descartes' rule of signs

No signed graph with the nullity $η(G,σ)=|V(G)|-2m(G)+2c(G)-1$

Descartes' rule of signs, canonical sign patterns and rigid orders of moduli

Sign patterns of principal minors of real symmetric matrices

Real tropicalization and negative faces of the Newton polytope

Algebraic perspectives on signomial optimization

Viro's patchworking and the signed reduced A-discriminant

Factoring multivariate polynomials over hyperfields and the multivariable Descartes' problem

P-matrices and signed digraphs

On Spectral Properties of Signed Laplacians With Connections to Eventual Positivity

Multi-agent consensus over time-invariant and time-varying signed digraphs via eventual positivity

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

The Wonderful Geometry of the Vandermonde map

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

On the support of measures of large entropy for polynomial-like maps

Signed Distance Laplacian Matrices for Signed Graphs

Total positivity of some polynomial matrices that enumerate labeled trees and forests. II. Rooted labeled trees and partial functional digraphs

On singular signed graphs with nullspace spanned by a full vector: Signed nut graphs

On universal sign patterns