arXiv++ Combinatorics

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.

We introduce new geometric and combinatorial criteria that preclude a neural code from being convex, and use them to tackle the classification problem for codes on six neurons. Along the way, we give the first example of a code that is non-convex, has no local obstructions, and has simplicial complex of dimension two. We also characterize convexity for neural codes for which the simplicial complex is pure of low or high dimension.

A hypergraph can be obtained from a simplicial complex by deleting some non-maximal simplices. In this paper, we study the embedded homology as well as the homology of the (lower-)associated simplicial complexes for hypergraphs. We generalize the discrete Morse functions on simplicial complexes. We study the discrete Morse functions on hypergraphs as well as the discrete Morse functions on the (lower-)associated simplicial complexes of the hypergraphs.

We show that the decision problem of determining whether a given (abstract simplicial) $k$-complex has a geometric embedding in $\mathbb R^d$ is complete for the Existential Theory of the Reals for all $d\geq 3$ and $k\in\{d-1,d\}$. This implies that the problem is polynomial time equivalent to determining whether a polynomial equation system has a real solution. Moreover, this implies NP-hardness and constitutes the first hardness results for the algorithmic problem of geometric embedding (abstract simplicial) complexes.

A Bier sphere $Bier(K) = K\ast_ΔK^\circ$, defined as the deleted join of a simplicial complex and its Alexander dual $K^\circ$, is a purely combinatorial object (abstract simplicial complex). Here we study a hidden geometry of Bier spheres by describing their natural geometric realizations, compute their volume, describe an effective criterion for their polytopality, and associate to $K$ a natural fan $Fan(K)$, related to the Braid fan. Along the way we establish a connection of Bier spheres of maximal volume with recent generalizations of the classical Van Kampen-Flores theorem and clarify the role of Bier spheres in the theory of generalized permutohedra.

We implement an algorithm RSHT (Random Simple-Homotopy) to study the simple-homotopy types of simplicial complexes, with a particular focus on contractible spaces and on finding substructures in higher-dimensional complexes. The algorithm combines elementary simplicial collapses with pure elementary expansions. For triangulated d-manifolds with d < 7, we show that RSHT reduces to (random) bistellar flips. Among the many examples on which we test RSHT, we describe an explicit 15-vertex triangulation of the Abalone, and more generally, (14k+1)-vertex triangulations of Bing's houses with k rooms, which all can be deformed to a point using only six pure elementary expansions.

In this paper we present unpublished work by David Stone on polyhedral smash products. He proved that the polyhedral smash product of the CW-pair $(D^2, S^1)$ over a simplicial complex $K$ is homeomorphic to an iterated suspension of the geometric realization of $K$. Here we generalize his technique to the CW-pair $(D^{k+1}, S^{k})$, for an arbitrary $k$. We generalize the result further to a set of disks and spheres of different dimensions.

We describe the simplicial complex $Δ$ such that the initial ideal of $J_G$ is the Stanley-Reisner ideal of $Δ$. By $Δ$ we show that if $J_G$ is $(S_2)$ then $G$ is accessible. We also characterize all accessible blocks with whiskers of cycle rank 3 and we define a new infinite class of accessible blocks with whiskers for any cycle rank. Finally, by using a computational approach, we show that the graphs with at most 12 vertices whose binomial edge ideal is Cohen-Macaulay are all and only the accessible ones.

Let $H$ be a simple undirected graph. The family of all matchings of $H$ forms a simplicial complex called the matching complex of $H$. Here , we give a classification of all graphs with a Gorenstein matching complex. Also we study when the matching complex of $H$ is Cohen-Macaulay and, in certain classes of graphs, we fully characterize those graphs which have a Cohen-Macaulay matching complex. In particular, we characterize when the matching complex of a graph with girth at least 5 or a complete graph is Cohen-Macaulay.

Given a simple undirected graph $G$ there is a simplicial complex $\mathrm{Ind}(G)$, called the independence complex, whose faces correspond to the independent sets of $G$. This is a well studied concept because it provides a fertile ground for interactions between commutative algebra, graph theory and algebraic topology. One of the line of research pursued by many authors is to determine the graph classes for which the associated independence complex is Cohen-Macaulay. For example, it is known that when $G$ is a chordal graph the complex $\mathrm{Ind}(G)$ is in fact vertex decomposable, the strongest condition in the Cohen-Macaulay ladder. In this article we consider a generalization of independence complex. Given $r\geq 1$, a subset of the vertex set is called $r$-independent if the connected components of the induced subgraph have cardinality at most $r$. The collection of all $r$-independent subsets of $G$ form a simplicial complex called the $r$-independence complex and is denoted by $\mathrm{Ind}_r(G)$. It is known that when $G$ is a chordal graph the complex $\mathrm{Ind}_r(G)$ has the homotopy type of a wedge of spheres. Hence it is natural to ask which of these complexes are shellable or even vertex decomposable. We prove, using Woodroofe's chordal hypergraph notion, that these complexes are always shellable when the underlying chordal graph is a tree. Further, using the notion of vertex splittable ideals we show that for caterpillar graphs the associated $r$-independence complex is vertex decomposable for all values of $r$. We also construct chordal graphs on $2r+2$ vertices such that their $r$-independence complexes are not sequentially Cohen-Macaulay for any $r \ge 2$.

Inspired by the classical Riemannian systolic inequality of Gromov we present a combinatorial analogue providing a lower bound on the number of vertices of a simplicial complex in terms of its edge-path systole. Similarly to the Riemannian case, where the inequality holds under a topological assumption of "essentiality", our proofs rely on a combinatorial analogue of that assumption. Under a stronger assumption, expressed in terms of cohomology cup-length, we improve our results quantitatively. We also illustrate our methods in the continuous setting, generalizing and improving quantitatively the Minkowski principle of Balacheff and Karam; a corollary of this result is the extension of the Guth--Nakamura cup-length systolic bound from manifolds to complexes.

The matching complex of a graph $G$ is a simplicial complex whose simplices are matchings in $G$. In the last few years the matching complexes of grid graphs have gained much attention among the topological combinatorists. In 2017, Braun and Hough obtained homological results related to the matching complexes of $2 \times n$ grid graphs. Further in 2019, Matsushita showed that the matching complexes of $2 \times n$ grid graphs are homotopy equivalent to a wedge of spheres. In this article we prove that the matching complexes of $3\times n$ grid graphs are homotopy equivalent to a wedge of spheres. We also give the comprehensive list of the dimensions of spheres appearing in the wedge.

A conjecture of Kalai from 1994 posits that for an arbitrary $2\leq k\leq \lfloor d/2 \rfloor$, the combinatorial type of a simplicial $d$-polytope $P$ is uniquely determined by the $(k-1)$-skeleton of $P$ (given as an abstract simplicial complex) together with the space of affine $k$-stresses on $P$. We establish the first non-trivial case of this conjecture, namely, the case of $k=2$. We also prove that for a general $k$, Kalai's conjecture holds for the class of $k$-neighborly polytopes.

We associate with every pure flag simplicial complex $Δ$ a standard graded Gorenstein $\mathbb{F}$-algebra $R_Δ$ whose homological features are largely dictated by the combinatorics and topology of $Δ$. As our main result, we prove that the residue field $\mathbb{F}$ has a $k$-step linear $R_Δ$-resolution if and only if $Δ$ satisfies Serre's condition $(S_k)$ over $\mathbb{F}$, and that $R_Δ$ is Koszul if and only if $Δ$ is Cohen-Macaulay over $\mathbb{F}$. Moreover, we show that $R_Δ$ has a quadratic Gröbner basis if and only if $Δ$ is shellable. We give two applications: first, we construct quadratic Gorenstein $\mathbb{F}$-algebras which are Koszul if and only if the characteristic of $\mathbb{F}$ is not in any prescribed set of primes. Finally, we prove that whenever $R_Δ$ is Koszul the coefficients of its $γ$-vector alternate in sign, settling in the negative an algebraic generalization of a conjecture by Charney and Davis.

We introduce the homogeneous and piecewise multilinear extensions and the eigenvalue problem for locally Lipschitz function pairs, in order to develop a systematic framework for relating discrete and continuous min-max problems. This also enables us to investigate spectral properties for pairs of $p$-homogeneous functions and to propose a critical point theory for zero-homogeneous functions. The main contributions are: (1) We provide several min-max relations between an original discrete formulation and its piecewise multilinear extension. We introduce the concept of perfect domain pairs to view comonotonicity on vectors as an extension of inclusion chains on sets. The piecewise multi-linear extension is (slice-)rank preserving, which closely relates to Tao's lemma on diagonal tensors. More discrete-to-continuous equalities are obtained, including a general form involving log-concave polynomials. And by employing these fundamental correspondences, we get further results and applications on tensors, Turán's problem, signed (hyper-)graphs, etc. (2) We derive the mountain pass characterization, linking theorems, nodal domain inequalities, inertia bounds, duality theorems and distribution of eigenvalues for pairs of $p$-homogeneous functions. We establish a new property on the subderivative of a convex function which relates to the Gauss map of the graph of the convex function. Based on these fundamental results, we can analyze the structure of eigenspaces in depth. For example, we show a simple one-to-one correspondence between the nonzero eigenvalues of the vertex p-Laplacian and the edge $p^*$-Laplacian of a graph. We also apply the theory to Cheeger inequalities and $p$-Laplacians on oriented hypergraphs and simplicial complexes. Also, the first nonlinear analog of Huang's approach for hypergraphs is provided.

We show that the natural Glauber dynamics mixes rapidly and generates a random proper edge-coloring of a graph with maximum degree $Δ$ whenever the number of colors is at least $q\geq (\frac{10}{3} + ε)Δ$, where $ε>0$ is arbitrary and the maximum degree satisfies $Δ\geq C$ for a constant $C = C(ε)$ depending only on $ε$. For edge-colorings, this improves upon prior work \cite{Vig99, CDMPP19} which show rapid mixing when $q\geq (\frac{11}{3}-ε_0 ) Δ$, where $ε_0 \approx 10^{-5}$ is a small fixed constant. At the heart of our proof, we establish a matrix trickle-down theorem, generalizing Oppenheim's influential result, as a new technique to prove that a high dimensional simplical complex is a local spectral expander.

Well ordered covers of square-free monomial ideals are subsets of the minimal generating set ordered in a certain way that give rise to a Lyubeznik resolution for the ideal, and have guaranteed nonvanishing Betti numbers in certain degrees. This paper is about square-free monomial ideals which have a well ordered cover. We consider the question of subadditivity of syzygies of square-free monomial ideals via complements in the lcm lattice of the ideal, and examine how lattice complementation breaks well ordered covers of the ideal into (well ordered) covers of subideals. We also introduce a family of well ordered covers called strongly disjoint sets of simplicial bouquets (generalizing work of Kimura on graphs), which are relatively easy to identify in simplicial complexes. We examine the subadditivity property via numerical characteristics of these bouquets.

We study the realizability of simplicial complexes with a given pair of integer sequences, representing the node degree distribution and the facet size distribution, respectively. While the $s$-uniform variant of the problem is $\mathsf{NP}$-complete when $s \geq 3$, we identify two populations of input sequences, most of which can be solved in polynomial time using a recursive algorithm that we contribute. Combining with a sampler for the simplicial configuration model [J.-G. Young $\textit{et al.}$, Phys. Rev. E $\textbf{96}$, 032312 (2017)], we facilitate the efficient sampling of simplicial ensembles from arbitrary degree and size distributions. We find that, contrary to expectations based on dyadic networks, increasing the nodes' degrees reduces the number of loops in simplicial complexes. Our work unveils a fundamental constraint on the degree-size sequences and sheds light on further analysis of higher-order phenomena based on local structures.

Let $k$ be a field and $R=k[x_1,\ldots,x_n]/I=S/I$ a graded ring. Then $R$ has a $t$-linear resolution if $I$ is generated by homogeneous elements of degree $t$, and all higher syzygies are linear. Thus $R$ has a $t$-linear resolution if ${\rm Tor}^S_{i,j}(S/I,k)=0$ if $j\ne i+t-1$. For a simplicial complex $Δ$ on $[{\bf n}]=\{1,\ldots,n\}$ and a field $k$, the Stanley-Reisner ring $k[Δ]$ is $k[x_1,\ldots,x_n]/I$, where $I$ is generated by those squarefree monomials $x_{i_1}\cdots x_{i_k}$ for which $\{ i_1,\ldots,i_k\}$ does not belong to $Δ$. In \cite{Fr} the Stanley-Reisner rings with 2-linear resolution are determined. Their associated complexes has had different names in the literature. We call them fat forests here. In this article we determine the Betti numbers of fat forests. We also consider Betti numbers of Alexander duals of fat forests.

We give examples of finite, simplicial $2$-complexes that do not PL embed in $\mathbb{R}^4$ and exhibit, for each such complex, a family of PL immersions into $\mathbb{R}^4$ that hide the obstruction to embedding in "higher and higher order Milnor invariants". In addition, we show that the embedding obstructions defined by Krushkal in [8] vanish for our examples. We also answer a question in a paper of Avramidi-Okun-Schreve.