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

On the Solution Sets of Three-Variable Word Equations

Sets with no solutions to some symmetric linear equations

On the length of nonsolutions to equations with constants in some linear groups

Parametrized systems of generalized polynomial equations: first applications to fewnomials

Quadratic Word Equations with Length Constraints, Counter Systems, and Presburger Arithmetic with Divisibility

Diophantine equations with three monomials

On Pairs of Linear Equations in Three Prime Variables

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

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

Symmetric Word Equations in Two Positive Definite Letters

Solving parameter-dependent semi-algebraic systems

Solving parametric radical equations with depth 2 rigorously using the restriction set method

Optimization Tools for Computing Colorings of $[1,\cdots ,n]$ with Few Monochromatic Solutions on $3$-variable Linear Equations

A Generalization of Varnavides's Theorem

Decidable Logics Combining Word Equations, Regular Expressions and Length Constraints

Regular Substitution Sets: A Means of Controlling E-Unification

Univariate representations of solutions to generic polynomial complementarity problems

A New Bound for 3-Satisfiable MaxSat and Its Algorithmic Application.

Word Equations in Synergy with Regular Constraints (Technical Report)

On Solving General Linear Equations in the Set of Natural Numbers

Bounds for variables with few occurrences in conjunctive normal forms