Abstract:A countable, bounded degree graph is almost finite if it has a tiling with isomorphic copies of finitely many Følner sets, and we call it strongly almost finite, if the tiling can be randomized so that the probability that a vertex is on the boundary of a tile is uniformly small. We give various equivalents for strong almost finiteness. In particular, we prove that Property A together with the Følner property is equivalent to strong almost finiteness. Using these characterizations, we show that graphs of subexponential growth and Schreier graphs of amenable groups are always strongly almost finite, generalizing the celebrated result of Downarowicz, Huczek and Zhang about amenable Cayley graphs, based on graph theoretic rather than group theoretic principles. We give various equivalents to Property A for graphs, and show that if a sequence of graphs of Property A (in a uniform sense) converges to a graph $G$ in the neighborhood distance (a purely combinatorial analogue of the classical Benjamini-Schramm distance), then their Laplacian spectra converge to the Laplacian spectrum of $G$ in the Hausdorff distance. We apply the previous theory to construct a new and rich class of classifiable $C^{\star}$-algebras. Namely, we show that for any minimal strong almost finite graph $G$ there are naturally associated simple, nuclear, stably finite $C^{\star}$-algebras that are classifiable by their Elliott invariants.
What problem does this paper attempt to address?
The core problem that this paper attempts to solve is to determine the criteria for strong almost finiteness of bounded - degree graphs and explore the relationships between this property and other properties of graphs. Specifically, the authors hope to find equivalent conditions that can describe strong almost finiteness, especially the relationships with the Følner property and Property A. Through these studies, the authors prove that graphs with sub - exponential growth and Schreier graphs of transitive groups are always strongly almost finite, which extends the well - known results of Downarowicz, Huczek and Zhang on transitive Cayley graphs.
### Main contributions
1. **Definitions and equivalent conditions**:
- Define the strong almost finiteness of graphs and give several equivalent conditions. For example, the Følner property of a graph plus Property A is equivalent to strong almost finiteness.
- Prove that Property A, uniform local transitivity, local hyperfiniteness, weighted hyperfiniteness and strong hyperfiniteness are equivalent.
2. **Applications to spectral theory**:
- Study the neighborhood convergence of graphs and prove that if a set of graphs with Property A converges to a certain graph under the neighborhood distance, then their Laplacian spectra also converge under the Hausdorff distance.
3. **Applications to C* - algebras**:
- Construct a new class of classifiable C* - algebras. Specifically, for any minimal strongly almost finite graph, some simple, nuclear, stably finite C* - algebras can be naturally associated, and these algebras can be classified by their Elliott invariants.
### Key theorems
- **The Long Cycle Theorem**:
- Prove that Property A, uniform local transitivity, local hyperfiniteness, weighted hyperfiniteness and strong hyperfiniteness are equivalent.
- **The Short Cycle Theorem**:
- Prove that Property A plus the set Følner property, strong Følner hyperfiniteness, fractional almost finiteness and Følner Property A are equivalent.
- **Equivalence between strong Følner hyperfiniteness and strong almost finiteness**:
- Prove that strong Følner hyperfiniteness and strong almost finiteness are equivalent.
### Application examples
- **Graphs with sub - exponential growth**: Graphs with sub - exponential growth are always strongly almost finite.
- **Schreier graphs of transitive groups**: Schreier graphs of transitive groups are always strongly almost finite.
### Formula examples
- **Definition of Følner sets**:
\[
\text{For any } \epsilon > 0 \text{, there exists an } r > 0 \text{ such that any ball } B_r(x) \text{ of radius } r \text{ contains an } \epsilon\text{-Følner subset.}
\]
where an \(\epsilon\)-Følner subset \(F\) satisfies:
\[
\frac{|\partial(F)|}{|F|} < \epsilon
\]
- **Definition of Property A**:
\[
\text{For any } \epsilon > 0 \text{, there exists an } r > 0 \text{ and a function } \Theta : V(G) \to \text{Prob}(G) \text{ satisfying the following conditions:}
\]
- For each \(x \in V(G)\), the support set of \(\Theta(x)\) is contained in the ball of radius \(r\) centered at \(x\).
- For each adjacent vertex pair \(x, y \in V(G)\), we have:
\[
\|\Theta(x) - \Theta(y)\|_1 < \epsilon
\]
Through these studies,