Related papers: Convex Ternary Quartics Are SOS-Convex

In this note, we construct explicit SOS decomposition of A Fourth Order Four Dimensional Hankel Tensor with A Symmetric Generating Vector, at the critical value. This is a supplementary note to Paper [3].

In this article, using methods from geometric analysis and theory of heat kernels, we derive qualitative estimates of automorphic cusp forms defined over quaternion algebras. Using which, we prove an average version of the holomorphic QUE…

In this work we study, in greater detail than before, J.H. Conway's topographs for integral binary quadratic forms. These are trees in the plane with regions labeled by integers following a simple pattern. Each topograph can display the…

In this expository note, we explain the so-called Van den Bergh functor, which enables the formalization of the Kontsevich-Rosenberg principle, whereby a structure on an associative algebra has geometric meaning if it induces standard…

We prove that every positive semidefinite matrix over the natural numbers that is eventually 0 in each row and column can be factored as the product of an upper triangular matrix times a lower triangular matrix. We also extend some known…

Two sets in $\mathbb{R}^d$ are called homometric if they have the same covariogram, where the covariogram of a finite subset $K$ of $\mathbb{R}^d$ is the function associating to each $u \in \mathbb{R}^d$ the cardinality of $K \cap (K+u)$.…

Kaplansky conjectured that if two positive-definite real ternary quadratic forms have perfectly identical representations over $\mathbb{Z}$, they are constant multiples of regular forms, or is included in either of two families parametrized…

We introduce positive Gorenstein ideals. These are Gorenstein ideals in the graded ring $\RR[x]$ with socle in degree 2d, which when viewed as a linear functional on $\RR[x]_{2d}$ is nonnegative on squares. Equivalently, positive Gorenstein…

We show that the natural "convolution" on the space of smooth, even, translation-invariant convex valuations on a euclidean space $V$, obtained by intertwining the product and the duality transform of S. Alesker, may be expressed in terms…

A polynomial that is a sum of squares (SOS) of other polynomials is evidently positive. The converse is not true, there are positive polynomials which are not SOS. This note focuses on the problem of certifying, in exact arithmetic, that a…

Kippenhahn discovered that the numerical range of a complex square matrix is the convex hull of a plane real algebraic curve. Here, we present an example of a convex set, which has a similar algebraic description as the numerical range,…

It is proved that the discriminant of $n\times n$ real symmetric matrices can be written as a sum of squares, where the number of summands equals the dimension of the space of $n$-variable spherical harmonics of degree $n$. The…

Extending the notion of regularity introduced by Dickson in 1939, a positive definite ternary integral quadratic form is said to be spinor regular if it represents all the positive integers represented by its spinor genus (that is, all…

We show that the hessian map of quartic plane curves is a birational morphism onto its image, thus bringing new evidence for a very interesting conjecture of Ciro Ciliberto and Giorgio Ottaviani. Our new approach also yields a simpler proof…

The classical quadratic Gauss sum can be thought of as an exponential sum attached to a quadratic form on a cyclic group. We introduce an equivariant version of Gauss sum for arbitrary finite quadratic forms, which is an exponential sum…

The paper is based on relations between a ternary symmetric form defining the SO(3) geometry in dimension five and Cartan's works on isoparametric hypersurfaces in spheres. As observed by Bryant such a ternary form exists only in dimensions…

Explicit determinations of several classes of trigonometric sums are given. These sums can be viewed as analogues or generalizations of Gauss sums. In a previous paper, two of the present authors considered primarily sine sums associated…

We introduce {odd-order} strongly PSD (positive semi-definite) tensors which map real vectors to nonnegative vectors. We then introduce odd-order strongly SOS (sum-of-squares) tensors. A strongly SOS tensor maps real vectors to nonnegative…

We study a combinatorial notion where given a set of lattice points one takes the set of all sums of subsets of a fixed size, and we ask if the given set comes from a convex lattice polytope whether the resulting set also comes from a…

This paper explores a full generalization of the classical corner-vector method for constructing weighted spherical designs, which we call the {\it generalized corner-vector method}. First we establish a uniform upper bound for the degree…