pith. sign in

arxiv: 2605.27008 · v1 · pith:UZZIM3ANnew · submitted 2026-05-26 · 🧮 math.DS

Rigidity and equidistribution of random walks by diffeomorphisms near the conservative regime

Timoth\'ee B\'enard , Zhiyuan Zhang This is my paper

Pith reviewed 2026-07-01 16:19 UTC · model grok-4.3

classification 🧮 math.DS
keywords random walksdiffeomorphismsstationary measuresequidistributionrigidityFrostman dimensionconservative regime
0
0 comments X

The pith

Diffeomorphism random walks close to volume-preserving ones admit a unique atom-free stationary measure to which they equidistribute.

A machine-rendered reading of the paper's core claim, the machinery that carries it, and where it could break.

The paper proves that if a probability measure μ on C² diffeomorphisms of a closed manifold has compact support, satisfies gap and pinching conditions, and lies sufficiently close in the weak-* topology to a volume-preserving measure, then there is a unique atom-free stationary probability measure Υ_μ. This measure has full Frostman dimension and reduces to volume when μ itself preserves volume. The n-step distributions starting from any point x converge to Υ_μ unless x belongs to a finite μ-invariant set. A sympathetic reader cares because the result supplies equidistribution and rigidity for random dynamical systems in a regime near conservativeness rather than requiring uniform hyperbolicity.

Core claim

Provided μ has compact support, satisfies certain gap and pinching conditions, and is weak-* close to a volume-preserving measure, M carries a unique atom-free stationary probability measure Υ_μ. This measure has full Frostman dimension and coincides with volume in the volume-preserving setting. Moreover, for every x∈M, the n-step distribution μ^{*n} * δ_x converges to Υ_μ unless x is contained in a finite μ-invariant set.

What carries the argument

The unique atom-free stationary probability measure Υ_μ that attracts the random walk distributions under the stated conditions on μ.

If this is right

  • The result applies directly to bi-expanding random walks on surfaces.
  • It applies to non-linear perturbations of Zariski-dense random walks on the torus T^d.
  • It applies to random walks on cocompact lattice quotients of SO(2,1) and SO(3,1) and on the sphere S^d.
  • When μ is volume-preserving the stationary measure Υ_μ coincides with volume.

Where Pith is reading between the lines

These are editorial extensions of the paper, not claims the author makes directly.

  • Closeness to volume preservation may substitute for stronger hyperbolicity assumptions in other equidistribution problems for random walks.
  • One could test whether the gap and pinching conditions alone, without the closeness hypothesis, already force uniqueness in specific geometric settings.
  • The full Frostman dimension of Υ_μ suggests possible links to dimension estimates for stationary measures in related random dynamical systems on manifolds.

Load-bearing premise

The driving measure μ must be weak-* close to a volume-preserving measure, in addition to the gap and pinching conditions.

What would settle it

Constructing a measure μ that satisfies the gap and pinching conditions, has compact support, yet is not weak-* close to any volume-preserving measure, while still admitting two distinct atom-free stationary measures, would falsify the uniqueness result.

read the original abstract

We consider a random walk on a closed manifold $M$ driven by a probability measure $\mu$ on the space of $C^2$ diffeomorphisms. Provided $\mu$ has compact support, satisfies certain gap and pinching conditions, and is weak-$*$ close to a volume-preserving measure, we prove that $M$ carries a unique atom-free stationary probability measure $\Upsilon_{\mu}$. This measure has full Frostman dimension and coincides with volume in the volume-preserving setting. Moreover, for every $x\in M$, the $n$-step distribution $\mu^{*n} * \delta_x$ converges to $\Upsilon_{\mu}$ unless $x$ is contained in a finite $\mu$-invariant set. Our result applies to a variety of situations, including bi-expanding random walks on surfaces, non-linear perturbations of Zariski-dense random walks on the torus $\mathbb{T}^d$, on cocompact lattice quotients of $\mathrm{SO}(2,1)$ and $\mathrm{SO}(3,1)$, and on the sphere $\mathbb{S}^d$.

Editorial analysis

A structured set of objections, weighed in public.

Desk editor's note, referee report, simulated authors' rebuttal, and a circularity audit. Tearing a paper down is the easy half of reading it; the pith above is the substance, this is the friction.

Referee Report

0 major / 1 minor

Summary. The paper proves that if μ is a probability measure on C² diffeomorphisms of a closed manifold M with compact support, satisfying gap and pinching conditions and weak-* close to a volume-preserving measure, then M admits a unique atom-free stationary probability measure Υ_μ of full Frostman dimension. This measure coincides with volume when μ is volume-preserving. Moreover, μ^{*n} * δ_x converges to Υ_μ for every x not contained in a finite μ-invariant set. The result is applied to bi-expanding walks on surfaces, non-linear perturbations of Zariski-dense walks on tori, cocompact quotients of SO(2,1) and SO(3,1), and the sphere S^d.

Significance. If the result holds, it provides a rigidity theorem for stationary measures of random walks by diffeomorphisms near the conservative regime, yielding uniqueness, full dimension, and equidistribution under a combination of gap/pinching and proximity assumptions. The applications to several geometrically distinct settings (surfaces, tori, hyperbolic quotients) indicate potential impact in smooth dynamics and random dynamical systems.

minor comments (1)
  1. The abstract states the main theorem but supplies no proof outline, error estimates, or verification steps; the full manuscript must be checked for these details to confirm the derivation.

Simulated Author's Rebuttal

0 responses · 0 unresolved

We thank the referee for their summary of the manuscript and for recognizing its potential significance in smooth dynamics and random dynamical systems. The recommendation is listed as uncertain, but the report contains no specific major comments or questions for us to address. We remain available to provide further clarifications, additional details, or revisions should the referee have any concerns upon further review.

Circularity Check

0 steps flagged

No significant circularity

full rationale

The paper states a theorem whose hypotheses (compact support of μ, gap/pinching conditions, and weak-* closeness to a volume-preserving measure) are external to the claimed conclusions. The uniqueness of the stationary measure Υ_μ, its Frostman dimension, and the equidistribution of μ^{*n} * δ_x are asserted to follow from these assumptions via a direct proof. No self-definitional steps, fitted inputs renamed as predictions, or load-bearing self-citations appear in the provided abstract or description. The argument is therefore self-contained against the listed external conditions rather than reducing to its own inputs by construction.

Axiom & Free-Parameter Ledger

0 free parameters · 4 axioms · 0 invented entities

The claim rests on standard background facts in smooth dynamics together with the four explicit hypotheses listed in the abstract; no free parameters or new entities are introduced in the statement.

axioms (4)
  • domain assumption M is a closed manifold
    Stated as the ambient space for the random walk.
  • domain assumption μ is a probability measure on the space of C² diffeomorphisms with compact support
    Given as the driving measure for the random walk.
  • domain assumption μ satisfies gap and pinching conditions
    Required hypothesis for the uniqueness and convergence statements.
  • domain assumption μ is weak-* close to a volume-preserving measure
    Central hypothesis enabling the rigidity conclusion.

pith-pipeline@v0.9.1-grok · 5721 in / 1481 out tokens · 49480 ms · 2026-07-01T16:19:15.776156+00:00 · methodology

discussion (0)

Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.

Reference graph

Works this paper leans on

44 extracted references · 12 canonical work pages · 2 internal anchors

  1. [1]

    M. B. Bekka , On uniqueness of invariant means. Proceedings of the American Mathematical Society. 1998, 126 (2), 507-514

    1998

  2. [2]

    Bourgain , The discretized sum-product and projection theorems, J

    J. Bourgain , The discretized sum-product and projection theorems, J. Anal. Math., 112 :193-236, 2010

    2010

  3. [3]

    Breuillard and O

    E. Breuillard and O. Becker , Uniform spectral gaps, non-abelian Littlewood - Offord and anti-concentration for random walks, arXiv :2512.15364

    work page arXiv

  4. [4]

    Brown, A

    A. Brown, A. Eskin, S. Filip and F. Rodriguez Hertz , Measure rigidity for generalized u-Gibbs states and stationary measures via the factorization method, arXiv:2502.14042

    work page arXiv

  5. [5]

    Bourgain, A

    J. Bourgain, A. Furman, E. Lindenstrauss, and S. Mozes , Stationary measures and equidistribution for orbits of nonabelian semigroups on the torus, J. Am. Math. Soc., 24 (2011), 231-280

    2011

  6. [6]

    Bourgain, A

    J. Bourgain, A. Gamburd , On the spectral gap for finitely-generated subgroups of \( SU (2)\) , Inventiones Mathematicae, 171 (1):83-121, (2008)

    2008

  7. [7]

    B\'enard and W

    T. B\'enard and W. He , Multislicing and effective equidistribution for random walks on some homogeneous spaces, To appear in Annals of Mathematics

  8. [8]

    Effective equidistribution of random walks on simple homogeneous spaces

    T. B\'enard and W. He , Effective equidistribution of random walks on simple homogeneous spaces, arXiv:2511.13512

    work page internal anchor Pith review Pith/arXiv arXiv

  9. [9]

    B\'enard, W

    T. B\'enard, W. He and H. Zhang , Khintchine dichotomy for self-similar measures, Journal of the American Mathematical Society (2026) 39 , 587-623

    2026

  10. [10]

    Brown, H

    A. Brown, H. Lee, D. Obata, Y. Ruan , Absolute continuity of stationary measures, arXiv:2409.18252

    work page arXiv

  11. [11]

    Brown, H

    A. Brown, H. Lee, D. Obata, Y. Ruan , Absolute continuity of stationary measures for random surface dynamics, arXiv:2510.26194

    work page arXiv

  12. [12]

    Benoist, J.F

    Y. Benoist, J.F. Quint , Random Walks on Reductive Groups, Springer Cham, A Series of Modern Surveys in Mathematics (2016)

    2016

  13. [13]

    Benoist, J.-F

    Y. Benoist, J.-F. Quint , Stationary measures and closed invariants on homogeneous spaces, Annals of Mathematics 174 (2011), 1111-1162

    2011

  14. [14]

    Benoist, J.-F

    Y. Benoist, J.-F. Quint , Stationary measures and invariant subsets of homogeneous spaces II , Journal of the American Mathematical Society 26 (2013), 659-734

    2013

  15. [15]

    Benoist, J.-F

    Y. Benoist, J.-F. Quint , Stationary measures and invariant subsets of homogeneous spaces III , Annals of Mathematics 178 (2013), 1017-1059

    2013

  16. [16]

    Brown, F

    A. Brown, F. Rodriguez Hertz , Measure rigidity for random dynamics on surfaces and related skew products, J. Amer. Math. Soc. 30 (2017), 1055-1132

    2017

  17. [17]

    Cantat and R

    S. Cantat and R. Dujardin , Dynamics of automorphism groups of projective surfaces: classification, examples and outlook, arXiv: 2310.01303

    work page arXiv

  18. [18]

    Conze, Y

    J-P. Conze, Y. Guivarc'h , Ergodicity of group actions and spectral gap, applications to random walks and Markov shifts, Discrete and Continuous Dynamical Systems , 2013, 33 (9): 4239-4269. doi: 10.3934/dcds.2013.33.4239

    work page doi:10.3934/dcds.2013.33.4239 2013

  19. [19]

    DeWitt and D

    J. DeWitt and D. Dolgopyat , Conservative coexpanding on average diffeomorphisms, arXiv:2503.06855

    work page arXiv

  20. [20]

    DeWitt and D

    J. DeWitt and D. Dolgopyat , Expanding on average diffeomorphisms of surfaces: exponential mixing, arXiv:2410.08445

    work page arXiv

  21. [21]

    Ergodicity of (co)expanding on average random dynamical systems

    J. DeWitt, D. Dolgopyat and Z. Zhang , Ergodicity of (co)expanding on average random dynamical systems, arXiv:2605.21199

    work page internal anchor Pith review Pith/arXiv arXiv

  22. [22]

    Dolgopyat and R

    D. Dolgopyat and R. Krikorian , On simultaneous linearization of diffeomorphisms of the sphere, Duke Math. J. 136 (2007), 475-505

    2007

  23. [23]

    Elliot Smith , TBA, (2026)

    R. Elliot Smith , TBA, (2026)

    2026

  24. [24]

    Eskin and M

    A. Eskin and M. Mirzakhani , Invariant and stationary measures for the \(SL(2, R )\) action on moduli space, Publ. Math., Inst. Hautes \'E tud. Sci. 127 (2018), 95-324

    2018

  25. [25]

    Eskin, R

    A. Eskin, R. Potrie and Z. Zhang , Geometric properties of partially hyperbolic measures and applications to measure rigidity, arXiv: 2302.12981

    work page arXiv

  26. [26]

    Fisher and G

    D. Fisher and G. Margulis , Almost isometric actions, property (T), and local rigidity, Invent. Math., 162 (1):19-80, 2005

    2005

  27. [27]

    He , Orthogonal projections of discretized sets, J

    W. He , Orthogonal projections of discretized sets, J. Fractal Geom. , 7 (2020), no. 3, pp. 271-317

    2020

  28. [28]

    He , Random walks on linear groups satisfying a Schubert condition, Isr

    W. He , Random walks on linear groups satisfying a Schubert condition, Isr. J. Math. 238 , No. 2, 593-627 (2020)

    2020

  29. [29]

    Hennion , Sur un th\'eor\`eme spectral et son application aux noyaux lipschitziens, Proc

    H. Hennion , Sur un th\'eor\`eme spectral et son application aux noyaux lipschitziens, Proc. Amer. Math. Soc. 118 (2), (1993) 627-634

    1993

  30. [30]

    Hirsch , Differential Topology, Graduate texts in mathematics, 33 (1997), Berlin, New York: Springer-Verlag

    M. Hirsch , Differential Topology, Graduate texts in mathematics, 33 (1997), Berlin, New York: Springer-Verlag

    1997

  31. [31]

    Kawada and K

    Y. Kawada and K. It\^o , On the probability distribution on a compact group. I , Proceedings of the Physico-Mathematical Society of Japan, 22 (1940), pp. 977-998

    1940

  32. [32]

    Kogler and W

    C. Kogler and W. Kim , Effective density of non-degenerate random walks on homogeneous spaces, Int. Math. Res. Not., 11 . 1 (2024), pp. 9218-9236

    2024

  33. [33]

    Keller and C

    G. Keller and C. Liverani. , Stability of the spectrum for transfer operators, Ann. Scuola Norm. Sup. Pisa Cl. Sci., (4) 28 . 1 (1999), pp. 141-152

    1999

  34. [34]

    Lindenstrauss, A

    E. Lindenstrauss, A. Mohammadi, Z. Wang , Effective equidistribution for some one parameter unipotent flows, To appear in Annals of Mathematics

  35. [35]

    Moser , On the volume elements on a manifold, Trans

    J. Moser , On the volume elements on a manifold, Trans. Amer. Math. Soc. 120 (1965), 286-294

    1965

  36. [36]

    Potrie , A remark on uniform expansion, Rev

    R. Potrie , A remark on uniform expansion, Rev. Un. Mat. Argentina 64 .1 (2022), pp. 11-21

    2022

  37. [37]

    Roda , Classifying Hyperbolic Ergodic Stationary Measures on Compact Complex Surfaces with Large Automorphism Groups, arXiv: 2410.18350

    M. Roda , Classifying Hyperbolic Ergodic Stationary Measures on Compact Complex Surfaces with Large Automorphism Groups, arXiv: 2410.18350

    work page arXiv

  38. [38]

    Taylor , Pseudodifferential Operators and Nonlinear PDE, Progress in Mathematics, volume 100 (1991)

    M. Taylor , Pseudodifferential Operators and Nonlinear PDE, Progress in Mathematics, volume 100 (1991)

    1991

  39. [39]

    Tsujii , Physical measures for partially hyperbolic surface endomorphisms, Acta Math., 194 (2005), 37-132

    M. Tsujii , Physical measures for partially hyperbolic surface endomorphisms, Acta Math., 194 (2005), 37-132

    2005

  40. [40]

    Tsujii , Virtually expanding dynamics, Kyushu J

    M. Tsujii , Virtually expanding dynamics, Kyushu J. Math. 77 , 2 (2023), 291-298

    2023

  41. [41]

    Venkatesh , Sparse equidistribution problems, period bounds and subconvexity, Ann

    A. Venkatesh , Sparse equidistribution problems, period bounds and subconvexity, Ann. of Math. Volume 172 , Issue 2, 2010, pp. 989–1094

    2010

  42. [42]

    Yang , Effective version of Ratner’s equidistribution theorem for \(SL(3, R )\) , Annals of Mathematics 202 Issue 1 (2025), pp

    L. Yang , Effective version of Ratner’s equidistribution theorem for \(SL(3, R )\) , Annals of Mathematics 202 Issue 1 (2025), pp. 189-264

    2025

  43. [43]

    Zhang , On stable transitivity of finitely generated group of volume-preserving diffeomorphisms, Ergodic Theory and Dynamical Systems 39 (2019), no

    Z. Zhang , On stable transitivity of finitely generated group of volume-preserving diffeomorphisms, Ergodic Theory and Dynamical Systems 39 (2019), no. 2, 554-576

    2019

  44. [44]

    Zimmer , Ergodic theory and semisimple groups, Birkhäuser, Cham Monographs in Mathematics Volume 81 , (1984)

    R. Zimmer , Ergodic theory and semisimple groups, Birkhäuser, Cham Monographs in Mathematics Volume 81 , (1984)

    1984