Abstract:We prove a pointwise ergodic theorem for quasi-probability-measure-preserving (quasi-pmp) locally countable measurable graphs, equivalently, Schreier graphs of quasi-pmp actions of countable groups. For ergodic graphs, the theorem gives an increasing sequence of Borel subgraphs with finite connected components over which the averages of any $L^1$ function converges to its expectation. This implies that every (not necessarily pmp) locally countable ergodic Borel graph on a standard probability space contains an ergodic hyperfinite subgraph. A consequence of this is that every ergodic treeable equivalence relation has an ergodic hyperfinite free factor. The pmp case of the main theorem was first proven by R. Tucker-Drob using a deep result from probability theory. Our proof is different: it is self-contained and applies more generally to quasi-pmp graphs. Among other things, it involves introducing a graph invariant concerning asymptotic averages of functions and a method of tiling a large part of the space with finite sets with prescribed properties. The non-pmp setting additionally exploits a new quasi-order called visibility to analyze the interplay between the Radon--Nikodym cocycle and the graph structure, providing a sufficient condition for hyperfiniteness.

The number of topological generators for full groups of ergodic equivalence relations

Non-singular and probability measure-preserving actions of infinite permutation groups

On dense orbits in the space of subequivalence relations

Ergodic measures in minimal group actions with finite topological sequence entropy

About discrete subgroups of full groups of measure preserving equivalence relations

Optimal topological generators of $U(1)$

Pointwise ergodic theorem for locally countable quasi-pmp graphs

Uncountable Hyperfiniteness and The Random Ratio Ergodic Theorem

On noncommutative ergodic theorems for semigroup and free group actions

An uncountable ergodic Roth theorem and applications

Edge sliding and ergodic hyperfinite decomposition

SSGP topologies on free groups of infinite rank

On locally compact groups of small topological entropy

On the ratio ergodic theorem for group actions

Non-existence of a universal zero-entropy system via generic actions of almost complete growth

Entropy of group actions beyond uniform lattices

Lifting Generators in Connected Lie Groups

On the number of generators of groups acting arc-transitively on graphs

Kac's Lemma and countable generators for actions of countable groups

Topo-isomorphisms of irregular Toeplitz subshifts for residually finite groups

Stabilizers of Ergodic Actions of Lattices and Commensurators