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

A semi-algebraic view on quadratic constraints for polynomial systems

On Quadratic Stability of Dynamic Interval Systems

On Quadratic Stability of Discrete-time Interval 2-D Systems

Sequential sum-of-squares programming for analysis of nonlinear systems

Local Stabilizing Control for Polynomial Nonlinear Systems

Stability Analysis And Control Synthesis For Uncertain Polynomial Nonlinear Systems

Stabilizing control of robustness for systems with maximum uncertain parameters - A quadratic programming approach

A Semi-Algebraic Approach for the Computation of Lyapunov Functions

Stochastic linear–quadratic control problems with affine constraints

Stochastic Linear-quadratic Control Problems with Affine Constraints

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

Robust Exponential Stability and Invariance Guarantees with General Dynamic O'Shea-Zames-Falb Multipliers

An accelerated active-set algorithm for a quadratic semidefinite program with general constraints

A new inexact SQP algorithm for nonlinear systems of mixed equalities and inequalities

Strong Variational Sufficiency for Nonlinear Semidefinite Programming and its Implications

An SQP method for mathematical programs with vanishing constraints with strong convergence properties

On Squared-Variable Formulations

Linear Programming Relaxations of Quadratically Constrained Quadratic Programs

Output feedback control for quadratic systems: A Lyapunov function approach

Automatic Synthesis of Piecewise Linear Quadratic Invariants for Programs

An exact duality theory for semidefinite programming based on sums of squares