arXiv++ Combinatorics

Graph classification plays an important role is data mining, and various methods have been developed recently for classifying graphs. In this paper, we propose a novel method for graph classification that is based on homotopy equivalence of graphs. Graphs are called homotopy equivalent if one of them can be converted to the other one by contractible transformations. A basic graph and the complexity of a homotopy equivalence class are defined and investigated. It is shown all graphs belonging to a given homotopy equivalence class have similar topological properties and are represented by a basic graph with the minimal number of points and edges. Diagrams are given of basic graphs with the complexity N<7. The advantage of this classification is that it relies on computer experiments demonstrating a close connection between homotopy equivalent topological spaces and homotopy equivalent graphs.

This is the first in a series of papers devoted to the theory of decomposition spaces, a general framework for incidence algebras and Möbius inversion, where algebraic identities are realised by taking homotopy cardinality of equivalences of $\infty$-groupoids. A decomposition space is a simplicial $\infty$-groupoid satisfying an exactness condition, weaker than the Segal condition, expressed in terms of active and inert maps in Delta. Just as the Segal condition expresses composition, the new condition expresses decomposition, and there is an abundance of examples in combinatorics. After establishing some basic properties of decomposition spaces, the main result of this first paper shows that to any decomposition space there is an associated incidence coalgebra, spanned by the space of 1-simplices, and with coefficients in $\infty$-groupoids. We take a functorial viewpoint throughout, emphasising conservative ULF functors; these induce coalgebra homomorphisms. Reduction procedures in the classical theory of incidence coalgebras are examples of this notion, and many are examples of decalage of decomposition spaces. An interesting class of examples of decomposition spaces beyond Segal spaces is provided by Hall algebras: the Waldhausen S-construction of an abelian (or stable infinity) category is shown to be a decomposition space. Note: The notion of decomposition space was arrived at independently by Dyckerhoff and Kapranov (arXiv:1212.3563) who call them unital 2-Segal spaces. Our theory is quite orthogonal to theirs: the definitions are different in spirit and appearance, and the theories differ in terms of motivation, examples and directions.

This is the second in a trilogy of papers introducing and studying the notion of decomposition space as a general framework for incidence algebras and Möbius inversion, with coefficients in $\infty$-groupoids. A decomposition space is a simplicial $\infty$-groupoid satisfying an exactness condition weaker than the Segal condition. Just as the Segal condition expresses composition, the new condition expresses decomposition. In this paper, we introduce various technical conditions on decomposition spaces. The first is a completeness condition (weaker than Rezk completeness), needed to control simplicial nondegeneracy. For complete decomposition spaces we establish a general Möbius inversion principle, expressed as an explicit equivalence of $\infty$-groupoids. Next we analyse two finiteness conditions on decomposition spaces. The first, that of locally finite length, guarantees the existence of the important length filtration on the associated incidence coalgebra. We show that a decomposition space of locally finite length is actually the left Kan extension of a semi-simplicial space. The second finiteness condition, local finiteness, ensures we can take homotopy cardinality to pass from the level of $\infty$-groupoids to the level of vector spaces. These three conditions - completeness, locally finite length, and local finiteness - together define our notion of Möbius decomposition space, which extends Leroux's notion of Möbius category (in turn a common generalisation of the locally finite posets of Rota et al. and of the finite decomposition monoids of Cartier-Foata), but which also covers many coalgebra constructions which do not arise from Möbius categories, such as the Faà di Bruno and Connes-Kreimer bialgebras. Note: The notion of decomposition space was arrived at independently by Dyckerhoff and Kapranov (arXiv:1212.3563) who call them unital 2-Segal spaces.

Decomposition spaces are simplicial $\infty$-groupoids subject to a certain exactness condition, needed to induce a coalgebra structure on the space of arrows. Conservative ULF functors (CULF) between decomposition spaces induce coalgebra homomorphisms. Suitable added finiteness conditions define the notion of Möbius decomposition space, a far-reaching generalisation of the notion of Möbius category of Leroux. In this paper, we show that the Lawvere-Menni Hopf algebra of Möbius intervals, which contains the universal Möbius function (but is not induced by a Möbius category), can be realised as the homotopy cardinality of a Möbius decomposition space $U$ of all Möbius intervals, and that in a certain sense $U$ is universal for Möbius decomposition spaces and CULF functors.

In this paper we initiate the study of racks from the combined perspective of combinatorics and finite group theory. A rack R is a set with a self-distributive binary operation. We study the combinatorics of the partially ordered set {\cal R}(R) of all subracks of R with inclusion as the order relation. Groups G with the conjugation operation provide an important class of racks. For the case R = G we show that -> the order complex of {\cal R}(R) has the homotopy type of a sphere, -> the isomorphism type of {\cal R}(R) determines if G is abelian, nilpotent, supersolvable, solvable or simple, -> {\cal R}(R) is graded if and only if G is abelian, G = S_3, G = D_8 or G = Q_8. In addition, we provide some examples of subracks R of a group G for which {\cal R}(R) relates to well studied combinatorial structures. In particular, the examples show that the order complex of {\cal R}(R) for general R is more complicated than in the case R = G.

We give a new proof of an old identity of Dixon (1865-1936) that uses tools from topological combinatorics. Dixon's identity is re-established by constructing an infinite family of non-pure simplicial complexes $Δ(n)$, indexed by the positive integers, such that the alternating sum of the numbers of faces of $Δ(n)$ of each dimension is the left-hand side of the identity. We show that $Δ(n)$ is shellable for all $n$. Then, using the fact that a shellable simplicial complex is homotopy equivalent to a wedge of spheres, we compute the Betti numbers of $Δ(n)$ by counting (via a generating function) the number of facets of $Δ(n)$ of each dimension that attach along their entire boundary in the shelling order. In other words, Dixon's identity is re-established by using the Euler-Poincaré relation.

We investigate the ways in which fundamental properties of the weak Bruhat order on a Weyl group can be lifted (or not) to a corresponding highest weight crystal graph, viewed as a partially ordered set; the latter projects to the weak order via the key map. First, a crystal theoretic analogue of the statement that any two reduced expressions for the same Coxeter group element are related by Coxeter moves is proven for all lower intervals in a simply or doubly laced crystal. On the other hand, it is shown that no finite set of moves exists, even in type A, for arbitrary crystal graph intervals. In fact, it is shown that there are relations of arbitrarily high degree amongst crystal operators that are not implied by lower degree relations. Second, for crystals associated to Kac-Moody algebras it is shown for lower intervals that the Mobius function is always 0, 1, or -1, and in finite type this is also proven for upper intervals, with a precise formula given in each case. Moreover, the order complex for each of these intervals is proven to be homotopy equivalent to a ball or to a sphere of some dimension, despite often not being shellable. For general intervals, examples are constructed with arbitrarily large Mobius function, again even in type A. Any interval having Mobius function other than 0, 1, or -1 is shown to contain within it a relation amongst crystal operators that is not implied by the relations giving rise to the local structure of the crystal, making precise a tight relationship between the Mobius function and these somewhat unexpected relations appearing in crystals. New properties of the key map are also derived. The key is shown to be determined entirely by the edge-colored poset-theoretic structure of the crystal, and a recursive algorithm is given for calculating it.

It is proved that fundamental groups of boolean representable simplicial complexes are free and the rank is determined by the number and nature of the connected components of their graph of flats for dimension $\geq 2$. In the case of dimension 2, it is shown that boolean representable simplicial complexes have the homotopy type of a wedge of spheres of dimensions 1 and 2. Also in the case of dimension 2, necessary and sufficient conditions for shellability and being sequentially Cohen-Macaulay are determined. Complexity bounds are provided for all the algorithms involved.

The higher Bruhat order is a poset of cubical tilings of a cyclic zonotope whose covering relations are cubical flips. For a 2-dimensional zonotope, the higher Bruhat order is isomorphic to a poset on commutation classes of reduced words for the longest element of a type A Coxeter system. For this case, we prove that the noncontractible intervals are in natural correspondence with the zonogonal tilings of a zonogon. Our proof uses some tools developed by Felsner and Weil to show that the two standard orderings on the rhombic tilings of a zonogon are identical.

The Hom complex ${\rm Hom}(T,G)$ of graphs is a CW-complex associated to a pair of graphs $T$ and $G$, considered in the graph coloring problem. It is known that certain homotopy invariants of ${\rm Hom}(T,G)$ give lower bounds for the chromatic number of $G$. For a fixed finite graph $T$, we show that there is no homotopy invariant of ${\rm Hom}(T,G)$ which gives an upper bound for the chromatic number of $G$. More precisely, for a non-bipartite graph $G$, we construct a graph $H$ such that ${\rm Hom}(T,G)$ and ${\rm Hom}(T,H)$ are homotopy equivalent but $χ(H)$ is much larger than $χ(G)$. The equivariant homotopy type of ${\rm Hom}(T,G)$ is also considered.

Over the complex numbers, the complement of a collection of hyperplanes is a widely-studied object; the cohomology ring, in particular, is known to have a structure depending only on the combinatorial properties of the intersection of hyperplanes. The fundamental group, on the other hand, requires specific knowledge about the particular embedding in complex space, though the tower of nilpotent quotients can still be determined (see arXiv:math/9805056). Over the quaternions, however, since hyperplane complements are simply connected, the topological properties of hyperplane complements are simultaneously more and less complicated. In this article, we show not only that the cohomology ring of the complement is the same algebra as in the complex case, up to a multiplication of indices by $3$, but that the rational homotopy type can be determined entirely by the cohomology ring.

We show that the independence complex of a chordal graph is contractible if and only if this complex is dismantlable (strong collapsible) and it is homotopy equivalent to a sphere if and only if its core is a cross-polytopal sphere. The proof uses the properties of tree models of chordal graphs.

We investigate the homotopy classes of closed knight's tours on cylinders and tori. Specifically, we characterize the dimensions of cylindrical chessboards that admit closed knight's tours realizing the identity of the fundamental group and those that admit closed tours realizing a generator of the fundamental group. We also produce analogous results for toroidal chessboards.

We prove that for a simplicial complex $K$ whose Taylor resolution for the Stanley-Reisner ring is minimal, the following four conditions are equivalent: (1) $K$ satisfies the strong gcd-condition; (2) $K$ is Golod; (3) the moment-angle complex $\mathcal{Z}_K$ is homotopy equivalent to a wedge of spheres; (4) the decomposition of the suspension of the polyhedral product $\mathcal{Z}_K(C\underline{X},\underline{X})$ due to Bahri, Bendersky, Cohen, and Gitler desuspends.

We construct a Cartesian product G x H for finite simple graphs. It satisfies the Kuenneth formula: H^k(G x H) is a direct sum of tensor products H^i(G) x H^j(G) with i+j=k and so p(G x H,x) = p(G,x) p(H,y) for the Poincare polynomial p(G,x) and X(G x H) = X(G) X(H) for the Euler characteristic X(G)=p(G,-1). G1=G x K1 has as vertices the simplices of G and a natural digraph structure. We show that dim(G1) is larger or equal than dim(G) and G1 is homotopic to G. The Kuenneth identity is proven using Hodge describing the harmonic forms by the product f g of harmonic forms of G and H and uses a discrete de Rham theorem given by a combinatorial chain homotopy between simplicial and de Rham cohomology. We show dim(G x H) = dim(G1) + dim(H1) implying that dim(G x H) is larger or equal than dim(G) + dim(H) as for Hausdorff dimension in the continuum. The chromatic number c(G1) is smaller or equal than c(G) and c(G x H) is bounded above by c(G)+c(H)-1. The automorphism group of G x H contains Aut(G) x Aut(H). If G~H and U~V then (G x U) ~ (H x V) if ~ means homotopic: homotopy classes can be multiplided. If G is k-dimensional geometric meaning that all unit spheres S(x) in G are (k-1)-discrete homotopy spheres, then G1 is k-dimensional geometric. If G is k-dimensional geometric and H is l-dimensional geometric, then G x H is geometric of dimension (l+k). The product extends to a ring of chains which unlike the category of graphs is closed under boundary operation taking quotients G/A with A subset Aut(G). As we can glue graphs or chains, joins or fibre bundles can be defined with the same features as in the continuum, allowing to build isomorphism classes of bundles.

With any (open or closed) cover of a space T we associate certain homotopy classes of maps T into n-spheres. These homotopy invariants can be considered as obstructions for extensions of covers of a subspace A to a space X. We using these obstructions for generalizations of the classic KKM (Knaster-Kuratowski-Mazurkiewicz) and Sperner lemmas. In particular, we show that in the case when A is a k-sphere and X is a (k+1)-disk there exist KKM type lemmas for covers by n+2 sets if and only if the k-homotopy group of n-sphere is not zero.

We consider the poset of vector partitions of $[n]$ into $s$ components, denoted $Π_{n,s}$, which was first defined by Stanley in 1978. In 1986, Sagan showed that this poset is CL-shellable, and hence has the homotopy type of a wedge of spheres of dimension $(n-2)$. We extend on this result to show that $Π_{n,s}$ is edge-lexicographic shellable. We then use this edge-labeling to find a recursive expression for the number of spheres, and show that when $s=1$ the number of spheres is equal to the number of complete non-ambiguous trees, first defined in 2014 by Aval, Boussicault, Bouvel and Silimbani.

In this paper we give a very natural description of the bijections between the minimal CW-complex homotopy equivalent to the complement of a supersolvable arrangement $\mathcal{A}$, the $\textbf{nbc}$ basis of the Orlik-Solomon algebra associated to $\mathcal{A}$ and the set of chambers of $\mathcal{A}$. We use these bijections to get results on the first (co)homology group of the Milnor fiber of $\mathcal{A}$ and to describe a bijection between the symmetric group and the $\textbf{nbc}$ basis of the braid arrangement.

Given a metric space X and a distance threshold r>0, the Vietoris-Rips simplicial complex has as its simplices the finite subsets of X of diameter less than r. A theorem of Jean-Claude Hausmann states that if X is a Riemannian manifold and r is sufficiently small, then the Vietoris-Rips complex is homotopy equivalent to the original manifold. Little is known about the behavior of Vietoris-Rips complexes for larger values of r, even though these complexes arise naturally in applications using persistent homology. We show that as r increases, the Vietoris-Rips complex of the circle obtains the homotopy types of the circle, the 3-sphere, the 5-sphere, the 7-sphere, ..., until finally it is contractible. As our main tool we introduce a directed graph invariant, the winding fraction, which in some sense is dual to the circular chromatic number. Using the winding fraction we classify the homotopy types of the Vietoris-Rips complex of an arbitrary (possibly infinite) subset of the circle, and we study the expected homotopy type of the Vietoris-Rips complex of a uniformly random sample from the circle. Moreover, we show that as the distance parameter increases, the ambient Cech complex of the circle also obtains the homotopy types of the circle, the 3-sphere, the 5-sphere, the 7-sphere, ..., until finally it is contractible.

We present and explore in detail a pair of digital images with $c_u$-adjacencies that are homotopic but not pointed homotopic. For two digital loops $f,g: [0,m]_Z \rightarrow X$ with the same basepoint, we introduce the notion of {\em tight at the basepoint (TAB)} pointed homotopy, which is more restrictive than ordinary pointed homotopy and yields some different results. We present a variant form of the digital fundamental group. Based on what we call {\em eventually constant} loops, this version of the fundamental group is equivalent to that of Boxer (1999), but offers the advantage that eventually constant maps are often easier to work with than the trivial extensions that are key to the development of the fundamental group in Boxer (1999) and many subsequent papers. We show that homotopy equivalent digital images have isomorphic fundamental groups, even when the homotopy equivalence does not preserve the basepoint. This assertion appeared in Boxer (2005), but there was an error in the proof; here, we correct the error.