arXiv++ Combinatorics

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.

Given a simplicial complex $Δ$, we investigate how to construct a new simplicial complex $\barΔ$ such that the corresponding monomial ideals satisfy nice algebraic properties. We give a procedure to check the vertex decomposability of an arbitrary hypergraph. As a consequence, we prove that attaching non-pure skeletons at all vertices of a cycle cover of a simplicial complex $Δ$ results in a simplicial complex $\barΔ$ such that the associated hypergraph $\mathcal{H}(\barΔ)$ is vertex decomposable. Also, we prove that all symbolic powers of the cover ideal of $\barΔ$ are componentwise linear. Our work generalizes the earlier known result where non-pure complete graphs were added to all vertices of a cycle cover of a graph.

We prove that the second page of the Mayer-Vietoris spectral sequence, with respect to anti-star covers, can be identified with another homological invariant of simplicial complexes: the $0$-degree überhomology. Consequently, we obtain a combinatorial interpretation of the second page of the Mayer-Vietoris sequence in this context. This interpretation is then used to extend the computations of bold homology, which categorifies the connected domination polynomial at $-1$.

In this paper, we study some useful properties of persistent pairs in a discrete Morse function on a simplicial complex $K$. In case of $\dim K=1$ (i.e., a graph), by using the properties, we characterize strongly connectedness of critical simplices between two distinct discrete Morse functions, and relate the number of such pairs to the Euler characteristic of $K$.

We define a family of graphs we call dual systolic graphs. This definition comes from graphs that are duals of systolic simplicial complexes. Our main result is a sharp (up to constants) isoperimetric inequality for dual systolic graphs. The first step in the proof is an extension of the classical isoperimetric inequality of the boolean cube. The isoperimetric inequality for dual systolic graphs, however, is exponentially stronger than the one for the boolean cube. Interestingly, we know that dual systolic graphs exist, but we do not yet know how to efficiently construct them. We, therefore, define a weaker notion of dual systolicity. We prove the same isoperimetric inequality for weakly dual systolic graphs, and at the same time provide an efficient construction of a family of graphs that are weakly dual systolic. We call this family of graphs clique products. We show that there is a non-trivial connection between the small set expansion capabilities and the threshold rank of clique products, and believe they can find further applications.

We show that, if $Γ$ is a point group of $\mathbb{R}^{k+1}$ of order two for some $k\geq 2$ and $\mathcal S$ is a $k$-pseudomanifold which has a free automorphism of order two, then either $\mathcal S$ has a $Γ$-symmetric infinitesimally rigid realisation in $\mathbb{R}^{k+1}$ or $k=2$ and $Γ$ is a half-turn rotation group.This verifies a conjecture made by Klee, Nevo, Novik and Zhang for the case when $Γ$ is a point-inversion group. Our result implies that Stanley's lower bound theorem for centrally symmetric polytopes extends to pseudomanifolds with a free simplicial involution, thus verifying (the inequality part) of another conjecture of Klee, Nevo, Novik and Zheng. Both results actually apply to a much larger class of simplicial complexes, namely the circuits of the simplicial matroid. The proof of our rigidity result adapts earlier ideas of Fogelsanger to the setting of symmetric simplicial complexes.