The Structure of Almost Stationary Measures
Abstract
Let G be a higher-rank simple Lie group acting on a space X. A theorem of Nevo and Zimmer asserts that every ergodic stationary probability measure on X is either G-invariant or admits a projective factor G/Q for a proper parabolic subgroup Q. We develop a quantitative theory of stationary measures and prove an effective form of this dichotomy. We introduce notions of eps-almost stationarity, δ-almost invariance and δ-almost projective factor, and show that every eps-almost stationary measure is either δ-almost invariant or carries a δ'-almost projective factor, with δ,δ' explicit in eps and depending only on G. No ergodicity, arithmeticity or Diophantine hypothesis is imposed, and the bounds are uniform over all G-spaces. Additionally, we prove a decomposition version of this theorem where each measure is decomposed into an almost invariant part and an almost projective part. This comes at the cost of worse constants. The proof introduces several tools: the \emph{entropigeonhole method}, an entropy-based pigeonhole principle yielding a quantitative Mautner phenomenon; \emph{factor functions}, quantitative analogues of functions on homogeneous factor spaces; and a \emph{fast generation} dichotomy in the spirit of growth in groups. In a companion paper these are used to show, among other things, that a discrete subgroup of infinite covolume has injectivity radius at least clog(4)r somewhere in the ball of radius r, which is an effective form of a theorem of Frączyk and Gelander. We also prove rates for Benjamini--Schramm convergence of quotients of higher-rank lattices.
Related
- Khintchine dichotomy for images of self-similar measures and almost random walks
- Maximizing Measures for Subadditive and Almost-Additive Potentials on Countable-Alphabet Subshifts
- T-embeddings as stationary measures on T-graphs
- Stationary Measures and Boundary Correlations for Multispecies Half-Line ASEP
- Exact Endpoint Asymptotics and Almost-Sure Limits for Uniform Empirical Measures in Two Dimensions
BibTeX
@misc{gekhtman2026structure,
title = {{The Structure of Almost Stationary Measures}},
author = {Ilya Gekhtman and Simon Machado and Omri Solan and Yuval Yifrach},
howpublished = {arXiv},
year = {2026},
month = sep,
doi = {10.48550/arxiv.2608.01466},
eprint = {2608.01466},
archivePrefix = {arXiv},
url = {https://arxiv.org/abs/2608.01466},
}
RIS
TY - UNPB
TI - The Structure of Almost Stationary Measures
AU - Ilya Gekhtman
AU - Simon Machado
AU - Omri Solan
AU - Yuval Yifrach
PY - 2026
DA - 2026/09/21
PB - arXiv
DO - 10.48550/arxiv.2608.01466
UR - https://arxiv.org/abs/2608.01466
AB - Let G be a higher-rank simple Lie group acting on a space X. A theorem of Nevo and Zimmer asserts that every ergodic stationary probability measure on X is either G-invariant or admits a projective factor G/Q for a proper parabolic subgroup Q. We develop a quantitative theory of stationary measures and prove an effective form of this dichotomy. We introduce notions of eps-almost stationarity, δ-almost invariance and δ-almost projective factor, and show that every eps-almost stationary measure is either δ-almost invariant or carries a δ'-almost projective factor, with δ,δ' explicit in eps and depending only on G. No ergodicity, arithmeticity or Diophantine hypothesis is imposed, and the bounds are uniform over all G-spaces. Additionally, we prove a decomposition version of this theorem where each measure is decomposed into an almost invariant part and an almost projective part. This comes at the cost of worse constants. The proof introduces several tools: the \emph{entropigeonhole method}, an entropy-based pigeonhole principle yielding a quantitative Mautner phenomenon; \emph{factor functions}, quantitative analogues of functions on homogeneous factor spaces; and a \emph{fast generation} dichotomy in the spirit of growth in groups. In a companion paper these are used to show, among other things, that a discrete subgroup of infinite covolume has injectivity radius at least clog^(4)r somewhere in the ball of radius r, which is an effective form of a theorem of Frączyk and Gelander. We also prove rates for Benjamini--Schramm convergence of quotients of higher-rank lattices.
ER -