Practical and Theoretical Issues for the Computation of Generalized Critical Values of a Polynomial Mapping

  • Mohab Safey El Din
Conference paper
Part of the Lecture Notes in Computer Science book series (LNCS, volume 5081)


Let Open image in new window be a polynomial of degree D. Computing the set of generalized critical values of the mapping Open image in new window (i.e. Open image in new window ) is an important step in algorithms computing sampling points in semi-algebraic sets defined by a single inequality.

A previous algorithm allows us to compute the set of generalized critical values of \(\widetilde{f}\). This one is based on the computation of the critical locus of a projection on a plane P. This plane P must be chosen such that some global properness properties of some projections are satisfied. These properties, which are generically satisfied, are difficult to check in practice. Moreover, choosing randomly the plane P induces a growth of the coefficients appearing in the computations.

We provide here a new certified algorithm computing the set of generalized critical values of \(\widetilde{f}\). This one is still based on the computation of the critical locus on a plane P. The certification process consists here in checking that this critical locus has dimension 1 (which is easy to check in practice), without any assumption of global properness. Moreover, this allows us to limit the growth of coefficients appearing in the computations by choosing a plane P defined by sparse equations. Additionally, we prove that the degree of this critical curve is bounded by \((D-1)^{n-1}-\mathfrak{d}\) where \(\mathfrak{d}\) is the sum of the degrees of the positive dimensional components of the ideal \(\langle \frac{\partial f}{\partial X_1}, \ldots,\frac{\partial f}{\partial X_n}\rangle\).

We also provide complexity estimates on the number of arithmetic operations performed by a probabilistic version of our algorithm.

Practical experiments at the end of the paper show the relevance and the importance of these results which improve significantly in practice previous contributions.


Irreducible Component Voronoi Diagram Theoretical Issue Critical Locus Polynomial System 
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.


Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.


  1. 1.
    Alcazar, J.G., Schicho, J., Sendra, J.R.: A delineability-based method for computing critical sets of algebraic surfaces. J. Symb. Comput. 42(6), 678–691 (2007)zbMATHCrossRefMathSciNetGoogle Scholar
  2. 2.
    Bank, B., Giusti, M., Heintz, J., Pardo, L.-M.: Generalized polar varieties and efficient real elimination procedure. Kybernetika 40(5), 519–550 (2004)MathSciNetGoogle Scholar
  3. 3.
    Basu, S., Pollack, R., Roy, M.-F.: Algorithms in real algebraic geometry. Springer, Heidelberg (2003)zbMATHGoogle Scholar
  4. 4.
    Benedetti, R., Risler, J.-J.: Real algebraic and semi-algebraic sets. Actualités Mathématiques, Hermann (1990)Google Scholar
  5. 5.
    Collins, G.E.: Quantifier elimination for real closed fields by cylindrical algebraic decomposition. In: Brakhage, H. (ed.) GI Fachtagung 1975. LNCS, vol. 33, pp. 515–532. Springer, Heidelberg (1975)Google Scholar
  6. 6.
    Corvez, S., Rouillier, F.: Using computer algebra tools to classify serial manipulators. In: Winkler, F. (ed.) ADG 2002. LNCS (LNAI), vol. 2930, pp. 31–43. Springer, Heidelberg (2004)Google Scholar
  7. 7.
    Everett, H., Lazard, D., Lazard, S., Safey El Din, M.: The topology of the Voronoi diagram of three lines in Open image in new window. In: Proceedings of Symposium on Computational Geometry. ACM Press, South-Korea (2007)Google Scholar
  8. 8.
    Faugère, J.-C.: Gb/FGb,
  9. 9.
    Fulton, W.: Intersection Theory. Ergebnisse der Mathematik und ihrer Grenzgebiete, vol. 2. Springer, Heidelberg (1984)zbMATHGoogle Scholar
  10. 10.
    Gao, X.-S., Hou, X.-R., Tang, J., Cheng, H.-F.: Complete Solution Classification for the Perspective-Three-Point Problem. IEEE Trans. Pattern Anal. Mach. Intell. 25(8), 930–943 (2003)CrossRefGoogle Scholar
  11. 11.
    Giusti, M., Heintz, J., Morais, J.-E., Morgenstern, J., Pardo, L.-M.: Straight-line programs in geometric elimination theory. Journal of Pure and Applied Algebra 124, 101–146 (1998)zbMATHCrossRefMathSciNetGoogle Scholar
  12. 12.
    Giusti, M., Lecerf, G., Salvy, B.: A Gröbner free alternative for polynomial system solving. Journal of Complexity 17(1), 154–211 (2001)zbMATHCrossRefMathSciNetGoogle Scholar
  13. 13.
    Grigoriev, D., Vorobjov, N.: Solving systems of polynomials inequalities in subexponential time. Journal of Symbolic Computation 5, 37–64 (1988)CrossRefMathSciNetGoogle Scholar
  14. 14.
    Jelonek, Z., Kurdyka, K.: On asymptotic critical values of a complex polynomial. Journal für die Reine und Angewandte Mathematik 565, 1–11 (2003)zbMATHCrossRefMathSciNetGoogle Scholar
  15. 15.
    Lazard, D.: Quantifier elimination: optimal solution for two classical examples. Journal of Symbolic Computation 5(1-2), 261–266 (1988)zbMATHCrossRefMathSciNetGoogle Scholar
  16. 16.
    Lazard, D., Rouillier, F.: Solving parametric polynomial systems. Journal of Symbolic Computation 42, 636–667 (2007)zbMATHCrossRefMathSciNetGoogle Scholar
  17. 17.
    Lecerf, G.: Kronecker magma package for solving polynomial systems,
  18. 18.
    Lax, A., Lax, P.: On sums of squares. Linear Algebra App. 20, 71–75 (1978)zbMATHCrossRefMathSciNetGoogle Scholar
  19. 19.
    Lecerf, G.: Computing the equidimensional decomposition of an algebraic closed set by means of lifting fibers. Journal of Complexity 19(4), 564–596 (2003)CrossRefMathSciNetGoogle Scholar
  20. 20.
    Kurdyka, K., Orro, P., Simon, S.: Semi-algebraic Sard’s theorem for generalized critical values. Journal of differential geometry 56, 67–92 (2000)zbMATHMathSciNetGoogle Scholar
  21. 21.
    Rouillier, F.: RS, RealSolving,
  22. 22.
    Rouillier, F.: Solving zero-dimensional systems through the Rational Univariate Representation. AAECC Journal 9(5), 433–461 (1999)zbMATHCrossRefMathSciNetGoogle Scholar
  23. 23.
    Rouillier, F., Zimmermann, P.: Efficient isolation of polynomial real roots. Journal of Computational and Applied Mathematics 162(1), 33–50 (2003)CrossRefMathSciNetGoogle Scholar
  24. 24.
    Safey El Din, M.: RAGLib (Real Algebraic Geometry Library) (September 2007),
  25. 25.
    Safey El Din, M., Schost, É.: Polar varieties and computation of one point in each connected component of a smooth real algebraic set. In: Proceedings of the 2003 international symposium on Symbolic and algebraic computation, pp. 224–231. ACM Press, New York (2003)CrossRefGoogle Scholar
  26. 26.
    Safey El Din, M., Schost, É.: Properness defects of projections and computation of one point in each connected component of a real algebraic set. Discrete and Computational Geometry 32(3), 417–430 (2004)zbMATHMathSciNetGoogle Scholar
  27. 27.
    Safey El Din, M.: Generalized critical values and solving polynomial inequalities. In: Proceedings of International Conference on Polynomial Systems (2004)Google Scholar
  28. 28.
    Safey El Din, M.: Testing sign conditions on a multivariate polynomial and applications. Mathematics in Computer Science, Special issue on Algorithms and Complexity 1(1), 177–207 (2007)zbMATHMathSciNetGoogle Scholar
  29. 29.
    Schost, E.: Computing Parametric Geometric Resolutions. Journal of Applicable Algebra in Engineering, Communication and Computing 13(5), 349–393 (2003)CrossRefMathSciNetGoogle Scholar
  30. 30.
    Schweighofer, M.: Global optimization of polynomials using gradient tentacles and sums of squares. SIAM Journal on Optimization 17(3), 920–942 (2006)zbMATHCrossRefMathSciNetGoogle Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 2008

Authors and Affiliations

  • Mohab Safey El Din
    • 1
  1. 1.INRIA Paris-Rocquencourt Center, SALSA ProjectUPMC, Univ Paris 06, LIP6, CNRS, UMR 7606, LIP6, UFR Ingéniérie 919, LIP6 Passy-KennedyParis CedexFrance

Personalised recommendations