2000 character limit reached
Sum of squares decomposition of positive polynomials with rational coefficients (2312.16801v1)
Published 28 Dec 2023 in math.AG and math.AC
Abstract: We present an example of a strictly positive polynomial with rational coefficients that can be decomposed as a sum of squares of polynomials over $\R$ but not over $\Q$. This answers an open question by C. Scheiderer posed as the second question in Section 5.1 of the paper Sums of squares of polynomials with rational coefficients (2012). We verify that the example we construct defines a nonsingular projective hypersurface, giving also a positive answer to the third question posed in that section.
- Grigoriy Blekherman. Nonnegative polynomials and sums of squares. In Semidefinite optimization and convex algebraic geometry, volume 13 of MOS-SIAM Ser. Optim., pages 159–202. SIAM, Philadelphia, PA, 2013.
- Semidefinite Optimization and Convex Algebraic Geometry. Society for Industrial and Applied Mathematics, Philadelphia, PA, 2012.
- Do sums of squares dream of free resolutions? SIAM J. Appl. Algebra Geom., 1(1):175–199, 2017.
- Exact polynomial sum of squares decompositions. Preprint, 2023.
- Two remarks on sums of squares with rational coefficients. In Algebra, logic and number theory, volume 121 of Banach Center Publ., pages 25–36. Polish Acad. Sci. Inst. Math., Warsaw, 2020.
- Gram spectrahedra. In Ordered algebraic structures and related topics. International conference at CIRM, Luminy, France, October 12–16, 2015. Proceedings, pages 81–105. Providence, RI: American Mathematical Society (AMS), 2017.
- Singular 4.3.0 — A computer algebra system for polynomial computations. http://www.singular.uni-kl.de, 2022.
- Christopher J. Hillar. Sums of squares over totally real fields are rational sums of squares. Proc. Amer. Math. Soc., 137(3):921–930, 2009.
- Santiago Laplagne. Facial reduction for exact polynomial sum of squares decomposition. Math. Comp., 89(322):859–877, 2020.
- Santiago Laplagne. Maple and singular scripts code for this paper. https://github.com/slap/sums-of-squares, 2023.
- Santiago Laplagne. On the pythagoras number for polynomials of degree 4 in 5 variables. Revista de la Unión Matemática Argentina, 2023. In press.
- Strictly positive polynomials in the boundary of the sos cone, 2023. arXiv:2012.05951v2.
- Maple. Version 2015.1. Maple is a trademark of Waterloo Maple Inc., 2015.
- Claus Scheiderer. Sums of squares of polynomials with rational coefficients. J. Eur. Math. Soc. (JEMS), 18(7):1495–1513, 2016.
- Jos F. Sturm. Using sedumi 1.02, a matlab toolbox for optimization over symmetric cones. Optimization Methods and Software, 11(1-4):625–653, 1999.