Advertisement

Condition pp 391-417 | Cite as

Real Polynomial Systems

  • Peter Bürgisser
  • Felipe Cucker
Chapter
Part of the Grundlehren der mathematischen Wissenschaften book series (GL, volume 349)

Abstract

The development of the preceding three chapters focused on complex systems of homogeneous polynomial equations. The main algorithmic results in these chapters were satisfying: we can compute an approximate zero of a system f in average (and even smoothed) randomized polynomial time. Central in these results were the consideration of complex numbers for both the coefficients of the input system and the components of the computed approximate zero. For a variety of purposes, however, one is interested in real zeros of systems with real coefficients. Unlike the situation over the complex numbers, a system f of n real homogeneous polynomials in n+1 variables does not need to have a real solution. Therefore—and this is a situation we have already met when dealing with linear programming—the issue of feasibility precedes that of computing zeros.

In this chapter, we consider a problem more demanding than feasibility, namely, to count how many zeros the system has. Following our usual pattern, we say that a real system f is ill-posed when arbitrary small perturbations of f can change its number of real zeros. We then define the condition κ(f) as the relatived inverse distance of f to the set of ill-posed systems. The main goal of the chapter is to exhibit and analyze an algorithm for zero-counting in terms of κ(f).

We also present a short proof of a well-known result of Shub and Smale giving the expected number of real zeros for a random system f.

Finally, we briefly describe and analyze an algorithm for deciding feasibility of underdetermined systems of real polynomials.

Keywords

Condition Number Real Zero Real Coefficient Approximate Zero Underdetermined 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.

Bibliography

  1. 70.
    F. Cucker and S. Smale. Complexity estimates depending on condition and round-off error. Journal of the ACM, 46:113–184, 1999. MathSciNetzbMATHCrossRefGoogle Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 2013

Authors and Affiliations

  • Peter Bürgisser
    • 1
  • Felipe Cucker
    • 2
  1. 1.Institut für MathematikTechnische Universität BerlinBerlinGermany
  2. 2.Department of MathematicsCity University of Hong KongHong KongHong Kong SAR

Personalised recommendations