arXiv++ Combinatorics

Understanding graph density profiles is notoriously challenging. Even for pairs of graphs, complete characterizations are known only in very limited cases, such as edges versus cliques. This paper explores a relaxation of the graph density profile problem by examining the homomorphism density domination exponent $C(H_1, H_2)$. This is the smallest real number $c \geq 0$ such that $t(H_1, T) \geq t(H_2, T)^c$ for all target graphs $T$ (if such a $c$ exists) where $t(H,T)$ is the homomorphism density from $H$ to $T$. We demonstrate that infinitely many families of graphs are required to realize $C(H_1, H_2)$ for all connected graphs $H_1$, $H_2$. We derive the homomorphism density domination exponent for a variety of graph pairs, including paths and cycles. As a couple of typical examples, we obtain exact values when $H_1$ is an even cycle and $H_2$ contains a Hamiltonian cycle, and provide asymptotically sharp bounds when both $H_1$ and $H_2$ are odd cycles.

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).

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.

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.

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 pseudo-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.

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.

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.

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.

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.

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.

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.

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.

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.

We study metric properties of convex bodies B and their polars B^o, where B is the convex hull of an orbit under the action of a compact group G. Examples include the Traveling Salesman Polytope in polyhedral combinatorics (G=S_n, the symmetric group), the set of non-negative polynomials in real algebraic geometry (G=SO(n), the special orthogonal group), and the convex hull of the Grassmannian and the unit comass ball in the theory of calibrated geometries (G=SO(n), but with a different action). We compute the radius of the largest ball contained in the symmetric Traveling Salesman Polytope, give a reasonably tight estimate for the radius of the Euclidean ball containing the unit comass ball and review (sometimes with simpler and unified proofs) recent results on the structure of the set of non-negative polynomials (the radius of the inscribed ball, volume estimates, and relations to the sums of squares). Our main tool is a new simple description of the ellipsoid of the largest volume contained in B^o.

We study metric properties of the cone of homogeneous non-negative multivariate polynomials and the cone of sums of powers of linear forms, and the relationship between the two cones. We compute the maximum volume ellipsoid of the natural base of the cone of non-negative polynomials and the minimum volume ellipsoid of the natural base of the cone of powers of linear forms and compute the coefficients of symmetry of the bases. The multiplication by (x_1^2 + ... + x_n^2)^m induces an isometric embedding of the space of polynomials of degree $2k$ into the space of polynomials of degree 2(k+m), which allows us to compare the cone of non-negative polynomials of degree $2k$ and the cone of sums of 2(k+m)-powers of linear forms. We estimate the volume ratio of the bases of the two cones and the rate at which it approaches 1 as m grows.