Abstract:We provide a geometric condition which determines whether or not every point on the metric boundary of a graph with the standard path metric is a Busemann point, that is it is the limit point of a geodesic ray. We apply this and a related condition to investigate the structure of the metric boundary of Cayley graphs. We show that every metric boundary point of the Cayley graph of a finitely generated Abelian group is a Busemann point, but groups such as the braid group and the discrete Heisenberg group have boundary points of the Cayley graph which are not Busemann points when equipped with their usual generators.
What problem does this paper attempt to address?
The problem that this paper attempts to solve is to determine whether every point on the metric boundary of an infinite graph is a Busemann point. Specifically, the author provides a geometric condition to judge whether every metric boundary point in the graph is a Busemann point, that is, whether these points are the limit points of geodesic rays. In addition, the author also studies the structure of the metric boundary of Cayley graphs and explores whether the boundary points of Cayley graphs of different groups (such as braid groups and discrete Heisenberg groups) are Busemann points.
### Main problems
1. **Definition and significance of Busemann points**:
- Busemann points refer to those boundary points that can be regarded as the limit points of almost - geodesic rays.
- What the author is concerned about is how to judge whether all the boundary points of a metric space are Busemann points.
2. **Proposing of geometric conditions**:
- By studying whether the minimum paths between triples of vertices will eventually meet, the author gives a geometric condition to judge whether all metric boundary points are Busemann points.
- The specific condition is: for any pair of vertices, there exist minimum paths from each vertex to a third distant vertex, and these paths will eventually share a tail.
3. **Application of Cayley graphs**:
- The author applies the above - mentioned condition to the Cayley graphs of finitely generated Abelian groups and proves that all their metric boundary points are Busemann points.
- For some other groups (such as braid groups and discrete Heisenberg groups), there exist boundary points that are not Busemann points.
### Summary of mathematical formulas
- **Definition of weak geodesic rays**:
\[
|d(\gamma(t), y) - d(\gamma(s), y) - (t - s)| < \varepsilon
\]
where \( t, s\in T \) and \( t, s\geq N \).
- **Busemann function**:
\[
\phi_y(x) = d(x, y) - d(x, z_0)
\]
where \( z_0 \) is the base point.
- **Limit in the metric compactification space**:
\[
\lim_{t\rightarrow\infty} f(\gamma(t))
\]
exists and defines an element in \( \partial_d X \).
### Conclusion
This paper solves the problem of whether all metric boundary points of an infinite graph are Busemann points by introducing geometric conditions, and verifies the effectiveness of this condition through specific examples.