Advertisement

On the Complexity of Hilbert’s 17th Problem

  • Nikhil R. Devanur
  • Richard J. Lipton
  • Nisheeth K. Vishnoi
Part of the Lecture Notes in Computer Science book series (LNCS, volume 3328)

Abstract

Hilbert posed the following problem as the 17th in the list of 23 problems in his famous 1900 lecture:

Given a multivariate polynomial that takes only non-negative values over the reals, can it be represented as a sum of squares of rational functions?

In 1927, E. Artin gave an affirmative answer to this question. His result guaranteed the existence of such a finite representation and raised the following important question:

What is the minimum number of rational functions needed to represent any non-negative n -variate, degree d polynomial?

In 1967, Pfister proved that any n-variate non-negative polynomial over the reals can be written as sum of squares of at most 2 n rational functions. In spite of a considerable effort by mathematicians for over 75 years, it is not known whether n+2 rational functions are sufficient!

In lieu of the lack of progress towards the resolution of this question, we initiate the study of Hilbert’s 17th problem from the point of view of Computational Complexity. In this setting, the following question is a natural relaxation:

What is the descriptive complexity of the sum of squares representation (as rational functions) of a non-negative, n -variate, degree d polynomial?

We consider arithmetic circuits as a natural representation of rational functions. We are able to show, assuming a standard conjecture in complexity theory, that it is impossible that every non-negative, n-variate, degree four polynomial can be represented as a sum of squares of a small (polynomial in n) number of rational functions, each of which has a small size arithmetic circuit (over the rationals) computing it.

Keywords

Rational Function Boolean Function Turing Machine Satisfying Assignment Arithmetic Circuit 
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.

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. 1.
    Arora, S., Lund, C., Motwani, R., Sudan, M., Szegedy, M.: Probabilistic checking of proofs: a new characterization of NP. Journal of the ACM 45(1), 70–122 (1998)zbMATHCrossRefMathSciNetGoogle Scholar
  2. 2.
    Arora, S., Safra, S.: Probabilistic Checking of Proofs. In: Proceedings of the 33rd Annual Symposium on Foundations of Computer Science, pp. 2–13 (1992)Google Scholar
  3. 3.
    Artin, E.: Über die Zerlegung definiter Funktionen in Quadrate. Abh. Math. Sem. Univ. Hamburg 5, 100–115 (1927)CrossRefGoogle Scholar
  4. 4.
    Blekherman, G.: There are significantly more non-negative polynomials than sums of squares. (preprint)Google Scholar
  5. 5.
    Bochnak, H., Coste, M., Roy, M.-F.: Real algebraic geometry. Springer, Heidelberg (1998)zbMATHGoogle Scholar
  6. 6.
    Boppana, R., Hastad, J., Zachos, S.: Does Co-NP Have Short Interactive Proofs? Information Processing Letters 25, 127–132 (1987)zbMATHCrossRefMathSciNetGoogle Scholar
  7. 7.
    Browder, F. (ed.): Mathematical developments arising from Hilbert’s Problems. In: Proc. Symp. Pure Math, vol. 28. Amer. Math. Soc, providence (1976)Google Scholar
  8. 8.
    Choi, M.D., Dai, Z.D., Lam, T.Y., Reznick, B.: The pythagoras number of some affine algebras and local algebras. J. Reine Angew. Math. 336, 45–82 (1982)zbMATHMathSciNetCrossRefGoogle Scholar
  9. 9.
    Cook, S.A.: The complexity of theorem-proving procedures. In: Proceedings of the Third ACM Symposium on the Theory of Computing, pp. 151–158 (1971)Google Scholar
  10. 10.
    Dubois, D.W.: Note on of Hilbert’s 17th problem. In: Bull, vol. 73, pp. 540–541. Amer. Math. Soc, providence (1967)Google Scholar
  11. 11.
    Garey, M.R., Johnson, D.S.: Computers and Intractability: A Guide to the Theory of NP-Completeness. W.H. Freeman, New York (1979)zbMATHGoogle Scholar
  12. 12.
    Hilbert, D.: Über die Darstellung definiter Formen als Summen von Formenquadraten. Math. Ann. 32, 342–350 (1888)CrossRefMathSciNetGoogle Scholar
  13. 13.
    Hilbert, D.: Über ternäre definite Formen. Acta Math 17, 169–198 (1893)CrossRefMathSciNetGoogle Scholar
  14. 14.
    Hilbert, D.: Grundlagen der Geometrie. Leipzig, ch. 7 (1899)Google Scholar
  15. 15.
    Hilbert, D.: Darstellung definiter Formen durch Quadrate. Akad. Wiss. Göttingen, 284–285 (1900)Google Scholar
  16. 16.
    Ibarra, O.H., Moran, S.: Probabilistic Algorithms for Deciding Equivalence of Straight-Line Programs. JACM 30(1), 217–228 (1983)zbMATHCrossRefMathSciNetGoogle Scholar
  17. 17.
    Kaltofen, E.: Greatest common divisors of polynomials given by straight-line programs. JACM 35(1), 231–264 (1988)zbMATHCrossRefMathSciNetGoogle Scholar
  18. 18.
    Karp, R.M.: Reducibility among combinatorial problems. In: Miller, R.E., Thatcher, J.M. (eds.) Complexity of Computer Computations, pp. 85–103. Plenum Press, NewYork (1972)Google Scholar
  19. 19.
    Levin, L.A.: Universal’nye perebornye zadachi (Universal search problems: in Russian). Problemy Peredachi Informatsii 9(3), 265–266 (1973)Google Scholar
  20. 20.
    Papadimitriou, C.: Computational Complexity. Addison-Wesley, Reading (1994)zbMATHGoogle Scholar
  21. 21.
    Pfister, A.: Zur Darstellung definiter Funktionen als Summe von Quadraten. Invent. Math. 4, 229–237 (1967)zbMATHCrossRefMathSciNetGoogle Scholar
  22. 22.
    Powers, V., Reznick, B.: A new bound for Po‘lya’s Theorem with applications to polynomials positive on polyhedra. J. Pure Appl. Alg. 164, 221–229 (2001)zbMATHCrossRefMathSciNetGoogle Scholar
  23. 23.
    Prestel, A., Delzell, C.N.: Positive Polynomials: From Hilbert’s 17th Problem to Real Algebra. Monographs in Mathematics. Springer, Heidelberg (2001)zbMATHGoogle Scholar
  24. 24.
    Reznick, B.: Some concrete aspects of Hilbert’s 17th Problem. Publ. Math. Univ. Paris VII 56 (January 1996)Google Scholar
  25. 25.
    Reznick, B.: On the absence of uniform denominators in Hilbert’s Seventeenth Problem.(preprint)Google Scholar
  26. 26.
    Roy, M.-F.: The role of Hilbert’s problems in real algebraic geometry. In: Proceedings of the ninth EWM Meeting, Loccum, Germany (1999)Google Scholar
  27. 27.
    Stengle, G.: A Nullstellensatz and a Positivstellensatz in semialgebraic geometry. Math. Ann. 207, 87–97 (1974)CrossRefMathSciNetGoogle Scholar
  28. 28.
    Strassen, V.: Vermiedung von Divisionen. J. Reine Angew. Math 264, 184–202 (1973)zbMATHMathSciNetGoogle Scholar
  29. 29.
    Thiele, R.: Hilbert’s Twenty-Fourth Problem. American Math. Monthly 110(1), 1–23 (2003)zbMATHCrossRefMathSciNetGoogle Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 2004

Authors and Affiliations

  • Nikhil R. Devanur
    • 1
  • Richard J. Lipton
    • 1
  • Nisheeth K. Vishnoi
    • 1
  1. 1.College of ComputingGeorgia Institute of TechnologyAtlanta

Personalised recommendations