## quartic diagonal as a sum of squares of quadratic forms

### Remember to vote up questions/answers you find interesting or helpful (requires 15 reputation points)

I would appreciate if someone can point out to the literature related to characterizing the set of all different ways to write real quartic diagonal $\sum \limits_{k=1}^n x_k^4, x \in \mathbb{R^n}$ as a sum of squares of real quadratic forms. Murray Marshall in his book "Positive polynomials and sums of squares" show that quartic diagonal is in the interior of the cone of sum of squares. Does anyone knows details about such representation.

In particular, suppose $\sum \limits_{k=1}^n x_k^4= \sum_p (x^T A_p x)^2$ ($x$ is a column vector, and $x^T$ its transpose, $A_p \in \mathbb{R^n \times R^n}$) then what $Q\in \mathbb{R^n \times R^n}$ can be represented by the expression $\sum_p (x^T A_p x - {x^*}^T A_p x^*)^2= \sum \limits_{k=1}^n x_k^4 - 2x^T Q x+ const$, $x^*$ is a point in $\mathbb{R^n}$. More specifically, whether $Q$ is dense around identity matrix (in a small neighborhood).

-

## 1 Answer

I passed your question on to a friend who knows about these things, and he replied,

The theorem that $\sum_{k=1}^m x_k^{2r}$ is interior to the sum of squares of appropriate degree, can be found, with proof, in a paper of R. M. Robinson: Some definite polynomials which are not sums of squares of real polynomials, Izdat. "Nauka" Sibirsk. Otdel. Novosibirsk (1973), 264-282, Selected questions of algebra and logic (a collection dedicated to the memory of A. I. Mal'cev), Abstract in Notices Amer. Math. Soc. 16 (1969), p. 554.

My friend also recommended the Memoir by Bruce Reznick, which can be found, scanned, on Bruce's webpage at UIUC.

-

Thanks a lot. Nevertheless this answer does not provide any specific information about quartic polynomials of interest. As far as I know no one was studying them in details. – mkatkov Oct 17 2011 at 7:52
{"extraction_info": {"found_math": true, "script_math_tex": 0, "script_math_asciimath": 0, "math_annotations": 0, "math_alttext": 0, "mathml": 0, "mathjax_tag": 0, "mathjax_inline_tex": 11, "mathjax_display_tex": 0, "mathjax_asciimath": 0, "img_math": 0, "codecogs_latex": 0, "wp_latex": 0, "mimetex.cgi": 0, "/images/math/codecogs": 0, "mathtex.cgi": 0}, "config": {"markdown_headings": true, "markdown_code": true, "boilerplate_config": {"ratio_threshold": 0.18, "absolute_threshold": 10, "end_threshold": 15, "enable": true}, "remove_buttons": true, "remove_image_figures": true, "remove_link_clusters": true, "table_config": {"min_rows": 2, "min_cols": 3, "format": "github"}, "remove_chinese": true, "remove_edit_buttons": true, "extract_latex": true}, "english_confidence": 0.9414816498756409, "perplexity_flag": "head"}