Pré-Publication, Document De Travail Année : 2026

Computing points in connected components defined by a real inequation: algorithms, complexity and implementations, Part I

Jérémy Berthomieu
Edern Gillot
Mohab Safey El Din

Résumé

We consider the problem of computing sample points in each connected component of a semi-algebraic set defined by the non-vanishing or the positivity of an n-variate polynomial of degree d, with rational coefficients of bit size bounded by τ. Such a problem is a basic routine in effective real algebraic geometry, used in higher-level algorithms for solving polynomial systems over the reals and finds many applications in sciences. We design a probabilistic algorithm for solving this problem, which is based on reductions to different routines for solving zero-dimensional polynomial systems. It assumes that the input polynomial satisfies sufficiently generic properties (namely, smoothness of its defining hypersurface). This is done through the computations of critical points of well-chosen maps to capture the connected components of the semi-algebraic set under study. We derive a bit complexity estimate for the cost of this algorithm, which is, in terms of the Bézout bound d(d -1)^{n-1}, essentially cubic for obtaining parametrisations of the sought-for real points. Moreover, we also consider the case of obtaining rational approximations of those points, which are precise enough to lie in the same connected components as their exact counterparts, which yields a cost that is essentially quartic in the Bézout bound. In these complexity estimates, we take into account the degree structure of the input polynomial and its partial derivatives, allowing for a more refined bit complexity when the partial derivative of the input polynomial have degree lower than expected. We also analyse the probability of success of those algorithms. We report on practical experiments, benchmarking with random dense input polynomials as well as polynomials coming from applications, which were out of reach of the state-of-the-art implementations, and hence illustrate the practical efficiency of these new algorithms.

Fichier principal
Vignette du fichier
main_smooth.pdf (1005.11 Ko) Télécharger le fichier
Origine Fichiers produits par l'(les) auteur(s)
licence

Dates et versions

hal-05612270 , version 1 (05-05-2026)

Licence

Identifiants

Citer

Jérémy Berthomieu, Edern Gillot, Mohab Safey El Din. Computing points in connected components defined by a real inequation: algorithms, complexity and implementations, Part I. 2026. ⟨hal-05612270v1⟩
0 Consultations
0 Téléchargements

Altmetric

Partager

  • More