arXiv++ Combinatorics

This paper introduces the notion of $n$-morphisms between two $A_\infty$-algebras, such that 0-morphisms correspond to standard $A_\infty$-morphisms and 1-morphisms correspond to $A_\infty$-homotopies between $A_\infty$-morphisms. The set of higher morphisms between two $A_\infty$-algebras then defines a simplicial set which has the property of being an algebraic $\infty$-category. The operadic structure of $n-A_\infty$-morphisms is also encoded by new families of polytopes, which we call the $n$-multiplihedra and which generalize the standard multiplihedra. These are constructed from the standard simplices and multiplihedra by lifting the Alexander-Whitney map to the level of simplices. Rich combinatorics arise in this context, as conveniently described in terms of overlapping partitions. Shifting from the $A_\infty$ to the $ΩB As$ framework, we define the analogous notion of $n$-morphisms between $ΩB As$-algebras, which are again encoded by the $n$-multiplihedra, endowed with a refined cell decomposition by stable gauged ribbon tree type. We then realize this higher algebra of $A_\infty$ and $ΩB As$-algebras in Morse theory. Given two Morse functions $f$ and $g$, we construct $n-ΩB As$-morphisms between their respective Morse cochain complexes endowed with their $ΩB As$-algebra structures, by counting perturbed Morse gradient trees associated to an admissible simplex of perturbation data. We moreover show that the simplicial set consisting of higher morphisms defined by a count of perturbed Morse gradient trees is a contractible Kan complex.

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.

Graph complements G(n) of cyclic graphs are circulant, vertex-transitive, claw-free, strongly regular, Hamiltonian graphs with a Z(n) symmetry, Shannon capacity 2 and known Wiener and Harary index. There is an explicit spectral zeta function and tree or forest data. The forest-tree ratio converges to e. The graphs G(n) are Cayley graphs and so Platonic with isomorphic unit spheres G(n-3)^+, complements of path graphs. G(3d+3) are homotop to wedge sums of two d-spheres and G(3d+2),G(3d+4) are homotop to d-spheres, G(3d+1)^+ are contractible, G(3d+2)^+,G(3d+3)^+ are d-spheres. Since disjoint unions are dual to Zykov joins, graph complements of 1-dimensional discrete manifolds G are homotop to a point, a sphere or a wedge sums of spheres. If the length of every connected component of a 1-manifold is not divisible by 3, the graph complement of G is a sphere. In general, the graph complement of a forest is either contractible or a sphere. All induced strict subgraphs of G(n) are either contractible or homotop to spheres. The f-vectors G(n) or G(n)^+ satisfy a hyper Pascal triangle relation, the total number of simplices are hyper Fibonacci numbers. The simplex generating functions are Jacobsthal polynomials, generating functions of k-king configurations on a circular chess board. While the Euler curvature of circle complements G(n) is constant by symmetry, the discrete Gauss-Bonnet curvature of path complements G(n)^+ can be expressed explicitly from the generating functions. There is now a non-trivial 6 periodic Gauss-Bonnet curvature universality in the complement of Barycentric limits. The Brouwer-Lefschetz fixed point theorem produces a 12-periodicity of the Lefschetz numbers of all graph automorphisms of G(n). There is also a 12-periodicity of Wu characteristic. This is a 4 periodicity in dimension.These are manifestations of stable homotopy features, but combinatorial.

We prove Engström's conjecture that the independence complex of graphs with no induced cycle of length divisible by $3$ is either contractible or homotopy equivalent to a sphere. Our result strengthens a result by Zhang and Wu, verifying a conjecture of Kalai and Meshulam which states that the total Betti number of the independence complex of such a graph is at most $1$. A weaker conjecture was proved earlier by Chudnovsky, Scott, Seymour, and Spirkl, who showed that in such a graph, the number of independent sets of even size minus the number of independent sets of odd size has values $0$, $1$, or $-1$.

In this article, we discuss the vertex decomposability of three well-studied simplicial complexes associated to forests. In particular, we show that the bounded degree complex of a forest and the complex of directed trees of a multidiforest are vertex decomposable. We then prove that the non-cover complex of a forest is either contractible or homotopy equivalent to a sphere. Finally, we provide a complete characterization of forests whose non-cover complexes are vertex decomposable.

Let $\mathcal{H}$ be a hypergraph on a finite set $V$. A {\em cover} of $\mathcal{H}$ is a set of vertices that meets all edges of $\mathcal{H}$. If $W$ is not a cover of $\mathcal{H}$, then $W$ is said to be a {\em noncover} of $\mathcal{H}$. The {\em noncover complex} of $\mathcal{H}$ is the abstract simplicial complex whose faces are the noncovers of $\mathcal{H}$. In this paper, we study homological properties of noncover complexes of hypergraphs. In particular, we obtain an upper bound on their Leray numbers. The bound is in terms of hypergraph domination numbers. Also, our proof idea is applied to compute the homotopy type of the noncover complexes of certain uniform hypergraphs, called {\em tight paths} and {\em tight cycles}. This extends to hypergraphs known results on graphs.

Real Bruhat cells give an important and well studied stratification of such spaces as $GL_{n+1}$, $Flag_{n+1} = SL_{n+1}/B$, $SO_{n+1}$ and $Spin_{n+1}$. We study the intersections of a top dimensional cell with another cell (for another basis). Such an intersection is naturally identified with a subset of the lower nilpotent group $Lo_{n+1}^{1}$. We are particularly interested in the homotopy type of such intersections. In this paper we define a stratification of such intersections. As a consequence, we obtain a finite CW complex which is homotopically equivalent to the intersection. We compute the homotopy type for several examples. It turns out that for $n \le 4$ all connected components of such subsets of $Lo_{n+1}^1$ are contractible: we prove this by explicitly constructing the corresponding CW complexes. Conversely, for $n \ge 5$ and the top permutation, there is always a connected component with even Euler characteristic, and therefore not contractible. This follows from formulas for the number of cells per dimension of the corresponding CW complex. For instance, for the top permutation $S_6$, there exists a connected component with Euler characteristic equal to $2$. We also give an example of a permutation in $S_6$ for which there exists a connected component which is homotopically equivalent to the circle $S^1$.

A finite abstract simplicial complex G defines the Barycentric refinement graph phi(G) = (G,{ (a,b), a subset b or b subset a }) and the connection graph psi(G) = (G,{ (a,b), a intersected with b not empty }). We note here that both functors phi and psi from complexes to graphs are invertible on the image (Theorem 1) and that G,phi(G),psi(G) all have the same automorphism group and that the Cartesian product of G corresponding to the Stanley-Reisner product of phi(G) and the strong Shannon product of psi(G), have the product automorphism groups. Second, we see that if G is a Barycentric refinement, then phi(G) and psi(G) are graph homotopic (Theorem 2). Third, if gamma is the geometric realization functor, assigning to a complex or to a graph the geometric realization of its clique complex, then gamma(G) and gamma(phi(G)) and gamma(psi(G)) are all classically homotopic for a Barycentric refined simplicial complex G (Theorem 3). The Barycentric assumption is necessary in Theorem 2 and 3. There is compatibility with Cartesian products of complexes which manifests in the strong graph product of connection graphs: if two graphs A,A' are homotopic and B,B' are homotopic, then A . B is homotopic to A' . B' (Theorem 4) leading to a commutative ring of homotopy classes of graphs. Finally, we note (Theorem 5) that for all simplicial complexes G as well as product G=G_1 x G_2 ... x G_k, the Shannon capacity Theta(psi(G)) of psi(G) is equal to the number m of zero-dimensional sets in G. An explicit Lowasz umbrella in R^m leads to the Lowasz number theta(G) leq m and so Theta(psi(G))=theta(psi(G))=m making Theta compatible with disjoint union addition and strong multiplication.

In this paper we introduce and study the topology of clique complexes of multigraphs without loops. These clique complexes generalize tournaplexes, which were recently introduced by Govc, Levi, and Smith for the topological study of brain functional networks. We study a general construction of edge-inflated simplicial posets, which generalize clique complexes of multigraphs. The poset fiber theorem of Björner, Wachs, and Welker is applied to obtain the homotopy wedge decomposition of an edge-inflated simplicial poset. The homological corollary of this result allows to parallelize the homology computations for edge inflated complexes, in particular, for clique complexes of multigraphs and tournaplexes. We provide functorial versions of some results to be used in computations of persistent homology. Finally, we introduce a general notion of simplex inflations and prove homotopy wedge decompositions for this class of spaces.

We develop a theory of $\times$-homotopy, fundamental groupoids and covering spaces that apply to non-simple graphs, generalizing existing results for simple graphs. We prove that $\times$-homotopies from finite graphs can be decomposed into moves which adjust at most one vertex at a time, generalizing the spider lemma of \cite{CS1}. We define a notion of homotopy covering map and develop a theory of universal covers and deck transformations, generalizing \cites{TardifWroncha, Matsushita} to non-simple graphs. We examine the case of reflexive graphs, where each vertex has at least one loop. We also prove that these homotopy covering maps satisfy a homotopy lifting property for arbitrary graph homomorphisms, generalizing path lifting results of \cites{Matsushita, TardifWroncha}.

We develop the technique of geometric realizations with algebraically independent (over the field of real algebraic numbers) coordinates of vertices and combine it with the oriented volume method inspired by work of McLennan and Tourky on the Sperner's lemma. This enables us to prove new results: the non-draw property of the generalized Y game, the theorem about triangulation of the product of two simplices, multilabeled Ky Fan' s lemma, and give new proofs of known results: the multilabeled version of Sperner's lemma and generalized Atanassov conjecture.

Let $f:G\rightarrow H$ be a homomorphism of groups, we construct a topological space $X_f$ such that its group of homeomorphisms is isomorphic to $G$, its group of homotopy classes of self-homotopy equivalences is isomorphic to $H$ and the natural map between the group of homeomorphisms of $X_f$ and the group of homotopy classes of self-homotopy equivalences of $X_f$ is precisely $f$. In addition, realization problems involving homology, homotopy groups and groups of automorphisms are considered.

We study ordered configuration spaces $C(n;p,q)$ of $n$ hard squares in a $p \times q$ rectangle, a generalization of the well-known "15 Puzzle". Our main interest is in the topology of these spaces. Our first result is to describe a cubical cell complex and prove that is homotopy equivalent to the configuration space. We then focus on determining for which $n$, $j$, $p$, and $q$ the homology group $H_j [ C(n;p,q) ]$ is nontrivial. We prove three homology-vanishing theorems, based on discrete Morse theory on the cell complex. Then we describe several explicit families of nontrivial cycles, and a method for interpolating between parameters to fill in most of the picture for "large-scale" nontrivial homology.

The clique complex of a graph G is a simplicial complex whose simplices are all the cliques of G, and the line graph L(G) of G is a graph whose vertices are the edges of G and the edges of L(G) are incident edges of G. In this article, we determine the homotopy type of the clique complexes of line graphs for several classes of graphs including triangle-free graphs, chordal graphs, complete multipartite graphs, wheel-free graphs, and 4-regular circulant graphs. We also give a closed form formula for the homotopy type of these complexes in several cases.

Chudnovsky, Scott, Seymour and Spirkl recently proved a conjecture by Kalai and Meshulam stating that the reduced Euler characteristic of the independence complex of a graph without induced cycles of length divisible by three is in {-1,0,1}. Gauthier had earlier proved that assuming no cycles of those lengths, induced or not. Kalai and Meshulam also stated a stronger topological conjecture, that the total betti numbers are in {0,1}. Towards that we prove an even stronger statement in the same setting as Gauthier: The independence complexes are either contractible or homotopy equivalent to spheres. We conjecture that it also holds in the general setting.

For a discrete poset $\mathcal X$, McCord proved that the natural map $|{\mathcal X}|\to {\mathcal X}$, from the order complex to the poset with the Up topology, is a weak homotopy equivalence. Much later, uZivaljević defined the notion of order complex for a topological poset. For a large class of such topological posets we prove the analog of McCord's theorem, namely that the natural map from the order complex to the topological poset with the Up topology is a weak homotopy equivalence. An example is the Grassmann poset of proper non-zero linear subspaces of $\R^{n+1}$. Here, Vassiliev had computed the homotopy type of the order complex. Our theorem allows us to transfer that information (up to weak homotopy type) to the Grassmann poset itself with the Up topology.

We investigate strictly developable simple complexes of groups with arbitrary local groups, or equivalently, group actions admitting a strict fundamental domain. We introduce a new method for computing the cohomology of such groups. We also generalise Bestvina's construction to obtain a polyhedral complex equivariantly homotopy equivalent to the standard development of the lowest possible dimension. As applications, for a group acting chamber transitively on a building of type $(W,S)$, we show that its Bredon cohomological dimension is equal to the virtual cohomological dimension of $W$ and give a realisation of the building of the lowest possible dimension. We introduce the notion of a reflection-like action, and use it to give a new family of counterexamples to the strong form of Brown's conjecture on the equality of virtual cohomological dimension and Bredon cohomological dimension for proper actions. We show that the fundamental group $G$ of a simple complex of groups acts on a tree with stabilisers generating a family of subgroups $\mathcal{F}$ if and only if its Bredon cohomological dimension with respect to $\mathcal{F}$ is at most one. This confirms a folklore conjecture under the assumption that a model for the classifying space $E_{\mathcal{F}}G$ of $G$ for the family $\mathcal{F}$ has a strict fundamental domain. In order to handle complexes of groups arising from arbitrary group actions, we define a number of combinatorial invariants such as the block poset, which may be of independent interest. We also derive a general formula for Bredon cohomological dimension for a group $G$ admitting a cocompact model for $E_{\mathcal{F}}G$. As a consequence of both, we obtain a simple formula for proper cohomological dimension of $\mathrm{CAT}(0)$ groups whose actions admit a strict fundamental domain.

Ceballos and Pons generalized weak order on permutations to a partial order on certain labeled trees, thereby introducing a new class of lattices called $s$-weak order. They also generalized the Tamari lattice by defining a particular sublattice of $s$-weak order called the $s$-Tamari lattice. We prove that the homotopy type of each open interval in $s$-weak order and in the $s$-Tamari lattice is either a ball or sphere. We do this by giving $s$-weak order and the $s$-Tamari lattice a type of edge labeling known as an SB-labeling. We characterize which intervals are homotopy equivalent to spheres and which are homotopy equivalent to balls; we also determine the dimension of the spheres for the intervals yielding spheres.

We introduce the $\mathcal{T}$-construction, an endofunctor on the category of generalized operads as a general mechanism by which various notions of plethystic substitution arise from more ordinary notions of substitution. In the special case of one-object unary operads, i.e. monoids, we recover the $T$-construction of Giraudo. We realize several kinds of plethysm as convolution products arising from the homotopy cardinality of the incidence bialgebra of the bar construction of various operads obtained from the $\mathcal{T}$-construction. The bar constructions are simplicial groupoids, and in the special case of the terminal reduced operad $\mathsf{Sym}$, we recover the simplicial groupoid of arXiv:1804.09462, a combinatorial model for ordinary plethysm in the sense of Pólya, given in the spirit of Waldhausen $S$ and Quillen $Q$ constructions. In some of the cases of the $\mathcal{T}$-construction, an analogous interpretation is possible.

We show that any set of distinct homotopy classes of simple closed curves on the torus that pairwise intersect at most $k$ times has size $k + O(\sqrt{k} \log k)$. Prior to this work, a lemma of Agol, together with the state of the art bounds for the size of prime gaps, implied the error term $O(k^{21/40})$, and in fact the assumption of the Riemann hypothesis improved this error term to the one we obtain $O(\sqrt{k} \log k)$. By contrast, our methods are elementary, combinatorial, and geometric.