A Differential-Algebraic Reconstruction and Unifying Theoretical Framework for Hilbert's 17th Problem
Description
Hilbert’s 17th Problem asks whether a real multivariate polynomial that is nonnegative on Rn can always be expressed as a sum of squares of rational functions. Emil Artin’s affirmative answer in 1927,based on the theory of real closed fields, is fundamentally non-constructive and does not provide an explicit representation algorithm. For nearly a century, this problem has inspired diverse approaches in real algebraic geometry, sum-of-squares (SOS) optimization, and effective algebra. However, a unifying theoretical framework that is inherently constructive and naturally extensible to broader function classes has remained elusive. This paper introduces, from first principles of differential algebra, the first systematic constructive and unified theory for Hilbert’s 17th Problem. The core idea is to transform the SOS representation problem into solving a system of differential-algebraic equations. Our main contributions are: (1)The precise definition of the sum-of-squares differential closure KSOS and its associated differential ideal ISOS, providing a rigorous algebraic foundation. (2) A fully computable recursive adjoining algorithm with proven formal and analytic convergence. (3) A systematic combinatorial correction theory with explicit coefficient formulas for handling high-order matching. (4) A proof that both Artin’s classical theorem and modern semidefinite programming (SDP) methods are special instances within our framework, achieving methodological unification. (5) Extensions of the theory to algebraic functions and transcendental functions with exponential weights.The resulting theory is self-contained, constructive, and explicit, offering a new paradigm that connects traditionally distinct fields and opens avenues for applications in polynomial optimization and differential inequality proving.
Files
hilbert_17th.pdf
Files
(717.0 kB)
| Name | Size | Download all |
|---|---|---|
|
md5:1c14942fc39fc28500e99ac0132a9827
|
717.0 kB | Preview Download |
Additional details
Additional titles
- Alternative title (English)
- A Differential-Algebraic Reconstruction and Unifying Theoretical Framework for Hilbert's 17th Problem
Dates
- Submitted
-
2025-12-31
References
- References [1] E. Artin, Über die Zerlegung definiter Funktionen in Quadrate, Abh. Math. Sem. Univ. Hamburg, 5 (1927), pp. 100–115. [2] J. Bochnak, M. Coste, M.-F. Roy, Real Algebraic Geometry, Springer, 1998. [3] G. Carra Ferro, Differential Resultants and Some Applications, in "Differential Algebra and Related Topics", World Scientific, 2002. [4] K. Gatermann, P. A. Parrilo, Symmetry groups, semidefinite programs, and sums of squares, J. Pure Appl. Algebra, 192 (2004), pp. 95–128. [5] A. T. James, The distribution of the latent roots of the covariance matrix, Ann. Math. Statist., 25 (1954), pp. 475–501. [6] E. R. Kolchin, Differential Algebra and Algebraic Groups, Academic Press, 1973. [7] J. B. Lasserre, Global optimization with polynomials and the problem of moments, SIAM J. Optim., 11 (2001), pp. 796–817. [8] M. Laurent, Sums of squares, moment matrices and optimization over polynomials, in "Emerging Applications of Algebraic Geometry", Springer, 2009, pp. 157–270. [9] H. Lombardi, D. Perrucci, M.-F. Roy, An elementary recursive bound for effective Positivstellensatz and Hilbert's 17th problem, Math. Program., 184 (2020), pp. 1–26. [10] T. S. Motzkin, The arithmetic-geometric inequality, in "Inequalities (Proc. Sympos. Wright Patterson Air Force Base, Ohio, 1965)", Academic Press, 1967, pp. 205–224. 31 [11] P. A. Parrilo, Structured semidefinite programs and semialgebraic geometry methods in robustness and optimization, PhD thesis, California Institute of Technology, 2000. [12] M. M. Peet, A. Papachristodoulou, S. Lall, Positive forms and the stability of linear time-delay systems, in "Proceedings of the 2010 American Control Conference", 2010, pp. 1135–1141. [13] M. van der Put, M. F. Singer, Galois Theory of Linear Differential Equations, Springer, 2003. [14] B. Reznick, Uniform denominators in Hilbert's seventeenth problem, Math. Z., 220 (1995), pp. 75–97. [15] B. Reznick, Some concrete aspects of Hilbert's 17th problem, in "Real Algebraic Geometry and Ordered Structures", Contemp. Math., 253, Amer. Math. Soc., 2000, pp. 251–272. [16] J. F. Ritt, Differential Algebra, Amer. Math. Soc., 1950. [17] R. M. Robinson, Some definite polynomials which are not sums of squares of real polynomials, in "Selected Questions of Algebra and Logic", Nauka, 1973, pp. 264–282. [18] H. Weyl, The Classical Groups: Their Invariants and Representations, Princeton University Press, 1946.