3
$\begingroup$

A real polynomial $f(x_1,\ldots, x_n)$ in several variables is a sum of squares if there are polynomials $g_1,\ldots, g_k$ such that $f=g_1^2+\cdots +g_k^2$.

Fix a positive number $d>0$. The collection of real polynomials of degree d ${\mathbb{R}}[x_1,\ldots, x_n]_d$ has the structure of a finite-dimensional real vector space. This enables us to this collection with the standard vector space topology.

Is the set of sums of squares closed under this topology? If so, given a sequence $\{f_n\}$ of sums of squares, can we express the limit $\lim f_n$ as a sums of squares in a constructive way from the sums of squares expressions of individual terms $f_n$?

$\endgroup$
5
  • $\begingroup$ A finite-dimensional real vector space? $\endgroup$ Dec 16, 2010 at 9:36
  • $\begingroup$ en.wikipedia.org/wiki/Polynomial_SOS says "However every real nonnegative form can be approximated as closely as desired (in the l1-norm of its coefficient vector) by a sequence of forms {fε} that are SOS." This sounds like the most imaginable opposite of what you want to hear. But then again I may be misunderstanding Wikipedia. $\endgroup$ Dec 16, 2010 at 10:05
  • $\begingroup$ Here, too: arxiv.org/abs/math/0412400 $\endgroup$ Dec 16, 2010 at 10:07
  • $\begingroup$ Ah, these play on the fact that $d$ is not fixed. $\endgroup$ Dec 16, 2010 at 11:02
  • $\begingroup$ What would you want such a "constructive" procedure to do with a sequence which was $f_n = (x+y)^2+(x-y)^2$ for $n$ odd and $f_n = 2x^2 + 2y^2$ for $n$ even? $\endgroup$
    – Noah Stein
    Dec 16, 2010 at 14:00

1 Answer 1

6
$\begingroup$

The cone of sums of squares $\Sigma^2 \subset \mathbb R[x_1,\dots,x_n]$ is closed in the finest locally convex topology. This is equivalent to the assertion that the intersection of this cone with the space of polynomials up to degree $d$ is closed in the usual euclidean topology for every $d$.

The argument goes as follows. If $p$ is a sum of squares of degree $d$, then $$ p = f_1^2 + \cdots f_n^2.$$ The contributions of the $f_i$ of maximal degree are positive and cannot cancel. Hence, each $f_i$ has to have degree $\leq d/2$. A first consequence is that $p$ is a convex combination of squares coming from a finite-dimensional vector space. By Caratheodory's theorem, his means that you can bound the number of summands in terms of $d$.

You may now pick some norm (for example the $L^2$-norm with respect to some probability measure with rapid decay on $\mathbb R^n$ and full support) to bound the size of the coefficients of the polynomials $f_i$ as well. There are various ways to see this. If one uses a measure like the one I described, then $$\|f_i\|^2 \leq \int_{\mathbb R^n} f_1^2 +\cdots f_n^2 d\mu = \int_{\mathbb R^n} p d\mu.$$

Hence, the norm of $f_i$ is bounded and $f_i$ lies in a compact set since any bounded set in a finite-dimensional vector space is compact. This gives a bound on the size of the coefficients of the $f_i$ in terms of the size coefficients of $p$.

The conclusion is that $n$ is bounded and the $f_i$'s lie in some compact set.

This implies that any limit of sums of squares of degree at most $d$ is again a sum of squares of degree $d$. Hence the intersection of $\Sigma^2$ with the set of polynomials with degree at most $d$ is closed.

This cone is not closed in various other topologies. Usually it is dense in a suitable set of positive elements.

EDIT: I explained some part of argument in more detail.

$\endgroup$
8
  • $\begingroup$ How exactly do you "bound the size of the coefficients of the polynomials $f_i$"? $\endgroup$ Dec 16, 2010 at 10:40
  • $\begingroup$ There are various ways to see this. If you use a measure like the one I described, then $$\|f_i\|^2 \leq \int_{\mathbb R^n} f_1^2 +\cdots f_n^2 d\mu = \int_{\mathbb R^n} p d\mu.$$ Hence, the norm of $f_i$ is bounded and $f_i$ lies in a compact set since any bounded set in a finite-dimensional vector space is compact. This gives you a bound on the coefficients in terms of the size coefficients of $p$. $\endgroup$ Dec 16, 2010 at 10:49
  • $\begingroup$ Ah, I see. $d$ is fixed. $\endgroup$ Dec 16, 2010 at 11:02
  • $\begingroup$ Andreas, is there a way to write the sos expression for the limit constructively? $\endgroup$
    – user2529
    Dec 16, 2010 at 11:30
  • $\begingroup$ @darij: I incorporated my comment into the answer. So maybe you want to delete your comment. $\endgroup$ Dec 16, 2010 at 11:32

Your Answer

By clicking “Post Your Answer”, you agree to our terms of service and acknowledge you have read our privacy policy.