{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,1,13]],"date-time":"2026-01-13T09:16:36Z","timestamp":1768295796060,"version":"3.49.0"},"reference-count":38,"publisher":"Springer Science and Business Media LLC","issue":"3","license":[{"start":{"date-parts":[[2020,5,21]],"date-time":"2020-05-21T00:00:00Z","timestamp":1590019200000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/creativecommons.org\/licenses\/by\/4.0"},{"start":{"date-parts":[[2020,5,21]],"date-time":"2020-05-21T00:00:00Z","timestamp":1590019200000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/creativecommons.org\/licenses\/by\/4.0"}],"funder":[{"DOI":"10.13039\/100016934","name":"Troms\u00f8 Forskningsstiftelse","doi-asserted-by":"crossref","award":["17_matte_CR"],"award-info":[{"award-number":["17_matte_CR"]}],"id":[{"id":"10.13039\/100016934","id-type":"DOI","asserted-by":"crossref"}]}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":["Discrete Comput Geom"],"published-print":{"date-parts":[[2021,4]]},"abstract":"<jats:title>Abstract<\/jats:title><jats:p>We study symmetric non-negative forms and their relationship with symmetric sums of squares. For a fixed number of variables<jats:italic>n<\/jats:italic>and degree 2<jats:italic>d<\/jats:italic>, symmetric non-negative forms and symmetric sums of squares form closed, convex cones in the vector space of<jats:italic>n<\/jats:italic>-variate symmetric forms of degree 2<jats:italic>d<\/jats:italic>. Using representation theory of the symmetric group we characterize both cones in a uniform way. Further, we investigate the asymptotic behavior when the degree 2<jats:italic>d<\/jats:italic>is fixed and the number of variables<jats:italic>n<\/jats:italic>grows. Here, we show that, in sharp contrast to the general case, the difference between symmetric non-negative forms and sums of squares does not grow arbitrarily large for any fixed degree 2<jats:italic>d<\/jats:italic>. We consider the case of symmetric quartic forms in more detail and give a complete characterization of quartic symmetric sums of squares. Furthermore, we show that in degree 4 the cones of non-negative symmetric forms and symmetric sums of squares approach the same limit, thus these two cones asymptotically become closer as the number of variables grows. We conjecture that this is true in arbitrary degree 2<jats:italic>d<\/jats:italic>.<\/jats:p>","DOI":"10.1007\/s00454-020-00208-w","type":"journal-article","created":{"date-parts":[[2020,5,21]],"date-time":"2020-05-21T13:02:47Z","timestamp":1590066167000},"page":"764-799","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":21,"title":["Symmetric Non-Negative Forms and Sums of Squares"],"prefix":"10.1007","volume":"65","author":[{"given":"Grigoriy","family":"Blekherman","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0000-0002-1192-3500","authenticated-orcid":false,"given":"Cordian","family":"Riener","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2020,5,21]]},"reference":[{"issue":"1","key":"208_CR1","doi-asserted-by":"publisher","first-page":"177","DOI":"10.32917\/hmj\/1206127144","volume":"27","author":"S Ariki","year":"1997","unstructured":"Ariki, S., Terasoma, T., Yamada, H.-F.: Higher Specht polynomials. Hiroshima Math. J. 27(1), 177\u2013188 (1997)","journal-title":"Hiroshima Math. J."},{"issue":"1\u20133","key":"208_CR2","doi-asserted-by":"publisher","first-page":"3","DOI":"10.1016\/0012-365X(95)00124-F","volume":"153","author":"DA Beck","year":"1996","unstructured":"Beck, D.A., Remmel, J.B., Whitehead, T.: The combinatorics of transition matrices between the bases of the symmetric functions and the $$B_n$$ analogues. Discrete Math. 153(1\u20133), 3\u201327 (1996)","journal-title":"Discrete Math."},{"key":"208_CR3","doi-asserted-by":"publisher","first-page":"355","DOI":"10.1007\/BF02771790","volume":"153","author":"G Blekherman","year":"2006","unstructured":"Blekherman, G.: There are significantly more nonnegative polynomials than sums of squares. Israel J. Math. 153, 355\u2013380 (2006)","journal-title":"Israel J. Math."},{"issue":"3","key":"208_CR4","doi-asserted-by":"publisher","first-page":"617","DOI":"10.1090\/S0894-0347-2012-00733-4","volume":"25","author":"G Blekherman","year":"2012","unstructured":"Blekherman, G.: Nonnegative polynomials and sums of squares. J. Am. Math. Soc. 25(3), 617\u2013635 (2012)","journal-title":"J. Am. Math. Soc."},{"key":"208_CR5","volume-title":"Semidefinite Optimization and Convex Algebraic Geometry. MOS-SIAM Series on Optimization","year":"2013","unstructured":"Blekherman, G., Parrilo, P.A., Thomas, R.R. (eds.): Semidefinite Optimization and Convex Algebraic Geometry. MOS-SIAM Series on Optimization, vol. 13. Society for Industrial and Applied Mathematics & Mathematical Optimization Society, Philadelphia (2013)"},{"issue":"1","key":"208_CR6","doi-asserted-by":"publisher","first-page":"23","DOI":"10.1016\/j.jsc.2016.08.003","volume":"79","author":"G Blekherman","year":"2017","unstructured":"Blekherman, G., Sinn, R.: Extreme rays of Hankel spectrahedra for ternary forms. J. Symb. Comput. 79(1), 23\u201342 (2017)","journal-title":"J. Symb. Comput."},{"issue":"1","key":"208_CR7","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1007\/BF01360024","volume":"231","author":"M-D Choi","year":"1977","unstructured":"Choi, M.-D., Lam, T.-Y.: Extremal positive semidefinite forms. Math. Ann. 231(1), 1\u201318 (1977)","journal-title":"Math. Ann."},{"issue":"4","key":"208_CR8","doi-asserted-by":"publisher","first-page":"559","DOI":"10.1007\/BF01166704","volume":"195","author":"MD Choi","year":"1987","unstructured":"Choi, M.D., Lam, T.Y., Reznick, B.: Even symmetric sextics. Math. Z. 195(4), 559\u2013580 (1987)","journal-title":"Math. Z."},{"issue":"6","key":"208_CR9","doi-asserted-by":"publisher","first-page":"745","DOI":"10.1016\/j.ejc.2011.01.020","volume":"32","author":"A Cuttler","year":"2011","unstructured":"Cuttler, A., Greene, C., Skandera, M.: Inequalities for symmetric means. Eur. J. Comb. 32(6), 745\u2013761 (2011)","journal-title":"Eur. J. Comb."},{"issue":"2","key":"208_CR10","doi-asserted-by":"publisher","first-page":"318","DOI":"10.1007\/s00454-018-0011-3","volume":"60","author":"AA Erg\u00fcr","year":"2018","unstructured":"Erg\u00fcr, A.A.: Multihomogeneous nonnegative polynomials and sums of squares. Discrete Comput. Geom. 60(2), 318\u2013344 (2018)","journal-title":"Discrete Comput. Geom."},{"issue":"3","key":"208_CR11","first-page":"510","volume":"12","author":"PE Frenkel","year":"2014","unstructured":"Frenkel, P.E., Horv\u00e1th, P.: Minkowski\u2019s inequality and sums of squares. Cent. Eur. J. Math. 12(3), 510\u2013516 (2014)","journal-title":"Cent. Eur. J. Math."},{"issue":"1\u20133","key":"208_CR12","doi-asserted-by":"publisher","first-page":"95","DOI":"10.1016\/j.jpaa.2003.12.011","volume":"192","author":"K Gatermann","year":"2004","unstructured":"Gatermann, K., Parrilo, P.A.: Symmetry groups, semidefinite programs, and sums of squares. J. Pure Appl. Algebra 192(1\u20133), 95\u2013128 (2004)","journal-title":"J. Pure Appl. Algebra"},{"key":"208_CR13","doi-asserted-by":"publisher","first-page":"114","DOI":"10.1016\/j.laa.2016.01.024","volume":"496","author":"C Goel","year":"2016","unstructured":"Goel, C., Kuhlmann, S., Reznick, B.: On the Choi\u2013Lam analogue of Hilbert\u2019s 1888 theorem for symmetric forms. Linear Algebra Appl. 496, 114\u2013120 (2016)","journal-title":"Linear Algebra Appl."},{"issue":"6","key":"208_CR14","doi-asserted-by":"publisher","first-page":"1438","DOI":"10.1016\/j.jpaa.2016.10.003","volume":"221","author":"C Goel","year":"2017","unstructured":"Goel, C., Kuhlmann, S., Reznick, B.: The analogue of Hilbert\u2019s 1888 theorem for even symmetric forms. J. Pure Appl. Algebra 221(6), 1438\u20131448 (2017)","journal-title":"J. Pure Appl. Algebra"},{"issue":"1","key":"208_CR15","doi-asserted-by":"publisher","first-page":"204","DOI":"10.1006\/jabr.1998.8012","volume":"222","author":"WR Harris","year":"1999","unstructured":"Harris, W.R.: Real even symmetric ternary forms. J. Algebra 222(1), 204\u2013245 (1999)","journal-title":"J. Algebra"},{"issue":"3","key":"208_CR16","doi-asserted-by":"publisher","first-page":"342","DOI":"10.1007\/BF01443605","volume":"32","author":"D Hilbert","year":"1888","unstructured":"Hilbert, D.: Ueber die Darstellung definiter Formen als Summe von Formenquadraten. Math. Ann. 32(3), 342\u2013350 (1888)","journal-title":"Math. Ann."},{"key":"208_CR17","doi-asserted-by":"crossref","first-page":"266","DOI":"10.1515\/crll.1891.108.266","volume":"108","author":"A Hurwitz","year":"1891","unstructured":"Hurwitz, A.: Ueber den Vergleich des arithmetischen und des geometrischen Mittels. J. Reine Angew. Math. 108, 266\u2013268 (1891)","journal-title":"J. Reine Angew. Math."},{"key":"208_CR18","volume-title":"Representation Theory of the Symmetric Group. Encyclopedia of Mathematics and its Applications","author":"G James","year":"1981","unstructured":"James, G., Kerber, A.: Representation Theory of the Symmetric Group. Encyclopedia of Mathematics and its Applications, vol. 16. Addison-Wesley, Reading (1981)"},{"key":"208_CR19","volume-title":"Topologie. Vol. I. Monografie Matematyczne","author":"C Kuratowski","year":"1958","unstructured":"Kuratowski, C.: Topologie. Vol. I. Monografie Matematyczne, vol. 20. Pa\u0144stwowe Wydawnictwo Naukowe, Warsaw (1958)"},{"key":"208_CR20","doi-asserted-by":"crossref","DOI":"10.1093\/oso\/9780198534891.001.0001","volume-title":"Symmetric Functions and Hall Polynomials. Oxford Mathematical Monographs","author":"IG Macdonald","year":"1995","unstructured":"Macdonald, I.G.: Symmetric Functions and Hall Polynomials. Oxford Mathematical Monographs. Oxford University Press, New York (1995)"},{"issue":"4","key":"208_CR21","doi-asserted-by":"publisher","first-page":"510","DOI":"10.1016\/0001-8708(69)90009-7","volume":"3","author":"U Mosco","year":"1969","unstructured":"Mosco, U.: Convergence of convex sets and of solutions of variational inequalities. Adv. Math. 3(4), 510\u2013585 (1969)","journal-title":"Adv. Math."},{"key":"208_CR22","unstructured":"Motzkin, T.S.: The arithmetic-geometric inequality. In: 1967 Inequalities (Proc. Sympos. Wright\u2013Patterson Air Force Base, Ohio 1965), pp. 205\u2013224. Academic Press, New York (1967)"},{"issue":"2","key":"208_CR23","doi-asserted-by":"publisher","first-page":"443","DOI":"10.2140\/pjm.1983.104.443","volume":"104","author":"B Reznick","year":"1983","unstructured":"Reznick, B.: Some inequalities for products of power sums. Pac. J. Math. 104(2), 443\u2013463 (1983)","journal-title":"Pac. J. Math."},{"key":"208_CR24","doi-asserted-by":"crossref","unstructured":"Reznick, B.: Some concrete aspects of Hilbert\u2019s 17th Problem. In: Real Algebraic Geometry and Ordered Structures (Baton Rouge 1996). Contemp. Math., vol. 253, pp. 251\u2013272. American Mathematical Society, Providence (2000)","DOI":"10.1090\/conm\/253\/03936"},{"key":"208_CR25","unstructured":"Riener, C.: Symmetries in Semidefinite and Polynomial Optimization. PhD thesis, Johann Wolfgang Goethe-Universit\u00e4t, Frankfurt am Main (2011)"},{"issue":"4","key":"208_CR26","doi-asserted-by":"publisher","first-page":"850","DOI":"10.1016\/j.jpaa.2011.08.012","volume":"216","author":"C Riener","year":"2012","unstructured":"Riener, C.: On the degree and half-degree principle for symmetric polynomials. J. Pure Appl. Algebra 216(4), 850\u2013856 (2012)","journal-title":"J. Pure Appl. Algebra"},{"issue":"8","key":"208_CR27","doi-asserted-by":"publisher","first-page":"2809","DOI":"10.1016\/j.jpaa.2015.12.010","volume":"220","author":"C Riener","year":"2016","unstructured":"Riener, C.: Symmetric semi-algebraic sets and non-negativity of symmetric polynomials. J. Pure Appl. Algebra 220(8), 2809\u20132815 (2016)","journal-title":"J. Pure Appl. Algebra"},{"issue":"1","key":"208_CR28","doi-asserted-by":"publisher","first-page":"122","DOI":"10.1287\/moor.1120.0558","volume":"38","author":"C Riener","year":"2013","unstructured":"Riener, C., Theobald, T., Andr\u00e9n, L.J., Lasserre, J.B.: Exploiting symmetries in SDP-relaxations for polynomial optimization. Math. Oper. Res. 38(1), 122\u2013141 (2013)","journal-title":"Math. Oper. Res."},{"key":"208_CR29","unstructured":"Robinson, R.M.: Some definite polynomials which are not sums of squares of real polynomials. In: Selected Questions of Algebra and Logic, pp. 264\u2013282. Izdat. \u201dNauka\u201d Sibirsk. Otdel., Novosibirsk (1973). (in Russian)"},{"key":"208_CR30","volume-title":"Advanced Modern Algebra. Graduate Studies in Mathematics","author":"JJ Rotman","year":"2010","unstructured":"Rotman, J.J.: Advanced Modern Algebra. Graduate Studies in Mathematics, vol. 114. American Mathematical Society, Providence (2010)"},{"key":"208_CR31","volume-title":"The Symmetric Group Representations, Combinatorial Algorithms, and Symmetric Functions. Graduate Texts in Mathematics","author":"BE Sagan","year":"2001","unstructured":"Sagan, B.E.: The Symmetric Group Representations, Combinatorial Algorithms, and Symmetric Functions. Graduate Texts in Mathematics, vol. 203. Springer, New York (2001)"},{"issue":"1","key":"208_CR32","doi-asserted-by":"publisher","first-page":"18","DOI":"10.1137\/1021002","volume":"21","author":"G Salinetti","year":"1979","unstructured":"Salinetti, G., Wets, R.J.-B.: On the convergence of sequences of convex sets in finite dimensions. SIAM Rev. 21(1), 18\u201333 (1979)","journal-title":"SIAM Rev."},{"key":"208_CR33","doi-asserted-by":"crossref","unstructured":"Scheiderer, C.: Positivity and sums of squares: a guide to recent results. In: Emerging Applications of Algebraic Geometry. IMA Vol. Math. Appl., vol. 149, pp. 271\u2013324. Springer, New York (2009)","DOI":"10.1007\/978-0-387-09686-5_8"},{"key":"208_CR34","doi-asserted-by":"publisher","DOI":"10.1007\/978-1-4684-9458-7","volume-title":"Linear Representations of Finite Groups. Graduate Texts in Mathematics","author":"J-P Serre","year":"1977","unstructured":"Serre, J.-P.: Linear Representations of Finite Groups. Graduate Texts in Mathematics, vol. 42. Springer, New York (1977)"},{"issue":"1","key":"208_CR35","doi-asserted-by":"publisher","first-page":"774","DOI":"10.1007\/BF01160112","volume":"42","author":"W Specht","year":"1937","unstructured":"Specht, W.: Zur Darstellungstheorie der symmetrischen Gruppe. Math. Z. 42(1), 774\u2013779 (1937)","journal-title":"Math. Z."},{"issue":"3","key":"208_CR36","doi-asserted-by":"publisher","first-page":"475","DOI":"10.1090\/S0273-0979-1979-14597-X","volume":"1","author":"RP Stanley","year":"1979","unstructured":"Stanley, R.P.: Invariants of finite groups and their applications to combinatorics. Bull. Am. Math. Soc. 1(3), 475\u2013511 (1979)","journal-title":"Bull. Am. Math. Soc."},{"issue":"1","key":"208_CR37","doi-asserted-by":"publisher","first-page":"166","DOI":"10.1007\/BF01597353","volume":"116","author":"FJ Terpstra","year":"1939","unstructured":"Terpstra, F.J.: Die Darstellung biquadratischer Formen als Summen von Quadraten mit Anwendung auf die Variationsrechnung. Math. Ann. 116(1), 166\u2013180 (1939)","journal-title":"Math. Ann."},{"issue":"1","key":"208_CR38","doi-asserted-by":"publisher","first-page":"174","DOI":"10.1016\/S0022-247X(03)00301-9","volume":"284","author":"V Timofte","year":"2003","unstructured":"Timofte, V.: On the positivity of symmetric polynomial functions. Part I: general results. J. Math. Anal. Appl. 284(1), 174\u2013190 (2003)","journal-title":"J. Math. Anal. Appl."}],"container-title":["Discrete &amp; Computational Geometry"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/s00454-020-00208-w.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/link.springer.com\/article\/10.1007\/s00454-020-00208-w\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/s00454-020-00208-w.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2024,8,6]],"date-time":"2024-08-06T04:54:31Z","timestamp":1722920071000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/s00454-020-00208-w"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2020,5,21]]},"references-count":38,"journal-issue":{"issue":"3","published-print":{"date-parts":[[2021,4]]}},"alternative-id":["208"],"URL":"https:\/\/doi.org\/10.1007\/s00454-020-00208-w","relation":{},"ISSN":["0179-5376","1432-0444"],"issn-type":[{"value":"0179-5376","type":"print"},{"value":"1432-0444","type":"electronic"}],"subject":[],"published":{"date-parts":[[2020,5,21]]},"assertion":[{"value":"12 August 2018","order":1,"name":"received","label":"Received","group":{"name":"ArticleHistory","label":"Article History"}},{"value":"17 February 2020","order":2,"name":"revised","label":"Revised","group":{"name":"ArticleHistory","label":"Article History"}},{"value":"6 April 2020","order":3,"name":"accepted","label":"Accepted","group":{"name":"ArticleHistory","label":"Article History"}},{"value":"21 May 2020","order":4,"name":"first_online","label":"First Online","group":{"name":"ArticleHistory","label":"Article History"}}]}}