Abstract
The paper surveys recent progress in understanding geometric, topological and combinatorial properties of large simplicial complexes, focusing mainly on ampleness, connectivity and universality (Even-Zohar et al. in Eur J Math 8(1):1–32, 2022; Farber and Mead in Topol Appl 272(22):107065, 2020; Farber et al. in J Appl Comput Topol 5(2):339–356, 2021). In the first part of the paper we concentrate on r-ample simplicial complexes which are high dimensional analogues of the r-e.c. graphs introduced originally by Erdős and Rényi (Acta Math Acad Sci Hungar 14:295–315, 1963), see also Bonato (Contrib Discrete Math 4(1):40–53, 2009). The class of r-ample complexes is useful for applications since these complexes allow extensions of subcomplexes of certain type in all possible ways; besides, r-ample complexes exhibit remarkable robustness properties. We discuss results about the existence of r-ample complexes and describe their probabilistic and deterministic constructions. The properties of random simplicial complexes in medial regime (Farber and Mead 2020) are important for this discussion since these complexes are ample, in certain range. We prove that the topological complexity of a random simplicial complex in the medial regime satisfies \(\textsf{TC}(X)\le 4\), with probability tending to 1 as \(n\rightarrow \infty \). There exists a unique (up to isomorphism) \(\infty \)-ample complex on countable set of vertexes (the Rado complex), and the second part of the paper surveys the results about universality, homogeneity, indestructibility and other important properties of this complex. The Appendix written by J.A. Barmak discusses connectivity of conic and ample complexes.
Similar content being viewed by others
Avoid common mistakes on your manuscript.
1 Introduction
Network science uses large simplicial complexes for modelling complex networks consisting of an enormous number of interacting objects. The pairwise interactions can be modelled by a graph, but the higher order interactions between the objects require the language of simplicial complexes, see Battiston (2020).
In this survey article we discuss r-ample simplicial complexes representing “stable and resilient” networks, in the sense that small alterations of the network have limited impact on its global properties (such as connectivity and high connectivity). We also discuss a remarkable simplicial complex X (the Rado complex) which is “totally indestructible” in the following sense: removing any finite number of simplexes of X leaves a simplicial complex isomorphic to X. The complex X has infinite (countable) number of vertexes and cannot be practically implemented. The r-ample simplicial complexes can be viewed as finite approximations to the Rado complex, they retain a limited degree of indestructibility. The formal definition of r-ampleness requires the existence of all possible extensions of simplicial subcomplexes of size at most r.
A related mathematical object is the medial regime random simplicial complex (Farber and Mead 2020), which is r-ample with probability tending to one. Informally, the Rado complex can be viewed as a limit of the random simplicial complex in the medial regime. The geometric realisation of the Rado complex is homeomorphic to the infinite dimensional simplex and hence it is contractible. It was proven in Farber and Mead (2020) that the medial regime random simplicial complex is simply connected and has vanishing Betti numbers in dimensions below \(\log _2 \log _2 n\), where n is the number of vertexes. For these reason one expects that any r-ample simplicial complexes is highly connected, for large r. This question is discussed below in Sect. 6 and in the “Appendix”.
Analogues of the ampleness property of Even-Zohar et al. (2022) have been studied in literature for graphs, hypergraphs, tournaments, and other structures, in combinatorics and in mathematical logic, and a variety of terms have been used: r-existentially completeness, r-existentially closeness, r-e.c. for short, (see Cherlin 1992; Bonato 2009) and also the Adjacency Axiom r (see Blass and Harary 1979; Blass et al. 1981), an extension property (Fagin 1976), property P(r) (Bollobas 2001). This property intuitively means that you can get anything you want, for this reason it is also referred to as the Alice’s Restaurant Axiom (Spencer 1993; Winkler 1993).
The main theme of this paper is universality and its relation to randomness, in the realm of simplicial complexes. Speaking about universality one should certainly mention the Urysohn metric space \({{\mathcal {U}}}\), a remarkable mathematical object constructed by P.S. Urysohn in 1920’s. The space \({{\mathcal {U}}}\) is universal in the sense that it contains an isometric copy of any complete, separable metric space. Additionally, the Urysohn space \({{\mathcal {U}}}\) is homogeneous in the sense that any partial isometry between its finite subsets can be extended to a global isometry. The properties of universality and homogeneity determine \({{\mathcal {U}}}\) uniquely up to isometry. Vershik (2004) defines the notion of a random metric space and proves that such space with probability 1 is isomorphic to the Urysohn universal metric space.
The Rado graph \(\Gamma \) is another notable mathematical object, which can also be characterised by its universality and homogeneity, see Cameron (1997, 2001). The graph \(\Gamma \) has countably many vertexes, and it is universal in the sense that any graph with countably many vertexes is isomorphic to an induced subgraph of \(\Gamma \). Moreover, any isomorphism between finite induced subgraphs of \(\Gamma \) can be extended to the whole of \(\Gamma \) (homogeneity). The properties of universality and homogeneity determine \(\Gamma \) uniquely up to isomorphism. Erdős and Rényi (1963) showed that a random graph on countably many vertexes is isomorphic to \(\Gamma \) with probability 1; this result explains why \(\Gamma \) is sometimes called “the random graph”. Rado (1964) suggested a deterministic construction of \(\Gamma \) in which the vertexes \(V(\Gamma )\) are labelled by integers \({{\mathbb {N}}}\) and a pair of vertexes labelled by \(m<n\) are connected by an edge iff the m-th digit in the binary expansion of n is 1. This same graph construction implicitly appeared in an earlier paper by Ackermann (1937), who studied the consistence of the axioms of set theory.
The Rado simplicial complex X introduced in Farber et al. (2021) can also be characterised by universality and homogeneity and we also know that a random simplicial complex on countably many vertexes (in a certain regime) is isomorphic to X with probability 1. One observes several curious properties of X, for example if the set of vertexes of X is partitioned into finitely many parts, the simplicial complex induced on at least one of these parts is isomorphic to X. The link of any simplex of X is isomorphic to X. One of the key properties of X is its indescructibility: removing any finite set of simplexes leaves a simplicial complex isomorphic to X.
The main source for the present survey are the papers (Even-Zohar et al. 2022; Farber and Mead 2020; Farber et al. 2021, 2022). Next we comment on the other related publications.
Theorem 3 of Rado (1964) suggests a construction of a universal uniform hypergraph of a fixed dimension \(\ell \). Equivalently, uniform hypergraphs can be understood as simplicial complexes of a fixed dimension \(\ell \) having complete \((\ell -1)\)-dimensional skeleta.
In (Blass and Harary 1979) Blass and Harary study the 0-1 law for the first order language of simplicial complexes of fixed dimension \(\ell \) with respect to the counting probability measure. They show that a typical \(\ell \)-dimensional simplicial complex has a full \((\ell -1)\)-skeleton. In Blass and Harary (1979), the authors introduce “Axiom n”, which generalises the characteristic property of the Rado graph; it is a special case of our notion of ampleness.
The preprint Brooke-Taylor and Testa (2013) applies the methods of mathematical logic and model theory to study the geometry of simplicial complexes. A well-known general construction of model theory is the Fraïssé limit for a class of relational structures possessing certain amalgamation properties, see Hodges (1993). The Fraïssé limit construction, when applied to the class of all finite simplicial complexes, produces a simplicial complex F on countably many vertexes which is universal and homogeneous, i.e. it is a Rado complex. Therefore, the approach of Brooke-Taylor and Testa (2013) offers an interesting different viewpoint on the Rado complex. In Brooke-Taylor and Testa (2013) the authors study the group of automorphisms of F and state that any direct limit of finite groups and any metrisable profinite group embeds into the group of automorphisms of F. Besides, Brooke-Taylor and Testa contains a proof that the geometric realisation of F is homeomorphic to an infinite-dimensional simplex. The authors of Brooke-Taylor and Testa (2013) also consider a probabilistic approach and claim the 0-1 law for first order theories.
2 Ample simplicial complexes
We use the following notations. The symbol V(X) denotes the set of vertices of a simplicial complex X. If \(U\subseteq V(X)\) is a subset we denote by \(X_U\) the induced subcomplex on U, i.e., \(V(X_U)=U\) and a set of points of U forms a simplex in \(X_U\) if and only if it is a simplex in X.
An embedding of a simplicial complex A into X is an isomorphism between A and an induced subcomplex of X.
The join of simplicial complexes X and Y is denoted \(X *Y\); recall that the set of vertexes of the join is \(V(X)\sqcup V(Y)\) and the simplexes of the join are simplexes of the complexes X and Y as well as simplexes of the form \(\sigma \tau =\sigma *\tau \) where \(\sigma \) is a simplex in X and \(\tau \) is a simplex in Y. The simplex \(\sigma \tau =\sigma *\tau \) has as its vertex set the union of vertexes of \(\sigma \) and of \(\tau \). The symbol CX stands for the cone over X. For a vertex \(v\in V(X)\) the symbol \(\mathrm{{Lk}}_X(v)\) denotes the link of v in X, i.e., the subcomplex of X formed by all simplexes \(\sigma \) which do not contain v but such that \(\sigma v=\sigma *v\) is a simplex of X.
Besides, the symbol F(X) denotes the set of all simplexes of X and E(X) denotes the set of all external simplexes of X, i.e. such that \(\sigma \notin X\) and \(\partial \sigma \subset X\).
The following definition was introduced in Even-Zohar et al. (2022):
Definition 2.1
Let \(r\ge 1\) be an integer. A nonempty simplicial complex X is said to be r-ample if for each subset \(U\subseteq V(X)\) with \(|U|\le r\) and for each subcomplex \(A\subseteq X_U\) there exists a vertex \(v\in V(X) - U\) such that
We say that X is ample or \(\infty \)-ample if it is r-ample for every \(r\ge 1\).
The condition (1) can equivalently be expressed as \(X_{U\cup \{v\}} \;=\; X_U \cup (v*A). \) This is illustrated by Fig. 1.
It is clear that r-ampleness depends only on the r-dimensional skeleton.
Here is an alternative characterisation of r-ampleness, see Lemma 2.3 in Even-Zohar et al. (2022):
Lemma 2.2
A simplicial complex X is r-ample if and only if for every pair (A, B) consisting of a simplicial complex A and an induced subcomplex B of A, satisfying \(|V(A)|\le r+1\), and for every embedding \(f_B\) of B into X, there exists an embedding \(f_A\) of A into X extending \(f_B\).
A 2-ample complex is obviously connected, and the example below shows that a 2-ample complex may not be simply connected.
Example 2.3
Consider a 2-dimensional simplicial complex X having 13 vertexes labelled by integers \(0, 1, 2, \dots , 12\). A pair of vertexes i and j is connected by an edge iff the difference \(i-j\) is a square modulo 13, i.e. if \(i-j \equiv \pm 1, \pm 3, \pm 4 \mod 13.\) The 1-skeleton of X is a well-known Paley graph of order 13. Next we add 13 triangles \(i, i+1, i+4, \) where \(i=0, 1, \dots , 12.\) We claim that the obtained complex X is 2-ample. The verification amounts to the following: for any two vertices, there exists other ones adjacent to both, to neither, only to one, and only to the other. Moreover, any edge lies both on a single filled and unfilled triangles. Indeed, an edge \(i, i+1\) lies in the triangle \(i, i+1, i+4\) (filled) as well as in the triangle \(i-3, i, i+1\) (unfilled). Informally, the filled triangles can be characterised by the identity \(1+3=4\) and the unfilled by \(3+1=4\).
We note that X can be obtained from the triangulated torus with 13 vertexes, 39 edges and 26 triangles by removing 13 triangles of type \(i, i+3, i+4\). From this description it is obvious that X collapses onto a graph and calculating the Euler characteristic we find \(b_0(X)=1,\) \(b_1(X)= 14\) and \(b_2(X)=0\). Thus, we see that X is not simply connected.
Remark 2.4
The link of a vertex in an r-ample simplicial complex is \((r-1)\)-ample. More generally, the link of every k-dimensional simplex in an r-ample complex is \((r-k-1)\)-ample. We refer to Proposition 2.8 of Even-Zohar et al. (2022) for the proof.
Example 2.5
Barmak (2022) constructed for every \(n\ge 0\) an infinite \((2n+1)\)-ample simplicial complex which is not n-connected. In particular, this shows that a 3-ample complex can be not simply connected. It would be interesting to have a finite example of this kind.
Recall that a topological space is said to be n-connected if its homotopy groups vanish in all dimensions \(i\le n\).
The construction of Barmak (2022) starts with the complex \(K_0=S^0*S^0*\dots *S^0\), the join of \(n+1\) copies of \(S^0\). Clearly \(K_0\) has \(2n+2\) vertices and is homeomorphic to the n-dimensional sphere \(S^n\). For each \(i\ge 0\), the complex \(K_{i+1}\) is obtained from \(K_i\) by attaching a cone over every subcomplex \(L\subset K\) with at most \(2n+1\) vertexes. The complex \(K=\cup _{i\ge 0} K_i\) is obviously \((2n+1)\)-ample. The proof that K is not n-connected is based on considering the fundamental class \([K_0]\in H_n(K_0)\) and observing that its image under the homomorphism \(H_n(K_0)\rightarrow H_n(K)\) is nonzero. Details can be found in Barmak (2022, Theorem 1).
From Lemma 2.2 it follows that an r-ample complex X satisfies: (a) any simplicial complex on at most \(r+1\) vertexes can be embedded into X and (b) \(\dim X\ge r\).
An r-ample complex must be fairly large. To make this statement precise we shall denote by \(M'(r)\) the number of simplicial complexes with vertexes from the set \(\{1, 2, \dots , r\}\). The number \(M'(r)+1=M(r)\) is known as the Dedekind number, see Kleitman and Markowsky (1975), it equals the number of monotone Boolean functions of r variables and has some other combinatorial interpretations, for example, it equals the number of antichains in the set of r elements. A few first values of “the reduced Dedekind number” \(M'(r)\) are \(M'(1)=2\), \(M'(2)=5\), \(M'(3)=19\). For general r, the number \(M'(r)\) admits estimates
The lower bound in (2) is easy: one counts only the simplicial complexes having the full \(\lfloor r/2 \rfloor \) skeleton; the upper bound in (2) has been obtained in Kleitman and Markowsky (1975). Using the Stirling formula one obtains
Corollary 2.6
An r-ample simplicial complex contains at least
vertexes.
Proof
Let X be an r-ample complex. We can embed into X an \((r-1)\)-dimensional simplex \(\Delta \) having r vertexes. Applying Definition 2.1, for every subcomplex A of \(\Delta \) we can find a vertex \(v_A\) in the complement of \(\Delta \) having A as its link intersected with \(\Delta \). The number of subcomplexes A is \(M'(r)\) and we also have r vertexes of \(\Delta \) which gives the estimate. \(\square \)
3 Existence of ample complexes
Theorem 3.1
For every \(r\ge 5\) and for every \(n\ge r2^r2^{2^r}\) there exists an r-ample simplicial complex having exactly n vertexes.
This was proven in §5 of Even-Zohar et al. (2022) using the probabilistic method. We briefly indicate below the main steps of the proof.
Consider a random subcomplex X of the standard simplex \(\Delta _n\) on the vertex set \(\{1, 2, \dots , n\}\) with the following probability function: the probability of a simplicial complex X equals
is the sum of the total number |F(X)| of simplexes of X and the number |E(X)| of external simplexes of X. Recall that an external simplex \(\sigma \) is such that \(\sigma \notin X\) but \(\partial \sigma \subset X\). Formula (4) is a special case of the medial regime assumption, compare formula (3) in Farber and Mead (2020), which reduces to (4) when
for all simplexes \(\sigma \in \Delta _n\). In other words, it is a special case of the multi-parameter model of random simplicial complexes when each simplex is selected with probability 1/2. The arguments of the proof of Proposition 5.1 in Even-Zohar et al. (2022) show that the probability that a random subcomplex \(X\subset \Delta _n\) is not r-ample is bounded above by
One can show that for \(n\ge r2^r2^{2^r}\) the number (6) is smaller than one implying the existence of r-ample simplicial complexes.
Theorem 3.2
For any fixed \(r\ge 1\), a random simplicial complex on n vertexes with respect to the measure (4) is r-ample with probability tending to 1 as \(n\rightarrow \infty \).
This is a consequence of the estimate (6) since for any fixed r the expression (6) tends to 0 when \(n\rightarrow \infty \).
4 Paley type construction of ample complexes
This section briefly describes an explicit construction of ample complexes (Even-Zohar et al. 2022) which generalises the well-known construction of Paley graphs.
Fix an odd prime power n, an odd prime p that divides \(n-1\), and a primitive element g in the finite field \({\mathbb {F}}_n\). The subset \( Q_{n,p}\subset {\mathbb {F}}_n\) is defined as follows
Note that \(H = \langle g^p \rangle \subset {\mathbb {F}}_n^{\times } = \langle g \rangle \) is a multiplicative subgroup of index p, since \(p|(n-1)\), and there is a group isomorphism \({\mathbb {F}}_n^{\times }/H \rightarrow ({\mathbb {F}}_p,+)\) taking \(g H \mapsto 1\). The set \(Q_{n,p}\) is the union of H-cosets that correspond to quadratic residues mod p, it contains about half of the elements of the field, more precisely
Definition 4.1
The Iterated Paley Simplicial Complex \(X_{n,p}\) has \({\mathbb {F}}_n\) as its vertex set and a non-empty subset \(\{x_1, x_2, \dots , x_t\}\subset {\mathbb {F}}_n\) forms a simplex if for every subset \(\{x_{s_1}, x_{s_2}, \dots , x_{s_k}\} \subseteq \{x_1, x_2, \dots , x_t\}\) one has
Note that \((-1)=g^{(n-1)/2}\), and \((n-1)/2\equiv 0 \bmod p\) since p is odd, hence \((-1)\in H = \langle g^p \rangle \). Therefore, the condition in the definition of \(X_{n,p}\) does not depend on the order of the vertices \(x_1, x_2, \dots , x_t\). Note also that all n singletons \(\{x\}\) are hyperedges, because \(1 = g^0 \in Q_{n,p}\).
The definitions of \(Q_{n,p}\) and hence of \(X_{n,p}\) depend on the choice of primitive element \(g \in {\mathbb {F}}_n\). Any other primitive element \(h = g^\alpha \in {\mathbb {F}}_n\) gives the same construction if \(\alpha \) is a quadratic residue mod p, and a different one if not. The two constructions are not isomorphic in general. The result below applies to either choice.
Theorem 4.2
Let \(r \in {\mathbb {N}}\). Every Iterated Paley Simplicial Complex \(X_{n,p}\) with \(p>2^{2^r+2r}\) and \(n>r^2p^{2r}\) is r-ample.
We refer to Even-Zohar et al. (2022) for the proof and further remarks.
Note that the probabilistic construction of Theorem 3.1 generate ample complexes with a smaller number of vertexes compared to Theorem 4.2.
5 Resilience of ample complexes
§3 of Even-Zohar et al. (2022) contains results characterising “ resilience” of r-ample simplicial complexes: small perturbations to the complex reduce its ampleness in a controlled way and hence many important geometric properties pertain.
The perturbations we have in mind are as follows. If X is a simplicial complex and \({\mathcal {F}}\) is a finite set of simplexes of X, one may consider the simplicial complex Y obtained from X by removing all simplexes of \({\mathcal {F}}\) as well as all simplexes which have faces belonging to \({\mathcal {F}}\). We shall say that Y is obtained from X by removing the set of simplexes \({\mathcal {F}}\).
We shall characterise the size of \({\mathcal {F}}\) by two numbers: \(|{\mathcal {F}}|\) (the cardinality of \({\mathcal {F}}\)) and \( \dim ({\mathcal {F}})=\sum _{\sigma \in {\mathcal {F}}} \dim \sigma \) (“the total dimension” of \({\mathcal {F}}\)).
Theorem 5.1
Let X be an r-ample simplicial complex and let Y be obtained from X by removing a set \({\mathcal {F}}\) of simplexes. Then Y is \((r-k)\)-ample provided that
In particular, taking into account (2), the complex Y is \((r-k)\)-ample if
To illustrate this general result suppose that X is r-ample where \(r\ge 3\) and Y is obtained from X by removing a set of \(a_0\) vertexes and \(a_1\) edges. The complex Y will be connected provided it is 2-ample. Applying Theorem 5.1 with \(k=r-2\) we see that the inequality
guaranties the 2-ampleness and hence the connectivity of Y. The following more explicit inequality
implies (9) as follows from (2).
Proof of Theorem 5.1
Without loss of generality we may assume that \({\mathcal {F}}\) forms an anti-chain, i.e. no simplex of \({\mathcal {F}}\) is a proper face of another simplex of \({\mathcal {F}}\). Indeed, if \(\sigma _1\subset \sigma _2\), where \(\sigma _1, \sigma _2\in {\mathcal {F}}\), we can remove \(\sigma _2\) from \({\mathcal {F}}\) without affecting the complex Y.
Consider a vertex \(v\in V(Y)\) and its links \(\mathrm{{Lk}}_Y(v)\subset \mathrm{{Lk}}_X(v)\) in Y and in X, correspondingly. Denote by \({\mathcal {F}}_v\) the set of simplexes \(\sigma \subset \mathrm{{Lk}}_X(v)\) such that either \(\sigma \in {\mathcal {F}}\) or \(v\sigma \in {\mathcal {F}}\). As follows directly from the definitions, \(\mathrm{{Lk}}_Y(v)\) is obtained from \(\mathrm{{Lk}}_X(v)\) by removing the set of simplexes \({\mathcal {F}}_v\).
Represent \({\mathcal {F}}\) as the disjoint union
where \({\mathcal {F}}_0\) is the set of zero-dimensional simplexes from \({\mathcal {F}}\) and \({\mathcal {F}}_{1}\) is the set of simplexes in \({\mathcal {F}}\) having dimension \(\ge 1\). Denote by
the sets of zero-dimensional simplexes and the set of vertexes of simplexes of positive dimension in \({\mathcal {F}}\). Here \(V(\sigma )\) denotes the set of vertexes of a simplex \(\sigma \). Note that \(W_0\cap W_1=\emptyset \) due to our anti-chain assumption. Besides, \(V(Y)=V(X)-W_0\) and therefore \(W_1\subset V(Y)\).
Let \(U\subset V(Y)\) be a subset and let \(v\in V(Y)\) be a vertex such that: (a) \(v\notin W_1\) and (b) the set \(\mathrm{{Lk}}_X(v)\cap X_U\) is a subcomplex of \(Y_U\). Then
Indeed, we have \(\mathrm{{Lk}}_X(v)\cap Y_U =\mathrm{{Lk}}_Y(v)\cap Y_U\) because of our assumption (a) and \(\mathrm{{Lk}}_X(v)\cap Y_U = \mathrm{{Lk}}_X(v)\cap X_U\) because of (b).
Let k be an integer satisfying (7) and let \(U\subset V(Y)\) be a subset with \(|U|\le r-k\). Given a subcomplex \(A\subset Y_{U}\), we want to show the existence of a vertex \(v\in V(Y)-U\) such that
This would mean that our complex Y is \((r-k)\)-ample.
Consider the induced subcomplex \(X_{U}\) which obviously contains A as a subcomplex. Consider also the abstract simplicial complex
where \(\Delta \) is an abstract full simplex on k vertexes. Note that K has at most r vertexes, \(X_{U}\) is an induced subcomplex of K and it is naturally embedded into X. Using the assumption that X is r-ample and applying Lemma 2.2, we can find an embedding of K into X extending the identity map of \(X_{U}\). In other words, we can find k vertexes \(v_1, \dots , v_k\in V(X)-U\) such that for a simplex \(\tau \) of \(X_{U}\) and for any subset
one has \(\tau \tau ' \in X\) if and only if \(\tau \in A\). If one of these vertexes \(v_i\) lies in \(V(Y)-W_1\) then (using (11))
and we are done. Thus, without loss of generality, we can assume that
Let \(Z\subset \Delta \) be an arbitrary simplicial subcomplex. We may use the r-ampleness of X and apply Definition 2.1 to the subcomplex \(A\sqcup Z\) of \(X_{U\cup U'}\). This gives a vertex \(v_Z\in V(X)-(U\cup U')\) satisfying
and in particular,
For distinct subcomplexes \(Z, Z'\subset \Delta \) the points \(v_Z\) and \(v_{Z'}\) are distinct and the cardinality of the set \(\{v_Z; Z\subset \Delta \}\) equals \(M'(k)\). Noting that (14) is a subcomplex of \(Y_U\subset X_U\) and comparing (11), (12), (14), we see that our statement would follow once we know that the vertex \(v_Z\) lies in \(V(Y) -W_1\) at least for one subcomplex Z.
Let us assume the contrary, i.e. \(v_Z \in (W_0\cup W_1) - U'\) for every subcomplex \(Z\subset \Delta \). The cardinality of the set \(\{v_Z\}\) equals \(M'(k)\) and the cardinality of the set \((W_0\cup W_1) - U'\) equals \(|{\mathcal {F}}|+\dim {\mathcal {F}} - k\) and we get a contradiction with our assumption (7).
This completes the proof. \(\square \)
6 Connectivity of ample complexes
We observed above that 2-ample complex is connected and 3-ample complex may be not simply connected. However a 4-ample complex must be simply connected:
Proposition 6.1
For \(r\ge 4\), any r-ample simplicial complex Y is simply connected. Moreover, any simplical loop \(\alpha : S^1\rightarrow Y\) with n vertexes in an r-ample complex Y bounds a simplicial disc \(\beta : D^2\rightarrow Y\) where \(D^2\) is a triangulation of the disc having n boundary vertexes, at most \(\lceil \frac{n-3}{r-3}\rceil \) internal vertexes and at most \(\lceil \frac{n-3}{r-3}\rceil \cdot (r-1)+1\) triangles.
Proof
If \(n\le r\) we may simply apply the definition of r-ampleness and find an extension \(\beta : D^2\rightarrow Y\) with a single internal vertex. If \(n>r\) we may apply the definition of r-ampleness to any arc consisting of r vertexes, see Fig. 2. This reduces the length of the loop by \(r-3\) and performing \(\lceil \frac{n-r}{r-3}\rceil \) such operations we obtain a loop of length \(\le r\) which can be filled by a single vertex. The number of internal vertexes of the bounding disc will be \(\lceil \frac{n-r}{r-3}\rceil +1= \lceil \frac{n-3}{r-3}\rceil .\) To estimate the number of triangles we note that on each intermediate step of the process described above we add \(r-1\) triangles and on the final step we may add at most r triangles. This leads to the upper bound \(\lceil \frac{n-r}{r-3}\rceil \cdot (r-1) +r= \lceil \frac{n-3}{r-3}\rceil \cdot (r-1)+1\). \(\square \)
Next we state a general result about connectivity of ample complexes:
Theorem 6.2
An r-ample complex is \((\lfloor \frac{r}{2}\rfloor -1)\)-connected.
This follows from Theorem 6.4 proven by J. A. Barmak, see the “Appendix”.
In paper (Barmak 2022) J.A. Barmak introduced the notion of conic simplicial complex. The class of conic complexes includes the class of ample complexes and is more convenient for studying questions about connectivity.
Definition 6.3
For an integer \(r\ge 0\), a simplicial complex K is said to be r-conic if every subcomplex \(L\subset K\) with at most r vertexes is contained in the closed star \(\mathrm{{St}}_K(v)\) of a vertex \(v\in K\).
Note that the notions of 0-conicity and 1-conicity are equivalent to the complex K to be non-empty.
Theorem 6.4
(J.A. Barmak) For \(r\ge 2\) any r-conic simplicial complex is \((\lfloor r/2\rfloor -1)\)-connected.
Example 6.5
Consider the \((r+1)\)-fold simplicial join \(S^0*S^0*\dots *S^0\) which is homeomorphic to the sphere \(S^{r}\) and is obviously \((2r+1)\)-conic. This example shows that in general \((2r+1)\)-conicity does not imply r-connectivity. In other words, the statement of Theorem 6.4 is sharp.
7 Random simplicial complexes in the medial regime
In Sect. 3 we briefly mentioned a special class of random simplicial complexes in the medial regime which were studied in Farber and Mead (2020). These are random subcomplexes of the standard simplex \(\Delta _n\) with probability measure (4). We are interested in asymptotic properties of these complexes as \(n\rightarrow \infty \). A geometric or topological property of random simplicial complexes is satisfied asymptotically almost surely (a.a.s.) if the probability that it holds tends to 1 as \(n\rightarrow \infty \).
We emphasise that the measure (4) is a special case of the multi-parameter probability measure studied in Costa and Farber (2016a, 2016b, 2017a, 2017b), where one sets as probability parameters \(p_\sigma =1/2\) for all simplexes \(\sigma \).
The main results of Farber and Mead (2020) under the assumptions (5) can be summarised as follows. We shall use the notation \(\beta (n) = \log _2\log _2 n + \log _2\log _2\ln n\).
Theorem 7.1
Fix arbitrary \(\epsilon _0>0\) and \(\delta _0>0\). Then:
(a) The dimension of a random complex X in the medial regime satisfies
a.a.s.
(b) A random complex X is connected and simply connected, a.a.s.
(c) The Betti numbers \(b_j(X)\) vanish for all \(0<j \le \log _2\log _2 n -1 -\delta _0\), a.a.s.
One may strengthen the above statement using Theorem 6.2:
Theorem 7.2
Let \(r=r(n)\) be an integer valued function satisfying
Then:
(1) The random complex X in the medial regime is r-ample, a.a.s.
(2) In particular, X is \((\lfloor r/2\rfloor -1)\)-connected, a.a.s.
To prove the first statement one observes that the expression (6) under the assumption (15) tends to 0 as \(n\rightarrow \infty \). Indeed, the logarithm with base e of (6) is bounded above by
Using (15) we have \(n\cdot 2^{-2^r} \ge n^{1-2^{-\epsilon }},\) and since \(r/n\rightarrow 0\) we have
On the other hand,
Comparing (17) with (18) we see that (16) tends to \(-\infty \) hence implying that the probability (6) of a random complex being not r-ample tends to 0. This proves (1).
Statement (2) follows from (1) by applying Theorem 6.2.
Remark 7.3
We see that the medial regime random simplicial complex is \((\lfloor \frac{1}{2} \log _2\log _2 n\rfloor -1)\)-connected, which is roughly half of the dimensions where its Betti numbers vanish, see Theorem 7.1, (c). This leaves open the important question of whether the integral homology groups \(H_j(X)\) may be nontrivial (and hence finite) for dimensions j in the interval \(\frac{1}{2}\log _2\log _2 n \le j < \log _2\log _2 n -1.\)
8 Topological complexity of random simplicial complexes in the medial regime
First we recall the notion of topological complexity \(\textsf{TC}(X)\) (see Farber 2003, 2008), where X is a path-connected topological space. Intuitively, the integer \(\textsf{TC}(X)\) is a measure of navigational complexity of X viewed as the configuration space of a system. To give the precise definition, consider the path space \(X^I\), i.e. the space of all continuous maps \(I=[0,1] \rightarrow X\) equipped with compact-open topology, and the fibration
The topological complexity \(\textsf{TC}(X)\) of X is defined as the sectional category of fibration (19). In other words, \(\textsf{TC}(X)\) is the smallest integer \(k\ge 0\) such that there exists and open cover
of cardinality \(k+1\) with the property that each open set \(U_i\) admits a continuous section of the fibration (19), cf. Farber (2003).
A section of fibration (19) can be viewed as a robot motion planning algorithm, and the topological complexity \(\textsf{TC}(X)\) describes singularities of such algorithms (Farber 2008).
For information about recent developments related to the notion of \(\textsf{TC}(X)\) we refer the reader to Grant et al. (2018).
As an illustrative example consider the space \(F(\mathbb R^d, n)\), the configuration space of n labelled pairwise distinct points in \(\mathbb R^d\) which was analysed in Farber (2008, §4.7). The space \(F(\mathbb R^d, n)\) models motion of n robots in \(\mathbb R^d\) avoiding collisions. The topological complexity of this space is given by
We use here the normalised version of the topological complexity which is smaller by 1 compered with the notion of Farber (2003, 2008).
The above example shows that the topological complexity can be arbitrarily large.
In this section we shall study the situation when the simplicial complex X is random. More specifically, we shall assume that X is a random subcomplex of the standard simplex \(\Delta _n\) on the vertex set \(\{1, 2, \dots , n\}\) generated by the medial regime model (4). Surprisingly, under these assumptions for large \(n\rightarrow \infty \) the topological complexity \(\textsf{TC}(X)\) is small with probability tending to 1:
Theorem 8.1
Let \(X\subset \Delta _n\) be a random simplicial complex in the medial regime. Then, with probability tending to 1 as \(n\rightarrow \infty \), one has
Proof
By Theorem 4.16 from Farber (2008) the topological complexity of an r-connected simplicial complex X satisfies the following inequality
If \(X\subset \Delta _n\) is medial regime random complex then, by Theorem 7.1,
with probability tending to 1 as \(n\rightarrow \infty \). On the other hand, by Theorem 7.2 the random complex X is r-connected, where \(r=\frac{1}{2} \log _2\log _2n -3,\) with probability tending to 1 as \(n\rightarrow \infty \). Thus,
for large n, and we obtain from (20) that \(\textsf{TC}(X)\!\le \! 4,\) asymptotically almost surely. \(\quad \square \)
Remark 8.2
I believe that statement of Theorem 8.1 can potentially be strengthened to state that \(\textsf{TC}(X)=2\) with probability tending to 1 for a random simplicial complex X in the medial regime. Achieving this will require improving the connectivity threshold of Theorem 7.2, see Remark 7.3.
9 The \(\infty \)-ample Rado complex
In this section we shall follow Farber et al. (2021) and consider simplicial complexes which are r-ample for any \(r\ge 1\); we call them \(\infty \)-ample.
Theorem 9.1
(a) There exists an \(\infty \)-ample complex having a countable set of vertexes. (b) Any two \(\infty \)-ample complexes with countable sets of vertexes are isomorphic.
The simplicial complex of Theorem 9.1 is called the Rado complex, in honour of Richard Rado who invented the Rado graph. The Rado graph is the 1-dimensional skeleton of the Rado complex R, see Cameron (1997).
Proof of Theorem 9.1 (a)
To prove (a) we shall construct the required complex X as follows. Let \(X_0\) be a single point and let each complex \(X_{n+1}\) (where \(n\ge 0\)) be obtained from \(X_n\) by first adding a finite set of vertexes v(A) labelled by all subcomplexes \(A\subset X_n\) (including \(A=\emptyset \)); then we consider the cone \(v(A)*A\) with apex v(A) and base A and attach each such cone to \(X_n\) along the base A. Thus,
and we have the infinite chain of finite subcomplexes \(X_0\subset X_1\subset X_2\subset \dots \). The complex
is \(\infty \)-ample. Indeed, any finite set of vertexes \(U\subset V(X)\) is contained in \(V(X_n)\) for some n. The induced subcomplex \(X_U\) coincides with \((X_n)_U\) and then for any subcomplex \(A\subset X_U\) the vertex \(v= v(A)\) validates the ampleness property of Definition 2.1. \(\square \)
In the proof of (b) we shall use Lemma 9.2 stated below.
Lemma 9.2
Let X be an \(\infty \)-ample complex and let \(L'\subset L\) be a pair consisting of a finite simplical complex L and an induced subcomplex \(L'\). Let \(f': L' \rightarrow X_{U'}\) be an isomorphism of simplicial complexes, where \(U'\subset V(X)\) is a finite subset. Then there exists a finite subset \(U\subset V(X)\) containing \(U'\) and an isomorphism \(f: L \rightarrow X_{U}\) with \(f|L' =f'\).
Proof of Lemma 9.2
It is enough to prove this statement under an additional assumption that L has a single additional vertex, i.e. \(|V(L)| - |V(L')| =1\). In this case L is obtained from \(L'\) by attaching a cone wA where \(w\in V(L) - V(L')\) denotes the new vertex and \(A\subset L'\) is a subcomplex (the base of the cone). Applying the defining property of the ample complex to the subset \(U'\subset V(X)\) and the subcomplex \(f'(A)\subset X_{U'}\) we find a vertex \(v\in V(X)-U'\) such that \(\mathrm{{Lk}}_X(v)\cap X_{U'} =f(A)\). We can set \(U=U'\cup \{v\}\) and extend \(f'\) to the isomorphism \(f: L\rightarrow X_{U}\) by setting \(f(w)=v\). \(\square \)
Proof of Theorem 9.1 (b)
The proof uses the well-known back-and-forth argument. Let X and \(X'\) be two \(\infty \)-ample complexes. Enumerate their vertexes \(V(X)=\{v_1, v_2, \dots \}\) and \(V(X') = \{v'_1, v'_2, \dots \}\) and set \(U_1=\{v_1\}\) and \(U'_1=\{v'_1\}\). The isomorphism \(f_1:X_{U_1}\rightarrow X'_{U'_1}\) given by \(f_1(v_1)=v'_1\).
Next we define sequences of finite subsets \(U_1\subset U_2\subset \dots \subset V(X)\) and \(U'_1\subset U'_2\subset \dots \subset V(X')\) satisfying \(\cup U_n=V(X)\) and \(\cup U'_n=V(X')\) and isomorphisms \(f_n: X_{U_n}\rightarrow X'_{U'_n}\) with \(f_n|_{X_{U_{n-1}}}=f_{n-1}\). The whole collection \(\{f_n\}\) then defines an isomorphism \(f: X\rightarrow X'\).
Acting by induction we shall assume that the sets \(U_i\) and \(U'_i\) and the isomorphisms \(f_i\) for all \(i\le n\) have been constructed. If n is odd, we shall find the smallest index i such that \(v_i\notin U_{n}\) and set \(U_{n+1}=U_n\cup \{v_i\}\); then applying Lemma 9.2 we can find a vertex \(v'_j\in V(X')-U'_n\) and an isomorphism \(f_{n+1}: X_{U_{n+1}}\rightarrow X'_{U'_{n+1}}\) extending \(f_n\), where \(U'_{n+1}=U'_n\cup \{v'_j\}\).
If n is even we shall find the smallest index r such that \(v'_r\notin U'_n\) and set \(U'_{n+1}=U'_n\cup \{v_r\}\) and then by Lemma 9.2 we can find a vertex \(v_s\in V(X)-U_n\) and an isomorphism \(f_{n+1}: X_{U_{n+1}}\rightarrow X'_{U'_{n+1}}\), extending \(f_n\), where \(U_{n+1}=U_n\cup \{v_s\}\). \(\square \)
Theorem 9.3
(a) The Rado complex R is universal in the sense that every countable simplicial complex is isomorphic to an induced subcomplex of R. (b) The Rado complex R is homogeneous in the sense that for every two finite induced subcomplexes \(R_U, R_{U'}\subset R\) and for every isomorphism \(f:R_U\rightarrow R_{U'}\) there exists an isomorphism \(F:R\rightarrow R\) with \(F|R_U=f\). (c) Every universal and homogeneous countable simplicial complex is isomorphic to R.
Proof
(a) Let X be a simplicial complex with the vertex set \(V(X)=\{v_1, v_2, \dots \}\). Using the \(\infty \)-ampleness property of R we can subsequently find a sequence of vertexes \(W= \{w_1, w_2, \dots \}\subset V(R)\) and a sequence of isomorphisms \(f_n: X_{U_n}\rightarrow R_{W_n}\), where \(U_n=\{v_1, \dots , v_n\}\) and \(W_n=\{w_1, \dots , w_n\}\), such that \(f_n\) extends \(f_{n-1}\). This gives an isomorphism between X and the induced subcomplex \(R_W\).
The proof of (b) uses arguments similar to the ones of the proof of Lemma 9.2.
(c) Suppose X is universal and homogeneous. Let \(U\subset V(X)\) be a finite subset and let \(A\subset X_U\) be a subcomplex of the induced complex. Consider an abstract simplicial complex \(L=X_U\cup wA\) which obtained from \(X_U\) by adding a cone wA with vertex w and base A where \(X_U\cap wA= A\). Clearly, \(V(L) = U\cup \{w\}\) and by universality, we may find a subset \(U'\subset V(X)\) and an isomorphism \(g:L \rightarrow X_{U'}\). Denoting \(w_1=g(w)\), \(A_1=g(A)\) and \(U_1=g(U)\) we have \(X_{U'} = X_{U_1} \cup w_1 A_1.\) Obviously, g restricts to an isomorphism \(g| X_U\,:\, X_U \rightarrow X_{U_1}\). By the homogeneity property we can find an isomorphism \(F:X\rightarrow X\) with \(F|X_U =g|X_U\). Denoting \(v=F^{-1}(w_1)\) we shall have \(X_{U\cup \{v\}} = X_U \cup vA\) as required. Hence, X is r-ample for any \(r\ge 0\). \(\square \)
10 Indestructibility of the Rado complex
The main result of this section is Corollary 10.2 illustrating “indestructibility or resilience” of the Rado simplicial complex.
Lemma 10.1
Let X be a Rado complex, let \(U\subset V(X)\) be a finite set and let \(A\subset X_U\) be a subcomplex. Let \(Z_{U,A}\subset V(X)\) denote the set of vertexes \(v\in V(X)-U\) satisfying \(\mathrm{{Lk}}_X(v)\cap X_U=A\). Then the set \(Z_{U,A}\) is infinite and the induced complex on \(Z_{U,A}\) is also a Rado complex.
Proof
Consider a finite set \(\{v_1, \dots , v_N\}\subset Z_{U, A}\) of such vertexes. One may apply the ampleness property to the set \(U_1=U\cup \{v_1, \dots , v_N\}\) and to the subcomplex \(A\subset X_{U_1}\) to find another vertex \(v_{N+1}\) satisfying (1), i.e. \(v_{N+1}\in Z_{U,A}\). This shows that \(Z_{U,A}\) must be infinite.
Let \(Y\subset X\) denote the subcomplex induced by \(Z_{U, A}\). Consider a finite subset \(U'\subset Z_{U,A}=V(Y)\) and a subcomplex \(A'\subset X_{U'}=Y_{U'}\). Applying the ampleness property to the set \(W= U\cup U'\subset V(X)\) and to the subcomplex \(A\sqcup A'\) we find a vertex \(z\in V(X)-W\) such that
Since \(X_{W} \supset X_U\cup X_{U'}\), the equation (21) implies \(\mathrm{{Lk}}_X(z)\cap X_U=A\), i.e. \(z\in Z_{U, A}\). Intersecting both sides of (21) with \(X_{U'}=Y_{U'}\) and using \(\mathrm{{Lk}}_Y(z) =\mathrm{{Lk}}_X(z)\cap Y\) (since Y is an induced subcomplex) we obtain \(\mathrm{{Lk}}_Y(z) \cap Y_{U'}= A'\) implying that Y is Rado. \(\square \)
Corollary 10.2
Let X be a Rado complex and let Y be obtained from X by selecting a finite number of simplexes \(F\subset F(X)\) and deleting all simplexes \(\sigma \in F(X)\) which contain simplexes from F as their faces. Then Y is also a Rado complex.
Proof
Let \(U\subset V(Y)\) be a finite subset and let \(A\subset Y_U\) be a subcomplex. We may also view U as a subset of V(X) and then A becomes a subcomplex of \(X_U\) since \( Y_U\subset X_U\). The set of vertexes \(v\in V(X)\) satisfying \(\mathrm{{Lk}}_X(v)\cap X_U=A\) is infinite (by Lemma 10.1) and thus we may find a vertex \(v\in V(X)\) which is not incident to simplexes from the family F. Then \(\mathrm{{Lk}}_Y(v)=\mathrm{{Lk}}_X(v)\cap Y\) and we obtain \(\mathrm{{Lk}}_Y(v)\cap Y_U=A\). \(\square \)
Corollary 10.3
Let X be a Rado complex. If the vertex set V(X) is partitioned into a finite number of parts then the induced subcomplex on at least one of these parts is a Rado complex.
Proof
It is enough to prove the statement for partitions into two parts. Let \(V(X)= V_1\sqcup V_2\) be a partition; denote by \(X^1\) and \(X^2\) the subcomplexes induced by X on \(V_1\) and \(V_2\) correspondingly. Suppose that none of the subcomplexes \(X^{1}\) and \(X^{2}\) is Rado. Then for each \(i=1, 2\) there exists a finite subset \(U_i\subset V_i\) and a subcomplex \(A_i\subset X^i_{U_i}\) such that no vertex \(v\in V_i\) satisfies \(\mathrm{{Lk}}_{X^i}(v) \cap X^i_{U_i}= A_i\). Consider the subset \(U= U_1\sqcup U_2\subset V(X)\) and a subcomplex \(A=A_1\sqcup A_2\subset X_{U}\). Since X is Rado we may find a vertex \(v\in V(X)\) with \(\mathrm{{Lk}}_X\cap X_U = A. \) Then v lies in \(V_1\) or \(V_2\) and we obtain a contradiction, since \(\mathrm{{Lk}}_{X^i}(v) \cap X^i_{U_i} =A_i.\) \(\square \)
Lemma 10.4
In a Rado complex X, the link of every simplex is a Rado complex.
Proof
Although this follows from Remark 2.4, we give below an independent proof. Let \(Y=\mathrm{{Lk}}_X(\sigma )\) be the link of a simplex \(\sigma \in X\). To show that Y is Rado, let \(U\subset V(Y)\) be a subset and let \(A\subset Y_U\) be a subcomplex. We may apply the defining property of the Rado complex (i.e. ampleness) to the subset \(U'=U\cup V(\sigma )\subset V(X)\) and to the subcomplex \(A*{\bar{\sigma }}\subset X_{U'}\); here \({\bar{\sigma }}\) denotes the subcomplex containing the simplex \(\sigma \) and all its faces and the symbol \(*\) denotes the join. We obtain a vertex \(w\in V(X)-U'\) with \(\mathrm{{Lk}}_X(w)\cap X_{U'} = A*{\bar{\sigma }}\) or equivalently, \(X_{U'\cup w} = X_{U'} \cup w(A*{\bar{\sigma }})\). Note that \(w\in Y=\mathrm{{Lk}}_X(\sigma )\) since the simplex \(w\sigma \) is in X and, moreover, \(wA\subset Y\) for the similar reason. Thus, we see that \(Y_{U\cup w} =Y_U \cup wA\) and hence we see that the link Y is also a Rado complex. \(\square \)
11 The Rado complex R is “random”
In this section we argue that “a typical simplicial complex with countable set of vertexes is isomorphic to R”. We give two formal justifications of this statement. Firstly, we show that the space of simplicial complexes isomorphic to R is residual in the space of all simplicial complexes with countably many vertexes, i.e. its complement is a countable union of nowhere dense sets. Secondly, we equip the set of countable simplicial complexes with a probability measure and show that the set of simplicial complexes isomorphic to R has measure 1.
Let \(\Delta _{{\mathbb {N}}}\) denote the simplicial complex with the vertex set \({{\mathbb {N}}}=\{1, 2, \dots , \}\) and with all finite nonempty subsets of \({{\mathbb {N}}}\) as its simplexes. We shall consider the set \(\Omega \) of all simplicial subcomplexes \(X\subset \Delta _{{\mathbb {N}}}\). We shall view \(\Omega \) as the set of all countable simplicial complexes.
One can introduce a metric on \(\Omega \) making it a compact metric space. For a non-negative integer \(n\ge 1\) the simplex \(\Delta _n\) with the vertex set \(\{1, 2, \dots , n\}\subset {{\mathbb {N}}}\) is a subcomplex \(\Delta _n\subset \Delta _{{\mathbb {N}}}\). Let \(\Omega _n\) denote the set of all simplicial subcomplexes of \(\Delta _n\). For \(X\in \Omega \) let \(X_n\) denote the finite simplicial complex \(X_n=X\cap \Delta _n\). For \(X, Y\in \Omega \) define \(h(X, Y)=\max \{n; X_n = Y_n\}\). Then
is a metric on \(\Omega \) (satisfying ultrametric triangle inequality). The topology determined by this metric coincides with the topology of the inverse limit
where each \(\Omega _n\) is equipped with the discrete topology. Since \(\Omega _n\) is a finite set (hence it is compact), we see that \(\Omega \) is compact and is a Baire space. \(\Omega \) is homeomorphic to the Cantor set.
We shall denote by \({\mathcal {R}}\subset \Omega \) the set of simplicial complexes isomorphic to the Rado complex. Complexes \(X\in {\mathcal {R}}\) can be characterised either by the \(\infty \)-ampleness or by the properties universality and homogeneity described in Theorem 9.3.
Theorem 11.1
The set \({\mathcal {R}}\subset \Omega \) is residual and therefore it is dense in \(\Omega \).
Proof
Let \(U_n\subset \Omega \) be the set of all simplicial complexes \(X\in \Omega \) such that for every subcomplex \(A\subset X_n\) there exists a vertex \(v_A\in V(X)-\{1, 2, \dots , n\}\) with the property
Recall that \(X_n\) denotes \(X\cap \Delta _n\). Clearly, \({\mathcal {R}} = \cap _{n\ge 1} U_n,\) and the theorem will follow once we show that each \(U_n\) is open and dense in \(\Omega \).
To show that \(U_n\) is open, let us assume that \(X\in U_n\). Consider the set of all vertexes \(v_A\) corresponding (as in (23)) to all subcomplexes \(A\subset X_n\). It is a finite set and we may find \(m>n\) such that all these vertexes \(v_A\) lie in \(X_m\). The set \(\{Y\in \Omega ; Y_m=X_m\}\) is contained in \(U_n\) and represents an open neighbourhood of X. Therefore, \(U_n\) is open.
To show that \(U_n\) is dense, consider an arbitrary simplicial complex \(X\in \Omega \) and an arbitrary \(\epsilon >0\). Pick \(m>\max \{ \ln (\epsilon ^{-1}), n\}\) and find a complex \(Y\in U_n\) satisfying \(X_m=Y_m\). This shows that \(Y\in U_n\) and \(d(X,Y)<\epsilon \), i.e. \(U_n\) is dense in \(\Omega \). \(\square \)
Next we describe a probability measure on \(\Omega \). For a subcomplex \(Y\subset \Delta _n\) define
The sets Z(Y, n), with various (Y, n), form a semi-ring \({\mathcal {A}}\), see Klenke (2013), and we denote by \({\mathcal {A}}'\) the \(\sigma \)-algebra generated by \({\mathcal {A}}'\). An additive measure \(\mu \) on \({\mathcal {A}}\) can be defined by
compare with (4). Here \(E(Y|\Delta _n)\) denotes the set of all simplexes \(\sigma \in \Delta _n\) which are external to Y, i.e. \(\sigma \notin Y\) but \(\partial \sigma \in Y\). This is a special case of the measure discussed in §§6, 7 of Farber et al. (2021). Theorem 1.53 from Klenke (2013) implies that \(\mu \) extends to a probability measure on the \(\sigma \)-algebra \({\mathcal {A}}'\) generated by \({\mathcal {A}}\).
Theorem 11.2
The set \({\mathcal {R}}\subset \Omega \) belongs to the \(\sigma \)-algebra \({\mathcal {A}}'\) and has full measure, i.e. \(\mu ({\mathcal {R}})=1\).
Proof
For a finite subset \(U\subset {{\mathbb {N}}}\) and for a simplicial subcomplex \(L\subset \Delta _U\) of the simplex \(\Delta _U\) consider the set
This set belongs to the \(\sigma \)-algebra \({\mathcal {A}}'\) and has positive measure given by (24). Consider also the subset \(\Omega ^{U, L, A, v}\subset \Omega ^{U, L}\) consisting of all subcomplexes \(X\in \Omega \) satisfying \(X_{U\cup v}=L\cup vA\). Here \(A\subset L\) is a subcomplex and \(v\in {{\mathbb {N}}}-U\). The conditional probability equals
as follows from (24). Note that the events \(\Omega ^{U, L, A, v}\), conditioned on \(\Omega ^{U, L}\), for various v, are independent and the sum of their probabilities is \(\infty \). We may therefore apply the Borel-Cantelli Lemma (see Klenke 2013, p. 51) to conclude that the set of complexes \(X\in \Omega ^{U, L}\) such that \(X_{U\cup v}=L\cup vA\) for infinitely many vertexes v has full measure in \(\Omega ^{U, L}\).
By taking a finite intersection with respect to all possible subcomplexes \(A\subset L\) this implies that the set \(\Omega _*^{U, L}\subset \Omega ^{U, L}\) of simplicial complexes \(X\in \Omega ^{U, L}\) such that for any subcomplex \(A\subset L\) there exists infinitely many vertexes v with \(X_{U\cup v}=L\cup vA\) has full measure in \(\Omega ^{U, L}\). Since \(\Omega = \cap _U \cup _{L\subset \Delta _U} \Omega ^{U, L}\) (where \(U\subset {{\mathbb {N}}}\) runs over all finite subsets) we obtain that the set \(\cap _U \cup _{L\subset \Delta _U} \Omega ^{U, L}_*\) has measure 1 in \(\Omega \). But the latter set \(\cap _U \cup _{L\subset \Delta _U} \Omega ^{U, L}_*\) is exactly the set of all Rado complexes \({\mathcal {R}}\). \(\square \)
12 Geometric realisation of the Rado complex
For a simplicial complex X, the geometric realisation |X| is the set of all functions \(\alpha : V(X)\rightarrow [0,1]\) such that the support \(\mathrm{{supp}}(\alpha )=\{v; \alpha (v)\not =0\}\) is a simplex of X (and hence finite) and \(\sum _{v\in X} \alpha (v)=1\), see Spanier (1971). For a simplex \(\sigma \in F(X)\) the symbol \(|\sigma |\) denotes the set of all \(\alpha \in |X|\) with \(\mathrm{{supp}}(\alpha )\subset \sigma \). The set \(|\sigma |\) has natural topology and is homeomorphic to the affine simplex in an Euclidean space.
The weak topology on the geometric realisation |X| has as open sets the subsets \(U\subset |X|\) such that \(U\cap |\sigma |\) is open in \( |\sigma |\) for any simplex \(\sigma \).
Theorem 12.1
The Rado complex is isomorphic to a triangulation of the simplex \(\Delta _{{\mathbb {N}}}\). In particular, the geometric realisation |X| of the Rado complex is homeomorphic to the geometric realisation of the infinite dimensional simplex \(|\Delta _{{\mathbb {N}}}|\).
The result of Theorem 12.1 is also stated in preprint Brooke-Taylor and Testa (2013).
The proof of Theorem 12.1 given in Farber et al. (2021) uses the following Lemma:
Lemma 12.2
Let X be a Rado complex. Then there exists a sequence of finite subsets \(U_0\subset U_1\subset U_2\subset \dots \subset V(X)\) such that \(\cup U_n = V(X)\) and for any \(n=0, 1, 2, \dots \) the induced simplicial complex \(X_{U_n}\) is isomorphic to a triangulation \(L_n\) of the standard simplex \(\Delta _{n+1}\) of dimension n. Moreover, for any n the complex \(L_n\) is naturally an induced subcomplex of \(L_{n+1}\) and the isomorphisms \(f_n: X_{U_n} \rightarrow L_n\) satisfy \(f_{n+1}|X_{U_n} = f_n\).
Note that the geometric realisation |X| of a Rado complex X (equipped with the weak topology) does not satisfy the first axiom of countability and hence is not metrizable. This follows from the fact that X is not locally finite. See Spanier (1971, Theorem 3.2.8).
The geometric realisation of a simplicial complex carries yet another natural topology, the metric topology, see Spanier (1971, p. 111). The geometric realisation of X with the metric topology is denoted \(|X|_d\). While for finite simplicial complexes the spaces |X| and \(|X|_d\) are homeomorphic, it is not true for infinite complexes in general. For the Rado complex X the spaces |X| and \(|X|_d\) are not homeomorphic. Moreover, in general, the metric topology is not invariant under subdivisions, see Mine and Sakai (2012), where this issue is discussed in detail.
The Urysohn metric space (Vershik 2004) is a well-known universal mathematical object; it is intriguing to examine its relationship to the Rado simplicial complex. The Urysohn universal metric space U is characterised (uniquely, up to isometry) by the following properties: (1) U is complete and separable; (2) U contains an isometric copy of every separable metric space; (3) every isometry between two finite subsets of U can be extended to an isometry of U onto itself. This looks similar to the characterisation of the Rado complex given by Theorem 9.3.
Uspenskij (2004) proved that \({{\mathcal {U}}}\) is homeomorphic to the Hilbert space \(\ell ^2\).
One may ask whether there exists a natural metric on the Rado complex X turning it into a model for the Urysohn metric space \({{\mathcal {U}}}\)? As a hint we may offer the following observation. The set of vertexes V(X) of X carries the following metric \(\delta \): for \(x, y\in V(X)\) with \(x\not = y\) one sets \(\delta (x, y)=1\) iff x and y are connected by an edge; otherwiseFootnote 1\(\delta (x, y)=2\). The obtained metric space \((V(X), \delta )\) is an analogue of the Urysohn universal metric space restricted to countable metric spaces with distance functions taking values 1 and 2 only. Such metric spaces are in 1-1 correspondence with countable graphs, and our observation follows from the universality of the Rado graph, which is the 1-dimensional skeleton of the Rado complex X.
Notes
We remind the reader that in the Rado complex X any two vertexes have a common neighbour, i.e. from any vertex A one can get to any vertex B jumping accross one or two edges.
Departamento de Matemática, Facultad de Ciencias Exactas y Naturales, Universidad de Buenos Aires, Buenos Aires, Argentina
References
Ackermann, W.: Die Widerspruchsfreiheit der allgemeinen Mengenlehre. Math. Ann. 114, 305–315 (1937)
Barmak, J.A.: Connectivity of ample, conic, and random simplicial complexes. Int. Math. Res. Not. IMRN 2023(8), 6579–6597 (2022). https://doi.org/10.1093/imrn/rnac030
Battiston, F., et al.: Networks beyond pairwise interactions: structure and dynamics. Phys. Rep. 874(25), 1–92 (2020)
Björner, A.: Topological methods. In: Graham, R., Grötschel, M., Lovász, L. (eds.) Handbook of Combinatorics, pp. 1819–1872. North-Holland, Amsterdam (1994)
Blass, A., Harary, F.: Properties of almost all graphs and complexes. J. Graph Theory 3(3), 225–240 (1979)
Blass, A., Exoo, G., Harary, F.: Paley graphs satisfy all first-order adjacency axioms. J. Graph Theory 5(4), 435–439 (1981)
Bollobas, B.: Random Graphs. Cambridge University Press, Cambridge (2001)
Bonato, A.: The search for n-e.c. graphs. Contrib. Discrete Math. 4(1), 40–53 (2009)
Brooke-Taylor, A., Testa, D.: The infinite random simplicial complex (2013). arXiv: 1308.5517v1
Cameron, P.: The Random graph, The mathematics of Paul Erdös, II, 333–351, Algorithms Combin., 14. Springer, Berlin (1997)
Cameron, P.: The random graph revisited. European Congress of Mathematics, Vol. I (Barcelona, 2000), 267–274, Progr. Math., 201, Birkhäuser, Basel (2001)
Cherlin, G.L.: Combinatorial problems connected with finite homogeneity. In: Bokut’, L.A., et al. (eds.) Proceedings of the International Conference on Algebra, Part 3. Contemporary Mathematics, vol. 131, pp. 3–30 (1992)
Costa, A., Farber, M.: Random simplicial complexes. Configuration spaces. Springer INdAM Ser., 14, pp. 129–153. Springer (2016)
Costa, A., Farber, M.: Large simplicial random complexes I. J. Topol. Anal. 8(3), 399–429 (2016)
Costa, A., Farber, M.: Large random simplicial complexes, II; the fundamental group. J. Topol. Anal. 9(3), 441–483 (2017)
Costa, A., Farber, M.: Large random simplicial complexes III: the critical dimension. J. Knot Theory Ramif. 26(2), 1740010 (2017)
Erdős, P., Rényi, A.: Asymmetric graphs. Acta Math. Acad. Sci. Hungar. 14, 295–315 (1963)
Even-Zohar, C., Farber, M., Mead, L.: Ample simplicial complexes. Eur. J. Math. 8(1), 1–32 (2022)
Fagin, R.: Probabilities on finite models. J. Symbolic Logic 41(1), 50–58 (1976)
Farber, M.: Topological complexity of motion planning. Discret. Comput. Geom. 29, 211–221 (2003)
Farber, M.: Invitation to topological robotics. Zurich Lectures in Advanced Mathematics. European Mathematical Society (EMS), Zürich (2008)
Farber, M., Mead, L.: Random simplicial complexes in the medial regime. Topol. Appl. 272(22), 107065 (2020)
Farber, M., Mead, L., Strauss, L.: The Rado simplicial complex. J. Appl. Comput. Topol. 5(2), 339–356 (2021)
Farber, M., Mead, L., Nowik, T.: Random simplicial complexes, duality and the critical dimension. J. Topol. Anal. 14(1), 1–31 (2022)
Grant, M., Lupton, G., Vandembroucq, L.: Topological Complexity and Related Topics, Contemp. Math., 702. Amer. Math. Soc., Providence (2018)
Hodges, W.: Model Theory. Cambridge University Press, Cambridge (1993)
Kahle, M.: Topology of random clique complexes. Discrete Math. 309, 1658–1671 (2009)
Kleitman, D., Markowsky, G.: On Dedekind’s problem: the number of isotone Boolean functions. II. Trans. Am. Math. Soc. 213, 373–390 (1975)
Klenke, A.: Probability Theory. Springer, Berlin (2013)
Meshulam, R.: The clique complex and hypergraph matching. Combinatorica 21, 89–94 (2001)
Mine, K., Sakai, K.: Subdivisions of simplicial complexes preserving the metric topology. Can. Math. Bull. 55(1), 157–163 (2012)
Rado, R.: Universal graphs and universal functions. Acta Arith. 9, 393–407 (1964)
Spanier, E.H.: Algebraic Topology, p xvi+528.Springer–Verlag, New York (1995)
Spencer, J.: Zero-one laws with variable probability. J. Symbolic Logic 58(1), 1–14 (1993)
Uspenskij, V.: The Urysohn universal metric space is homeomorphic to a Hilbert space. Topol. Appl. 139(1–3), 145–149 (2004)
Vershik, A.M.: Random metric spaces and universality. (Russian) Uspekhi Mat. Nauk 59(2)(356), 65–104 (2004); translation in Russian Math. Surveys 59(2), 259–295 (2004)
Winkler, P.: Random structures and zero-one laws. In: Sauer, N.W., et al. (eds.) Finite and Infinite Combinatorics in Sets and Logic. NATO Advanced Science Institutes Series C: Mathematical and Physical Sciences, vol. 411, pp. 399–420. Kluwer, Dordrecht (1993)
Acknowledgements
Funding was provided by the Engineering and Physical Sciences Research Council (Grant No. EP/V009877/1).
Author information
Authors and Affiliations
Corresponding author
Ethics declarations
Conflict of interest
The author states that there is no conflict of interest.
Additional information
Publisher's Note
Springer Nature remains neutral with regard to jurisdictional claims in published maps and institutional affiliations.
Appendix:
Appendix:
1.1 ON THE CONNECTIVITY OF CONIC COMPLEXES
by Jonathan Ariel BarmakFootnote 2
Let \(r \in {{\mathbb {Z}}}\). A simplicial complex K is said to be r-conic if every subcomplex \(L\subseteq K\) with at most r vertices is contained in a simplicial cone, or, equivalently, in the closed star \(\mathrm{{St}}_K (v)\) of a vertex \(v\in K\). Note that the notions of 0-conicity and 1-conicity coincide and that they are equivalent to the complex being non-empty. Every complex is r-conic if \(r\le -1\).
It was proved in Barmak (2022, Theorem 12), that if a complex K is \(5^n\)-conic, then it is n-connected. The argument uses a sequence \((L_k)_{k\in {{\mathbb {N}}}}\) of triangulations of \(S^n\) together with a simplicial approximation \(\varphi :L_k\rightarrow K\) and an idea that allows to reduce the number of vertices in \(L_k\) and deform \(\varphi \) to a homotopic map. On the other hand a join of 0-dimensional spheres shows that a \((2n+1)\)-conic complex may not be n-connected (Barmak 2022, Example 6). The Nerve lemma (Björner 1994, Theorem 10.6) can be used to give a simple proof that \((2n+2)\)-conicity already implies n-connectivity. The proof was given by Kahle (2009, Theorem 3.1) based on a similar result by Meshulam (2001, Proposition 3.1). In fact Meshulam’s result deals only with homological connectivity, but gives better bounds under stronger hypotheses. Their results are stated for clique complexes, although the argument holds for general complexes with minor modifications. We state here the result in the general case and give a proof for future reference.
Let K and L be simplicial complexes. We denote by \(K \circledast L\) the non-disjoint join. It is the simplicial complex whose simplices are the unions \(\sigma \cup \tau \) with \(\sigma \in K\), \(\tau \in L\), and also the simplices of K and the simplices of L. If the vertex sets of K and L are disjoint, \(K \circledast L\) coincides with the usual join \(K *L\). Of course, \(\circledast \) is commutative and associative.
Example 1
Let K be a simplicial complex, \(L\subseteq K\) a subcomplex and v a vertex of K. Then \(L \subseteq \mathrm{{St}}_K (v)\) if and only if the non-disjoint cone \(v\circledast L \subseteq K\). Moreover, if \(v_1, v_2, \ldots , v_t\) are t vertices of K, then \(L\subseteq \bigcap \mathrm{{St}}_K(v_i)\) if and only if \(\{v_1,v_2,\ldots , v_t\} \circledast L \subseteq K\), where \(\{v_1,v_2,\ldots , v_t\}\) denotes the discrete subcomplex.
Lemma 2
Let K be an r-conic simplicial complex. Let \(t\in {{\mathbb {N}}}\) and \(v_1, v_2, \ldots , v_t\in K\). Then \(S=\bigcap \mathrm{{St}}_K(v_i)\subseteq K\) is \((r-t)\)-conic. In particular, if \(t\le r\), S is non-empty.
Proof
Let \(L\le S\) be a subcomplex of at most \(r-t\) vertices. Then \(\{v_1,v_2,\ldots , v_t\} \circledast L \le K\) has at most r vertices and thus there exists \(v\in K\) such that \(\{v_1,v_2,\ldots , v_t\} \circledast L \in \mathrm{{St}}_K(v)\). In other words \(v\circledast \{v_1,v_2,\ldots , v_t\} \circledast L \subseteq K\). Then \(v \circledast L \subseteq S\). This means that \(L \subseteq \mathrm{{St}}_S(v)\). \(\square \)
We recall the statement of the Nerve lemma (Björner 1994, Theorem 10.6).
Theorem 3
(Nerve lemma) Let K be a simplicial complex and \(\{L_i\}_{i\in I}\) a family of subcomplexes covering K. Let \(n\ge 0\). If each non-empty intersection \(L_{i_1}\cap L_{i_2} \cap \ldots \cap L_{i_t}\) is \((n-t+1)\)-connected for every \(1\le t\le n+1\), then K is n-connected if and only if the nerve \(\mathcal {N}(\{L_i\}_{i\in I})\) is n-connected.
Theorem 4
Let \(n\ge 0\). If a simplicial complex K is \((2n+2)\)-conic, then it is n-connected.
Proof
Let \(\mathcal {U}=\{\mathrm{{St}}_K(v)\}_{v\in K}\). We claim that \(\mathcal {N}(\mathcal {U})\) has complete \((2n+1)\)-skeleton, that is any set of at most \(2n+2\) vertices is a simplex. Indeed, the intersection of the closed stars of \(t\le 2n+2\) vertices of K is non-empty by Lemma 2. In particular \(\mathcal {N}(\mathcal {U})\) is 2n-connected, so it is certainly n-connected.
By the Nerve lemma, it suffices to verify that for each \(1\le t\le n+1\) and vertices \(v_1,v_2,\ldots , v_t\), \(S=\bigcap \mathrm{{St}}_K(v_i)\) is \((n-t+1)\)-connected. For \(t=1\) this is trivial. For \(2\le t\le n+1\), \(0\le n-t+1<n\) and by induction it suffices to check that S is \((2n-2t+4)\)-conic. But Lemma 2 says that S is \((2n+2-t)\)-conic, and since \(t\ge 2\), \(2n+2-t\ge 2n-2t+4\). \(\square \)
Rights and permissions
Open Access This article is licensed under a Creative Commons Attribution 4.0 International License, which permits use, sharing, adaptation, distribution and reproduction in any medium or format, as long as you give appropriate credit to the original author(s) and the source, provide a link to the Creative Commons licence, and indicate if changes were made. The images or other third party material in this article are included in the article’s Creative Commons licence, unless indicated otherwise in a credit line to the material. If material is not included in the article’s Creative Commons licence and your intended use is not permitted by statutory regulation or exceeds the permitted use, you will need to obtain permission directly from the copyright holder. To view a copy of this licence, visit http://creativecommons.org/licenses/by/4.0/.
About this article
Cite this article
Farber, M. Large simplicial complexes: universality, randomness, and ampleness. J Appl. and Comput. Topology (2023). https://doi.org/10.1007/s41468-023-00134-9
Received:
Revised:
Accepted:
Published:
DOI: https://doi.org/10.1007/s41468-023-00134-9