Closure of the Cone of Sums of 2d-powers in Certain Weighted l1-seminorm Topologies

Ghasemi, Mehdi ; Marshall, Murray ; Wagner, Sven

Canadian mathematical bulletin, Tome 57 (2014) no. 2, pp. 289-302

Résumé

In a paper from 1976, Berg, Christensen, and Ressel prove that the closure of the cone of sums of squares $\sum{\mathbb{R}{{\left[ \underline{X} \right]}^{2}}}$ in the polynomial ring $\mathbb{R}\left[ \underline{X} \right]\,:=\,\mathbb{R}\left[ {{X}_{1}},\,.\,.\,.\,,\,{{X}_{n}} \right]$ in the topology induced by the $~{{\ell }_{1}}$ -norm is equal to $\text{Pos}\left( {{\left[ -1,\,1 \right]}^{n}} \right)$ , the cone consisting of all polynomials that are non-negative on the hypercube ${{\left[ -1,\,1 \right]}^{n}}$ . The result is deduced as a corollary of a general result, established in the same paper, which is valid for any commutative semigroup. In later work, Berg and Maserick and Berg, Christensen, and Ressel establish an even more general result, for a commutative semigroup with involution, for the closure of the cone of sums of squares of symmetric elements in the weighted $~{{\ell }_{1}}$ -seminorm topology associated with an absolute value. In this paper we give a new proof of these results, which is based on Jacobi’s representation theorem from 2001. At the same time, we use Jacobi’s representation theorem to extend these results from sums of squares to sums of $2d$ -powers, proving, in particular, that for any integer $d\,\ge \,1$ , the closure of the cone of sums of $2d$ -powers $\sum \mathbb{R}{{\left[ \underline{X} \right]}^{2d}}$ in the $\mathbb{R}\left[ \underline{X} \right]$ topology induced by the $~{{\ell }_{1}}$ -norm is equal to $\text{Pos}\left( {{\left[ -1,\,1 \right]}^{n}} \right)$ .

Détail

DOI : 10.4153/CMB-2012-043-9

Mots-clés : 43A35, 44A60, 13J25, positive definite, moments, sums of squares, involutive semigroups

Bibliographie

[1] [1] Becker, E. and Schwartz, N., Zum Darstellungssatz von Kadison-Dubois. Arch. Math. (Basel) 40 (1983) , no. 5, 421–428. Google Scholar | DOI

[2] [2] Berg, C., Christensen, J. P. R., and Jensen, C. U., A remark on the multidimensional moment problem. Math. Ann. 243 (1979) , no. 2, 163–169. Google Scholar | DOI

[3] [3] Berg, C., Christensen, J. P. R., and Ressel, P., Positive definite functions on abelian semigroups. Math. Ann. 223 (1976), no. 3, 253–274. Google Scholar | DOI

[4] [4] Berg, C., Christensen, J. P. R., and Ressel, P., Harmonic analysis on semigroups. Theory of positive definite and related functions. Graduate Texts in Mathematics, 100, Springer-Verlag, New York, 1984. Google Scholar

[5] [5] Berg, C. and Maserick, P. H., Exponentially bounded positive definite functions. Illinois. J. Math. 28 (1984), no. 1, 162–179. Google Scholar | DOI

[6] [6] Blekherman, G., There are significantly more nonnegative polynomials than sums of squares. Israel J. Math. 153 (2006), 355–380. Google Scholar | DOI

[7] [7] Burgdorf, S., Scheiderer, C., and Schweighofer, M., Pure states, nonnegative polynomials and sums of squares. Comm. Math. Helv. 87 (2012), no. 1, 113–140. Google Scholar | DOI

[8] [8] Ghasemi, M., Kuhlmann, S., and Samei, E., The moment problem for continuous positive semidefinite linear functionals. Arch. Math. (Basel), to appear. Google Scholar

[9] [9] Hardy, G. H. and W.Wright, E., An introduction to the theory of numbers. Oxford Science Publications, Oxford University Press, 1960. Google Scholar

[10] [10] Haviland, E. K., On the momentum problem for distribution functions in more than one dimension. Amer. J. Math. 57 (1935), no. 3, 562–568. Google Scholar | DOI

[11] [11] Haviland, E. K., On the momentum problem for distribution functions in more than one dimension II. Amer. J. Math. 58 (1936), no. 1, 164–168. Google Scholar | DOI

[12] [12] Hilbert, D., Über die Darstellung definiter Formen als Summe von Formenquadraten. Math. Ann. 32 (1888), 342–350. Google Scholar | DOI

[13] [13] Jacobi, T., A representation theorem for certain partially ordered commutative rings. Math. Z. 237 (2001), no. 2, 259–273. Google Scholar | DOI

[14] [14] Jarchow, H., Locally convex spaces. Mathematische Leitfäden, Teubner, B. G., Stuttgart, 1981. Google Scholar

[15] [15] Krivine, J.-L., Anneaux préordonnés. J. Analyse Math. 12 (1964), 307–326. Google Scholar | DOI

[16] [16] Lasserre, J.-B., Global optimization with polynomials and the problem of moments. SIAM J. Optim. 11(2000/01), no. 3, 796–817. Google Scholar | DOI

[17] [17] Lasserre, J.-B. and Netzer, T., SOS approximations of nonnegative polynomials via simple high degree perturbations. Math. Z. 256 (2007), no. 1, 99–112. Google Scholar | DOI

[18] [18] Marshall, M., A general representation theorem for partially ordered commutative rings. Math. Z. 242 (2002), 217–225. Google Scholar | DOI

[19] [19] , Positive polynomials and sums of squares. AMS surveys and monographs, 146, American Mathematical Society, Providence, 2008. Google Scholar

[20] [20] Motzkin, T. S., The arithmetic-geometric inequalities. In: Inequalities (Proc. Sympos. Wright-Patterson AFB, Ohio, 1965), Academic Press, New York, 1967, pp. 205–224. Google Scholar

[21] [21] Putinar, M., Positive polynomials on compact semi-algebraic sets. Indiana Univ. Math. J. 42 (1993), no. 3, 969–984. Google Scholar | DOI

[22] [22] Schmüdgen, K., An example of a positive polynomial which is not a sum of squares of polynomials. A positive, but not strongly positive functional. Math. Nachr. 88 (1979), 385–390. Google Scholar | DOI