-
Semigroups of Integer Points in Convex Cones
Authors:
Grigoriy Blekherman,
Jesús A. De Loera,
Luze Xu,
Shixuan Zhang
Abstract:
We study the question whether the affine semigroup of integer points in a convex cone can be finitely generated up to symmetries of the cone. We establish general properties of finite generation up to symmetry, and then concentrate on the case of irrational polyhedral cones.
We study the question whether the affine semigroup of integer points in a convex cone can be finitely generated up to symmetries of the cone. We establish general properties of finite generation up to symmetry, and then concentrate on the case of irrational polyhedral cones.
△ Less
Submitted 21 April, 2025;
originally announced April 2025.
-
Spurious local minima in nonconvex sum-of-squares optimization
Authors:
Grigoriy Blekherman,
Rainer Sinn,
Mauricio Velasco,
Shixuan Zhang
Abstract:
We study spurious second-order stationary points and local minima in a nonconvex low-rank formulation of sum-of-squares optimization on a real variety $X$. We reformulate the problem of finding a spurious local minimum in terms of syzygies of the underlying linear series, and also bring in topological tools to study this problem. When the variety $X$ is of minimal degree, there exist spurious seco…
▽ More
We study spurious second-order stationary points and local minima in a nonconvex low-rank formulation of sum-of-squares optimization on a real variety $X$. We reformulate the problem of finding a spurious local minimum in terms of syzygies of the underlying linear series, and also bring in topological tools to study this problem. When the variety $X$ is of minimal degree, there exist spurious second-order stationary points if and only if both the dimension and the codimension of the variety are greater than one, answering a question by Legat, Yuan, and Parrilo. Moreover, for surfaces of minimal degree, we provide sufficient conditions to exclude points from being spurious local minima. In particular, all second-order stationary points associated with infinite Gram matrices on the Veronese surface, corresponding to ternary quartics, lie on the boundary and can be written as a binary quartic, up to a linear change of coordinates, complementing work by Scheiderer on decompositions of ternary quartics as a sum of three squares. For general varieties of higher degree, we give examples and characterizations of spurious second-order stationary points in the interior, together with a restricted path algorithm that avoids such points with controlled step sizes, and numerical experiment results illustrating the empirical successes on plane cubic curves and Veronese varieties.
△ Less
Submitted 4 November, 2024;
originally announced November 2024.
-
Pythagoras Numbers for Ternary Forms
Authors:
Grigoriy Blekherman,
Alex Dunbar,
Rainer Sinn
Abstract:
We study the Pythagoras numbers $py(3,2d)$ of real ternary forms, defined for each degree $2d$ as the minimal number $r$ such that every degree $2d$ ternary form which is a sum of squares can be written as the sum of at most $r$ squares of degree $d$ forms. Scheiderer showed that $d+1\leq py(3,2d)\leq d+2$. We show that $py(3,2d) = d+1$ for $2d = 8,10,12$. The main technical tool is Diesel's chara…
▽ More
We study the Pythagoras numbers $py(3,2d)$ of real ternary forms, defined for each degree $2d$ as the minimal number $r$ such that every degree $2d$ ternary form which is a sum of squares can be written as the sum of at most $r$ squares of degree $d$ forms. Scheiderer showed that $d+1\leq py(3,2d)\leq d+2$. We show that $py(3,2d) = d+1$ for $2d = 8,10,12$. The main technical tool is Diesel's characterization of height 3 Gorenstein algebras.
△ Less
Submitted 1 November, 2024; v1 submitted 22 October, 2024;
originally announced October 2024.
-
Nonnegativity certificates on real algebraic surfaces
Authors:
Grigoriy Blekherman,
Rainer Sinn,
Gregory G. Smith,
Mauricio Velasco
Abstract:
We introduce tools for transferring nonnegativity certificates for global sections between line bundles on real algebraic surfaces. As applications, we improve Hilbert's degree bounds on sum-of-squares multipliers for nonnegative ternary forms, give a complete characterization of nonnegative real forms of del Pezzo surfaces, and establish quadratic upper bounds for the degrees of sum-of-squares mu…
▽ More
We introduce tools for transferring nonnegativity certificates for global sections between line bundles on real algebraic surfaces. As applications, we improve Hilbert's degree bounds on sum-of-squares multipliers for nonnegative ternary forms, give a complete characterization of nonnegative real forms of del Pezzo surfaces, and establish quadratic upper bounds for the degrees of sum-of-squares multipliers for nonnegative forms on real ruled surfaces.
△ Less
Submitted 13 September, 2024;
originally announced September 2024.
-
Symmetric nonnegative functions, the tropical Vandermonde cell and superdominance of power sums
Authors:
Jose Acevedo,
Grigoriy Blekherman,
Sebastian Debus,
Cordian Riener
Abstract:
We study nonnegative and sums of squares symmetric (and even symmetric) functions of fixed degree. We can think of these as limit cones of symmetric nonnegative polynomials and symmetric sums of squares of fixed degree as the number of variables goes to infinity. We compare these cones, including finding explicit examples of nonnegative polynomials which are not sums of squares for any sufficientl…
▽ More
We study nonnegative and sums of squares symmetric (and even symmetric) functions of fixed degree. We can think of these as limit cones of symmetric nonnegative polynomials and symmetric sums of squares of fixed degree as the number of variables goes to infinity. We compare these cones, including finding explicit examples of nonnegative polynomials which are not sums of squares for any sufficiently large number of variables, and compute the tropicalizations of their dual cones in the even symmetric case. We find that the tropicalization of the dual cones is naturally understood in terms of the overlooked superdominance order on partitions. The power sum symmetric functions obey this same partial order (analogously to how term-normalized power sums obey the dominance order).
△ Less
Submitted 8 August, 2024;
originally announced August 2024.
-
On odd powers of nonnegative polynomials that are not sums of squares
Authors:
Grigoriy Blekherman,
Khazhgali Kozhasov,
Bruce Reznick
Abstract:
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 the plane, that we call \emph{the SOS-invariant}, and relate it to the well-known delta invariant of a plane curve singularity. Using the SOS-invariant we show…
▽ More
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 the plane, that we call \emph{the SOS-invariant}, and relate it to the well-known delta invariant of a plane curve singularity. Using the SOS-invariant we show that any polynomial that spans an extreme ray of the convex cone of nonnegative ternary forms of degree 6 is stubborn. We also show how to use the SOS-invariant to prove stubbornness of ternary forms in higher degree. Furthermore, we prove that in a given degree and number of variables, nonnegative polynomials that are not stubborn form a convex cone, whose interior consists of all strictly positive polynomials.
△ Less
Submitted 31 July, 2024;
originally announced July 2024.
-
Nonnegative Polynomials and Moment Problems on Algebraic Curves
Authors:
Lorenzo Baldi,
Grigoriy Blekherman,
Rainer Sinn
Abstract:
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 polynomials $\pos$ on a smooth real projective curve $X$. We show that there is a duality between its faces and totally real effective divisors on $X$. This allows us…
▽ More
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 polynomials $\pos$ on a smooth real projective curve $X$. We show that there is a duality between its faces and totally real effective divisors on $X$. This allows us to fully describe the face lattice in case $X$ has genus $1$. The dual cone $\pos^\vee$ is known as the moment cone, and it plays an important role in real analysis. We compute the Carathéodory number of $\pos^\vee$ for an elliptic normal curve $X$, which measures the complexity of quadrature rules of measures supported on $X$. This number can also be interpreted as a maximal typical Waring rank with nonnegative coefficients. Interestingly, the topology of the real locus of $X$ influences the Carathéodory number of $\pos^\vee$. We apply our results to truncated moment problems on affine cubic curves, where we deduce sharp bounds on the flat extension degree.
△ Less
Submitted 8 July, 2024;
originally announced July 2024.
-
A Topological Approach to Simple Descriptions of Convex Hulls of Sets Defined by Three Quadrics
Authors:
Grigoriy Blekherman,
Alex Dunbar
Abstract:
We study the convex hull of a set $S\subset \mathbb{R}^n$ defined by three quadratic inequalities. A simple way of generating inequalities valid on $S$ is to take nonnegative linear combinations of the defining inequalities of $S$. We call such inequalities aggregations. We introduce a new technique relating aggregations to properties of the spectral curve, i.e. the curve defined by the vanishing…
▽ More
We study the convex hull of a set $S\subset \mathbb{R}^n$ defined by three quadratic inequalities. A simple way of generating inequalities valid on $S$ is to take nonnegative linear combinations of the defining inequalities of $S$. We call such inequalities aggregations. We introduce a new technique relating aggregations to properties of the spectral curve, i.e. the curve defined by the vanishing of the determinant polynomial, and utilizing known spectral sequences (Agrachev and Lerario, 2012). We find new families beyond those identified in (Dey, Muñoz, and Serrano, 2022; Blekherman, Dey, and Sun, 2024), where the convex hull is defined by aggregations. We also prove a characterization of the emptiness of the projective variety defined by $3$ homogeneous quadratics in terms of the spectral curve generalizing results of (Agrachev, 1988).
△ Less
Submitted 28 May, 2024;
originally announced May 2024.
-
$\mathcal{K}$-Lorentzian Polynomials
Authors:
Grigoriy Blekherman,
Papri Dey
Abstract:
Lorentzian polynomials are a fascinating class of real polynomials with many applications. Their definition is specific to the nonnegative orthant. Following recent work, we examine Lorentzian polynomials on proper convex cones. For a self-dual cone $\mathcal{K}$ we find a connection between $\mathcal{K}$-Lorentzian polynomials and $\mathcal{K}$-positive linear maps, which were studied in the cont…
▽ More
Lorentzian polynomials are a fascinating class of real polynomials with many applications. Their definition is specific to the nonnegative orthant. Following recent work, we examine Lorentzian polynomials on proper convex cones. For a self-dual cone $\mathcal{K}$ we find a connection between $\mathcal{K}$-Lorentzian polynomials and $\mathcal{K}$-positive linear maps, which were studied in the context of the generalized Perron-Frobenius theorem. We find that as the cone $\mathcal{K}$ varies, even the set of quadratic $\mathcal{K}$-Lorentzian polynomials can be difficult to understand algorithmically. We also show that, just as in the case of the nonnegative orthant, $\mathcal{K}$-Lorentzian and $\mathcal{K}$-completely log-concave polynomials coincide.
△ Less
Submitted 21 May, 2024;
originally announced May 2024.
-
Convex Ternary Quartics Are SOS-Convex
Authors:
Amir Ali Ahmadi,
Grigoriy Blekherman,
Pablo A. Parrilo
Abstract:
We prove that convex ternary quartic forms are sum-of-squares-convex (sos-convex). This result is in a meaningful sense the ``convex analogue'' a celebrated theorem of Hilbert from 1888, where he proves that nonnegative ternary quartic forms are sums of squares. We show by an appropriate construction that exploiting the structure of the Hessian matrix is crucial in any possible proof of our result…
▽ More
We prove that convex ternary quartic forms are sum-of-squares-convex (sos-convex). This result is in a meaningful sense the ``convex analogue'' a celebrated theorem of Hilbert from 1888, where he proves that nonnegative ternary quartic forms are sums of squares. We show by an appropriate construction that exploiting the structure of the Hessian matrix is crucial in any possible proof of our result.
△ Less
Submitted 19 April, 2024;
originally announced April 2024.
-
Symmetric Hyperbolic Polynomials
Authors:
Grigoriy Blekherman,
Julia Lindberg,
Kevin Shu
Abstract:
Hyperbolic polynomials have been of recent interest due to applications in a wide variety of fields. We seek to better understand these polynomials in the case when they are symmetric, i.e. invariant under all permutations of variables. We give a complete characterization of the set of symmetric hyperbolic polynomials of degree 3, and a large class of symmetric hyperbolic polynomials of degree 4.…
▽ More
Hyperbolic polynomials have been of recent interest due to applications in a wide variety of fields. We seek to better understand these polynomials in the case when they are symmetric, i.e. invariant under all permutations of variables. We give a complete characterization of the set of symmetric hyperbolic polynomials of degree 3, and a large class of symmetric hyperbolic polynomials of degree 4. For a class of polynomials, which we call hook-shaped, we relate symmetric hyperbolic polynomials to a class of linear maps of univariate polynomials preserving hyperbolicity, and give evidence toward a beautiful characterization of all such hook-shaped symmetric hyperbolic polynomials. We show that hyperbolicity cones of a class of symmetric hyperbolic polynomials, including all symmetric hyperbolic cubics, are spectrahedral. Finally, we connect testing hyperbolicity of a symmetric polynomial to the degree principle for symmetric nonnegative polynomials.
△ Less
Submitted 18 August, 2023;
originally announced August 2023.
-
Ubiquity of power sums in graph profiles
Authors:
Grigoriy Blekherman,
Annie Raymond
Abstract:
Graph density profiles are fundamental objects in extremal combinatorics. Very few profiles are fully known, and all are two-dimensional. We show that even in high dimensions ratios of graph densities and numbers often form the power-sum profile (the limit of the image of the power-sum map) studied recently by Acevedo, Blekherman, Debus and Riener. Our choice of graphs is motivated by recent work…
▽ More
Graph density profiles are fundamental objects in extremal combinatorics. Very few profiles are fully known, and all are two-dimensional. We show that even in high dimensions ratios of graph densities and numbers often form the power-sum profile (the limit of the image of the power-sum map) studied recently by Acevedo, Blekherman, Debus and Riener. Our choice of graphs is motivated by recent work by Blekherman, Raymond and Wei on undecidability of polynomial inequalities in graph densities. While the ratios do not determine the complete density profile, they contain high-dimensional information. For instance, to reconstruct the density profile of $4k$-cycles from our results, one needs to solve only one-parameter extremal problems, for any number of $4k$-cycles.
△ Less
Submitted 14 August, 2023;
originally announced August 2023.
-
Power mean inequalities and sums of squares
Authors:
Jose Acevedo,
Grigoriy Blekherman
Abstract:
For fixed degree and increasing number of variables the dimension of the vector space of $n$-variate real symmetric homogeneous polynomials (forms) of degree $d$ stabilizes. We study the limits of the cones of symmetric nonnegative polynomials and symmetric sums of squares, when expressed in power-mean or monomial-mean basis. These limits correspond to forms with stable expression in power-mean (o…
▽ More
For fixed degree and increasing number of variables the dimension of the vector space of $n$-variate real symmetric homogeneous polynomials (forms) of degree $d$ stabilizes. We study the limits of the cones of symmetric nonnegative polynomials and symmetric sums of squares, when expressed in power-mean or monomial-mean basis. These limits correspond to forms with stable expression in power-mean (or monomial-mean) polynomials that are globally nonnegative (resp. sums of squares) regardless of the number of variables. We introduce partial symmetry reduction to describe the limit cone of symmetric sums of squares, and reprove a result of arXiv:1205.3102v4 that limits of symmetric nonnegative polynomials and sums of squares agree in degree $4$. We use tropicalization of the dual cones, which was first in the context of comparing nonnegative polynomials and sums of squares in arXiv:2203.06291, to show differences between cones of symmetric polynomials and sums of squares starting in degree 6, which disproves a conjecture of arXiv:1205.3102v4. For even symmetric nonnegative forms and sums of squares we show that the cones agree for degree at most 8, and are different starting with degree 10. We also find, via tropicalization, explicit examples of symmetric forms that are nonnegative but not sums of squares in the limit.
△ Less
Submitted 21 March, 2023;
originally announced March 2023.
-
The Wonderful Geometry of the Vandermonde map
Authors:
Jose Acevedo,
Grigoriy Blekherman,
Sebastian Debus,
Cordian Riener
Abstract:
We study the geometry of the image of the nonnegative orthant under the power-sum map and the elementary symmetric polynomials map. After analyzing the image in finitely many variables, we concentrate on the limit as the number of variables approaches infinity. We explain how the geometry of the limit plays a crucial role in undecidability results in nonnegativity of symmetric polynomials, decidin…
▽ More
We study the geometry of the image of the nonnegative orthant under the power-sum map and the elementary symmetric polynomials map. After analyzing the image in finitely many variables, we concentrate on the limit as the number of variables approaches infinity. We explain how the geometry of the limit plays a crucial role in undecidability results in nonnegativity of symmetric polynomials, deciding validity of trace inequalities in linear algebra, and extremal combinatorics - recently observed by Blekherman, Raymond, and F. Wei. We verify the experimental observation that the image has the combinatorial geometry of a cyclic polytope made by Melánová, Sturmfels, and Winter, and generalize results of Choi, Lam, and Reznick on nonnegative even symmetric polynomials. We also show that undecidability does not hold for the normalized power sum map.
△ Less
Submitted 5 December, 2024; v1 submitted 16 March, 2023;
originally announced March 2023.
-
Aggregations of quadratic inequalities and hidden hyperplane convexity
Authors:
Grigoriy Blekherman,
Santanu S. Dey,
Shengding Sun
Abstract:
We study properties of the convex hull of a set $S$ described by quadratic inequalities. A simple way of generating inequalities valid on $S$ is to take a nonnegative linear combinations of the defining inequalities of $S$. We call such inequalities aggregations. Special aggregations naturally contain the convex hull of $S$, and we give sufficient conditions for such aggregations to define the con…
▽ More
We study properties of the convex hull of a set $S$ described by quadratic inequalities. A simple way of generating inequalities valid on $S$ is to take a nonnegative linear combinations of the defining inequalities of $S$. We call such inequalities aggregations. Special aggregations naturally contain the convex hull of $S$, and we give sufficient conditions for such aggregations to define the convex hull. We introduce the notion of hidden hyperplane convexity (HHC), which is related to the classical notion of hidden convexity of quadratic maps. We show that if the quadratic map associated with $S$ satisfies HHC, then the convex hull of $S$ is defined by special aggregations. To the best of our knowledge, this result generalizes all known results regarding aggregations defining convex hulls. Using this sufficient condition, we are able to recognize previously unknown classes of sets where aggregations lead to convex hull. We show that the condition known as positive definite linear combination together with hidden hyerplane convexity is a sufficient condition for finitely many aggregations to define the convex hull. All the above results are for sets defined using open quadratic inequalities. For closed quadratic inequalities, we prove a new result regarding aggregations giving the convex hull, without topological assumptions on $S$.
△ Less
Submitted 29 May, 2023; v1 submitted 4 October, 2022;
originally announced October 2022.
-
Undecidability of polynomial inequalities in weighted graph homomorphism densities
Authors:
Grigoriy Blekherman,
Annie Raymond,
Fan Wei
Abstract:
Many problems and conjectures in extremal combinatorics concern polynomial inequalities between homomorphism densities of graphs where we allow edges to have real weights. Using the theory of graph limits, we can equivalently evaluate polynomial expressions in homomorphism densities on kernels $W$, i.e., symmetric, bounded, and measurable functions $W$ from $[0,1]^2 \to \mathbb{R}$. In 2011, Hatam…
▽ More
Many problems and conjectures in extremal combinatorics concern polynomial inequalities between homomorphism densities of graphs where we allow edges to have real weights. Using the theory of graph limits, we can equivalently evaluate polynomial expressions in homomorphism densities on kernels $W$, i.e., symmetric, bounded, and measurable functions $W$ from $[0,1]^2 \to \mathbb{R}$. In 2011, Hatami and Norin proved a fundamental result that it is undecidable to determine the validity of polynomial inequalities in homomorphism densities for graphons (i.e., the case where the range of $W$ is $[0,1]$, which corresponds to unweighted graphs, or equivalently, to graphs with edge weights between $0$ and $1$). The corresponding problem for more general sets of kernels, e.g., for all kernels or for kernels with range $[-1,1]$, remains open. For any $a > 0$, we show undecidability of polynomial inequalities for any set of kernels which contains all kernels with range $\{0,a\}$. This result also answers a question raised by Lovász about finding computationally effective certificates for the validity of homomorphism density inequalities in kernels.
△ Less
Submitted 25 July, 2022;
originally announced July 2022.
-
Weak and Strong Extremal Biquadratics
Authors:
Grigoriy Blekherman,
Bogdan Raiţă,
Isabelle Shankar,
Rainer Sinn
Abstract:
We study quasiconvex quadratic forms on $n \times m$ matrices which correspond to nonnegative biquadratic forms in $(n,m)$ variables. We disprove a conjecture stated by Harutyunyan--Milton (Comm. Pure Appl. Math. 70(11), 2017) as well as Harutyunyan--Hovsepyan (Arch. Ration. Mech. Anal. 244, 2022) that extremality in the cone of quasiconvex quadratic forms on $3\times 3$ matrices can follow only f…
▽ More
We study quasiconvex quadratic forms on $n \times m$ matrices which correspond to nonnegative biquadratic forms in $(n,m)$ variables. We disprove a conjecture stated by Harutyunyan--Milton (Comm. Pure Appl. Math. 70(11), 2017) as well as Harutyunyan--Hovsepyan (Arch. Ration. Mech. Anal. 244, 2022) that extremality in the cone of quasiconvex quadratic forms on $3\times 3$ matrices can follow only from the extremality of the determinant of its acoustic tensor, using previous work by Buckley--Šivic (Linear Algebra Appl. 598, 2020). Our main result is to establish a conjecture of Harutyunyan--Milton (Comm. Pure Appl. Math. 70(11), 2017) that weak extremal quasiconvex quadratics on $3 \times 3$ matrices are strong extremal. Our main technical ingredient is a generalization of the work of Kunert--Scheiderer on extreme nonnegative ternary sextics (Trans. Amer. Math. Soc. 370(6), 2018). Specifically, we show that a nonnegative ternary sextic, which is not a square, is extremal if and only if its variety (over the complex numbers) is a rational curve and all its singularities are real.
△ Less
Submitted 22 April, 2022;
originally announced April 2022.
-
Moments, Sums of Squares, and Tropicalization
Authors:
Grigoriy Blekherman,
Felipe Rincón,
Rainer Sinn,
Cynthia Vinzant,
Josephine Yu
Abstract:
We use tropicalization to study the duals to cones of nonnegative polynomials and sums of squares on a semialgebraic set $S$. The truncated cones of moments of measures supported on the set $S$ is dual to nonnegative polynomials on $S$, while "pseudo-moments" are dual to sums of squares approximations to nonnegative polynomials. We provide explicit combinatorial descriptions of tropicalizations of…
▽ More
We use tropicalization to study the duals to cones of nonnegative polynomials and sums of squares on a semialgebraic set $S$. The truncated cones of moments of measures supported on the set $S$ is dual to nonnegative polynomials on $S$, while "pseudo-moments" are dual to sums of squares approximations to nonnegative polynomials. We provide explicit combinatorial descriptions of tropicalizations of the moment and pseudo-moment cones, and demonstrate their usefulness in distinguishing between nonnegative polynomials and sums of squares. We give examples that show new limitations of sums of squares approximations of nonnegative polynomials. When the semialgebraic set is defined by binomial inequalites, its moment and pseuo-moment cones are closed under Hadamard product. In this case, their tropicalizations are polyhedral cones that encode all binomial inequalities on the moment and pseudo-moment cones.
△ Less
Submitted 11 March, 2022;
originally announced March 2022.
-
Linear Principal Minor Polynomials: Hyperbolic Determinantal Inequalities and Spectral Containment
Authors:
Grigoriy Blekherman,
Mario Kummer,
Raman Sanyal,
Kevin Shu,
Shengding Sun
Abstract:
A linear principal minor polynomial or lpm polynomial is a linear combination of principal minors of a symmetric matrix. By restricting to the diagonal, lpm polynomials are in bijection to multiaffine polynomials. We show that this establishes a one-to-one correspondence between homogeneous multiaffine stable polynomials and PSD-stable lpm polynomials. This yields new construction techniques for h…
▽ More
A linear principal minor polynomial or lpm polynomial is a linear combination of principal minors of a symmetric matrix. By restricting to the diagonal, lpm polynomials are in bijection to multiaffine polynomials. We show that this establishes a one-to-one correspondence between homogeneous multiaffine stable polynomials and PSD-stable lpm polynomials. This yields new construction techniques for hyperbolic polynomials and allows us to generalize the well-known Fisher--Hadamard and Koteljanskii inequalities from determinants to PSD-stable lpm polynomials. We investigate the relationship between the associated hyperbolicity cones and conjecture a relationship between the eigenvalues of a symmetric matrix and the values of certain lpm polynomials evaluated at that matrix. We refer to this relationship as spectral containment.
△ Less
Submitted 26 December, 2021;
originally announced December 2021.
-
Sums of squares, Hankel index, and almost real rank
Authors:
Grigoriy Blekherman,
Justin Chen,
Jaewoo Jung
Abstract:
The Hankel index of a real variety $X$ is an invariant that quantifies the difference between nonnegative quadrics and sums of squares on $X$. In [5], the authors proved an intriguing bound on the Hankel index in terms of the Green-Lazarsfeld index, which measures the "linearity" of the minimal free resolution of the ideal of $X$. In all previously known cases this bound was tight. We provide the…
▽ More
The Hankel index of a real variety $X$ is an invariant that quantifies the difference between nonnegative quadrics and sums of squares on $X$. In [5], the authors proved an intriguing bound on the Hankel index in terms of the Green-Lazarsfeld index, which measures the "linearity" of the minimal free resolution of the ideal of $X$. In all previously known cases this bound was tight. We provide the first class of examples where the bound is not tight; in fact the difference between Hankel index and Green-Lazarsfeld index can be arbitrarily large. Our examples are outer projections of rational normal curves, where we identify the center of projection with a binary form $F$. The Green-Lazarsfeld index of the projected curve is given by the complex Waring border rank of $F$ [15]. We show that the Hankel index is given by the "almost real" rank of $F$, which is a new notion that comes from decomposing $F$ as a sum of powers of almost real forms. We determine the range of possible and typical almost real ranks for binary forms.
△ Less
Submitted 14 August, 2021;
originally announced August 2021.
-
A Path Forward: Tropicalization in Extremal Combinatorics
Authors:
Grigoriy Blekherman,
Annie Raymond
Abstract:
Many important problems in extremal combinatorics can be be stated as proving a pure binomial inequality in graph homomorphism numbers, i.e., proving that hom$(H_1,G)^{a_1}\cdots$hom$(H_k,G)^{a_k}\geq$hom$(H_{k+1},G)^{a_{k+1}}\cdots$hom$(H_m,G)^{a_m}$ holds for some fixed graphs $H_1,\dots,H_m$ and all graphs $G$. One prominent example is Sidorenko's conjecture. For a fixed collection of graphs…
▽ More
Many important problems in extremal combinatorics can be be stated as proving a pure binomial inequality in graph homomorphism numbers, i.e., proving that hom$(H_1,G)^{a_1}\cdots$hom$(H_k,G)^{a_k}\geq$hom$(H_{k+1},G)^{a_{k+1}}\cdots$hom$(H_m,G)^{a_m}$ holds for some fixed graphs $H_1,\dots,H_m$ and all graphs $G$. One prominent example is Sidorenko's conjecture. For a fixed collection of graphs $\mathcal{U}=\{H_1,\dots,H_m\}$, the exponent vectors of valid pure binomial inequalities in graphs of $\mathcal{U}$ form a convex cone. We compute this cone for several families of graphs including complete graphs, even cycles, stars and paths; the latter is the most interesting and intricate case that we compute. In all of these cases, we observe a tantalizing polyhedrality phenomenon: the cone of valid pure binomial inequalities is actually rational polyhedral, and therefore all valid pure binomial inequalities can be generated from the finite collection of exponent vectors of the extreme rays. Using the work of Kopparty and Rossman, we show that the cone of valid inequalities is indeed rational polyhedral when all graphs $H_i$ are series-parallel and chordal, and we conjecture that polyhedrality holds for any finite collection $\mathcal{U}$. We demonstrate that the polyhedrality phenomenon also occurs in matroids and simplicial complexes. Our description of the inequalities for paths involves a generalization of the Erdős-Simonovits conjecture recently proved in its original form by Sağlam and a new family of inequalities not observed previously. We also solve an open problem of Kopparty and Rossman on the homomorphism domination exponent of paths. One of our main tools is tropicalization, a well-known technique in complex algebraic geometry. We prove several results about tropicalizations which may be of independent interest.
△ Less
Submitted 2 February, 2022; v1 submitted 13 August, 2021;
originally announced August 2021.
-
Lectures on Nonnegative Polynomials and Sums of Squares
Authors:
Grigoriy Blekherman,
Jannik Wesner
Abstract:
These lecture notes provide an informal introduction to the theory of nonnegative polynomials and sums of squares. We highlight the history and some recent developments, especially the new connections with classical (complex) algebraic geometry and commutative algebra. We briefly discuss the connection to semidefinite programming and applications. We expect the reader to be familiar with algebra a…
▽ More
These lecture notes provide an informal introduction to the theory of nonnegative polynomials and sums of squares. We highlight the history and some recent developments, especially the new connections with classical (complex) algebraic geometry and commutative algebra. We briefly discuss the connection to semidefinite programming and applications. We expect the reader to be familiar with algebra and fundamentals of algebraic geometry, on the level of a graduate course, and know basic facts about positive semidefinite matrices.
△ Less
Submitted 29 May, 2021;
originally announced May 2021.
-
Sums of Squares: A Real Projective Story
Authors:
Grigoriy Blekherman,
Rainer Sinn,
Gregory G. Smith,
Mauricio Velasco
Abstract:
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 rich history of this area and focus on recent developments highlighting unexpected links to complex algebraic geometry and commutative algebra.
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 rich history of this area and focus on recent developments highlighting unexpected links to complex algebraic geometry and commutative algebra.
△ Less
Submitted 14 January, 2021;
originally announced January 2021.
-
Hyperbolic Relaxation of $k$-Locally Positive Semidefinite Matrices
Authors:
Grigoriy Blekherman,
Santanu S. Dey,
Kevin Shu,
Shengding Sun
Abstract:
A successful computational approach for solving large-scale positive semidefinite (PSD) programs is to enforce PSD-ness on only a collection of submatrices. For our study, we let $\mathcal{S}^{n,k}$ be the convex cone of $n\times n$ symmetric matrices where all $k\times k$ principal submatrices are PSD. We call a matrix in this $k$-\emph{locally PSD}. In order to compare $S^{n,k}$ to the of PSD ma…
▽ More
A successful computational approach for solving large-scale positive semidefinite (PSD) programs is to enforce PSD-ness on only a collection of submatrices. For our study, we let $\mathcal{S}^{n,k}$ be the convex cone of $n\times n$ symmetric matrices where all $k\times k$ principal submatrices are PSD. We call a matrix in this $k$-\emph{locally PSD}. In order to compare $S^{n,k}$ to the of PSD matrices, we study eigenvalues of $k$-{locally PSD} matrices. The key insight in this paper is that there is a convex cone $H(e_k^n)$ so that if $X \in \mathcal{S}^{n,k}$, then the vector of eigenvalues of $X$ is contained in $H(e_k^n)$. The cone $H(e_k^n)$ is the hyperbolicity cone of the elementary symmetric polynomial $e^k_n$ (where $e_k^n(x) = \sum_{S \subseteq [n] : |S| = k} \prod_{i \in S} x_i$) with respect to the all ones vector. Using this insight, we are able to improve previously known upper bounds on the Frobenius distance between matrices in $\mathcal{S}^{n,k}$ and PSD matrices. We also study the quality of the convex relaxation $H(e^n_k)$. We first show that this relaxation is tight for the case of $k = n -1$, that is, for every vector in $H(e^n_{n -1})$ there exists a matrix in $\mathcal{S}^{n, n -1}$ whose eigenvalues are equal to the components of the vector. We then prove a structure theorem on nonsingular matrices in $\mathcal{S}^{n,k}$ all of whose $k\times k$ principal minors are zero, which we believe is of independent interest. %We then prove a structure theorem that precisely characterizes the non-singular matrices in $\mathcal{S}^{n,k}$ whose vector of eigenvalues belongs to the boundary of $H(e^n_k)$. This result shows shows that for $1< k < n -1$ "large parts" of the boundary of $H(e_k^n)$ do not intersect with the eigenvalues of matrices in $\mathcal{S}^{n,k}$.
△ Less
Submitted 20 July, 2021; v1 submitted 7 December, 2020;
originally announced December 2020.
-
Sums of Squares and Sparse Semidefinite Programming
Authors:
Grigoriy Blekherman,
Kevin Shu
Abstract:
We consider two seemingly unrelated questions: the relationship between nonnegative polynomials and sums of squares on real varieties, and sparse semidefinite programming. This connection is natural when a real variety $X$ is defined by a quadratic square-free monomial ideal. In this case nonnegative polynomials and sums of squares on $X$ are also natural objects in positive semidefinite matrix co…
▽ More
We consider two seemingly unrelated questions: the relationship between nonnegative polynomials and sums of squares on real varieties, and sparse semidefinite programming. This connection is natural when a real variety $X$ is defined by a quadratic square-free monomial ideal. In this case nonnegative polynomials and sums of squares on $X$ are also natural objects in positive semidefinite matrix completion. Nonnegative quadratic forms over $X$ naturally correspond to partially specified matrices where all of the fully specified square blocks are PSD, and sums of squares quadratic forms naturally correspond to partially specified matrices which can be completed to a PSD matrix. We show quantitative results on approximation of nonnegative polynomials by sums of squares, which leads to applications in sparse semidefinite programming.
△ Less
Submitted 13 June, 2021; v1 submitted 21 October, 2020;
originally announced October 2020.
-
Proof of the Erdős-Simonovits conjecture on walks
Authors:
Grigoriy Blekherman,
Annie Raymond
Abstract:
Let $G^n$ be a graph on $n$ vertices and let $w_k(G^n)$ denote the number of walks of length $k$ in $G^n$ divided by $n$. Erdős and Simonovits conjectured that $w_k(G^n)^t \geq w_t(G^n)^k$ when $k\geq t$ and both $t$ and $k$ are odd. We prove this conjecture.
Let $G^n$ be a graph on $n$ vertices and let $w_k(G^n)$ denote the number of walks of length $k$ in $G^n$ divided by $n$. Erdős and Simonovits conjectured that $w_k(G^n)^t \geq w_t(G^n)^k$ when $k\geq t$ and both $t$ and $k$ are odd. We prove this conjecture.
△ Less
Submitted 22 September, 2020;
originally announced September 2020.
-
Tropicalization of Graph Profiles
Authors:
Grigoriy Blekherman,
Annie Raymond,
Mohit Singh,
Rekha R. Thomas
Abstract:
A graph profile records all possible densities of a fixed finite set of graphs. Profiles can be extremely complicated; for instance the full profile of any triple of connected graphs is not known, and little is known about hypergraph profiles. We introduce the tropicalization of graph and hypergraph profiles. Tropicalization is a well-studied operation in algebraic geometry, which replaces a varie…
▽ More
A graph profile records all possible densities of a fixed finite set of graphs. Profiles can be extremely complicated; for instance the full profile of any triple of connected graphs is not known, and little is known about hypergraph profiles. We introduce the tropicalization of graph and hypergraph profiles. Tropicalization is a well-studied operation in algebraic geometry, which replaces a variety (the set of real or complex solutions to a finite set of algebraic equations) with its "combinatorial shadow". We prove that the tropicalization of a graph profile is a closed convex cone, which still captures interesting combinatorial information. We explicitly compute these tropicalizations for arbitrary sets of complete and star hypergraphs. We show they are rational polyhedral cones even though the corresponding profiles are not even known to be semialgebraic in some of these cases. We then use tropicalization to prove strong restrictions on the power of the sums of squares method, equivalently Cauchy-Schwarz calculus, to test (which is weaker than certification) the validity of graph density inequalities. In particular, we show that sums of squares cannot test simple binomial graph density inequalities, or even their approximations. Small concrete examples of such inequalities are presented, and include the famous Blakley-Roy inequalities for paths of odd length. As a consequence, these simple inequalities cannot be written as a rational sum of squares of graph densities.
△ Less
Submitted 3 February, 2022; v1 submitted 10 April, 2020;
originally announced April 2020.
-
Threshold Graphs Maximize Homomorphism Densities
Authors:
Grigoriy Blekherman,
Shyamal Patel
Abstract:
Given a fixed graph $H$ and a constant $c \in [0,1]$, we can ask what graphs $G$ with edge density $c$ asymptotically maximize the homomorphism density of $H$ in $G$. For all $H$ for which this problem has been solved, the maximum is always asymptotically attained on one of two kinds of graphs: the quasi-star or the quasi-clique. We show that for any $H$ the maximizing $G$ is asymptotically a thre…
▽ More
Given a fixed graph $H$ and a constant $c \in [0,1]$, we can ask what graphs $G$ with edge density $c$ asymptotically maximize the homomorphism density of $H$ in $G$. For all $H$ for which this problem has been solved, the maximum is always asymptotically attained on one of two kinds of graphs: the quasi-star or the quasi-clique. We show that for any $H$ the maximizing $G$ is asymptotically a threshold graph, while the quasi-clique and the quasi-star are the simplest threshold graphs, having only two parts. This result gives us a unified framework to derive a number of results on graph homomorphism maximization, some of which were also found quite recently and independently using several different approaches. We show that there exist graphs $H$ and densities $c$ such that the optimizing graph $G$ is neither the quasi-star nor the quasi-clique, reproving a result of Day and Sarkar. We also show that for $c$ large enough all graphs $H$ maximize on the quasi-clique, which was also recently proven by Gerbner et al., and for any $c \in [0,1]$ the density of $K_{1,2}$ is always maximized on either the quasi-star or the quasi-clique, which was originally shown by Ahlswede and Katona. Finally, we extend our results to uniform hypergraphs.
△ Less
Submitted 11 April, 2023; v1 submitted 27 February, 2020;
originally announced February 2020.
-
Sparse PSD approximation of the PSD cone
Authors:
Grigoriy Blekherman,
Santanu S. Dey,
Marco Molinaro,
Shengding Sun
Abstract:
While semidefinite programming (SDP) problems are polynomially solvable in theory, it is often difficult to solve large SDP instances in practice. One technique to address this issue is to relax the global positive-semidefiniteness (PSD) constraint and only enforce PSD-ness on smaller $k\times k$ principal submatrices --- we call this the sparse SDP relaxation. Surprisingly, it has been observed e…
▽ More
While semidefinite programming (SDP) problems are polynomially solvable in theory, it is often difficult to solve large SDP instances in practice. One technique to address this issue is to relax the global positive-semidefiniteness (PSD) constraint and only enforce PSD-ness on smaller $k\times k$ principal submatrices --- we call this the sparse SDP relaxation. Surprisingly, it has been observed empirically that in some cases this approach appears to produce bounds that are close to the optimal objective function value of the original SDP. In this paper, we formally attempt to compare the strength of the sparse SDP relaxation vis-à-vis the original SDP from a theoretical perspective.
In order to simplify the question, we arrive at a data independent version of it, where we compare the sizes of SDP cone and the $k$-PSD closure, which is the cone of matrices where PSD-ness is enforced on all $k\times k$ principal submatrices. In particular, we investigate the question of how far a matrix of unit Frobenius norm in the $k$-PSD closure can be from the SDP cone. We provide two incomparable upper bounds on this farthest distance as a function of $k$ and $n$. We also provide matching lower bounds, which show that the upper bounds are tight within a constant in different regimes of $k$ and $n$. Other than linear algebra techniques, we extensively use probabilistic methods to arrive at these bounds. One of the lower bounds is obtained by observing a connection between matrices in the $k$-PSD closure and matrices satisfying the restricted isometry property (RIP).
△ Less
Submitted 7 February, 2020;
originally announced February 2020.
-
Typical ranks in symmetric matrix completion
Authors:
Daniel Irving Bernstein,
Grigoriy Blekherman,
Kisun Lee
Abstract:
We study the problem of low-rank matrix completion for symmetric matrices. The minimum rank of a completion of a generic partially specified symmetric matrix depends only on the location of the specified entries, and not their values, if complex entries are allowed. When the entries are required to be real, this is no longer the case and the possible minimum ranks are called typical ranks. We give…
▽ More
We study the problem of low-rank matrix completion for symmetric matrices. The minimum rank of a completion of a generic partially specified symmetric matrix depends only on the location of the specified entries, and not their values, if complex entries are allowed. When the entries are required to be real, this is no longer the case and the possible minimum ranks are called typical ranks. We give a combinatorial description of the patterns of specified entires of $n\times n$ symmetric matrices that have $n$ as a typical rank. Moreover, we describe exactly when such a generic partial matrix is minimally completable to rank $n$. We also characterize the typical ranks for patterns of entries with low maximal typical rank.
△ Less
Submitted 14 October, 2020; v1 submitted 14 September, 2019;
originally announced September 2019.
-
Bounds on Regularity of Quadratic Monomial Ideals
Authors:
Grigoriy Blekherman,
Jaewoo Jung
Abstract:
Castelnuovo-Mumford regularity is a measure of algebraic complexity of an ideal. Regularity of monomial ideals can be investigated combinatorially. We use a simple graph decomposition and results from structural graph theory to prove, improve and generalize many of the known bounds on regularity of quadratic square-free monomial ideals.
Castelnuovo-Mumford regularity is a measure of algebraic complexity of an ideal. Regularity of monomial ideals can be investigated combinatorially. We use a simple graph decomposition and results from structural graph theory to prove, improve and generalize many of the known bounds on regularity of quadratic square-free monomial ideals.
△ Less
Submitted 5 July, 2020; v1 submitted 14 June, 2019;
originally announced June 2019.
-
Sums of Squares and Quadratic Persistence on Real Projective Varieties
Authors:
Grigoriy Blekherman,
Rainer Sinn,
Gregory G. Smith,
Mauricio Velasco
Abstract:
We bound the Pythagoras number of a real projective subvariety: the smallest positive integer $r$ such that every sum of squares of linear forms in its homogeneous coordinate ring is a sum of at most $r$ squares. Enhancing existing methods, we exhibit three distinct upper bounds involving known invariants. In contrast, our lower bound depends on a new invariant of a projective subvariety called th…
▽ More
We bound the Pythagoras number of a real projective subvariety: the smallest positive integer $r$ such that every sum of squares of linear forms in its homogeneous coordinate ring is a sum of at most $r$ squares. Enhancing existing methods, we exhibit three distinct upper bounds involving known invariants. In contrast, our lower bound depends on a new invariant of a projective subvariety called the quadratic persistence. Defined by projecting away from points, this numerical invariant is closely related to the linear syzygies of the variety. In addition, we classify the projective subvarieties of maximal and almost-maximal quadratic persistence, and determine their Pythagoras numbers.
△ Less
Submitted 14 April, 2020; v1 submitted 7 February, 2019;
originally announced February 2019.
-
Simple Graph Density Inequalities with no Sum of Squares Proofs
Authors:
Grigoriy Blekherman,
Annie Raymond,
Mohit Singh,
Rekha R. Thomas
Abstract:
Establishing inequalities among graph densities is a central pursuit in extremal combinatorics. A standard tool to certify the nonnegativity of a graph density expression is to write it as a sum of squares. In this paper, we identify a simple condition under which a graph density expression cannot be a sum of squares. Using this result, we prove that the Blakley-Roy inequality does not have a sum…
▽ More
Establishing inequalities among graph densities is a central pursuit in extremal combinatorics. A standard tool to certify the nonnegativity of a graph density expression is to write it as a sum of squares. In this paper, we identify a simple condition under which a graph density expression cannot be a sum of squares. Using this result, we prove that the Blakley-Roy inequality does not have a sum of squares certificate when the path length is odd. We also show that the same Blakley-Roy inequalities cannot be certified by sums of squares using a multiplier of the form one plus a sum of squares. These results answer two questions raised by Lovász. Our main tool is used again to show that the smallest open case of Sidorenko's conjectured inequality cannot be certified by a sum of squares. Finally, we show that our setup is equivalent to existing frameworks by Razborov and Lovász-Szegedy, and thus our results hold in these settings too.
△ Less
Submitted 20 December, 2018;
originally announced December 2018.
-
Generalized eigenvalue methods for Gaussian quadrature rules
Authors:
Grigoriy Blekherman,
Mario Kummer,
Cordian Riener,
Markus Schweighofer,
Cynthia Vinzant
Abstract:
A quadrature rule of a measure $μ$ on the real line represents a convex combination of finitely many evaluations at points, called nodes, that agrees with integration against $μ$ for all polynomials up to some fixed degree. In this paper, we present a bivariate polynomial whose roots parametrize the nodes of minimal quadrature rules for measures on the real line. We give two symmetric determinanta…
▽ More
A quadrature rule of a measure $μ$ on the real line represents a convex combination of finitely many evaluations at points, called nodes, that agrees with integration against $μ$ for all polynomials up to some fixed degree. In this paper, we present a bivariate polynomial whose roots parametrize the nodes of minimal quadrature rules for measures on the real line. We give two symmetric determinantal formulas for this polynomial, which translate the problem of finding the nodes to solving a generalized eigenvalue problem.
△ Less
Submitted 30 May, 2018;
originally announced May 2018.
-
The core variety and representing measures in the truncated moment problem
Authors:
Grigoriy Blekherman,
Lawrence Fialkow
Abstract:
The classical Truncated Moment problem asks for necessary and sufficient conditions so that a linear functional $L$ on $\mathcal{P}_{d}$, the vector space of real $n$-variable polynomials of degree at most $d$, can be written as integration with respect to a positive Borel measure $μ$ on $\mathbb{R}^n$. We work in a more general setting, where $L$ is a linear functional acting on a finite dimensio…
▽ More
The classical Truncated Moment problem asks for necessary and sufficient conditions so that a linear functional $L$ on $\mathcal{P}_{d}$, the vector space of real $n$-variable polynomials of degree at most $d$, can be written as integration with respect to a positive Borel measure $μ$ on $\mathbb{R}^n$. We work in a more general setting, where $L$ is a linear functional acting on a finite dimensional vector space $V$ of Borel-measurable functions defined on a $T_{1}$ topological space $S$. Using an iterative geometric construction, we associate to $L$ a subset of $S$ called the \textit{core variety}, $\mathcal{CV}(L)$. Our main result is that $L$ has a representing measure $μ$ if and only if $\mathcal{CV}(L)$ is nonempty. In this case, $L$ has a finitely atomic representing measure, and the union of the supports of such measures is precisely $\mathcal{CV}(L)$. We also use the core variety to describe the facial decomposition of the cone of functionals in the dual space $V^{*}$ having representing measures. We prove a generalization of the Truncated Riesz-Haviland Theorem of Curto-Fialkow, which permits us to solve a generalized Truncated Moment Problem in terms of positive extensions of $L$. These results are adapted to derive a Riesz-Haviland Theorem for a generalized Full Moment Problem and to obtain a core variety theorem for the latter problem.
△ Less
Submitted 11 April, 2018;
originally announced April 2018.
-
Typical and Generic Ranks in Matrix Completion
Authors:
Daniel Irving Bernstein,
Grigoriy Blekherman,
Rainer Sinn
Abstract:
We consider the problem of exact low-rank matrix completion from a geometric viewpoint: given a partially filled matrix M, we keep the positions of specified and unspecified entries fixed, and study how the minimal completion rank depends on the values of the known entries. If the entries of the matrix are complex numbers, then for a fixed pattern of locations of specified and unspecified entries…
▽ More
We consider the problem of exact low-rank matrix completion from a geometric viewpoint: given a partially filled matrix M, we keep the positions of specified and unspecified entries fixed, and study how the minimal completion rank depends on the values of the known entries. If the entries of the matrix are complex numbers, then for a fixed pattern of locations of specified and unspecified entries there is a unique completion rank which occurs with positive probability. We call this rank the generic completion rank. Over the real numbers there can be multiple ranks that occur with positive probability; we call them typical completion ranks. We introduce these notions formally, and provide a number of inequalities and exact results on typical and generic ranks for different families of patterns of known and unknown entries.
△ Less
Submitted 22 September, 2019; v1 submitted 26 February, 2018;
originally announced February 2018.
-
Maximum Likelihood Threshold and Generic Completion Rank of Graphs
Authors:
Grigoriy Blekherman,
Rainer Sinn
Abstract:
The minimum number of observations such that the maximum likelihood estimator in a Gaussian graphical model exists with probability one is called the maximum likelihood threshold of the underlying graph G. The natural algebraic relaxation is the generic completion rank introduced by Uhler. We show that the maximum likelihood threshold and the generic completion rank behave in the same way under cl…
▽ More
The minimum number of observations such that the maximum likelihood estimator in a Gaussian graphical model exists with probability one is called the maximum likelihood threshold of the underlying graph G. The natural algebraic relaxation is the generic completion rank introduced by Uhler. We show that the maximum likelihood threshold and the generic completion rank behave in the same way under clique sums, which gives us large families of graphs on which these invariants coincide. On the other hand we determine both invariants for complete bipartite graphs $K_{m,n}$ and show that for some choices of m and n the two parameters may be quite far apart. In particular, this gives the first examples of graphs on which the maximum likelihood threshold and the generic completion rank do not agree.
△ Less
Submitted 23 May, 2017; v1 submitted 22 March, 2017;
originally announced March 2017.
-
Do Sums of Squares Dream of Free Resolutions?
Authors:
Grigoriy Blekherman,
Rainer Sinn,
Mauricio Velasco
Abstract:
We associate to a real projective variety $X$ two convex cones which are fundamental in real algebraic geometry: the cone $P_X$ of quadratic forms nonnegative on $X$, and the cone $Σ_X$ of sums of squares of linear forms. The dual cone $Σ_X^\ast$ is a spectrahedron and we show that its convexity properties are closely related to homological properties of $X$. For instance, we show that all extreme…
▽ More
We associate to a real projective variety $X$ two convex cones which are fundamental in real algebraic geometry: the cone $P_X$ of quadratic forms nonnegative on $X$, and the cone $Σ_X$ of sums of squares of linear forms. The dual cone $Σ_X^\ast$ is a spectrahedron and we show that its convexity properties are closely related to homological properties of $X$. For instance, we show that all extreme rays of $Σ_X^\ast$ have rank one if and only if X has Castelnuovo-Mumford regularity two. More generally, if $Σ_X^\ast$ has an extreme ray of rank $p > 1$, then $X$ does not satisfy the property $N_{2,p}$. We show that the converse also holds in a wide variety of situations: the smallest $p$ for which property $N_{2,p}$ does not hold is equal to the smallest rank of an extreme ray of $Σ_X^\ast$ greater than one. These results allow us to generalize the work of Blekherman-Smith-Velasco on equality of nonnegative polynomials and sums of squares from irreducible varieties to reduced schemes and to classify all spectrahedral cones with only rank one extreme rays. Our results have applications to the positive semidefinite matrix completion problem and to the truncated moment problem on projective varieties.
△ Less
Submitted 3 December, 2016; v1 submitted 12 July, 2016;
originally announced July 2016.
-
Low-Rank Sum-of-Squares Representations on Varieties of Minimal Degree
Authors:
Grigoriy Blekherman,
Daniel Plaumann,
Rainer Sinn,
Cynthia Vinzant
Abstract:
A celebrated result by Hilbert says that every real nonnegative ternary quartic is a sum of three squares. We show more generally that every nonnegative quadratic form on a real projective variety $X$ of minimal degree is a sum of $\dim(X)+1$ squares of linear forms. This strengthens one direction of a recent result due to Blekherman, Smith, and Velasco. Our upper bound is the best possible, and i…
▽ More
A celebrated result by Hilbert says that every real nonnegative ternary quartic is a sum of three squares. We show more generally that every nonnegative quadratic form on a real projective variety $X$ of minimal degree is a sum of $\dim(X)+1$ squares of linear forms. This strengthens one direction of a recent result due to Blekherman, Smith, and Velasco. Our upper bound is the best possible, and it implies the existence of low-rank factorizations of positive semidefinite bivariate matrix polynomials and representations of biforms as sums of few squares. We determine the number of equivalence classes of sum-of-squares representations of general quadratic forms on surfaces of minimal degree, generalizing the count for ternary quartics by Powers, Reznick, Scheiderer, and Sottile.
△ Less
Submitted 4 March, 2017; v1 submitted 14 June, 2016;
originally announced June 2016.
-
Sharp Degree Bounds for Sum-of-Squares Certificates on Projective Curves
Authors:
Grigoriy Blekherman,
Gregory G. Smith,
Mauricio Velasco
Abstract:
Given a real projective curve with homogeneous coordinate ring R and a nonnegative homogeneous element f in R, we bound the degree of a nonzero homogeneous sum-of-squares g in R such that the product fg is again a sum of squares. Better yet, our degree bounds only depend on geometric invariants of the curve and we show that there exist smooth curves and nonnegative elements for which our bounds ar…
▽ More
Given a real projective curve with homogeneous coordinate ring R and a nonnegative homogeneous element f in R, we bound the degree of a nonzero homogeneous sum-of-squares g in R such that the product fg is again a sum of squares. Better yet, our degree bounds only depend on geometric invariants of the curve and we show that there exist smooth curves and nonnegative elements for which our bounds are sharp. We deduce the existence of a multiplier g from a new Bertini Theorem in convex algebraic geometry and prove sharpness by deforming rational Harnack curves on toric surfaces. Our techniques also yield similar bounds for multipliers on surfaces of minimal degree, generalizing Hilbert's work on ternary forms.
△ Less
Submitted 24 June, 2018; v1 submitted 26 May, 2016;
originally announced May 2016.
-
On real typical ranks
Authors:
Alessandra Bernardi,
Grigoriy Blekherman,
Giorgio Ottaviani
Abstract:
We study typical ranks with respect to a real variety $X$. Examples of such are tensor rank ($X$ is the Segre variety) and symmetric tensor rank ($X$ is the Veronese variety). We show that any rank between the minimal typical rank and the maximal typical rank is also typical. We investigate typical ranks of $n$-variate symmetric tensors of order $d$, or equivalently homogeneous polynomials of degr…
▽ More
We study typical ranks with respect to a real variety $X$. Examples of such are tensor rank ($X$ is the Segre variety) and symmetric tensor rank ($X$ is the Veronese variety). We show that any rank between the minimal typical rank and the maximal typical rank is also typical. We investigate typical ranks of $n$-variate symmetric tensors of order $d$, or equivalently homogeneous polynomials of degree $d$ in $n$ variables, for small values of $n$ and $d$. We show that $4$ is the unique typical rank of real ternary cubics, and quaternary cubics have typical ranks $5$ and $6$ only. For ternary quartics we show that $6$ and $7$ are typical ranks and that all typical ranks are between $6$ and $8$. For ternary quintics we show that the typical ranks are between $7$ and $13$.
△ Less
Submitted 6 December, 2015;
originally announced December 2015.
-
Real Rank with Respect to Varieties
Authors:
Grigoriy Blekherman,
Rainer Sinn
Abstract:
We study the real rank of points with respect to a real variety $X$. This is a generalization of various tensor ranks, where $X$ is in a specific family of real varieties like Veronese or Segre varieties. The maximal real rank can be bounded in terms of the codimension of $X$ only. We show constructively that there exist varieties $X$ for which this bound is tight. The same varieties provide examp…
▽ More
We study the real rank of points with respect to a real variety $X$. This is a generalization of various tensor ranks, where $X$ is in a specific family of real varieties like Veronese or Segre varieties. The maximal real rank can be bounded in terms of the codimension of $X$ only. We show constructively that there exist varieties $X$ for which this bound is tight. The same varieties provide examples where a previous bound of Blekherman-Teitler on the maximal $X$-rank is tight. We also give examples of varieties $X$ for which the gap between maximal complex and the maximal real rank is arbitrarily large. To facilitate our constructions we prove a conjecture of Reznick on the maximal real symmetric rank of symmetric bivariate tensors. Finally we study the geometry of the set of points of maximal real rank in the case of real plane curves.
△ Less
Submitted 22 November, 2015;
originally announced November 2015.
-
Gap vectors of real projective varieties
Authors:
Grigoriy Blekherman,
Sadik Iliman,
Martina Juhnke-Kubitzke,
Mauricio Velasco
Abstract:
Let $X\subseteq \mathbb{P}^m$ be a totally real, non-degenerate, projective variety and let $Γ\subseteq X(\mathbb{R})$ be a generic set of points. Let $P$ be the cone of nonnegative quadratic forms on $X$ and let $Σ$ be the cone of sums of squares of linear forms. We examine the dimensions of the faces $P(Γ)$ and $Σ(Γ)$ consisting of forms in $P$ and $Σ$, which vanish on $Γ$. As the cardinality of…
▽ More
Let $X\subseteq \mathbb{P}^m$ be a totally real, non-degenerate, projective variety and let $Γ\subseteq X(\mathbb{R})$ be a generic set of points. Let $P$ be the cone of nonnegative quadratic forms on $X$ and let $Σ$ be the cone of sums of squares of linear forms. We examine the dimensions of the faces $P(Γ)$ and $Σ(Γ)$ consisting of forms in $P$ and $Σ$, which vanish on $Γ$. As the cardinality of the set $Γ$ varies in $1,\dots,\rm{codim}(X)$, the difference between the dimensions of $P(Γ)$ and $Σ(Γ)$ defines a numerical invariant of $X$, which we call the gap vector of X. In this article we begin a systematic study of its fundamental properties. Our main result is a formula relating the components of the gap vector of $X$ and the quadratic deficiencies of $X$ and its generic projections. The quadratic deficiency is a fundamental numerical invariant of projective varieties introduced by F. L. Zak. The relationship between quadratic deficiency and gap vectors allows us to effectively compute the gap vectors of concrete varieties as well as to prove several general properties. We prove that gap vectors are weakly increasing, obtain upper bounds for their rate of growth and prove that these upper bounds are eventually achieved for all varieties. Moreover, we give a characterization of the varieties with the simplest gap vectors: We prove that the gap vector vanishes identically precisely for varieties of minimal degree, and characterize the varieties whose gap vector equals $(0,\dots, 0,1)$. In particular, our results give a new proof of the theorem of Blekherman, Smith and Velasco saying that there are nonnegative quadratic forms which are not sums of squares on every variety, which is not of minimal degree. Finally, we determine the gap vector of all Veronese embeddings of $\mathbb{P}^2$, generalizing work of the first three authors.
△ Less
Submitted 2 July, 2014;
originally announced July 2014.
-
Extreme Rays of the Hankel Spectrahedra for Ternary Forms
Authors:
Grigoriy Blekherman,
Rainer Sinn
Abstract:
Hankel spectrahedra are the dual convex cones to the cone of sums of squares of real polynomials, and we study them from the point of view of convex algebraic geometry. We show that the Zariski closure of the union of all extreme rays of Hankel spectrahedra for ternary forms is an irreducible variety of codimension 10. It is the variety of all Hankel (or middle Catalecticant) matrices of corank at…
▽ More
Hankel spectrahedra are the dual convex cones to the cone of sums of squares of real polynomials, and we study them from the point of view of convex algebraic geometry. We show that the Zariski closure of the union of all extreme rays of Hankel spectrahedra for ternary forms is an irreducible variety of codimension 10. It is the variety of all Hankel (or middle Catalecticant) matrices of corank at least 4. We explicitly construct a rational extreme ray of maximal rank using the Cayley-Bacharach Theorem for plane curves. We work out the rank stratification of the semi-algebraic set of extreme rays of Hankel spectrahedra in the first three nontrivial cases d = 3, 4, 5. Dually, we get a characterisation of the algebraic boundary of the cone of sums of squares via projective duality theory, extending previous work of Blekherman, Hauenstein, Ottem, Ranestad, and Sturmfels.
△ Less
Submitted 20 June, 2015; v1 submitted 7 June, 2014;
originally announced June 2014.
-
Sums of Squares on the Hypercube
Authors:
Grigoriy Blekherman,
João Gouveia,
James Pfeiffer
Abstract:
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 are interested in rational function representations of small degree. We derive a general upper bound in terms of the Hilbert function of X, and we show that this…
▽ More
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 are interested in rational function representations of small degree. We derive a general upper bound in terms of the Hilbert function of X, and we show that this upper bound is tight for the case of quadratic functions on the hypercube C={0,1}^n, a very well studied case in combinatorial optimization. Using the lower bounds for C we construct a family of globally nonnegative quartic polynomials, which are not sums of squares of rational functions of small degree. To our knowledge this is the first construction for Hilbert's 17th problem of a family of polynomials of bounded degree which need increasing degrees in rational function representations as the number of variables n goes to infinity. We note that representation theory of the symmetric group S_n play a crucial role in our proofs of the lower bounds.
△ Less
Submitted 17 February, 2014;
originally announced February 2014.
-
On Maximum, Typical and Generic Ranks
Authors:
Grigoriy Blekherman,
Zach Teitler
Abstract:
We show that for several notions of rank including tensor rank, Waring rank, and generalized rank with respect to a projective variety, the maximum value of rank is at most twice the generic rank. We show that over the real numbers, the maximum value of the real rank is at most twice the smallest typical rank, which is equal to the (complex) generic rank.
We show that for several notions of rank including tensor rank, Waring rank, and generalized rank with respect to a projective variety, the maximum value of rank is at most twice the generic rank. We show that over the real numbers, the maximum value of the real rank is at most twice the smallest typical rank, which is equal to the (complex) generic rank.
△ Less
Submitted 24 July, 2014; v1 submitted 10 February, 2014;
originally announced February 2014.
-
Sums of squares and varieties of minimal degree
Authors:
Grigoriy Blekherman,
Gregory G. Smith,
Mauricio Velasco
Abstract:
Let X be a real nondegenerate projective subvariety such that its set of real points is Zariski dense. We prove that every real quadratic form that is nonnegative on X is a sum of squares of linear forms if and only if X is a variety of minimal degree. This substantially extends Hilbert's celebrated characterization of equality between nonnegative forms and sums of squares. We obtain a complete li…
▽ More
Let X be a real nondegenerate projective subvariety such that its set of real points is Zariski dense. We prove that every real quadratic form that is nonnegative on X is a sum of squares of linear forms if and only if X is a variety of minimal degree. This substantially extends Hilbert's celebrated characterization of equality between nonnegative forms and sums of squares. We obtain a complete list for the cases of equality and also a classification of the lattice polytopes Q for which every nonnegative Laurent polynomial with support contained in 2Q is a sum of squares.
△ Less
Submitted 3 August, 2013;
originally announced August 2013.
-
Dimensional Differences Between Faces of the Cones of Nonnegative Polynomials and Sums of Squares
Authors:
Grigoriy Blekherman,
Sadik Iliman,
Martina Kubitzke
Abstract:
We study dimensions of the faces of the cone of nonnegative polynomials and the cone of sums of squares; we show that there are dimensional differences between corresponding faces of these cones. These dimensional gaps occur in all cases where there exist nonnegative polynomials that are not sums of squares. The gaps occur generically, they are not the product of selecting special faces of the con…
▽ More
We study dimensions of the faces of the cone of nonnegative polynomials and the cone of sums of squares; we show that there are dimensional differences between corresponding faces of these cones. These dimensional gaps occur in all cases where there exist nonnegative polynomials that are not sums of squares. The gaps occur generically, they are not the product of selecting special faces of the cones. For ternary forms and quaternary quartics, we completely characterize when these differences are observed. Moreover, we provide an explicit description for these differences in the two smallest cases, in which the cone of nonnegative polynomials and the cone of sums of squares are different. Our results follow from more general results concerning the relationship between the second ordinary power and the second symbolic power of the vanishing ideal of points in projective space.
△ Less
Submitted 3 May, 2013;
originally announced May 2013.
-
Typical Real Ranks of Binary Forms
Authors:
Grigoriy Blekherman
Abstract:
We prove a conjecture of Comon and Ottaviani that typical real Waring ranks of bivariate forms of degree $d$ take all integer values between $\lfloor \frac{d+2}{2}\rfloor$ and $d$. That is we show that for all $d$ and all $\lfloor \frac{d+2}{2}\rfloor \leq m \leq d$ there exists a bivariate form $f$ such that $f$ can be written as a linear combination of $m$ $d$-th powers of real linear forms and…
▽ More
We prove a conjecture of Comon and Ottaviani that typical real Waring ranks of bivariate forms of degree $d$ take all integer values between $\lfloor \frac{d+2}{2}\rfloor$ and $d$. That is we show that for all $d$ and all $\lfloor \frac{d+2}{2}\rfloor \leq m \leq d$ there exists a bivariate form $f$ such that $f$ can be written as a linear combination of $m$ $d$-th powers of real linear forms and no fewer, and additionally all forms in an open neighborhood of $f$ also possess this property. Equivalently we show that for all $d$ and any $\lfloor \frac{d+2}{2}\rfloor \leq m \leq d$ there exists a symmetric real bivariate tensor $t$ of order $d$ such that $t$ can be written as a linear combination of $m$ symmetric real tensors of rank 1 and no fewer, and additionally all tensors in an open neighborhood of $t$ also possess this property.
△ Less
Submitted 15 May, 2012;
originally announced May 2012.
-
Symmetric nonnegative forms and sums of squares
Authors:
Grigoriy Blekherman,
Cordian Riener
Abstract:
We study symmetric nonnegative forms and their relationship with symmetric sums of squares. For a fixed number of variables $n$ and degree $2d$, symmetric nonnegative forms and symmetric sums of squares form closed, convex cones in the vector space of $n$-variate symmetric forms of degree $2d$. Using representation theory of the symmetric group we characterize both cones in a uniform way. Further,…
▽ More
We study symmetric nonnegative forms and their relationship with symmetric sums of squares. For a fixed number of variables $n$ and degree $2d$, symmetric nonnegative forms and symmetric sums of squares form closed, convex cones in the vector space of $n$-variate symmetric forms of degree $2d$. Using representation theory of the symmetric group we characterize both cones in a uniform way. Further, we investigate the asymptotic behavior when the degree $2d$ is fixed and the number of variables $n$ grows. Here, we show that, in sharp contrast to the general case, the difference between symmetric nonnegative forms and sums of squares does not grow arbitrarily large for any fixed degree $2d$. We consider the case of symmetric quartic forms in more detail and give a complete characterization of quartic symmetric sums of squares. Furthermore, we show that in degree $4$ the cones of nonnegative symmetric forms and symmetric sums of squares approach the same limit, thus these two cones asymptotically become closer as the number of variables grows. We conjecture that this is true in arbitrary degree $2d$.
△ Less
Submitted 17 February, 2020; v1 submitted 14 May, 2012;
originally announced May 2012.
