arXiv++ Combinatorics

In this paper we study natural reconfiguration spaces associated to the problem of distributing a fixed number of resources to labeled nodes of a tree network, so that no node is left empty. These spaces turn out to be cubical complexes, which can be thought of as higher-dimensional geometric extensions of the combinatorial Stirling problem of partitioning a set of named objects into non-empty labeled parts. As our main result, we prove that these Stirling complexes are always homotopy equivalent to wedges of spheres of the same dimension. Furthermore, we provide several combinatorial formulae to count these spheres. Somewhat surprisingly, the homotopy type of the Stirling complexes turns out to depend only on the number of resources and the number of the labeled nodes, not on the actual structure of the tree network.

In this paper we calculate the homology of configuration spaces of $n$ points on a circle, subject to the condition that two pre-determined points are included in the configuration. We make use of discrete Morse theory both to determine the Betti numbers, as well as to provide an explicit combinatorial description of the bases both for homology and cohomology.

In this paper we consider the generalized anchored configuration spaces on $n$ labeled points on a~graph. These are the spaces of all configurations of $n$ points on a~fixed graph $G$, subject to the condition that at least $q$ vertices in some pre-determined set $K$ of vertices of $G$ are included in each configuration. We give a non-alternating formula for the Euler characteristic of such spaces for arbitrary connected graphs, which are not trees. Furthermore, we completely determine the homology groups of the generalized anchored configuration spaces of $n$ points on a circle graph.

We study several aspects of the $k$-th Cheeger constant of a complex X, a parameter that quantifies the distance of $X$ from a complex $Y$ with nontrivial $k$-th cohomology over $\mathbb{Z}_2$. Our results include general methods for bounding the cosystolic norm of a cochain and for bounding the Cheeger constant of a complex, a discussion of expansion of pseudomanifolds and geometric lattices, probabilistic upper bounds on Cheeger constants, and application of non-Abelian expansion to random complexes.

In this paper we define a family of topological spaces, which contains and vastly generalizes the higher-dimensional Dunce hats. Our definition is purely combinatorial, and is phrased in terms of identifications of boundary simplices of a~standard d-simplex. By virtue of the construction, the obtained spaces may be indexed by words, and they automatically carry the structure of a $Δ$-complex. As our main result, we completely determine the homotopy type of these spaces. In fact, somewhat surprisingly, we are able to prove that each of them is either contractible or homotopy equivalent to an odd-dimensional sphere. We develop the language to determine the homotopy type directly from the combinatorics of the indexing word. As added benefit of our investigation, we are able to emulate the Dunce hat phenomenon, and to obtain a large family of both $Δ$-complexes, as well as simplicial complexes, which are contractible, but not collapsible.

The main result of this paper is to show that all binomial identities are orderable. This is a natural statement in the combinatorial theory of finite sets, which can also be applied in distributed computing to derive new strong bounds on the round complexity of the weak symmetry breaking task. Furthermore, we introduce the notion of a fundamental binomial identity and find an infinite family of values, other than the prime powers, for which no fundamental binomial identity can exist.

This paper is devoted to advancing the theoretical understanding of the iterated immediate snapshot (IIS) complexity of the Weak Symmetry Breaking task (WSB). Our rather unexpected main theorem states that there exist infinitely many values of n, such that WSB for n~processes is solvable by a certain explicitly constructed 3-round IIS protocol. In particular, the minimal number of rounds, which an IIS protocol needs in order to solve the WSB task, does not go to infinity, when the number of processes goes to infinity. Our methods can also be used to generate such values of n. We phrase our proofs in combinatorial language, while avoiding using topology. To this end, we study a~certain class of graphs, which we call flip graphs. These graphs encode adjacency structure in certain subcomplexes of iterated standard chromatic subdivisions of a simplex. While keeping the geometric background in mind for an additional intuition, we develop the structure theory of matchings in flip graphs in a purely combinatorial way. Our bound for the IIS complexity is then a corollary of this general theory. As an afterthought of our result, we suggest to change the overall paradigm. Specifically, we think, that the bounds on the IIS complexity of solving WSB for n processes should be formulated in terms of the size of the solutions of the associated Diophantine equation, rather than in terms of the value n itself.

In this paper we consider a family of simplicial complexes, which we call the view complexes. Our choice of objects of study is motivated by theoretical distributed computing, since the view complex is a key simplicial construction used for protocol complexes in the snapshot computational model. We show that the view complex $\view$ can be collapsed to the well-known complex $χ(Δ^n)$, called standard chromatic subdivision of a simplex, and that $χ(Δ^n)$ is itself collapsible. Furthermore, we show that the collapses can be performed simultaneously in entire orbits of the natural symmetric group action. Our results yield a purely combinatorial and constructive understanding of the topology of view complexes, at the same time as they enhance our knowledge about the standard chromatic subdivision of a simplex.

Motivated by questions in theoretical distributed computing, we develop the combinatorial theory of abstract simplex path subdivisions. Our main application is a short and structural proof of the theorem of Castaneda and Rajsbaum. This theorem in turn implies the solvability of the weak symmetry breaking task in the immediate snapshot wait-free model in the case when the number of processes is not a power of a prime number.

We describe a simple homological test for obstructions to graph colorings. The main idea is to combine the framework of Hom-complexes with the following general fact: an arbitrary Z_2-space has nontrivial homology with Z_2-coefficients in the dimension equal to its Stiefel-Whitney height. Actually, as a result we have a whole family of homology tests, one for each test graph. In general, these tests will give different answers, depending heavily on the choice of the test graph. We illustrate this phenomenon with some examples.

We give a very short self-contained combinatorial proof of the Babson-Kozlov conjecture, by presenting a cochain whose coboundary is the desired power of the characteristic class.

This thesis opens with an introductory discussion, where the reader is gently led to the world of topological combinatorics, and, where the results of this Habilitationsschrift are portrayed against the backdrop of the broader philosophy of the subject. That introduction is followed by 5 chapters, where the main body of research is presented, and 4 appendices, where various standard tools and notations, which we use throughout the text, are collected.

We compute the cohomology groups of the spaces of colorings of cycles, i.e., of the prodsimplicial complexes Hom(C_m,K_n). We perform the computation first with Z_2, and then with integer coefficients. The main technical tool is to use spectral sequences in conjunction with a detailed combinatorial analysis of a family of cubical complexes, which we call torus front complexes. As an application of our method, we demonstrate how to collapse each connected component of Hom(C_m,C_n) onto a garland of cubes.

Combinatorics, in particular graph theory, has a rich history of being a domain of successful applications of tools from other areas of mathematics, including topological methods. Here, we survey the study of the Hom-complexes, and the ways these can be used to obtain lower bounds for the chromatic numbers of graphs, presented in a recent series of papers \cite{BK03a,BK03b,BK03c,CK1,CK2,K4,K5}. The structural theory is developed and put in the historical context, culminating in the proof of the Lovász Conjecture, which can be stated as follows: For a graph G, such that the complex Hom(C_{2r+1},G) is k-connected for some integers r>0 and k>-2, we have χ(G)>k+3. Beyond the, more customary in this area, cohomology groups, the algebro-topological concepts involved are spectral sequences and Stiefel-Whitney characteristic classes. Complete proofs are included for all the new results appearing in this survey for the first time.

In this paper we provide concrete combinatorial formal deformation algorithms, namely sequences of elementary collapses and expansions, which relate various previously extensively studied families of combinatorially defined polyhedral complexes. To start with, we give a sequence of elementary collapses leading from the barycentric subdivision of the neighborhood complex to the Lovász complex of a graph. Then, for an arbitrary lattice ${\mathcal L}$ we describe a formal deformation of the barycentric subdivision of the atom crosscut complex $Γ({\mathcal L})$ to its order complex $Δ(\bar{\mathcal L})$. We proceed by proving that the complex of sets bounded from below ${\mathcal J}({\mathcal L})$ can also be collapsed to $Δ(\bar{\mathcal L})$. Finally, as a pinnacle of our project, we apply all these results to certain graph complexes. Namely, by describing an explicit formal deformation, we prove that, for any graph $G$, the neighborhood complex ${\mathcal N}(G)$ and the polyhedral complex $\text{\tt Hom}(K_2,G)$ have the same simple homotopy type in the sense of Whitehead.

We introduce the notion of nonevasive reduction, and show that for any monotone poset map $φ:P\to P$, the simplicial complex $Δ(P)$ {\tt NE}-reduces to $Δ(Q)$, for any $Q\supseteq{\text{\rm Fix}}φ$. As a corollary, we prove that for any order-preserving map $φ:P\to P$ satisfying $φ(x)\geq x$, for any $x\in P$, the simplicial complex $Δ(P)$ collapses to $Δ(φ(P))$. We also obtain a generalization of Crapo's closure theorem.

The main result of this paper is a proof of the following conjecture of Babson & Kozlov: Theorem. Let G be a graph of maximal valency d, then the complex Hom(G,K_n) is at least (n-d-2)-connected. Here Hom(-,-) denotes the polyhedral complex introduced by Lovász to study the topological lower bounds for chromatic numbers of graphs. We will also prove, as a corollary to the main theorem, that the complex Hom(C_{2r+1},K_n) is (n-4)-connected, for $n\geq 3$.

In this paper we study implications of folds in both parameters of Lovász' Hom(-,-) complexes. There is an important connection between the topological properties of these complexes and lower bounds for chromatic numbers. We give a very short and conceptual proof of the fact that if G-v is a fold of G, then Bd(Hom(G,H)) collapses onto Bd Hom(G-v,H), whereas Hom(H,G) collapses onto Hom(H,G-v). We also give an easy inductive proof of the only nonelementary fact which we use for our arguments: if $φ$ is a closure operator on P, then $Δ(P)$ collapses onto $Δ(φ(P))$.

In this paper we study the homotopy type of $\Hom(C_m,C_n)$, where $C_k$ is the cyclic graph with $k$ vertices. We enumerate connected components of $\Hom(C_m,C_n)$ and show that each such component is either homeomorphic to a point or homotopy equivalent to $S^1$. Moreover, we prove that $\Hom(C_m,L_n)$ is either empty or is homotopy equivalent to the union of two points, where $L_n$ is an $n$-string, i.e., a tree with $n$ vertices and no branching points.

To any two graphs G and H one can associate a cell complex Hom(G,H) by taking all graph multihomorphisms from G to H as cells. In this paper we prove the Lovasz Conjecture which states that if Hom(C_{2r+1},G) is k-connected, then χ(G)\geq k+4, where r,k\in Z, r\geq 1, k\geq -1, and C_{2r+1} denotes the cycle with 2r+1 vertices. The proof requires analysis of the complexes Hom(C_{2r+1},K_n). For even n, the obstructions to graph colorings are provided by the presence of torsion in H^*(Hom(C_{2r+1},K_n);Z). For odd n, the obstructions are expressed as vanishing of certain powers of Stiefel-Whitney characteristic classes of Hom(C_{2r+1},K_n), where the latter are viewed as $\zz$-spaces with the involution induced by the reflection of C_{2r+1}.