 ORIGINAL ARTICLE
 Open Access
 Published:
A remark on the convergence of Betti numbers in the thermodynamic regime
Pacific Journal of Mathematics for Industry volume 9, Article number: 4 (2017)
Abstract
The convergence of the expectations of Betti numbers of Čech complexes built on binomial point processes in the thermodynamic regime is established.
Terminologies and main results
Definition 1.1
Let \(\mathfrak {X} = \{x_{1}, x_{2}, \dots, x_{n}\}\) be a collection of points in \(\mathbb {R}^{d}\). The Čech complex \(\mathcal {C}(\mathfrak {X},r)\), for r>0, is constructed as follows.

The 0simplices (vertices) are the points in \(\mathfrak {X}\).

A ksimplex \(\left [x_{i_{0}}, \dots, x_{i_{k}}\right ]\) is in \(\mathcal {C}(\mathfrak {X}, r)\) if \(\bigcap _{j = 0}^{k} B_{r} (x_{i_{j}}) \ne \emptyset \).
Here \(B_{r}(x) = \left \{y \in \mathbb {R}^{d} : \y  x\ \le r\right \}\) denotes a ball of radius r and center x, and ∥x∥ is the Euclidean norm of x. The Čech complex can be also constructed from an infinite collection of points.
Let X _{1},X _{2},…, be a sequence of i.i.d. (independent identically distributed) \(\mathbb {R}^{d}\)valued random variables with common probability density function f(x). Define the induced binomial point processes as \(\mathfrak {X}_{n} = \left \{X_{1}, \dots, X_{n}\right \}\). The object here is the Čech complex \(\mathcal {C}\left (\mathfrak {X}_{n}, r_{n}\right)\) built on \(\mathfrak {X}_{n}\), where the radius r _{ n } also varies with n. Denote by \(\beta _{k}(\mathcal {K})\) the kth Betti number, or the rank of the kth homology group, of a simplicial complex \(\mathcal {K}\). The limiting behaviour of Betti numbers \(\beta _{k}\left (\mathcal {C}\left (\mathfrak {X}_{n}, r_{n}\right)\right)\) in various regimes has been studied recently by many authors. See [1] for a brief survey. The aim of this paper is to refine a limit theorem in the thermodynamic regime, a regime that n ^{1/d} r _{ n }→r∈(0,∞).
In the thermodynamic regime, the expectations of the kth Betti numbers, for 1≤k≤d−1, grow linearly in n, that is, \(c_{1} n \le \mathbb {E} \left [\beta _{k}\left (\mathcal {C}\left (\mathfrak {X}_{n}, r_{n}\right)\right)\right ] \le c_{2} n\) as n→∞. After centralizing, the strong law of large numbers holds,
provided that the density function f has compact, convex support and that on the support of f, it is bounded both below and above [9, Theorem 4.6]. A remaining problem is to describe the exact limiting behaviour of the expected values of the Betti numbers. This paper gives a solution to that problem. Note that the 0th Betti number which counts connected components in a random geometric graph was completely described [5, Chapter 13]. Note also that the kth Betti number of the Čech complex built on a finite set of points in \(\mathbb {R}^{d}\) is vanishing, if k≥d. These facts explain why we only need to consider the case 1≤k≤d−1.
Betti numbers are tightly related to the number of jsimplices in \(\mathcal {C}(\mathfrak {X}, r)\), denoted by \(S_{j}(\mathcal {C}(\mathfrak {X},r))\) or simply by \(S_{j}(\mathfrak {X}, r)\), which can be expressed as
where \(\xi (x, \mathfrak {X})\) is the number of jsimplices containing x. Note that \(\xi (x, \mathfrak {X})\) is a local function in the sense that it depends only on points near x. Then in the thermodynamic regime, the weak and strong laws of large numbers for \(S_{j}(\mathcal {C}(\mathfrak {X}_{n}, r_{n}))\) hold as a consequence of general results in [6, 7],
The limit \(\hat S_{j}(r)\) can be explicitly calculated. However, Betti numbers do not have expression like the above form, and hence those general results can not be applied.
To establish a limit theorem for Betti numbers, we exploit the following two properties. The first one is the nearly additive property of Betti numbers that was used in [9] to study Betti numbers of Čech complexes built on stationary point processes. The second one is the property that binomial point processes behave locally like a homogeneous Poisson point process. The latter property is also a key tool to establish the law of large numbers for local geometric functionals [6, 7].
Now let us get into more detail to state the main result of the paper. We begin with the definition of a homogeneous Poisson point process. Let N be the set of all counting measures on \(\mathbb {R}^{d}\) which are finite on any bounded Borel set and for which the measure of a point is at most 1. Define \(\mathcal {N}\) as the σalgebra generated by sets of the form
where A is a bounded Borel set and k is an integer. Then a point process Φ is a measurable mapping from some probability space into \((\mathbf {N}, \mathcal {N})\). For a Borel set A, let Φ(A) denote the number of points in A. By definition of the σalgebra \(\mathcal {N}\), Φ(A) becomes a usual random variable. A homogeneous Poisson point process is defined as follows. For some basic properties of point processes, see [2], for example.
Definition 1.2
The point process \(\mathcal {P}\) is said to be a Poisson point process with density λ>0 if

for disjoint Borel sets A _{1},…,A _{ k }, the random variables \(\mathcal {P}(A_{1}), \dots, \mathcal {P}(A_{k})\) are independent;

for any bounded Borel set A, the number of points in A has Poisson distribution with parameter A, \(\mathcal {P}(A) \sim \text {Pois}~(\lambda A)\), that is,
$$ \mathbb{P}(\mathcal{P}(A) = k) = e^{ \lambda A} \frac{\lambda^{k} A^{k}}{k!}, \quad k = 0,1, \dots, $$where A denotes the Lebesgue measure of A.
For homogeneous Poisson point processes, the following law of large numbers for Betti numbers was established in [9]. Let \(\mathcal {P}(\lambda)\) be a homogeneous Poisson point process on \(\mathbb {R}^{d}\) with density λ>0. Denote by \(\mathcal {P}_{A}(\lambda)\) the restriction of \(\mathcal {P}(\lambda)\) on a Borel set A. For simplicity, we write \(\mathcal {P}_{L}(\lambda)\) instead of \(\mathcal {P}_{W_{L}}(\lambda)\) when W _{ L } is a window of the form \(W_{L} = [\frac {L^{1/d}}2, \frac {L^{1/d}}2)^{d}\). Then for 1≤k≤d−1, there is a constant \(\hat \beta _{k} (\lambda, r)\) such that [9, Theorem 3.5],
The Poisson point process \(\mathcal {P}(0)\) is understood as a point process with no point. Thus we set \(\hat \beta _{k}(0, r) = 0\) for all r>0. Now we can state our main result.
Theorem 1.3
Assume that the common probability density function f(x) has compact support, is bounded and Riemann integrable. Then as n→∞ with n ^{1/d} r _{ n }→r∈(0,∞),
Consequently, together with (1), we have the following law of large numbers.
Corollary 1.4
Assume that the support of f is compact and convex and that
Assume further that f is Riemann integrable. Then for 1≤k≤d−1,
It is noted that the method here can be applied to show the convergence of persistence diagrams of Čech complexes built on binomial point processes. The convergence of Betti numbers and persistence diagrams related to i.i.d. sampling were observed in [4] by numerical simulation. Here we give a rigorous mathematical proof of the convergences.
For the proof, we need a Poissonized version of the binomial processes. Let N _{ n } be a random variable which is independent of {X _{ n }}_{ n≥1} and has Poisson distribution with parameter n. Let
Then \(\bar {\mathcal {P}}_{n}\) becomes a nonhomogeneous Poisson point process with intensity function n f(x). Here a nonhomogeneous Poisson point process is defined as follows.
Definition 1.5
Let f(x)≥0 be a locally integrable function on \(\mathbb {R}^{d}\). The point process \(\mathcal {P}\) is said to be a (nonhomogeneous) Poisson point process with intensity function f(x) if

for disjoint Borel sets A _{1},…,A _{ k }, the random variables \(\mathcal {P}\left (A_{1}\right), \dots, \mathcal {P}\left (A_{k}\right)\) are independent;

for any bounded Borel set A, \(\mathcal {P}(A)\sim \text {Pois}\left (\int _{A} f(x) dx\right)\).
As proved later, Theorem 1.3 is equivalent to the following result.
Theorem 1.6
Assume that the common probability density function f(x) has compact support, is bounded and Riemann integrable. Then as n→∞ with n ^{1/d} r _{ n }→r∈(0,∞),
All the proofs will be given in Section 3 after discussing some basic properties of Betti numbers in the next section.
Simplicial complexes and Betti numbers
This section introduces some basic concepts in algebraic topology such as simplicial complexes and Betti numbers. It is mainly taken from the book [3].
An abstract simplicial complex \(\mathcal {K}\) on a finite set V is a collection of nonempty subsets of V which is closed under inclusion relation, that is, if \(\sigma \in \mathcal {K}\), then \(\tau \in \mathcal {K}\) for any nonempty subset τ⊂σ. An element \(\sigma \in \mathcal {K}\) with σ=k+1 is called a ksimplex or a simplex of dimension k. A 0simplex (resp. 1simplex) is usually called a vertex (resp. edge). Čech complexes are examples of geometric complexes which are constructed over points in some metric space with respect to certain conditions.
We assign orientations on simplices in the following way. For a ksimplex σ={v _{0},…,v _{ k }} with k>0, define two orderings of its vertex set to be equivalent if they differ from one other by an even permutation. The orderings of the vertices of σ then fall into two equivalent classes. Each of these classes is called an orientation of σ. We write 〈v _{0},…,v _{ k }〉 for an oriented simplex. Let us fix an ordering of the vertex set V. Then the notation 〈σ〉 means the oriented simplex which belongs to the equivalent class of a natural ordering. A 0simplex has only one orientation.
Let F be a field. For each k, let
be a vector space with the basis \(\left \{\left \langle {\sigma }\right \rangle : \sigma \in \mathcal {K}_{k}\right \}\), where \(\mathcal {K}_{k}\) is the set of all ksimplices in \(\mathcal {K}\). The space \(C_{k}(\mathcal K)\) is called a chain group.
The dimension of \(\mathcal {K}\), denoted by \(\dim (\mathcal {K})\), is defined to be the maximum dimension of simplices in \(\mathcal {K}\). For \(1\le k \le \dim (\mathcal {K})\), a boundary operator \(\partial _{k} \colon C_{k}(\mathcal {K}) \to C_{k  1} (\mathcal {K})\) is a linear map whose value on an oriented simplex 〈v _{0},…,v _{ k }〉 is given by
where the symbol \({\hat {~}}\) over v _{ i } indicates that the vertex is removed from the sequence. Then we get a chain
The subspaces \(B_{k}(\mathcal {K}) := \text {Im} \partial _{k + 1}\) and \(Z_{k} (\mathcal {K}) := \ker \partial _{k}\) are called the kth boundary group and the kth cycle group, respectively. By definition, it is straightforward to show that ∂ _{ k }∘∂ _{ k+1}=0. Thus \(B_{k}(\mathcal {K})\) becomes a subspace of Z _{ k }. The quotient space
is called the kth homology group of \(\mathcal {K}\), and its rank is the kth Betti number,
In computational topology, it is convenient to consider the case where F=F _{2}={0,1} because in this case we do not need orientations of simplices.
Let A _{ k } be the matrix representation of the boundary operator ∂ _{ k } with respect to the standard bases \(\mathcal {K}_{k}\) and \(\mathcal {K}_{k  1}\). It is clear that A _{ k } is a f _{ k−1}×f _{ k } matrix with {0,±1}coefficients, where \(f_{k} = \dim \left (C_{k}(\mathcal {K})\right) = \left \mathcal {K}_{k}\right \). Then the kth Betti number can be expressed as
Let \(\{\mathcal {K}^{(i)}\}_{i\in I}\) be a finite collection of disjoint simplicial complexes. Then \(\cup _{i \in I}\mathcal {K}^{(i)} \) becomes a simplicial complex. We easily see that
Next assume that \(\mathcal {K}\) is a subcomplex of \(\tilde {\mathcal {K}}\), that is, \(\mathcal {K} \subset \tilde {\mathcal {K}}\). We use symbols like \(\tilde {\beta _{k}}, \tilde {f}_{k}\) and \(\tilde {A}_{k}\) to denote corresponding quantities of \(\tilde {\mathcal {K}}\). By arranging the basis in \(C_{k}(\tilde {\mathcal {K}})\) such that first elements coincide with the elements in the basis of \(C_{k}(\mathcal {K})\), the matrix \(\tilde {A}_{k}\) has the following form
It then follows that \(\phantom {\dot {i}\!}0 \le \text {rank}\, \tilde {A}_{k}  \text {rank}\, A_{k} \le \tilde {f}_{k}  f_{k}\). This inequality, together with the relation (3), implies the following result ([9, Lemma 2.2]).
Lemma 2.1
Let \(\mathcal {K},\tilde {\mathcal {K}}\) be two finite simplicial complexes such that \(\mathcal {K} \subset \tilde {\mathcal {K}}\). Then for every k≥1,
We have mentioned that Betti numbers are nearly additive because of the two properties (4) and (5). Note that β _{0} counts the number of connected components in the undirected graph G=(V,E), where \(E =\mathcal {K}_{1}\), which is independent of the underlying field F.
Proofs of main theorems
We will use the following two important properties of Poisson point processes. Denote by \(\mathcal {P}(f(x))\) the nonhomogeneous Poisson point process with intensity function f(x).

Scaling property. For any θ>0 and \(t \in \mathbb {R}^{d}\),
$$ \theta (\mathcal{P}(f(x))  t) \overset{d}{=} \mathcal{P}(\theta^{d} f(t + \theta^{1}x)), $$where ‘\(\overset {d}{=}\)’ denotes the equality in distribution. In particular, \(\theta (\mathcal {P}(\lambda)  t) \overset {d}{=} \mathcal {P}(\theta ^{d} \lambda)\).

Coupling property. Let \(\mathcal {P}(g(x))\) be a Poisson point process with intensity function g(x) which is independent of \(\mathcal {P}(f(x))\). Then
$$ \mathcal{P}(f(x)) + \mathcal{P}(g(x)) \overset{d}{=} \mathcal{P}(f(x) + g(x)). $$Here ‘ + ’ means the superposition of two point processes.
We begin with a result for the simplices counting function.
Lemma 3.1
(cf. [9, Lemma 3.2]) Let S _{ j }(λ,r;L)be the number of jsimplices in \(\phantom {\dot {i}\!}\mathcal {C}(\mathcal {P}_{L}(\lambda), r)\). Then for fixed r>0,
In addition, for fixed r, the limit \(\hat S_{j}(\lambda, r)\)is a continuous function of λ on [0,∞).
Proof
For convenience, let \(A_{l}(\lambda) := S_{j}\left (\lambda, r; l^{d}\right) = S_{j}\left (\mathcal {C}\left (\mathcal {P}_{V_{l}}(\lambda), r\right)\right)\), where \(V_{l} = [\frac {l}{2}, \frac {l}{2})^{d}\). Our aim now is to show that
and that \(\mathbb {E}\left [A_{l}(\lambda)\right ]\) is continuous for λ∈ [ 0,∞). Let us first show the continuity of \(\mathbb {E}\left [A_{l}(\lambda)\right ]\). For 0≤λ<μ, we use the coupling \(\mathcal {P}(\mu) = \mathcal {P}(\lambda) + \mathcal {P}(\mu  \lambda)\). Here \(\mathcal {P}(\lambda)\) and \(\mathcal {P}(\mu  \lambda)\) are two independent Poisson point processes with densities λ and (μ−λ), respectively. Let N _{ λ } (resp. N _{ μ;λ }) be the number of points of \(\mathcal {P}(\lambda)\) (resp. \(\mathcal {P}(\mu  \lambda)\)) in V _{ l }, which has Poisson distribution with parameter λ l ^{d} (resp. (μ−λ)l ^{d}). Then the continuity follows from a trivial estimate
Next, we show the uniform convergence. The proof here is similar to that of the pointwise convergence ([9, Lemma 3.2]). Define the function
Then for l>4r+1,
Consequently, by the stationality of the Poisson point process \(\mathcal {P}(\lambda)\),
Note that \(\mathbb {E}\,[\!h(\mathcal {P}(\lambda))]\) is nondecreasing in λ and for any λ>0,
Here \(\mathcal {P}(\lambda ; V_{1 + 4r})\) is the number of points of \(\mathcal {P}(\lambda)\) in V _{1+4r }. Therefore uniformly for 0≤λ≤Λ,
The proof is complete. □
For the sake of simplicity, we denote by β _{ k }(λ,r;L) the kth Betti number of the Čech complex \(\mathcal {C}(\mathcal {P}_{W_{L}} (\lambda), r)\), where W _{ L } is any rectangle of the form \(x + [\frac {L^{1/d}}{2}, \frac {L^{1/d}}{2})^{d}\).
Lemma 3.2
For fixed r>0, uniformly for 0≤λ≤Λ,
The limit \(\hat \beta _{k}(\lambda, r)\)has the following scaling property,
In particular, \(\hat \beta _{k}(\lambda, r) = \lambda \hat \beta _{k} \left (1, \lambda ^{1/d} r\right)\) is a continuous function in both λ and r, and \(\hat \beta (\lambda, r) > 0\), if λ>0 and r>0.
Proof
For fixed r>0 and fixed λ>0, the convergence of the expectations of Betti numbers was shown in [9, Lemma 3.3]. The positivity is a consequence of [8, Theorem 4.2]. Here we will show the uniform convergence for 0≤λ≤Λ. We use the following criterion for the uniform convergence on a compact set, which is related to the Arzelà–Ascoli theorem. The sequence of continuous functions {a _{ L }(λ)}_{ L>0} converges uniformly on [ 0,Λ] if and only if it converges pointwise and is equicontinuous, that is, for any ε>0, there are δ>0 and L _{0}>0 such that
Our task now is to show that the sequence \(\left \{L^{1} \mathbb {E}\left [ \beta _{k} (\lambda, r; L)\right ]\right \}\) is equicontinuous. Let λ<μ. By using the coupling \(\mathcal {P}(\mu) = \mathcal {P}(\lambda) + \mathcal {P}(\mu  \lambda)\), the Čech complex \(\mathcal {C}(\mathcal {P}_{L}(\lambda), r)\) becomes a subcomplex of \(\mathcal {C}\left (\mathcal {P}_{L}(\mu), r\right)\). Thus, by Lemma 2.1,
Therefore
The sequence \(\left \{L^{1}\mathbb {E}\left [S_{j}(\lambda, r; L)\right ]\right \}\) converges uniformly on [ 0,Λ] by Lemma 3.1, and hence, is equicontinuous, which then implies the equicontinuity of the sequence \(\left \{L^{1} \mathbb {E}\left [ \beta _{k} (\lambda, r; L)\right ]\right \}\).
By observing that \(\theta ^{1/d} \mathcal {P}(\lambda)\) has the same distribution with \(\mathcal {P}(\lambda \theta)\), we obtain the scaling property of \(\hat \beta _{k}(\lambda, r)\). It then follows from the scaling property that \(\hat \beta _{k}(\lambda, r)\) is continuous in both λ and r. The lemma is proved. □
Let us now consider the scaled Poissonized version
Recall that N _{ n } is independent of {X _{ n }} and has Poisson distribution with parameter n. Then \(\mathcal {P}_{n} = n^{1/d}\bar {\mathcal {P}}_{n}\) is a nonhomogeneous Poisson point process with the intensity function f _{ n }(x):=f(x/n ^{1/d}). It is clear that \(\mathcal {C}\left (\mathcal {P}_{n}, n^{1/d} r_{n}\right) \cong \mathcal {C}\left (\bar {\mathcal {P}}_{n}, r_{n}\right)\). Thus Theorem 1.6 can be rewritten as follows.
Theorem 3.3
Assume that the common probability density function f(x) has compact support, is bounded and Riemann integrable. Then in the regime that \(\tilde {r}_{n} \to r \in (0, \infty)\),
Remark 3.4.
Note that \(\mathcal {P}'_{n} = \left (r/\tilde {r}_{n}\right) \mathcal {P}_{n}\) is also a nonhomogeneous Poisson point process. Moreover, as a result of scaling, \(\mathcal {C}\left (\mathcal {P}_{n}, \tilde {r}_{n}\right) \cong \mathcal {C}\left (\mathcal {P}_{n}', r\right)\). Thus it is enough to prove Theorem 3.3 with \(\tilde {r}_{n} = r\).
Lemma 3.5
Assume that f(x),g(x)≤Λ in W _{ L }, where \(W_{L} \subset \mathbb {R}^{d}\) is any Borel set of volume L. Then there exists a constant c=c(k,Λ L) such that
Proof
By considering \(f(x) := f(x)_{W_{L}}\) and \(g(x) := g(x)_{W_{L}}\), we omit the subscript W _{ L } in formulae. Let h(x)= max{f(x),g(x)}. A key idea here is the following coupling
Let \(t = \int (h(x)  f(x)) dx = \int (g(x)  f(x))^{+} dx\) and N _{ t } be the number of points of \(\mathcal {P}(h(x) f(x))\) in W _{ L }. Then N _{ t } has Poisson distribution with parameter t. The total number of points of \(\mathcal {P}(h(x))\) is bounded by N _{ t }+N _{ Λ L−t }, where N _{ Λ L−t } has Poisson distribution with parameter (Λ L−t) which is independent of N _{ t }. It now follows from Lemma 2.1 that
and hence,
The right hand side is a polynomial of t whose smallest order is 1 and note that t≤Λ L, thus it is bounded by c t, where the constant c=c(k,Λ L) depends only on k and Λ L, namely we have
An analogous estimate holds when we compare the kth Betti number of \(\mathcal {C}(\mathcal {P}(g(x)), r)\) and that of \(\mathcal {C}(\mathcal {P}(h(x)), r)\). The proof is complete. □
Proof of Theorem 3.3
Let S be the support of f and Λ:= supf(x). Divide \(\mathbb {R}^{d}\) according to the lattice \((L/n)^{1/d}\mathbb {Z}^{d}\) and let {C _{ i }} be the cubes which intersect with S. Since we also consider the Poisson point process with density 0, we may assume that S=∪_{ i } C _{ i }.
Let W _{ i } be the image of C _{ i } under the map x↦n ^{1/d} x. Then W _{ i } is a cube of length L ^{1/d}. Let β _{ k }(W _{ i },r) be the kth Betti number of \(\mathcal {C}(\mathcal {P}_{n}_{W_{i}}, r)\). We now compare the kth Betti number of \(\mathcal {C}(\mathcal {P}_{n}, r)\) and that of \(\cup _{i} \mathcal {C}(\mathcal {P}_{n}_{W_{i}}, r)\) by taking into account Lemma 2.1,
Here \(S_{j}\left (\mathcal {P}_{n}, r; A\right)\) is the number of jsimplices in \(\mathcal {C}\left (\mathcal {P}_{n}, r\right)\) which has a vertex in A, ∂ A denotes the boundary of the set A and A ^{(2r)} is the set of points with distance at most 2r from A. The second inequality holds because any simplex in \(\mathcal {C}\left (\mathcal {P}_{n}, r\right) \setminus \cup _{i}\mathcal {C}(\mathcal {P}_{n}_{W_{i}}, r)\) must have a vertex in ∪_{ i }(∂ W _{ i })^{(2r)}.
Next, by the coupling \(\mathcal {P}(\Lambda) = \mathcal {P}_{n} + \mathcal {P}\left (\Lambda  f\left (x/n^{1/d}\right)\right)\), it follows that for any bounded Borel set A,
It turns out that μ _{ Λ,r,j } becomes a translation invariant measure on \(\mathbb {R}^{d}\) which is finite on bounded Borel sets. Thus μ _{ Λ,r,j }(A)=c(Λ,r,j)A for some constant c(Λ,r,j) depending only on Λ,r and j. Now by taking the expectation in (5), we get
where c and c ^{′} are constants which do not depend on n and L. Therefore,
Let \(f^{*}_{i} := \sup _{x \in C_{i}} f(x)\) and \(\beta _{k}\left (f_{i}^{*}, r; L\right)\) be the kth Betti number of the Čech complex built on a homogeneous Poisson point process \(\mathcal {P}_{W_{i}}\left (f_{i}^{*}\right)\) with density \(f_{i}^{*}\) restricted on W _{ i }. Then by Lemma 3.5,
Here c(k,Λ L) is the constant in Lemma 3.5. Consequently,
because the function f(x) is assumed to be Riemann integrable.
By comparing \(\mathbb {E}\! \left [\beta _{k}\left (f_{i}^{*}, r;L\right)\right ]\) with the limit \(\hat \beta _{k}(\lambda, r)\), we get
Note that for fixed L, as n→∞,
Therefore
Combining the two estimates (14) and (15) and then let L→∞, we get the desired result. The proof is complete. □
The result for binomial point processes will follow from Theorem 1.6 and the following result.
Lemma 3.6
As n→∞ with n ^{1/d} r _{ n }→r,
Proof
By Lemma 2.1 again, we have,
The right hand side, divided by n, converges to 0 as a consequence of general results in [6, 7] applied to S _{ j }. Here we will give an easy proof.
For any m, let
Since the probability density function f(x) is bounded, in the regime that n ^{1/d} r _{ n }→r, the probability that {X _{1}∈B _{ x }(r _{ n })} is bounded by
for some constant c which does not depend on n.
For m>n≥j, since each jsimplex in \(\mathcal {C}\left (\mathfrak {X}_{m}, r_{n}\right) \setminus \mathcal {C}\left (\mathfrak {X}_{n}, r_{n}\right)\) must contain at least one vertex in {X _{ n+1},…,X _{ m }}, we have
When j≤m<n, we change the role of m and n to get
Combining two estimates, we have
Therefore,
Here in the last inequality, we have used the Cauchy–Schwarz inequality. Note that \(\mathbb {E}\left [\left (N_{n}\right)^{j}\right ]\) is a polynomial in n of degree j. Thus the second factor in the above estimate remains bounded as n→∞. Note also that
Therefore,
which completes the proof of Lemma 3.6. □
References
Bobrowski, O, Kahle, M: Topology of random geometric complexes: a survey. Topology in Statistical Inference, the Proceedings of Symposia in Applied Mathematics. to appear.
Meester, R, Roy, R: Continuum Percolation. In: Cambridge Tracts in Mathematics, p. 238. Cambridge University Press, Cambridge (1996).
Munkres, JR: Elements of Algebraic Topology. AddisonWesley Publishing Company, Menlo Park (1984).
Nakamura, T, Hiraoka, Y, Hirata, A, Escolar, EG, Nishiura, Y: Persistent homology and manybody atomic structure for mediumrange order in the glass. Nanotechnology. 26(30), 304001 (2015).
Penrose, M: Random Geometric Graphs. In: Oxford Studies in Probability, p. 330. Oxford University Press, Oxford (2003).
Penrose, MD: Laws of large numbers in stochastic geometry with statistical applications. Bernoulli. 13(4), 1124–1150 (2007).
Penrose, MD, Yukich, JE: Weak laws of large numbers in geometric probability. Ann. Appl. Probab. 13(1), 277–303 (2003).
Yogeshwaran, D, Adler, RJ: On the topology of random complexes built over stationary point processes. Ann. Appl. Probab. 25(6), 3338–3380 (2015).
Yogeshwaran, D, Subag, E, Adler, RJ: Random geometric complexes in the thermodynamic regime. Probab. Theory Relat. Fields. 167(12), 107–142 (2017).
Acknowledgements
The author would like to thank Professor Tomoyuki Shirai and Dr. Kenkichi Tsunoda for useful discussions. The author would also like to thank the referees for their valuable comments. This work is partially supported by JST CREST Mathematics (15656429). The author is partially supported by JSPS KAKENHI Grant No. 16K17616.
Competing interests
The author declares that he has no competing interests.
Author information
Authors and Affiliations
Corresponding author
Rights and permissions
Open Access This article is distributed under the terms of the Creative Commons Attribution 4.0 International License (http://creativecommons.org/licenses/by/4.0/), which permits unrestricted use, distribution, and reproduction in any medium, provided you give appropriate credit to the original author(s) and the source, provide a link to the Creative Commons license, and indicate if changes were made.
About this article
Cite this article
Trinh, K. A remark on the convergence of Betti numbers in the thermodynamic regime. Pac. J. Math. Ind. 9, 4 (2017). https://doi.org/10.1186/s4073601700290
Received:
Accepted:
Published:
DOI: https://doi.org/10.1186/s4073601700290
Keywords
 Čech complex
 Betti number
 Binomial point process
 Thermodynamic regime
AMS Subject Classification
 Primary 55N05
 60F99