arXiv++ Combinatorics

The notions of magnetic difference operator defined on weighted graphs or magnetic exterior derivative are discrete analogues of the notionof covariant derivative on sections of a fibre bundle and its extension on differential forms. In this paper, we extend this notion to certain 2-simplicial complexes called triangulations, in a manner compatible with changes of gauge. Then we study the magnetic Gauss-Bonnet operator naturally defined in this context and introduce the geometric hypothesis of $χ-$completeness which ensures the essential self-adjointness of this operator. This gives also the essential self-adjointness of the magnetic Laplacian on triangulations. Finally we introduce an hypothesis of bounded curvature for the magnetic potential which permits to characterize the domain of the self-adjoint extension.

High-dimensional expanders generalize the notion of expander graphs to higher-dimensional simplicial complexes. In contrast to expander graphs, only a handful of high-dimensional expander constructions have been proposed, and no elementary combinatorial construction with near-optimal expansion is known. In this paper, we introduce an improved combinatorial high-dimensional expander construction, by modifying a previous construction of Liu, Mohanty, and Yang (ITCS 2020), which is based on a high-dimensional variant of a tensor product. Our construction achieves a spectral gap of $Ω(\frac{1}{k^2})$ for random walks on the $k$-dimensional faces, which is only quadratically worse than the optimal bound of $Θ(\frac{1}{k})$. Previous combinatorial constructions, including that of Liu, Mohanty, and Yang, only achieved a spectral gap that is exponentially small in $k$. We also present reasoning that suggests our construction is optimal among similar product-based constructions.

In this study, we consider the positive cluster complex, a full subcomplex of a cluster complex the vertices of which are all non-initial cluster variables. In particular, we provide a formula for the difference in face vectors of positive cluster complexes caused by a mutation for finite type. Moreover, we explicitly describe specific positive cluster complexes of finite type and calculate their face vectors. We also provide a method to compute the face vector of an arbitrary positive cluster complex of finite type using these results. Furthermore, we apply our results to the $τ$-tilting theory of cluster-tilted algebras of finite representation type using the correspondence between clusters and support $τ$-tilting modules.

Discrete Morse theory, a cell complex-analog to smooth Morse theory, has been developed over the past few decades since its original formulation by Robin Forman in 1998. In particular, discrete gradient vector fields on simplicial complexes capture important features of discrete Morse functions. We prove that the characteristic polynomials of the Laplacian matrices of a simplicial complex are generating functions for discrete gradient vector fields of discrete Morse functions when the complex is either a graph or a triangulation of an orientable manifold. Furthermore, we provide a full characterization of the correspondence between rooted forests in higher dimensions and discrete gradient vector fields.

We introduce a filtration on the simplicial homology of a finite simplicial complex X using bi-colourings of its vertices. This yields two dual homology theories closely related to discrete Morse matchings on X. We give an explicit expression for the associated graded object of these homologies when X is the matching complex of the Tait graph of a plane graph $G$, in terms of subgraphs determined by certain matchings on the dual of G. We then use one of these homologies, in the case where X is a graph, to define a conjecturally optimal dissimilarity pseudometric for graphs; we prove various results for this dissimilarity and provide several computations. We further show that, by organising the horizontal homologies of a simplicial complex in the poset of its colourings, we obtain a triply graded homology theory which we call überhomology. This latter homology is not a homotopy invariant, but nonetheless encodes both combinatorial and topological information on X. For example, we prove that if X is a subdivision, the überhomology vanishes in its lowest degree, while for an homology manifold it coincides with the fundamental class in its top degree. We compute the überhomology on several classes of examples and infinite families, and prove some of its properties; namely that, in its extremal degrees, it is well-behaved under coning and taking suspension. We then focus on the case where X is a simple graph, and prove a detection result. Finally, we define some singly-graded homologies for graphs obtained by specialising the überhomology in certain bi-degrees, provide some computations and use computer aided calculations to make some conjectures.

Characterizing face-number-related invariants of a given class of simplicial complexes has been a central topic in combinatorial topology. In this regard, one of the well-known invariants is $g_2$. Let $K$ be a normal $3$-pseudomanifold such that $g_2(K) \leq g_2(lk (v)) + 9$ for some vertex $v$ in $K$. Suppose either $K$ has only one singularity or $K$ has two singularities (at least) one of which is an $\mathbb{RP}^2$-singularity. We prove that $K$ is obtained from some boundary complexes of $4$-simplices by a sequence of operations of types connected sums, bistellar $1$-moves, edge contractions, edge expansions, vertex foldings, and edge foldings. In case $K$ has one singularity, $|K|$ is a handlebody with its boundary coned off. Further, we prove that the above upper bound is sharp for such normal $3$-pseudomanifolds.

We consider profunctors $f : P \promap Q$ between posets and introduce their {\em graph} and {\em ascent}. The profunctors $\Pro(P,Q)$ form themselves a poset, and we consider a partition $\cI \sqcup \cF$ of this into a down-set $\cI$ and up-set $\cF$, called a {\it cut}. To elements of $\cF$ we associate their graphs, and to elements of $\cI$ we associate their ascents. Our basic result is that this, suitable refined, preserves being a cut: We get a cut in the Boolean lattice of subsets of the underlying set of $Q \times P$. Cuts in finite Booleans lattices correspond precisely to finite simplicial complexes. We apply this in commutative algebra where these give classes of Alexander dual square-free monomial ideals giving the full and natural generalized setting of isotonian ideals and letterplace ideals for posets. We study $\Pro(\NN, \NN)$. Such profunctors identify as order preserving maps $f : \NN \pil \NN \cup \{\infty \}$. For our applications when $P$ and $Q$ are infinite, we also introduce a topology on $\Pro(P,Q)$, in particular on profunctors $\Pro(\NN,\NN)$.

We use the topology of simplicial complexes to model political structures following [1]. Simplicial complexes are a natural tool to encode interactions in the structures since a simplex can be used to represent a subset of compatible agents. We translate the wedge, cone, and suspension operations into the language of political structures and show how these constructions correspond to merging structures and introducing mediators. We introduce the notions of the viability of an agent and the stability of a political system and examine their interplay with the simplicial complex topology, casting their interactions in category-theoretic language whenever possible. We introduce a refinement of the model by assigning weights to simplices corresponding to the number of issues the agents agree on. In addition, homology of simplicial complexes is used to detect non-viabilities, certain cycles of incompatible agents, and the (non)presence of mediators. Finally, we extend some results from [1], bringing viability and stability into the language of friendly delegations and using homology to examine the existence of R-compromises and D-compromises.

In this paper we study generalizations of classical results on intersection patterns of set systems in $\mathbb{R}^d$, such as the fractional Helly theorem or the $(p,q)$-theorem, in the setting of arbitrary triangulable spaces with a forbidden homological minor. Given a simplicial complex $K$ and an integer $b$, we say that a family $\mathcal{F}$ of subcomplexes of some simplicial complex $\mathcal{U}$ is a \emph{$(K,b)$-free cover} if (i) $K$ is a forbidden homological minor of $\mathcal{U}$, and (ii) the $j$th reduced Betti number $\tildeβ_j(\bigcap_{S\in {\mathcal{G}}}S,\mathbb{Z}_2)$ is strictly less than $b$ for all $0\leq j < \dim K$ and all nonempty subfamilies $\mathcal{G}\subseteq \mathcal{F}$. We show that for every $K$ and $b$, the fractional Helly number of a $(K,b)$-free cover is at most $μ(K)+1$, where $μ(K)$ is the maximum sum of the dimensions of two disjoint faces in~$K$. This implies that the assertion of the $(p,q)$-theorem holds for every $p \ge q > μ(K)$ and every $(K,b)$-free cover $\mathcal{F}$. For $b=1$ and a suitable $K$ this recovers the original $(p,q)$-theorem and its generalization to good covers. Interestingly, our results show that that the range of parameters $(p,q)$ for which the $(p,q)$-theorem holds is independent of $b$. Our proofs use Ramsey-type arguments combined with the notion of stair convexity of Bukh et al. to construct (forbidden) homological minors in cubical complexes.

A weighted simplicial complex is a simplicial complex with values (called weights) on the vertices. In this paper, we consider weighted simplicial complexes with $\mathbb{R}^2$-valued weights. We study the weighted homology and the weighted analytic torsion for such weighted simplicial complexes.

Polynomials which afford nonnegative, real-rooted symmetric decompositions have been investigated recently in algebraic, enumerative and geometric combinatorics. Brändén and Solus have given sufficient conditions under which the image of a polynomial under a certain operator associated to barycentric subdivision has such a decomposition. This paper gives a new proof of their result which generalizes to subdivision operators in the setting of uniform triangulations of simplicial complexes, introduced by the first named author. Sufficient conditions under which these decompositions are also interlacing are described. Applications yield new classes of polynomials in geometric combinatorics which afford nonnegative, real-rooted symmetric decompositions. Some interesting questions in $f$-vector theory arise from this work.

A simplicial complex is $r$-conic if every subcomplex of at most $r$ vertices is contained in the star of a vertex. A $4$-conic complex is simply connected. We prove that an $8$-conic complex is $2$-connected. In general a $(2n+1)$-conic complex need not be $n$-connected but a $6^n$-conic complex is $n$-connected. This extends results by Even-Zohar, Farber and Mead on ample complexes and answers two questions raised in their paper. Our results together with theirs imply that the probability of a complex being $n$-connected tends to $1$ as the number of vertices tends to $\infty$. Our model here is the medial regime.

We consider a $q$-analogue of abstract simplicial complexes, called $q$-complexes, and discuss the notion of shellability for such complexes. It is shown that $q$-complexes formed by independent subspaces of a $q$-matroid are shellable. Further, we explicitly determine the homology of $q$-complexes corresponding to uniform $q$-matroids. We also outline some partial results concerning the determination of homology of arbitrary shellable $q$-complexes..

The intersection matrix of a simplicial complex has entries equal to the rank of the intersection of its facets. In [1] the authors prove the intersection matrix is enough to determine a triangulation of a surface up to isomorphism. In this work we show the intersection matrix is enough to determine the triangulation of a 3-manifold up to isomorphism.

Given an integer $g \geq 0$ and a weight vector $w \in \mathbb{Q}^n \cap (0, 1]^n$ satisfying $2g - 2 + \sum w_i > 0$, let $Δ_{g, w}$ denote the moduli space of $n$-marked, $w$-stable tropical curves of genus $g$ and volume one. We calculate the automorphism group $\mathrm{Aut}(Δ_{g, w})$ for $g \geq 1$ and arbitrary $w$, and we calculate the group $\mathrm{Aut}(Δ_{0, w})$ when $w$ is heavy/light. In both of these cases, we show that $\mathrm{Aut}(Δ_{g, w}) \cong \mathrm{Aut}(K_w)$, where $K_w$ is the abstract simplicial complex on $\{1, \ldots, n\}$ whose faces are subsets with $w$-weight at most $1$. We show that these groups are precisely the finite direct products of symmetric groups. The space $Δ_{g, w}$ may also be identified with the dual complex of the divisor of singular curves in the algebraic Hassett space $\overline{\mathcal{M}}_{g, w}$. Following the work of Massarenti and Mella on the biregular automorphism group $\mathrm{Aut}(\overline{\mathcal{M}}_{g, w})$, we show that $\mathrm{Aut}(Δ_{g, w})$ is naturally identified with the subgroup of automorphisms which preserve the divisor of singular curves.

We study two simplicial complexes arising from a directed graph $G = (V, E)$ with two chosen vertices $s$ and $t$: the *path-free complex*, consisting of all subsets $F \subseteq E$ that contain no path from $s$ to $t$, and the *path-missing complex*, its Alexander dual. Using discrete Morse theory, we prove that both complexes have well-behaved homotopy types -- either contractible or homotopy-equivalent to spheres.

The notions Golodness and tightness for simplicial complexes come from algebra and geometry, respectively. We prove these two notions are equivalent for 3-manifold triangulations, through a topological characterization of a polyhedral product for a tight-neighborly manifold triangulation of dimension $\ge 3$.

Local to global machinery plays an important role in the study of simplicial complexes, since the seminal work of Garland [G] to our days. In this work we develop a local to global machinery for general posets. We show that the high dimensional expansion notions and many recent expansion results have a generalization to posets. Examples are fast convergence of high dimensional random walks generalizing [KO,AL], an equivalence with a global random walk definition, generalizing [DDFH] and a trickling down theorem, generalizing [O]. In particular, we show that some posets, such as the Grassmannian poset, exhibit qualitatively stronger trickling down effect than simplicial complexes. Using these methods, and the novel idea of Posetification, to Ramanujan complexes [LSV1,LSV2], we construct a constant degree expanding Grassmannian poset, and analyze its expansion. This it the first construction of such object, whose existence was conjectured in [DDFH].

Let $\mathcal{C}(n,k)$ be the set of $k$-dimensional simplicial complexes $C$ over a fixed set of $n$ vertices such that: (1) $C$ has a complete $k-1$-skeleton; (2) $C$ has precisely ${{n-1}\choose {k}}$ $k$-faces; (3) the homology group $H_{k-1}(C)$ is finite. Consider the probability measure on $\mathcal{C}(n,k)$ where the probability of a simplicial complex $C$ is proportional to $|H_{k-1}(C)|^2$. For any fixed $k$, we determine the local weak limit of these random simplicial complexes as $n$ tends to infinity. This local weak limit turns out to be the same as the local weak limit of the $1$-out $k$-complexes investigated by Linial and Peled.

We study d-dimensional generalizations of three mutually related topics in graph theory: Hamiltonian paths, (unit) interval graphs, and binomial edge ideals. We provide partial high-dimensional generalizations of Ore and Posa's sufficient conditions for a graph to be Hamiltonian. We introduce a hierarchy of combinatorial properties for simplicial complexes that generalize unit-interval, interval, and co-comparability graphs. We connect these properties to the already existing notions of determinantal facet ideals and Hamiltonian paths in simplicial complexes. Some important consequences of our work are: (1) Every almost-closed strongly-connected d-dimensional simplicial complex is traceable. (This extends the well-known result "unit-interval connected graphs are traceable".) (2) Every almost-closed d-complex that remains strongly connected after the deletion of d or less vertices, is Hamiltonian. (This extends the fact that "unit-interval 2-connected graphs are Hamiltonian".) (3) Unit-interval complexes are characterized, among traceable complexes, by the property that the minors defining their determinantal facet ideal form a Groebner basis for a diagonal term order which is compatible with the traceability of the complex. (This corrects a recent theorem by Ene et al., extends a result by Herzog and others, and partially answers a question by Almousa-Vandebogert.) (4) Only the d-skeleton of the simplex has a determinantal facet ideal with linear resolution. (This extends the result by Kiani and Saeedi-Madani that "only the complete graph has a binomial edge ideal with linear resolution".) (5) The determinantal facet ideals of all under-closed and semi-closed complexes have a square-free initial ideal with respect to lex. In characteristic p, they are even F-pure.