Related papers: Nonnegative polynomials and their Carath\'eodory n…
In 1888, Hilbert described how to find real polynomials in more than one variable which take only non-negative values but are not a sum of squares of polynomials. His construction was so restrictive that no explicit examples appeared until…
In 1888, Hilbert proved that every non-negative quartic form f=f(x,y,z) with real coefficients is a sum of three squares of quadratic forms. His proof was ahead of its time and used advanced methods from topology and algebraic geometry. Up…
Hilbert proved in 1888 that a positive semidefinite (psd) real form is a sum of squares (sos) of real forms if and only if $n=2$ or $d=1$ or $(n,2d)=(3,4)$, where $n$ is the number of variables and $2d$ the degree of the form. We study the…
In 1888, Hilbert proved that every nonnegative quartic form $f=f(x,y,z)$ with real coefficients is a sum of three squares of quadratic forms. His proof was ahead of its time and used advanced methods from topology and algebraic geometry. In…
This article deals with a quantitative aspect of Hilbert's seventeenth problem: producing a collection of real polynomials in two variables of degree 8 in one variable which are positive but are not a sum of three squares of rational…
Hilbert's 17th problem asks that whether every nonnegative polynomial can be a sum of squares of rational functions. It has been answered affirmatively by Artin. However, the question as to whether a given nonnegative polynomial is a sum of…
Hilbert proved in 1888 that a positive semi-definite (PSD) homogeneous quartic polynomial of three variables always can be expressed as the sum of squares (SOS) of three quadratic polynomials, and a psd homogeneous quartic polynomial of…
We present a Hilbert space geometric approach to the problem of characterizing the positive bivariate trigonometric polynomials that can be represented as the square of a two variable polynomial possessing a certain stability requirement,…
Hilbert's ternary quartic theorem states that every nonnegative degree 4 homogeneous polynomial in three variables can be written as a sum of three squares of homogeneous quadratic polynomials. We give a linear-algebraic approach to…
A famous theorem of Hilbert from 1888 states that a positive semidefinite (psd) real form is a sum of squares (sos) of real forms if and only if $n=2$ or $d=1$ or $(n,2d)=(3,4)$, where $n$ is the number of variables and $2d$ the degree of…
We describe a new approach to certifying the global nonnegativity of multivariate polynomials by solving hyperbolic optimization problems---a class of convex optimization problems that generalize semidefinite programs. We show how to…
Artin solved Hilbert's 17th problem, proving that a real polynomial in $n$ variables that is positive semidefinite is a sum of squares of rational functions, and Pfister showed that only $2^n$ squares are needed. In this paper, we…
For $n,d\in\mathbb{N}$, the cone $\mathcal{P}_{n+1,2d}$ of positive semi-definite (PSD) $(n+1)$-ary $2d$-ic forms (i.e., homogeneous polynomials with real coefficients in $n+1$ variables of degree $2d$) contains the cone $\Sigma_{n+1,2d}$…
For any 4-variate quartic form $f\geq 0$ (i.e. $f$ nonnegative, homogeneous polynomial of degree $4$ with real coefficients) there exist quadratic forms $q$ and $q'$ so that $qq'f$ is a sum of squares (s.o.s.) of quartics, by reducing to…
Let X be a real nondegenerate projective subvariety such that its set of real points is Zariski dense. We prove that every real quadratic form that is nonnegative on X is a sum of squares of linear forms if and only if X is a variety of…
Pourchet proved in 1971 that every nonnegative univariate polynomial with rational coefficients is a sum of five or fewer squares. Nonetheless, there are no known algorithms for constructing such a decomposition. The sole purpose of the…
A celebrated result by Hilbert says that every real nonnegative ternary quartic is a sum of three squares. We show more generally that every nonnegative quadratic form on a real projective variety $X$ of minimal degree is a sum of…
We establish a lower bound for the frequency with which an irreducible monic cubic polynomial with negative discriminant can be expressed as a sum of two squares ($\square_{2}$). This provides a quantitative answer to a question posed by…
In 1973, Calder\'{o}n proved that an $m \times 2$ positive semidefinite (psd) biquadratic form can always be expressed as the sum of ${3m(m+1) \over 2}$ squares of quadratic forms. Very recently, by applying Hilbert's theorem on ternary…
David Hilbert proved that a non-negative real quartic form f(x,y,z) is the sum of three squares of quadratic forms. We give a new proof which shows that if the complex plane curve Q defined by f is smooth, then f has exactly 8 such…