---
title: Pointed Gromov–Hausdorff Limit Graphs
url: https://www.emergentmind.com/topics/pointed-gromov-hausdorff-limit-graphs
type: topic
---

# Pointed Gromov–Hausdorff Limit Graphs

Pointed Gromov–Hausdorff limit graphs are rooted infinite graphs obtained as limits of sequences of pointed finite graphs in such a way that every fixed-radius ball around the distinguished vertex eventually becomes stable. In the graph setting, this viewpoint turns local combinatorial stabilization into a metric notion of convergence, and it supports finer asymptotic constructions such as isomorphism classification, metric compactification, and horofunction boundaries. A central recent instance is the family of Sierpinski polygon limit graphs determined by infinite words over \(r\) letters, with \(r\ge 1\) not divisible by \(4\), where the finite approximants converge strongly in the pointed Gromov–Hausdorff sense to an infinite rooted graph \(\Gamma_\xi^{(r)}\) [2507.23681].

## 1. Pointed Gromov–Hausdorff convergence in rooted graphs

For boundedly-compact pointed metric spaces \((X,o)\), the pointed Gromov–Hausdorff metric compares large balls around the distinguished points and lets the radius tend to infinity. In the specialization to locally finite rooted graphs, the vertex set is viewed as a discrete metric space with the graph-distance
\[
d_G(u,v)=\text{length of shortest path from \(u\) to \(v\)}.
\]
Because balls of finite radius contain only finitely many vertices, each rooted graph \((G,o)\) is a boundedly-compact pointed metric space. In this setting, pointed Gromov–Hausdorff convergence is equivalent to rooted-ball stabilization: for every fixed radius \(r\), the balls \(B_{G_n}(o_n,r)\) are eventually isomorphic to \(B_G(o,r)\) [1812.03760].

The Sierpinski polygon construction uses a stronger formulation. A sequence of pointed graphs \(\{(X_m,p_m)\}_{m\ge 1}\) strongly converges to \((X,p)\) if for every integer \(R>0\) there is \(M(R)\) such that whenever \(m\ge M(R)\) there is a pointed graph-isometry
\[
B_{X_m}(p_m,R)\longrightarrow B_X(p,R)
\]
sending \(p_m\mapsto p\). In that framework, strong convergence immediately implies the usual pointed Gromov–Hausdorff convergence of the underlying metric spaces, so no explicit computation of a Gromov–Hausdorff distance is required [2507.23681].

A recurrent misconception is that one must control a global metric distortion directly. In these graph families, the decisive input is instead the eventual isometry type of finite balls around the root. This is precisely the mechanism that allows recursive graph constructions to pass to infinite pointed limits.

## 2. Recursive construction of Sierpinski polygon approximants

The Sierpinski polygon graphs are defined from the cyclic graph \(P_r\) on
\[
V_r=\{0,1,\dots,r-1\},
\]
equipped with its usual graph-metric \(d\). The parameters
\[
f(r)=\min\{\,i\in\mathbb N:4i>r\}, \qquad \widetilde f(r)=2f(r)
\]
govern the gluing rule. The base graph is \(\Gamma_1^{(r)}=P_r\). Inductively, assuming \(\Gamma_{k-1}^{(r)}\) has been constructed, one forms \(r\) disjoint labeled copies \(\Gamma_{k-1}^{(r)}(i)\), \(i\in V_r\), writes vertices in the \(i\)-th copy as words of length \(k\) ending in \(i\), and then performs a prescribed pairwise identification between neighboring copies [2507.23681].

More concretely, for each \(i\in V_r\), the vertex
\[
\bigl((i+f(r))^{k-1}i\bigr)\in \Gamma_{k-1}(i)
\]
is identified with
\[
\bigl(((i+1)+\widetilde f(r))^{k-1}(i+1)\bigr)\in \Gamma_{k-1}(i+1),
\]
and an analogous “opposite” vertex of \(\Gamma_{k-1}(i)\) is glued to \(\Gamma_{k-1}(i-1)\). The resulting connected graph is \(\Gamma_k^{(r)}\). An infinite sequence
\[
\xi=x_1x_2x_3\cdots \in V_r^\infty
\]
determines a distinguished vertex \(\xi[k]=x_1x_2\cdots x_k\) in \(\Gamma_k^{(r)}\), so each finite approximant is regarded as a pointed graph \((\Gamma_k^{(r)},\xi[k])\) [2507.23681].

This recursive definition supplies a canonical address system for vertices and an equally canonical choice of roots. A plausible implication is that the tail of the address \(\xi\) should encode the asymptotic position of the root inside the self-similar graph, and that implication is borne out by the isomorphism classification.

## 3. Limit graphs and classification by dihedral symmetry

For every infinite word \(\xi\), the recursive construction yields a strong pointed Gromov–Hausdorff limit
\[
(\Gamma_k^{(r)},\xi[k]) \longrightarrow (\Gamma_\xi^{(r)},\xi),
\]
where \(\Gamma_\xi^{(r)}\) is the infinite Sierpinski polygon limit graph determined by \(\xi\) [2507.23681]. The limit graph is always pointed at the infinite word \(\xi\), and its finite-radius neighborhoods are inherited from sufficiently deep finite approximants.

The classification of these limit graphs is governed by the symmetries of the base cycle. The full isometry group of \(P_r\) is the dihedral group \(D_r\) of order \(2r\), acting on \(V_r\) by permutations that preserve cyclic adjacency. This action extends coordinate-wise to infinite sequences in \(V_r^\infty\). For every \(\sigma\in D_r\) and every \(k\), relabeling the \(r\) copies induces a pointed-graph isomorphism
\[
(\Gamma_k^{(r)},\xi[k]) \longrightarrow (\Gamma_k^{(r)},\sigma(\xi)[k]),
\]
and hence a pointed isomorphism of the limits
\[
(\Gamma_\xi^{(r)},\xi)\cong (\Gamma_{\sigma(\xi)}^{(r)},\sigma(\xi)).
\]
Two sequences \(\xi,\eta\in V_r^\infty\) are called cofinal, written \(\xi\sim\eta\), if they agree from some index onward. If \(\eta\sim \xi\), then \(\eta\) and \(\xi\) represent the same vertex of the limit graph, so \(\Gamma_\eta=\Gamma_\xi\). Conversely, any pointed isomorphism \(\Gamma_\xi\to\Gamma_\eta\) comes from some \(\sigma\in D_r\) [2507.23681].

The resulting theorem is exact: \(\Gamma_\xi^{(r)}\cong \Gamma_\eta^{(r)}\) as un-pointed graphs if and only if there exists \(\sigma\in D_r\) such that
\[
\eta\sim \sigma(\xi).
\]
Thus the unpointed isomorphism class is determined by the tail of the address modulo dihedral symmetry. This reduces a graph-theoretic classification problem to tail-equivalence in a symbolic space together with a finite group action.

## 4. Horofunction boundaries, Busemann points, and non-Busemann points

The asymptotic geometry of a pointed limit graph can be refined through the horofunction compactification. For any locally finite connected graph \(X\) with graph-metric \(d\), after fixing a base vertex \(x_0\), one defines for each \(v\in X\) the distance-normalized function
\[
\overline d_v(x)=d(x,v)-d(x_0,v), \qquad x\in X.
\]
The closure of \(\{\overline d_v:v\in X\}\) in \(\mathbb Z^X\) is the horofunction compactification, and the horofunction boundary is
\[
\partial_h X=\overline{\{\overline d_v\mid v\in X\}}\setminus \{\overline d_v:v\in X\}.
\]
A horofunction is a Busemann point if it arises as the pointwise limit of an almost-geodesic ray; otherwise it is non-Busemann. In the specialized form used here, every element of \(\partial_hX\) is the pointwise limit of some weakly-geodesic ray, and every weakly-geodesic ray defines a horofunction [2507.23681].

In the Sierpinski polygon limit graphs, the relevant large-scale obstructions are the “holes” inherited from finite levels. Roughly speaking, each \(\Gamma_k\) has one large central hole whose boundary is an embedded generalized Koch-curve. Gluing copies around that hole produces two canonical sequences of cut-vertices \(\{\overline b_k\}\) and \(\{\underline b_k\}\) receding to infinity along two distinct geodesic rays. When the defining sequence is eventually constant, say \(\xi=w\,j^\infty\), the boundary admits an explicit classification: exactly two Busemann points occur, namely those determined by the two gluing geodesic rays through \(\overline b_k\) and \(\underline b_k\), and there are countably many non-Busemann points arising, for example, from antipodal sequences of vertices on opposite sides of each hole and from their integer-shifts along the hole’s perimeter [2507.23681].

The distinction is structural rather than terminological. In these graphs, not every point at infinity is seen by an almost-geodesic ray. The paper constructs, for each \(t\in\mathbb Z\), a weakly-geodesic ray \(\gamma_t\) visiting the midpoint of the \(k\)-th hole at offset \(t\), proves convergence to a horofunction, and shows that only two distinct accumulation points have the almost-geodesic property. This provides a concrete instance in which Busemann and non-Busemann boundary points coexist in a single pointed Gromov–Hausdorff limit graph.

## 5. Comparison with infinite Sierpiński carpet graphs

A closely related model is the infinite Sierpiński carpet graph \(G_\infty(w)\) associated with an infinite word
\[
w=y\,x_1x_2x_3\cdots \in Y\times X^\infty,
\]
where \(X=\{0,1,\dots,7\}\) and \(Y=\{a,b,c,d\}\). The finite rooted approximants \(G_n(w)\) are built by starting from the \(4\)-cycle \(C_4\), then at each step taking eight disjoint copies of \(G_n(w)\), placing them in the \(3\times 3\) Sierpiński carpet pattern with the central piece removed, and choosing the new root in the copy labeled \(x_n\). The infinite rooted graph \(G_\infty(w)\), denoted \(\Gamma_w\) in the paper, is the union of these approximants glued compatibly along roots [1501.03178].

The pointed Gromov–Hausdorff convergence mechanism is the same as in the polygon case: for every radius \(r\), once \(n\) is large enough,
\[
B_{G_n(w)}(o_n,r)=B_{G_{n+1}(w)}(o_{n+1},r)=B_{G_\infty(w)}(o,r),
\]
so the limit follows by matching finite balls exactly. The resulting infinite graph is locally finite and connected, and it admits an explicit horofunction compactification. Its boundary is described in terms of geodesic, almost-geodesic, and weakly-geodesic rays, with the classification depending on which symbols \(i\in\{0,\dots,7\}\) occur infinitely often in the address. Under the product Bernoulli measure giving each letter equal probability \(1/4\) or \(1/8\), the boundary consists with probability \(1\) of exactly four Busemann points and countably many non-Busemann points [1501.03178].

The comparison is instructive. Both the polygon and carpet families produce pointed Gromov–Hausdorff limit graphs from recursive self-similar approximants; both admit a full horofunction analysis; and both exhibit non-Busemann points generated by large detours around recursively created holes. The precise cardinalities differ, but the qualitative mechanism is parallel.

## 6. Broader GH- and GHP-limit context

Pointed Gromov–Hausdorff limit graphs sit within a broader theory of metric limits with or without additional structure. A unified framework for Gromov–Hausdorff-type metrics treats compact or boundedly-compact metric spaces equipped with a measure, a point, a closed subset, a curve, or tuples of such data, and proves completeness and separability under suitable conditions. In the graph specialization, rooted local weak convergence agrees with pointed Gromov–Hausdorff convergence once the graph is viewed through its graph-distance and, when necessary, its edge relation as extra structure [1812.03760].

Related work on degenerating flat Riemannian surfaces shows that pointed Gromov–Hausdorff limits need not arise only from discrete graph approximants. For a one-parameter family of flat genus-\(g\) curves in the maximally collapsed case, after rescaling the flat metric on each fiber to unit diameter, the pointed Gromov–Hausdorff limit is a metric graph \((\Gamma_{\lim},v_0)\) obtained from the dual intersection complex by collapsing away the complement of the minimality locus of the Kontsevich–Soibelman weight function. In that setting, every positive genus may occur as a collapsed limit [1802.03818].

A different regime appears in random unlabelled \(k\)-trees. There the global limit is not a locally finite infinite graph but the Brownian Continuum Random Tree: the random unlabelled \(k\)-tree \(U_n\), equipped with graph-distance and the uniform vertex-measure, converges after rescaling by \(c_k n^{-1/2}\) in the Gromov–Hausdorff–Prokhorov topology to the CRT. At the same time, the neighborhood of a uniform random vertex out to radius \(r_n=o(n^{1/2})\) converges in total variation to the corresponding neighborhood in an infinite random \(k\)-tree \(\hat U\). This separates the local rooted limit from the global macroscopic scaling limit [1801.10097].

Taken together, these developments show that pointed Gromov–Hausdorff limit graphs occupy several distinct roles. In deterministic recursive graph families such as Sierpinski polygons and carpets, they encode exact local stabilization and support explicit boundary theory. In geometric degeneration, they arise as collapsed metric graphs with lengths determined by algebro-geometric data. In random combinatorics, they interface with Gromov–Hausdorff–Prokhorov scaling limits and local weak limits, clarifying the difference between local graph structure and global metric shape.

Source: https://www.emergentmind.com/topics/pointed-gromov-hausdorff-limit-graphs