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

Equations over Polyhedral Semirings

Symmetry of Solutions to a Class of Geometric Equations for Hypersurfaces in Rn+1

On solving basic equations over the semiring of functional digraphs

Factorization of polynomials over the symmetrized tropical semiring and Descartes' rule of sign over ordered valued fields

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

Parametrized systems of generalized polynomial equations: first applications to fewnomials

Linear Partial Differential Equations in Module of Copolynomials of Several Variables over a Commutative Ring

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

Complex solutions of polynomial equations on the unit circle

Representation of positive semidefinite elements as sum of squares in 2-dimensional local rings

Linear independence over naturally-ordered semirings with applications to dimension arguments in extremal combinatorics

On linear equations over split octonions

Polynomial correspondences expressible as maps of $d$-tuples

On the Solutions of Linear Systems over Additively Idempotent Semirings

On polynomial equations over split octonions

A General Approach to Sylvester-Polynomial-Conjugate Matrix Equations

On the Structure of Set-Theoretic Polygon Equations

Estimates on the number of rational solutions of variants of diagonal equations over finite fields

Unit Equations on Quaternions

Characteristic polynomials of isometries of even unimodular lattices

Parabolic-equivariant modules over polynomial rings in infinitely many variables