arXiv++ Combinatorics

Motivated by potential applications in network theory, engineering and computer science, we study $r$-ample simplicial complexes. These complexes can be viewed as finite approximations to the Rado complex which has a remarkable property of {\it indestructibility,} in the sense that removing any finite number of its simplexes leaves a complex isomorphic to itself. We prove that an $r$-ample simplicial complex is simply connected and $2$-connected for $r$ large. The number $n$ of vertexes of an $r$-ample simplicial complex satisfies $\exp(Ω(\frac{2^r}{\sqrt{r}}))$. We use the probabilistic method to establish the existence of $r$-ample simplicial complexes with $n$ vertexes for any $n>r 2^r 2^{2^r}$. Finally, we introduce the iterated Paley simplicial complexes, which are explicitly constructed $r$-ample simplicial complexes with nearly optimal number of vertexes.

A Rado simplicial complex X is a generalisation of the well-known Rado graph. X is a countable simplicial complex which contains any countable simplicial complex as its induced subcomplex. The Rado simplicial complex is highly symmetric, it is homogeneous: any isomorphism between finite induced subcomplexes can be extended to an isomorphism of the whole complex. We show that the Rado complex X is unique up to isomorphism and suggest several explicit constructions. We also show that a random simplicial complex on countably many vertices is a Rado complex with probability 1. The geometric realisation |X| of a Rado complex is contractible and is homeomorphic to an infinite dimensional simplex. We also prove several other interesting properties of the Rado complex X, for example we show that removing any finite set of simplexes of X gives a complex isomorphic to X.

In 1983 Kalai proved an incredible generalisation of Cayley's formula for the number of trees on a labelled vertex set to a formula for a class of $r$-dimensional simplicial complexes. These simplicial complexes generalise trees by means of being homologically $\Bbb Q$-acyclic. In this text we consider a different generalisation of trees to the class of pure dimensional simplicial complexes that \textit{minimally connect a vertex set} (in the sense that the removal of any top dimensional face disconnects the complex). Our main result provides an upper and lower bound for the number of these minimally connected complexes on a labelled vertex set. We also prove that they are potentially vastly more topologically complex than the generalisation of Kalai. As an application of our bounds we compute the threshold probability for the connectivity of a random simplicial complex.

We describe topology of random simplicial complexes in the lower and upper models in the medial regime, i.e. under the assumption that the probability parameters $p_σ$ approach neither $0$ nor $1$. We show that nontrivial Betti numbers of typical lower and upper random simplicial complexes in the medial regime lie in a narrow range of dimensions. For instance, an upper random simplicial complex $Y$ on $n$ vertices in the medial regime with high probability has non-vanishing Betti numbers $b_{j}(Y)$ only for $k+c <n-j<k+\log_2 k +c'$ where $k=\log_2 \ln n$ and $c, c' $ are constants. A lower random simplicial complex on $n$ vertices in the medial regime is with high probability $(k+a)$-connected and its dimension $d$ satisfies $d\sim k+\log_2 k+ a'$ where $a, \, a'$ are constants. The paper develops a new technique, based on Alexander duality, which relates the lower and upper models.

In this paper we discuss two general models of random simplicial complexes which we call the lower and the upper models. We show that these models are dual to each other with respect to combinatorial Alexander duality. The behaviour of the Betti numbers in the lower model is characterised by the notion of critical dimension, which was introduced by A. Costa and M. Farber: random simplicial complexes in the lower model are homologically approximated by a wedge of spheres of dimension equal the critical dimension. In this paper we study the Betti numbers in the upper model and introduce new notions of critical dimension and spread. We prove that (under certain conditions) an upper random simplicial complex is homologically approximated by a wedge of spheres of the critical dimension.