Abstract:We consider systems of polynomial equations and inequalities in $\mathbb{Q}[\boldsymbol{y}][\boldsymbol{x}]$ where $\boldsymbol{x} = (x_1, \ldots, x_n)$ and $\boldsymbol{y} = (y_1, \ldots,y_t)$. The $\boldsymbol{y}$ indeterminates are considered as parameters and we assume that when specialising them generically, the set of common complex solutions, to the obtained equations, is finite. We consider the problem of real root classification for such parameter-dependent problems, i.e. identifying the possible number of real solutions depending on the values of the parameters and computing a description of the regions of the space of parameters over which the number of real roots remains invariant. We design an algorithm for solving this problem. The formulas it outputs enjoy a determinantal structure. Under genericity assumptions, we show that its arithmetic complexity is polynomial in both the maximum degree $d$ and the number $s$ of the input inequalities and exponential in $nt+t^2$. The output formulas consist of polynomials of degree bounded by $(2s+n)d^{n+1}$. This is the first algorithm with such a singly exponential complexity. We report on practical experiments showing that a first implementation of this algorithm can tackle examples which were previously out of reach.

Real Solution Classification for Parametric Semi-Algebraic Systems.

Solving parameter-dependent semi-algebraic systems

Process Analysis On Multiple Solutions Of Semi Algebraic Systems

Solving Parametric Semi-Algebraic Systems

An Algorithm for Isolating the Real Solutions of Semi-algebraic Systems

Triangular Decomposition of Semi-algebraic Systems

Computing with Semi-Algebraic Sets: Relaxation Techniques and Effective Boundaries

Classification of Solutions to Several Semi-linear Polyharmonic Equations and Fractional Equations

Quantifier elimination for quartics

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

A Survey of Some Methods for Real Quantifier Elimination, Decision, and Satisfiability and Their Applications

Classifications and Existence Criteria for Positive Solutions of Systems of Nonlinear Differential Equations

A Semi-Algebraic Approach for the Computation of Lyapunov Functions

Deciding Nonnegativity of Polynomials by MAPLE.

Computing equilibria of semi-algebraic economies using triangular decomposition and real solution classification

FMplex: A Novel Method for Solving Linear Real Arithmetic Problems

Algorithmic analysis on a class of Boolean equations

On Solving Parametric Polynomial Systems

Program Verification By Reduction To Semi-Algebraic Systems Solving

Real root refinements for univariate polynomial equations

Real Solution Isolation Using Interval Arithmetic