Related papers: Algebraic boundaries of Hilbert's SOS cones

We consider the problem of computing exact sums of squares (SOS) decompositions for certain classes of non-negative multivariate polynomials, relying on semidefinite programming (SDP) solvers. We provide a hybrid numeric-symbolic algorithm…

We construct non-geometric compactifications by using the F-theory dual of the heterotic string compactified on a two-torus, together with a close connection between Siegel modular forms of genus two and the equations of certain K3…

We first prove an isomorphism between the moduli space of smooth cubic threefolds and the moduli space of hyperkaehler fourfolds of K3^{[2]}-type with a non-symplectic automorphism of order three, whose invariant lattice has rank one and is…

We study algebro-geometric properties of determinantal loci of (n+1)th symmetric matrices and also their double covers for even ranks. Their singularities, Fano indices and birational geometries are studied in general. The double covers of…

A noncommutative deformation of a quadric surface is usually described by a three-dimensional cubic Artin-Schelter regular algebra. In this paper we show that for such an algebra its bounded derived category embeds into the bounded derived…

We prove that a general cubic in the Hassett divisor $\mathcal{C}_{14}$ of special cubic fourfolds of discriminant $14$ contains a non-minimal K3 surface of degree $10$ containing two skew $(-1)$-lines and contained in a smooth quadric…

For every supersingular $K3$ surface $X$ in characteristic 2, there exists a homogeneous polynomial $G$ of degree 6 such that $X$ is birational to the purely inseparable double cover of a projective plane defined by $w^2=G$. We present an…

We describe, for various degenerations $S\to \Delta$ of quartic $K3$ surfaces over the complex unit disk (e.g., to the union of four general planes, and to a general Kummer surface), the limits as $t\in \Delta^*$ tends to 0 of the Severi…

We study the problem of how many different sums of squares decompositions a general polynomial $f$ with SOS-rank $k$ admits. We show that there is a link between the variety $\mathrm{SOS}_k(f)$ of all SOS-decompositions of $f$ and the…

We study graphs with nonnegative Bakry-\'Emery curvature or Ollivier curvature outside a finite subset. For such a graph, via introducing the discrete Gromov-Hausdorff convergence we prove that the space of bounded harmonic functions is…

Motivated by applications in robotics and computer vision, we study problems related to spatial reasoning of a 3D environment using sublevel sets of polynomials. These include: tightly containing a cloud of points (e.g., representing an…

We find the minimum scale factor, for which the nonnegative B\"ottcher-Wenzel biquadratic form becomes a sum of squares (sos). To this we give the primal and dual solutions for the underlying semide finite program. Moreover, for special…

It is known that characters of BPS representations of extended superconformal algebras do not have good modular properties due to extra singular vectors coming from the BPS condition. In order to improve their modular properties we apply…

In the moduli space $\mathcal{C}$ of complex cubic hypersurfaces $X\subset\mathbb{P}^5$, we study the condition that $X$ admits a net of polar quadrics whose discriminant locus is a $10$-nodal irreducible plane sextic curve. Our main result…

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…

We study K3 surfaces of degree 6 containing two sets of 12 skew lines such that each line from a set intersects exactly six lines from the other set. These surfaces arise as hyperplane sections of the cubic line complex associated with the…

We show that if $X\subset\mathbb P^N_k$ is a normal variety of dimension $\geq 3$ and $H\subset\mathbb P^N_k$ a very general hypersurface of degree $d=4$ or $\geq 6$, then the restriction map $\mathrm{Cl}(X)\to\mathrm{Cl}(X\cap H)$ is an…

We study the cone of non-negative polynomials on generalized elliptic curves. We show that the zero set of every extreme ray has dense real points. If a generalized elliptic curve is embedded via a complete linear system, then we show that…

Let A be an indecomposable principally polarized abelian variety of dimension g . Third order theta functions embed A in a projective space P(V_3), while second order theta functions embed the Kummer variety K=A/<-1> in a projective space…

We show that projective K3 surfaces with odd Picard rank contain infinitely many rational curves. Our proof extends the Bogomolov-Hassett-Tschinkel approach, i.e., uses moduli spaces of stable maps and reduction to positive characteristic.