Section: New Results
Solving systems over the reals and applications
It is well-known that every non-negative univariate real polynomial can be written as the sum of two polynomial squares with real coefficients. When one allows a weighted sum of finitely many squares instead of a sum of two squares, then one can choose all coefficients in the representation to lie in the field generated by the coefficients of the polynomial. In particular, this allows an effective treatment of polynomials with rational coefficients. In , we describe, analyze and compare both from the theoretical and practical points of view, two algorithms computing such a weighted sums of squares decomposition for univariate polynomials with rational coefficients. The first algorithm, due to the third author relies on real root isolation, quadratic approximations of positive polynomials and square-free decomposition but its complexity was not analyzed. We provide bit complexity estimates, both on the runtime and the output size of this algorithm. They are exponential in the degree of the input univariate polynomial and linear in the maximum bitsize of its complexity. This analysis is obtained using quantifier elimination and root isolation bounds. The second algorithm, due to Chevillard, Harrison, Joldes and Lauter, relies on complex root isolation and square-free decomposition and has been introduced for certifying positiveness of poly-nomials in the context of computer arithmetics. Again, its complexity was not analyzed. We provide bit complexity estimates, both on the runtime and the output size of this algorithm, which are polynomial in the degree of the input polynomial and linear in the maximum bitsize of its complexity. This analysis is obtained using Vieta's formula and root isolation bounds. Finally, we report on our implementations of both algorithms and compare them in practice on several application benchmarks. While the second algorithm is, as expected from the complexity result, more efficient on most of examples, we exhibit families of non-negative polynomials for which the first algorithm is better.
 describes our freely distributed Maple library spectra , for Semidefinite Programming solved Exactly with Computational Tools of Real Algebra. It solves linear matrix inequalities with symbolic computation in exact arithmetic and it is targeted to small-size, possibly degenerate problems for which symbolic infeasibility or feasibility certificates are required.
Let be a compact basic semi-algebraic set defined as the real solution set of multivariate polynomial inequalities with rational coefficients. In , we design an algorithm which takes as input a polynomial system defining S and an integer and returns the n-dimensional volume of S at absolute precision . Our algorithm relies on the relationship between volumes of semi-algebraic sets and periods of rational integrals. It makes use of algorithms computing the Picard-Fuchs differential equation of appropriate periods, properties of critical points, and high-precision numerical integration of differential equations. The algorithm runs in essentially linear time with respect to . This improves upon the previous exponential bounds obtained by Monte-Carlo or moment-based methods. Assuming a conjecture of Dimca, the arithmetic cost of the algebraic subroutines for computing Picard-Fuchs equations and critical points is singly exponential in and polynomial in the maximum degree of the input.
Let be a sequence of polynomials in of maximal degree and be the algebraic set defined by and be its dimension. The real radical associated to is the largest ideal which defines the real trace of . When is smooth, we show in , that , has a finite set of generators with degrees bounded by . Moreover, we present a probabilistic algorithm of complexity to compute the minimal primes of . When is not smooth, we give a probabilistic algorithm of complexity to compute rational parametrizations for all irreducible components of the real algebraic set .
Let in and be the basic closed semi-algebraic set defined by . The -radical of , which is denoted by , is the ideal associated to the Zariski closure of . We give a probabilistic algorithm to compute rational parametrizations of all irreducible components of that Zariski closure, hence encoding . Assuming now that is the maximum of the degrees of the 's and the 's, this algorithm runs in time .
Experiments are performed to illustrate and show the efficiency of our approaches on computing real radicals.
In , we consider the second-order discontinuous differential equation where the parameters are real. The main goal is to discuss the existence of periodic solutions. Under explicit conditions, the number of such solutions is given. Furthermore, for each of these periodic solutions, an explicit formula is provided.