Skip to main content
Log in

An asymptotically tight bound on the number of semi-algebraically connected components of realizable sign conditions

  • Published:
Combinatorica Aims and scope Submit manuscript

Abstract

We prove an asymptotically tight bound (asymptotic with respect to the number of polynomials for fixed degrees and number of variables) on the number of semi-algebraically connected components of the realizations of all realizable sign conditions of a family of real polynomials. More precisely, we prove that the number of semi-algebraically connected components of the realizations of all realizable sign conditions of a family of s polynomials in R[X 1, …,X k ] whose degrees are at most d is bounded by

$$ \frac{{(2d)^k }} {{k!}}s^k + O(s^{k - 1} ). $$

This improves the best upper bound known previously which was

$$ \frac{1} {2}\frac{{(8d)^k }} {{k!}}s^k + O(s^{k - 1} ). $$

The new bound matches asymptotically the lower bound obtained for families of polynomials each of which is a product of generic polynomials of degree one.

This is a preview of subscription content, log in via an institution to check access.

Access this article

Price excludes VAT (USA)
Tax calculation will be finalised during checkout.

Instant access to the full article PDF.

Similar content being viewed by others

References

  1. N. Alon: Tools from higher algebra, Handbook of combinatorics, Vol. 1, 2, Elsevier, Amsterdam, 1995, pp. 1749–1783.

    Google Scholar 

  2. S. Basu, R. Pollack and M.-F. Roy: Algorithms in real algebraic geometry, Algorithms and Computation in Mathematics, vol. 10, Springer-Verlag, Berlin, 2006 (second edition).

    MATH  Google Scholar 

  3. S. Basu, R. Pollack and M.-F. Roy: On the number of cells defined by a family of polynomials on a variety, Mathematika43(1) (1996), 120–126.

    Article  MATH  MathSciNet  Google Scholar 

  4. S. Basu, R. Pollack and M.-F. Roy: On the Betti numbers of sign conditions, Proc. Amer. Math. Soc.133(4) (2005), 965–974 (electronic).

    Article  MATH  MathSciNet  Google Scholar 

  5. J. Bochnak, M. Coste and M.-F. Roy: Géométrie algébrique réelle, in: Ergebnisse der Mathematik und ihrer Grenzgebiete (3) [Results in Mathematics and Related Areas (3)], vol. 12, Springer-Verlag, Berlin, 1987.

    Google Scholar 

  6. A. Borel and J. C. Moore: Homology theory for locally compact spaces, Michigan Math. J.7 (1960), 137–159.

    Article  MATH  MathSciNet  Google Scholar 

  7. W. Fulton: Intersection theory, second ed., Ergebnisse der Mathematik und ihrer Grenzgebiete. 3. Folge. A Series of Modern Surveys in Mathematics [Results in Mathematics and Related Areas, 3rd Series; A Series of Modern Surveys in Mathematics], vol. 2, Springer-Verlag, Berlin, 1998.

    MATH  Google Scholar 

  8. J. E. Goodman and R. Pollack: There are asymptotically far fewer polytopes than we thought, Bull. Amer. Math. Soc. (N.S.)14(1) (1986), 127–129.

    Article  MATH  MathSciNet  Google Scholar 

  9. J. E. Goodman and R. Pollack: Upper bounds for configurations and polytopes in Rd, Discrete Comput. Geom.1(3) (1986), 219–227.

    Article  MATH  MathSciNet  Google Scholar 

  10. M. Goresky and R. Macpherson: Stratified Morse theory, in: Ergebnisse der Mathematik und ihrer Grenzgebiete (3) [Results in Mathematics and Related Areas (3)], vol. 14, Springer-Verlag, Berlin, 1988.

    Google Scholar 

  11. R. M. Hardt: Semi-algebraic local-triviality in semi-algebraic mappings, Amer. J. Math.102(2) (1980), 291–302.

    Article  MATH  MathSciNet  Google Scholar 

  12. Gabriela Jeronimo and Juan Sabia: On the number of sets definable by polynomials, J. Algebra227(2) (2000), 633–644.

    Article  MATH  MathSciNet  Google Scholar 

  13. K. K. Karčjauskas: Homotopy properties of algebraic sets, Zap. Nauchn. Sem. Leningrad. Otdel. Mat. Inst. Steklov. (LOMI)83 (1979), 67–72, 103, Studies in topology, III.

    MathSciNet  Google Scholar 

  14. J. Matoušek: Lectures on discrete geometry, Graduate Texts in Mathematics, vol. 212, Springer-Verlag, New York, 2002.

    MATH  Google Scholar 

  15. J. Milnor: On the Betti numbers of real varieties, Proc. Amer.Math. Soc.15 (1964), 275–280.

    MATH  MathSciNet  Google Scholar 

  16. R. Narasimhan: On the homology groups of Stein spaces, Invent. Math.2 (1967), 377–385.

    Article  MATH  MathSciNet  Google Scholar 

  17. I. G. Petrovskiĭ and O. A. Oleĭnik: On the topology of real algebraic surfaces, Izvestiya Akad. Nauk SSSR. Ser. Mat.13 (1949), 389–402.

    MathSciNet  Google Scholar 

  18. L. Rónyai, L. Babai and M. K. Ganapathy: On the number of zero-patterns of a sequence of polynomials, J. Amer. Math. Soc.14(3) (2001), 717–735 (electronic).

    Article  MATH  MathSciNet  Google Scholar 

  19. R. Thom: Sur l’homologie des variétés algébriques réelles, in: Differential and Combinatorial Topology (A Symposium in Honor of Marston Morse), Princeton Univ. Press, Princeton, N.J., 1965, pp. 255–265.

    Google Scholar 

  20. O. Ya. Viro and D. B. Fuchs: Homology and cohomology, Topology. II, Encyclopaedia Math. Sci., vol. 24, Springer, Berlin, 2004, Translated from the Russian by C. J. Shaddock, pp. 95–196.

    Google Scholar 

  21. H. E. Warren: Lower bounds for approximation by nonlinear manifolds, Trans. Amer. Math. Soc.133 (1968), 167–178.

    MATH  MathSciNet  Google Scholar 

Download references

Author information

Authors and Affiliations

Authors

Corresponding author

Correspondence to Saugata Basu.

Additional information

Supported in part by an NSF Career Award 0133597 and an Alfred P. Sloan Foundation Fellowship.

Supported in part by NSA grant MDA904-01-1-0057 and NSF grants CCR-9732101 and CCR-0098246.

Rights and permissions

Reprints and permissions

About this article

Cite this article

Basu, S., Pollack, R. & Roy, MF. An asymptotically tight bound on the number of semi-algebraically connected components of realizable sign conditions. Combinatorica 29, 523–546 (2009). https://doi.org/10.1007/s00493-009-2357-x

Download citation

  • Received:

  • Published:

  • Issue Date:

  • DOI: https://doi.org/10.1007/s00493-009-2357-x

Mathematics Subject Classification (2000)

Navigation