Sums of squares over totally real fields are rational sums of squares

Hillar, Christopher

doi:10.1090/S0002-9939-08-09641-X

Sums of squares over totally real fields are rational sums of squares
HTML articles powered by AMS MathViewer

by Christopher J. Hillar PDF

Proc. Amer. Math. Soc. 137 (2009), 921-930 Request permission

Abstract:

Let $K$ be a totally real number field with Galois closure $L$. We prove that if $f \in \mathbb Q[x_1,\ldots ,x_n]$ is a sum of $m$ squares in $K[x_1,\ldots ,x_n]$, then $f$ is a sum of \[ 4m \cdot 2^{[L: \mathbb Q]+1} {[L: \mathbb Q] +1 \choose 2}\] squares in $\mathbb Q[x_1,\ldots ,x_n]$. Moreover, our argument is constructive and generalizes to the case of commutative $K$-algebras. This result gives a partial resolution to a question of Sturmfels on the algebraic degree of certain semidefinite programming problems.

References

S. Burgdorf, Sums of Hermitian Squares as an Approach to the BMV Conjecture, preprint.
M. D. Choi, Z. D. Dai, T. Y. Lam, and B. Reznick, The Pythagoras number of some affine algebras and local algebras, J. Reine Angew. Math. 336 (1982), 45–82. MR 671321, DOI 10.1515/crll.1982.336.45
M. D. Choi, T. Y. Lam, and Bruce Reznick, Even symmetric sextics, Math. Z. 195 (1987), no. 4, 559–580. MR 900345, DOI 10.1007/BF01166704
Richard Elman and T. Y. Lam, Quadratic forms under algebraic extensions, Math. Ann. 219 (1976), no. 1, 21–42. MR 401649, DOI 10.1007/BF01360856
Miroslav Fiedler, Expressing a polynomial as the characteristic polynomial of a symmetric matrix, Linear Algebra Appl. 141 (1990), 265–270. MR 1076118, DOI 10.1016/0024-3795(90)90323-5
Karin Gatermann and Pablo A. Parrilo, Symmetry groups, semidefinite programs, and sums of squares, J. Pure Appl. Algebra 192 (2004), no. 1-3, 95–128. MR 2067190, DOI 10.1016/j.jpaa.2003.12.011
Gene H. Golub and Charles F. Van Loan, Matrix computations, 3rd ed., Johns Hopkins Studies in the Mathematical Sciences, Johns Hopkins University Press, Baltimore, MD, 1996. MR 1417720
Daniel Hägele, Proof of the cases $p\leq 7$ of the Lieb-Seiringer formulation of the Bessis-Moussa-Villani conjecture, J. Stat. Phys. 127 (2007), no. 6, 1167–1171. MR 2331034, DOI 10.1007/s10955-007-9327-8
Christopher J. Hillar, Advances on the Bessis-Moussa-Villani trace conjecture, Linear Algebra Appl. 426 (2007), no. 1, 130–142. MR 2344564, DOI 10.1016/j.laa.2007.04.005
Christopher J. Hillar and Jiawang Nie, An elementary and constructive solution to Hilbert’s 17th problem for matrices, Proc. Amer. Math. Soc. 136 (2008), no. 1, 73–76. MR 2350390, DOI 10.1090/S0002-9939-07-09068-5
Roger A. Horn and Charles R. Johnson, Matrix analysis, Cambridge University Press, Cambridge, 1985. MR 832183, DOI 10.1017/CBO9780511810817
N. V. Ilyushechkin, On some identities over elements of a symmetric matrix, Zap. Nauchn. Sem. S.-Peterburg. Otdel. Mat. Inst. Steklov. (POMI) 303 (2003), no. Issled. po Lineĭn. Oper. i Teor. Funkts. 31, 119–144, 323 (Russian, with English and Russian summaries); English transl., J. Math. Sci. (N.Y.) 129 (2005), no. 4, 3994–4008. MR 2037535, DOI 10.1007/s10958-005-0336-3
I. Klep, M. Schweighofer, Sums of hermitian squares and the BMV conjecture, J. Stat. Phys., to appear.
T. Y. Lam, Introduction to quadratic forms over fields, Graduate Studies in Mathematics, vol. 67, American Mathematical Society, Providence, RI, 2005. MR 2104929, DOI 10.1090/gsm/067
Edmund Landau, Über die Darstellung definiter Funktionen durch Quadrate, Math. Ann. 62 (1906), no. 2, 272–285 (German). MR 1511376, DOI 10.1007/BF01449981
P. Landweber, E. Speer, On D. Hägele’s approach to the Bessis-Moussa-Villani conjecture, preprint.
J. Nie, K. Ranestad, B. Sturmfels, The algebraic degree of semidefinite programming, Mathematical Programming, to appear.
A. Papachristodoulou, P. A. Parrilo, S. Prajna, Introducing SOSTOOLS: A General Purpose Sum of Squares Programming Solver, Proceedings of the IEEE Conference on Decision and Control (CDC), Las Vegas, NV, 2002.
A. Papachristodoulou, P. A. Parrilo, S. Prajna, New Developments in Sum of Squares Optimization and SOSTOOLS, Proceedings of the American Control Conference (ACC), Boston, MA, 2004.
Pablo A. Parrilo, Semidefinite programming relaxations for semialgebraic problems, Math. Program. 96 (2003), no. 2, Ser. B, 293–320. Algebraic and geometric methods in discrete optimization. MR 1993050, DOI 10.1007/s10107-003-0387-5
Pablo A. Parrilo, Exploiting algebraic structure in sum of squares programs, Positive polynomials in control, Lect. Notes Control Inf. Sci., vol. 312, Springer, Berlin, 2005, pp. 181–194. MR 2123524, DOI 10.1007/10997703_{1}1
P. Parrilo, H. Peyrl, A Macaulay $2$ package for computing sum of squares decompositions of polynomials with rational coefficients, SNC ’07: Proceedings of the 2007 International Workshop on Symbolic-Numeric Computation, pp. 207–208, ACM, 2007.
Pablo A. Parrilo and Bernd Sturmfels, Minimizing polynomial functions, Algorithmic and quantitative real algebraic geometry (Piscataway, NJ, 2001) DIMACS Ser. Discrete Math. Theoret. Comput. Sci., vol. 60, Amer. Math. Soc., Providence, RI, 2003, pp. 83–99. MR 1995016, DOI 10.1090/dimacs/060/08
Y. Pourchet, Sur la représentation en somme de carrés des polynômes à une indéterminée sur un corps de nombres algébriques, Acta Arith. 19 (1971), 89–104 (French). MR 289442, DOI 10.4064/aa-19-1-89-104
Victoria Powers and Thorsten Wörmann, An algorithm for sums of squares of real polynomials, J. Pure Appl. Algebra 127 (1998), no. 1, 99–104. MR 1609496, DOI 10.1016/S0022-4049(97)83827-3
Alexander Prestel and Charles N. Delzell, Positive polynomials, Springer Monographs in Mathematics, Springer-Verlag, Berlin, 2001. From Hilbert’s 17th problem to real algebra. MR 1829790, DOI 10.1007/978-3-662-04648-7
Bruce Reznick, Uniform denominators in Hilbert’s seventeenth problem, Math. Z. 220 (1995), no. 1, 75–97. MR 1347159, DOI 10.1007/BF02572604
Gerhard Schmeisser, A real symmetric tridiagonal matrix with a given characteristic polynomial, Linear Algebra Appl. 193 (1993), 11–18. MR 1240269, DOI 10.1016/0024-3795(93)90268-S
M. Schweighofer, Algorithmische Beweise für Nichtnegativ- und Positivstellensätze, Diplomarbeit an der Universität Passau, 1999.