Related papers: Convex Ternary Quartics Are SOS-Convex

In this paper, we examine structured tensors which have sum-of-squares (SOS) tensor decomposition, and study the SOS-rank of SOS tensor decomposition. We first show that several classes of even order symmetric structured tensors available…

Some sum of squares (SOS) polynomials admit decomposition certificates, or positive semidefinite Gram matrices, with additional structure. In this work, we use the structure of Gram matrices to relate the representation theory of $SL(2)$ to…

We say that a tile is $\sigma$-morphic if it tiles the plane in exactly $\aleph_0$ many noncongruent ways (up to an isometry). It is an unsolved problem of whether a $\sigma$-morphic tile exist in the plane. In this note we present a…

We study polynomial SL-invariants of tensors, mainly focusing on fundamental invariants which are of smallest degrees. In particular, we prove that certain 3-dimensional analogue of the Alon--Tarsi conjecture on Latin cubes considered…

In this work we will discuss the facial structure of the cone of nonnegative ternary quartics with real coefficients. We will establish an equivalence relation on the set of all faces, which preserves certain properties like dimension or…

We prove a convergence theorem for partial sums of sectorial forms with vertex zero and a common semi-angle. As an example we prove an absorption theorem for sectorial forms.

In this paper we study quadratic forms which are universal when restricted to almost prime inputs, establishing finiteness theorems akin to the Conway--Schneeberger 15 theorem.

It's known that if $d^2$ vectors from $d$-dimensional Hilbert space $H$ form a SIC-POVM (SIC for short) then tensor square of those vectors form an equiangular tight frame on the symmetric subspace of $H\otimes H$. We prove that for any SIC…

This paper presents necessary, sufficient, and equivalent conditions for the spherical convexity of non-homogeneous quadratic functions. In addition to motivating this study and identifying useful criteria for determining whether such…

We show that almost every positive integer can be expressed as a sum of four squares of integers represented as the sums of three positive cubes.

We give a new proof the arithmetic Hilbert-Samuel theorem by using classical reductions in the theory of coherent sheaves, a direct proof in the case of the projective space and the conservation of some numerical invariants, called…

We use the invariant theory of binary quartics to give a new formula for the Cassels-Tate pairing on the $2$-Selmer group of an elliptic curve. Unlike earlier methods, our formula does not require us to solve any conics. An important role…

Given a nondegenerate ternary form $f=f(x_1,x_2,x_3)$ of degree 4 over an algebraically closed field of characteristic zero, we use the geometry of K3 surfaces to construct a certain positive-dimensional family of irreducible…

A function of a matrix is polyconvex when it can be expressed as a convex function of the matrix minors. Polyconvexity is a regularity condition ensuring existence of minimizers in nonlinear elasticity and, more broadly, in vectorial…

Representation of convex geometry as an appropriate join of compatible total orderings of the base set can be achieved, when closure operator of convex geometry is algebraic, or finitary. This bears to the finite case proved by P.H.~Edelman…

We present an example of a symmetric tensor of size $800\times 800\times 800$ which can be written a sum of $903$ simple tensors with complex entries but not as a sum of $903$ symmetric simple tensors.

We consider the problem of writing real polynomials as determinants of symmetric linear matrix polynomials. This problem of algebraic geometry, whose roots go back to the nineteenth century, has recently received new attention from the…

The relationship between nonnegative polynomials and sums of squares is one of the central questions in real algebraic geometry. A modern approach is to look at nonnegative polynomials and sums of squares on a real variety. We survey the…

The classical Cohn-Vossen theorem states that two isometric compact convex surfaces in $\mathbb{R}^{3}$ are congruent. In this short note, we generalize the classical Cohn-Vossen Theorem to higher dimensional surfaces in space form…

We prove new cases of the Hasse principle for Kummer surfaces constructed from 2-coverings of Jacobians of genus 2 curves, assuming finiteness of relevant Tate--Shafarevich groups. Under the same assumption, we deduce the Hasse principle…