Hostname: page-component-848d4c4894-jbqgn Total loading time: 0 Render date: 2024-07-02T16:50:08.839Z Has data issue: false hasContentIssue false

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

Published online by Cambridge University Press:  20 November 2018

Mehdi Ghasemi
Affiliation:
Department of Mathematics and Statistics, University of Saskatchewan, Saskatoon, SK S7N 5E6 e-mail: [email protected] e-mail: [email protected]
Murray Marshall
Affiliation:
Department of Mathematics and Statistics, University of Saskatchewan, Saskatoon, SK S7N 5E6 e-mail: [email protected] e-mail: [email protected]
Sven Wagner
Affiliation:
Technische Universität Dortmund, Fakultät für Mathematik, Lehrstuhl VI, Vogelpothsweg 87, 44227 Dortmund [email protected]
Rights & Permissions [Opens in a new window]

Abstract

Core share and HTML view are not available for this content. However, as you have access to this content, a full PDF is available via the ‘Save PDF’ action button.

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)$.

Type
Research Article
Copyright
Copyright © Canadian Mathematical Society 2014

References

[1] Becker, E. and Schwartz, N., Zum Darstellungssatz von Kadison-Dubois. Arch. Math. (Basel) 40 (1983) , no. 5, 421428.http://dx.doi.org/10.1007/BF01192806 CrossRefGoogle Scholar
[2] Berg, C., Christensen, J. P. R., and Jensen, C. U., A remark on the multidimensional moment problem. Math. Ann. 243 (1979) , no. 2, 163169.http://dx.doi.org/10.1007/BF01420423 CrossRefGoogle Scholar
[3] Berg, C., Christensen, J. P. R., and Ressel, P., Positive definite functions on abelian semigroups. Math. Ann. 223 (1976), no. 3, 253274.http://dx.doi.org/10.1007/BF01360957 CrossRefGoogle Scholar
[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] Berg, C. and Maserick, P. H., Exponentially bounded positive definite functions. Illinois. J. Math. 28 (1984), no. 1, 162179.CrossRefGoogle Scholar
[6] Blekherman, G., There are significantly more nonnegative polynomials than sums of squares. Israel J. Math. 153 (2006), 355380.http://dx.doi.org/10.1007/BF02771790 CrossRefGoogle Scholar
[7] Burgdorf, S., Scheiderer, C., and Schweighofer, M., Pure states, nonnegative polynomials and sums of squares. Comm. Math. Helv. 87 (2012), no. 1, 113140.http://dx.doi.org/10.4171/CMH/250 CrossRefGoogle Scholar
[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] Hardy, G. H. and W.Wright, E., An introduction to the theory of numbers. Oxford Science Publications, Oxford University Press, 1960.Google Scholar
[10] Haviland, E. K., On the momentum problem for distribution functions in more than one dimension. Amer. J. Math. 57 (1935), no. 3, 562568.http://dx.doi.org/10.2307/2371187 CrossRefGoogle Scholar
[11] Haviland, E. K., On the momentum problem for distribution functions in more than one dimension II. Amer. J. Math. 58 (1936), no. 1, 164168.http://dx.doi.org/10.2307/2371063 CrossRefGoogle Scholar
[12] Hilbert, D., Über die Darstellung definiter Formen als Summe von Formenquadraten. Math. Ann. 32 (1888), 342350.http://dx.doi.org/10.1007/BF01443605 CrossRefGoogle Scholar
[13] Jacobi, T., A representation theorem for certain partially ordered commutative rings. Math. Z. 237 (2001), no. 2, 259273.http://dx.doi.org/10.1007/PL00004868 CrossRefGoogle Scholar
[14] Jarchow, H., Locally convex spaces. Mathematische Leitfäden, Teubner, B. G., Stuttgart, 1981.Google Scholar
[15] Krivine, J.-L., Anneaux préordonnés. J. Analyse Math. 12 (1964), 307326.http://dx.doi.org/10.1007/BF02807438 CrossRefGoogle Scholar
[16] Lasserre, J.-B., Global optimization with polynomials and the problem of moments. SIAM J. Optim. 11(2000/01), no. 3, 796817.http://dx.doi.org/10.1137/S1052623400366802 CrossRefGoogle Scholar
[17] Lasserre, J.-B. and Netzer, T., SOS approximations of nonnegative polynomials via simple high degree perturbations. Math. Z. 256 (2007), no. 1, 99112.http://dx.doi.org/10.1007/s00209-006-0061-8 CrossRefGoogle Scholar
[18] Marshall, M., A general representation theorem for partially ordered commutative rings. Math. Z. 242 (2002), 217225.http://dx.doi.org/10.1007/s002090100321 CrossRefGoogle Scholar
[19] , Positive polynomials and sums of squares. AMS surveys and monographs, 146, American Mathematical Society, Providence, 2008.Google Scholar
[20] Motzkin, T. S., The arithmetic-geometric inequalities. In: Inequalities (Proc. Sympos. Wright-Patterson AFB, Ohio, 1965), Academic Press, New York, 1967, pp. 205224.Google Scholar
[21] Putinar, M., Positive polynomials on compact semi-algebraic sets. Indiana Univ. Math. J. 42 (1993), no. 3, 969984.http://dx.doi.org/10.1512/iumj.1993.42.42045 CrossRefGoogle Scholar
[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), 385390.http://dx.doi.org/10.1002/mana.19790880130 CrossRefGoogle Scholar