Related papers: Non-negative polynomials on generalized elliptic c…
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 relationship between nonnegative polynomials and sums of squares is a classical topic in real algebraic geometry. We study \emph{stubborn polynomials} $f$ on a real variety $X$, which are polynomials nonnegative on $X$, such that no odd…
A quadratically constrained quadratic program (QCQP) is an optimization problem in which the objective function is a quadratic function and the feasible region is defined by quadratic constraints. Solving non-convex QCQP to global…
It is shown that there exist arcs and simple closed curves in ${\mathbb C}^3$ with nontrivial polynomial hulls that contain no analytic discs. It is also shown that in any bounded Runge domain of holomorphy in ${\mathbb C}^N$ ($N \geq 2$)…
The non-convexity of a smooth and compact connected component of a real algebraic plane curve can be measured by a combinatorial object called the Poincare-Reeb tree associated to the curve and to a direction of projection. In this paper we…
We initiate a systematic study of nonnegative polynomials $P$ such that $P^k$ is not a sum of squares for any odd $k\geq 1$, calling such $P$ \emph{stubborn}. We develop a new invariant of a real isolated zero of a nonnegative polynomial in…
We determine the extreme points and facets of the convex hull of all dual degree partitions of simple graphs on $n$ vertices.
The arithmetic of elliptic curves, namely polynomial addition and scalar multiplication, can be described in terms of global sections of line bundles on $E\times E$ and $E$, respectively, with respect to a given projective embedding of $E$…
We investigate modularity of elliptic curves over a general totally real number field, establishing a finiteness result for the set non-modular $j$-invariants. By analyzing quadratic points on some modular curves, we show that all elliptic…
Cais, Ellenberg and Zureick-Brown recently observed that over finite fields of characteristic two, all sufficiently general smooth plane projective curves of a given odd degree admit a non-trivial rational 2-torsion point on their Jacobian.…
Building on the positive solution of Pillay's conjecture we present a notion of "intrinsic" reduction for elliptic curves over a real closed field K. We compare such notion with the traditional algebro-geometric reduction and produce a…
It is conjectured since long that each smooth convex body $\mathbf{P}\subset \mathbb{R}^n$ has a point in its interior which belongs to at least $2n$ normals from different points on the boundary of $\mathbf{P}$. The conjecture is proven…
Let S be a complex smooth projective surface and L be a line bundle on S. For any given collection of isolated topological or analytic singularity types, we show the number of curves in the linear system |L| with prescribed singularities is…
Evert and Helton proved that real free spectrahedra are the matrix convex hulls of their absolute extreme points. However, this result does not extend to complex free spectrahedra, and we examine multiple ways in which the analogous result…
We study the existence of linear series on curves lying on an Enriques surface and general in their complete linear system. Using a method that works also below the Bogomolov-Reider range, we compute, in all cases, the gonality of such…
We show that a general curve in an explicit class of what we call Du Val pointed curves satisfies the Brill-Noether Theorem for pointed curves. Furthermore, we prove that a generic pencil of Du Val pointed curves is disjoint from all…
The Erdos-Szekeres theorem states that for any natural k there is a natural number g(k) such that any set of at least g(k) points on a plane in general position contains a set of k points that are the extreme points of a convex polytope. We…
For a given elliptic curve $E$ over a finite local ring, we denote by $E^{\infty}$ its subgroup at infinity. Every point $P \in E^{\infty}$ can be described solely in terms of its $x$-coordinate $P_x$, which can be therefore used to…
The Dirichlet p-Laplacian in tubes of arbitrary cross-section along infinite curves in Euclidean spaces of arbitrary dimension is investigated. First, it is shown that the gap between the lowest point of the generalised spectrum and the…
The symmetric edge polytope (SEP) of a (finite, undirected) graph is a centrally symmetric lattice polytope whose vertices are defined by the edges of the graph. SEPs have been studied extensively in the past twenty years. Recently,…