Related papers: Nonnegative polynomials and their Carath\'eodory n…

We study polyhedral approximations to the cone of nonnegative polynomials. We show that any constant ratio polyhedral approximation to the cone of nonnegative degree $2d$ forms in $n$ variables has to have exponentially many facets in terms…

The equivariant nonnegativity versus sums of squares question has been solved for any infinite series of essential reflection groups but type A. As a first step to a classification, we analyse $A_n$-invariant quartics. We prove that the…

In 1888, Hilbert proved that the cone $\mathcal{P}_{n+1,2d}$ of positive semidefinite forms in $n+1$ variables of degree $2d$ coincides with its subcone $\Sigma_{n+1,2d}$ of those forms that are representable as finite sums of squares if…

In this article, we combine sums of squares (SOS) and sums of nonnegative circuit (SONC) forms, two independent nonnegativity certificates for real homogeneous polynomials. We consider the convex cone SOS+SONC of forms that decompose into a…

Let $f$ be a homogeneous polynomial of even degree $d$. We study the decompositions $f=\sum_{i=1}^r f_i^2$ where $\mathrm{deg} f_i=d/2$. The minimal number of summands $r$ is called the $2$-rank of $f$, so that the polynomials having…

Let $k$ be an algebraically closed field, and let $C\subset \mathbb{P}^n_k$ be a reduced closed subscheme with ideal sheaf $\mathcal{I}$. Let $\mathcal{I}^{<2>}$ be the second symbolic power of $\mathcal{I}$. When $C$ is an integral curve,…

The cone of nonnegative polynomials is of fundamental importance in real algebraic geometry, but its facial structure is understood in very few cases. We initiate a systematic study of the facial structure of the cone of nonnegative…

In this paper we study the relationship between the set of all non-negative multivariate homogeneous polynomials and those, which we call hyperwrons, whose non-negativity can be deduced from an identity involving the Wronskians of…

We completely characterize sections of the cones of nonnegative polynomials, convex polynomials and sums of squares with polynomials supported on circuits, a genuine class of sparse polynomials. In particular, nonnegativity is characterized…

We study the problem of decomposing a non-negative polynomial as an exact sum of squares (SOS) in the case where the associated semidefinite program is feasible but not strictly feasible (for example if the polynomial has real zeros).…

We consider cones of real forms which are sums of squares forms and invariant by a (finite) reflection group. We show how the representation theory of these groups allows to use the symmetry inherent in these cones to give more efficient…

A nonzero rational number is called a cube sum if it is of form $a^3+b^3$ with $a,b\in \mathbb{Q}^\times$. In this paper, we prove that for any odd integer $k\geq 1$, there exist infinitely many cube-free odd integers $n$ with exactly $k$…

In 1947 Fine obtained an expression for the number of binomial coefficients on row n of Pascal's triangle that are nonzero modulo p. In this paper we use Kummer's theorem to generalize Fine's theorem to prime powers, expressing the number…

Let X be a finite set of points in R^n. A polynomial p nonnegative on X can be written as a sum of squares of rational functions modulo the vanishing ideal I(X). From the point of view of applications, such as polynomial optimization, we…

The cone $\mathcal{P}_{n+1,2d}$ ($n,d\in\mathbb{N}$) of all positive semidefinite (PSD) real forms in $n+1$ variables of degree $2d$ contains the subcone $\Sigma_{n+1,2d}$ of those that are representable as finite sums of squares (SOS) of…

Let $m\ge3$ be an integer. The polygonal numbers of order $m+2$ are given by $p_{m+2}(n)=m\binom n2+n$ $(n=0,1,2,\ldots)$. A famous claim of Fermat proved by Cauchy asserts that each nonnegative integer is the sum of $m+2$ polygonal numbers…

Following Bhargava and Hanke's celebrated 290-theorem, we prove a universality theorem for all positive-definite integer-valued quadratic forms that represent all positive integers coprime to $3$. In particular, if a positive-definite…

A positive integer $n$ is said to be a practical number if every integer in $[1,n]$ can be represented as the sum of distinct divisors of $n$. In this article, we consider practical numbers of a given polynomial form. We give a necessary…

Let $ K $ be a number field, $ S $ a finite set of places of $ K $, and $ \mathcal{O}_S $ be the ring of $ S $-integers. Moreover, let $$ G_n^{(0)} Z^d + \cdots + G_n^{(d-1)} Z + G_n^{(d)} $$ be a polynomial in $ Z $ having simple linear…

It is well known that an element of the algebra of noncommutative *-polynomials is positive in all *-representations if and only if it is a sum of squares. This provides an effective way to determine if a given *-polynomial is positive, by…