arXiv++ Combinatorics

Several algebraic properties of a binomial edge ideal $J_G$ can be interpreted in terms of combinatorial properties of its associated graph $G$. In particular, the so-called cut sets of a graph $G$, special sets of vertices that disconnect $G$ in a minimal way, play an important role since they are in bijection with the minimal prime ideals of $J_G$. In this paper we establish the first graph-theoretical characterization of binomial edge ideals $J_G$ satisfying Serre's condition $(S_2)$ by proving that this is equivalent to having $G$ accessible, which means that $J_G$ is unmixed and the cut sets of $G$ form an accessible set system. The proof relies on the combinatorial structure of the Stanley-Reisner simplicial complex of a multigraded generic initial ideal of $J_G$, whose facets can be described in terms of cut sets. Another key step in the proof consists in proving the equivalence between accessibility and strong accessibility for the collection of cut sets of $G$ with $J_G$ unmixed. This result, interesting on its own, provides the first relevant class of set systems for which the previous two notions are equivalent.

We study high dimensional expansion beyond simplicial complexes (posets) and focus on $q$-complexes which are complexes whose basic building blocks are linear spaces. We show that the complete $q$-complex (consists of all subspaces of a given linear space) may have non-trivial homology groups and therefore some techniques for simplicial complexes fail. We develop new techniques to work bypass this. In particular: (i) We describe a new construction of cones and use it to determine when the homology of the complete $q$-complex is trivial. We use this construction to prove the "projective support dimension conjecture" conjectured by Mnukhin and Siemons. (ii) We define topological high dimensional expansion for posets, and show that the complete $q$-complex has linear (in the number of lines) coboundary expansion. (iii) We define the $q$-Linial-Meshulam model of random $q$-complexes and prove a sharp threshold for the connectivity of random $q$-complexes.

Recently, H. Dao and R. Nair gave a combinatorial description of simplicial complexes $Δ$ such that the squarefree reduction of the Stanley-Reisner ideal of $Δ$ has the WLP in degree $1$ and characteristic zero. In this paper, we apply the connections between analytic spread of equigenerated monomial ideals, mixed multiplicities and birational monomial maps to give a sufficient and necessary condition for the squarefree reduction $A(Δ)$ to satisfy the WLP in degree $i$ and characteristic zero in terms of mixed multiplicities of monomial ideals that contain combinatorial information of $Δ$, we call them incidence ideals. As a consequence, we give an upper bound to the possible failures of the WLP of $A(Δ)$ in degree $i$ in positive characteristics in terms of mixed multiplicities. Moreover, we extend Dao and Nair's criterion to arbitrary monomial ideals in positive odd characteristics.

Maxwell introduced a necessary minimum number of edges in terms of the number of vertices required for a graph to yield a Euclidean rigid generic framework in $\mathbb{R}^3$, this count was generalised to $\mathbb{R}^d$, for all $d\geq 1$. In this paper, we give the analogous minimum number of $k$-simplices, for all $0\leq k\leq d$, required for a pure $d$-dimensional simplicial complex to yield a volume rigid generic framework in $\mathbb{R}^d$, for all $d\geq 1$. In order to do so, we prove some basic facts about the volume rigidity matroid and use exterior algebraic shifting, a recently added tool to the study of volume rigidity. We later prove a volume rigidity Vertex Removal Lemma and use our count to strengthen the statement.

Let $\mathcal{P}$ be a frame polyomino, a new kind of non-simple polyomino. In this paper we study the $h$-polynomial of $K[\mathcal{P}]$ in terms of the switching rook polynomial of $\mathcal{P}$ using the shellable simplicial complex $Δ(\mathcal{P})$ attached to $\mathcal{P}$. We provide a suitable shelling order for $Δ(\mathcal{P})$ and we define a bijection between the set of the canonical configurations of $j$ rooks in $\mathcal{P}$ and the facets of $Δ(\mathcal{P})$ with $j$ steps. Finally we use a well-known combinatorial result, due to McMullen and Walkup, about the $h$-vector of a shellable simplicial complex to interpret the $h$-polynomial of $K[\mathcal{P}]$ as the switching rook polynomial of $\mathcal{P}$.

A nef-partition for a weighted complete intersection is a combinatorial structure on its weights and degrees which is important for Mirror Symmetry. It is known that nef-partitions exist for smooth well-formed Fano weighted complete intersections of small dimension or codimension, and that in these cases they are strong in the sense that they can be realized as fibers of morphisms of weighted simplicial complexes, i.e., finite abstract simplicial complexes equipped with a weight function. It was conjectured that this approach can be extended to the case of arbitrary codimension. We show that in the case of any codimension greater than 3 strong nef-partitions may not exist, and provide a sufficient combinatorial condition for existence of a strong nef-partition in terms of weights. We also show that the combinatorics of smooth well-formed weighted complete intersections can be arbitrarily complicated from the point of view of simplicial geometry.

We consider two families of hyperbolic polygons: ideal and ideal once-punctured, some of whose spikes are decorated with horoballs. We show that the arc complexes of these two families of surfaces, generated by edge-to-edge arcs and edge-to-decorated-spike arcs, are closed piecewise linear balls. This is proved in a completely combinatorial setting: compact polygons whose vertices are assigned red or blue colouring. In order to prove the ballness, we show that these simplicial complexes are pseudo-manifolds and use shellability to conclude. As a consequence, we parametrise weakly-lengthening deformations of the partially decorated hyperbolic polygons.

In this paper, we introduce a simplicial complex representation for finite non-cooperative games in the strategic form. The covering space of the simplicial game complex is introduced and we show that the covering complex is a powerful tool to find Nash Equilibrium simplices. This representation allows us to model the cost functions of a game as a weight number on a dual vertex of the strategy situation in some stars. It yields a canonical direct sum decomposition of an arbitrary game into three components, as the potential, harmonic and nonstrategic components.

We define generalised higher Whitehead maps between polyhedral products. By investigating the interplay between the homotopy-theoretic properties of polyhedral products and the combinatorial properties of simplicial complexes, we describe new families of relations among these maps, while recovering and generalising known identities among Whitehead products.

Our main result has topological, combinatorial and computational flavor. It is motivated by a fundamental conjecture stating that computing Khovanov homology of a closed braid of fixed number of strands has polynomial time complexity. We show that the independence simplicial complex $I(w)$ associated to the 4-braid diagram $w$ (and therefore its Khovanov spectrum at extreme quantum degree) is contractible or homotopy equivalent to either a sphere, or a wedge of 2 spheres (possibly of different dimensions), or a wedge of 3 spheres (at least two of them of the same dimension), or a wedge of 4 spheres (at least three of them of the same dimension). On the algorithmic side we prove that finding the homotopy type of $I(w)$ can be done in polynomial time with respect to the number of crossings in $w$. In particular, we prove the wedge of spheres conjecture for circle graphs obtained from 4-braid diagrams. We also introduce the concept of Khovanov adequate diagram and discuss criteria for a link to have a Khovanov adequate braid diagram with at most 4 strands.

If G is a finite abstract simplicial complex and K is a subcomplex of G and U=G-K is the open complement of K in G, the Betti vectors of K and U and G satisfy the inequality b(G) less or equal b(K)+b(U).

To every simple toric ideal $I_T$ one can associate the strongly robust simplicial complex $Δ_T$, which determines the strongly robust property for all ideals that have $I_T$ as their bouquet ideal. We show that for the simple toric ideals of monomial curves in $\mathbb{A}^{s}$, the strongly robust simplicial complex $Δ_T$ is either $\{\emptyset \}$ or contains exactly one 0-dimensional face. In the case of monomial curves in $\mathbb{A}^{3}$, the strongly robust simplicial complex $Δ_T$ contains one 0-dimensional face if and only if the toric ideal $I_T$ is a complete intersection ideal with exactly two Betti degrees. Finally, we provide a construction to produce infinitely many strongly robust ideals with bouquet ideal the ideal of a monomial curve and show that they are all produced this way.

Robin Forman's highly influential 2002 paper A User's Guide to Discrete Morse Theory presents an overview of the subject in a very readable manner. As a proof of concept, the author determines the topology (homotopy type) of the abstract simplicial complex of disconnected graphs of order $n$ (which was previously done by Victor Vassiliev using classical topological methods) using discrete Morse theoretic techniques, which are purely combinatorial in nature. The techniques involve the construction (and verification) of a discrete gradient vector field on the complex. However, the verification part relies on a claim that doesn't seem to hold. In this note, we provide a couple of counterexamples against this specific claim. We also provide an alternative proof of the bigger claim that the constructed discrete vector field is indeed a gradient vector field. Our proof technique relies on a key observation which is not specific to the problem at hand, and thus is applicable while verifying a constructed discrete vector field is a gradient one in general.

A general position map $f:K\to M$ of a $k$-dimensional simplicial complex to a $2k$-dimensional manifold (for $k=1$, of a graph to a surface) is a $\mathbb Z_2$-embedding if $|fσ\cap fτ|$ is even for any non-adjacent $k$-faces $σ,τ$. We present criteria for $\mathbb Z_2$-embeddability of certain $k$-dimensional complex (for $k=1$, of any graph) to $2k$-dimensional manifolds. These criteria are $\bullet$ a `Kuratowski-type' version of the Fulek-Kynčl-Bikeev criteria (for $k=1$), and $\bullet$ a converse to the Dzhenzher-Skopenkov necessary condition (for $k>1$). Our higher-dimensional criterion allows us to reduce the modulo 2 Kühnel problem on embeddings to a purely algebraic problem. Our proof is interplay between geometric topology, combinatorics and linear algebra. It is based on calculation of generators in the homology of certain configuration space (the deleted product) of certain complex (joinpower).

Given a locally finite cover of a simplicial complex by subcomplexes, Björner's version of the Nerve Theorem provides conditions under which the homotopy groups of the nerve agree with those of the original complex through a range of dimensions. We extend this result to covers of CW complexes by subcomplexes and to open covers of arbitrary topological spaces, without local finiteness restrictions. Moreover, we show that under somewhat weaker hypotheses, the same conclusion holds when one utilizes the multinerve introduced by Colin de Verdière, Ginot, and Goaoc. Our main tool is the Čech complex associated to a cover, as analyzed in work of Dugger and Isaksen. As applications, we prove a generalized crosscut theorem for posets and some variations on Quillen's Poset Fiber Theorem.

Given a matroid $M=(E,{\cal I})$, and a total ordering over the elements $E$, a broken circuit is a circuit where the smallest element is removed and an NBC independent set is an independent set in ${\cal I}$ with no broken circuit. The set of NBC independent sets of any matroid $M$ define a simplicial complex called the broken circuit complex which has been the subject of intense study in combinatorics. Recently, Adiprasito, Huh and Katz showed that the face of numbers of any broken circuit complex form a log-concave sequence, proving a long-standing conjecture of Rota. We study counting and optimization problems on NBC bases of a generic matroid. We find several fundamental differences with the independent set complex: for example, we show that it is NP-hard to find the max-weight NBC base of a matroid or that the convex hull of NBC bases of a matroid has edges of arbitrary large length. We also give evidence that the natural down-up walk on the space of NBC bases of a matroid may not mix rapidly by showing that for some family of matroids it is NP-hard to count the number of NBC bases after certain conditionings.

In this paper, we present a new construction of simplicial complexes of subpolynomial degree with arbitrarily good local spectral expansion. Previously, the only known high-dimensional expanders (HDXs) with arbitrarily good expansion and less than polynomial degree were based on one of two constructions, namely Ramanujan complexes and coset complexes. In contrast, our construction is a Cayley complex over the group $\mathbb{F}_2^k$, with Cayley generating set given by a Grassmannian HDX. Our construction is in part motivated by a coding-theoretic interpretation of Grassmannian HDXs that we present, which provides a formal connection between Grassmannian HDXs, simplicial HDXs, and LDPC codes. We apply this interpretation to prove a general characterization of the 1-homology groups over $\mathbb{F}_2$ of Cayley simplicial complexes over $\mathbb{F}_2^k$. Using this result, we construct simplicial complexes on $N$ vertices with arbitrarily good local expansion for which the dimension of the 1-homology group grows as $Ω(\log^2N)$. No prior constructions in the literature have been shown to achieve as large a 1-homology group.

The $k$-th token graph of a graph $G=(V,E)$ is the graph $F_k(G)$ whose vertices are the $k$-subsets of $V$ and whose edges are all pairs of $k$-subsets $A,B$ such that the symmetric difference of $A$ and $B$ forms an edge in $G$. Let $L(G)$ be the Laplacian matrix of $G$, and $L_k(G)$ be the Laplacian matrix of $F_k(G)$. It was shown by Dalfó et al. that for any graph $G$ on $n$ vertices and any $0\leq \ell \leq k \leq \left\lfloor n/2\right\rfloor$, the spectrum of $L_{\ell}(G)$ is contained in that of $L_k(G)$. Here, we continue to study the relation between the spectrum of $L_k(G)$ and that of $L_{k-1}(G)$. In particular, we show that, for $1\leq k\leq \left\lfloor n/2\right\rfloor$, any eigenvalue $λ$ of $L_k(G)$ that is not contained in the spectrum of $L_{k-1}(G)$ satisfies \[ k(λ_2(L(G))-k+1)\leq λ\leq kλ_n(L(G)), \] where $λ_2(L(G))$ is the second smallest eigenvalue of $L(G)$ (a.k.a. the algebraic connectivity of $G$), and $λ_n(L(G))$ is its largest eigenvalue. Our proof relies on an adaptation of Garland's method, originally developed for the study of high-dimensional Laplacians of simplicial complexes.

For $d\in\mathbb{N}$, a compact sphere packing of Euclidean space $\mathbb{R}^{d}$ is a set of spheres in $\mathbb{R}^{d}$ with disjoint interiors so that the contact hypergraph of the packing is the vertex scheme of a homogeneous simplicial $d$-complex that covers all of $\mathbb{R}^{d}$. We are motivated by the question: For $d,n\in\mathbb{N}$ with $d,n\geq2$, how many configurations of numbers $0<r_{0}<r_{1}<\ldots<r_{n-1}=1$ can occur as the radii of spheres in a compact sphere packing of $\mathbb{R}^{d}$ wherein there occur exactly $n$ sizes of sphere? We introduce what we call `heteroperturbative sets' of labeled triangulations of unit spheres and we discuss the existence of non-trivial examples of heteroperturbative sets. For a fixed heteroperturbative set, we discuss how a compact sphere packing may be associated to the heteroperturbative set or not. We proceed to show, for $d,n\in\mathbb{N}$ with $d,n\geq2$ and for a fixed heteroperturbative set, that the collection of all configurations of $n$ distinct positive numbers that can occur as the radii of spheres in a compact packing is finite, when taken over all compact sphere packings of $\mathbb{R}^{d}$ which have exactly $n$ sizes of sphere and which are associated to the fixed heteroperturbative set.

We define the $k$-cut complex of a graph $G$ with vertex set $V(G)$ to be the simplicial complex whose facets are the complements of sets of size $k$ in $V(G)$ inducing disconnected subgraphs of $G$. This generalizes the Alexander dual of a graph complex studied by Fröberg (1990), and Eagon and Reiner (1998). We describe the effect of various graph operations on the cut complex, and study its shellability, homotopy type and homology for various families of graphs, including trees, cycles, complete multipartite graphs, and the prism $K_n \times K_2$, using techniques from algebraic topology, discrete Morse theory and equivariant poset topology.