Showing 1–13 of 13 results for author: Bénard, T

Noise stability on hyperbolic groups

Authors: Timothée Bénard, Ryokichi Tanaka

Abstract: We show that symmetric random walks on non-elementary hyperbolic groups with non-zero homomorphisms into the reals are noise stable at linear scale under finite exponential moment condition. We show that symmetric random walks on non-elementary hyperbolic groups with non-zero homomorphisms into the reals are noise stable at linear scale under finite exponential moment condition. △ Less

Submitted 14 January, 2025; originally announced January 2025.

Comments: 12 pages

Khintchine dichotomy for self-similar measures

Authors: Timothée Bénard, Weikun He, Han Zhang

Abstract: We establish the analogue of Khintchine's theorem for all self-similar probability measures on the real line. When specified to the case of the Hausdorff measure on the middle-thirds Cantor set, the result is already new and provides an answer to an old question of Mahler. The proof consists in showing effective equidistribution in law of expanding upper-triangular random walks on… ▽ More We establish the analogue of Khintchine's theorem for all self-similar probability measures on the real line. When specified to the case of the Hausdorff measure on the middle-thirds Cantor set, the result is already new and provides an answer to an old question of Mahler. The proof consists in showing effective equidistribution in law of expanding upper-triangular random walks on $\text{SL}_{2}(\mathbb{R})/\text{SL}_{2}(\mathbb{Z})$, a result of independent interest. △ Less

Submitted 21 May, 2025; v1 submitted 12 September, 2024; originally announced September 2024.

Comments: 33 pages. Bibliographical update

Multislicing and effective equidistribution for random walks on some homogeneous spaces

Authors: Timothée Bénard, Weikun He

Abstract: We consider a random walk on a homogeneous space $G/Λ$ where $G$ is $\mathrm{SO}(2,1)$ or $\mathrm{SO}(3,1)$ and $Λ$ is a lattice. The walk is driven by a probability measure $μ$ on $G$ whose support generates a Zariski-dense subgroup. We show that for every starting point $x \in G/Λ$ which is not trapped in a finite $μ$-invariant set, the $n$-step distribution $μ^{*n}*δ_{x}$ of the walk equidistr… ▽ More We consider a random walk on a homogeneous space $G/Λ$ where $G$ is $\mathrm{SO}(2,1)$ or $\mathrm{SO}(3,1)$ and $Λ$ is a lattice. The walk is driven by a probability measure $μ$ on $G$ whose support generates a Zariski-dense subgroup. We show that for every starting point $x \in G/Λ$ which is not trapped in a finite $μ$-invariant set, the $n$-step distribution $μ^{*n}*δ_{x}$ of the walk equidistributes toward the Haar measure. Moreover, under arithmetic assumptions on the pair $(Λ, μ)$, we show the convergence occurs at an exponential rate, tempered by the obstructions that $x$ may be high in a cusp or close to a finite orbit. Our approach is substantially different from that of Benoist-Quint, whose equidistribution statements only hold in Cesàro average and are not quantitative, that of Bourgain-Furman-Lindenstrauss-Mozes concerning the torus case, and that of Lindenstrauss-Mohammadi-Wang and Yang about the analogous problem for unipotent flows. A key new feature of our proof is the use of a new phenomenon which we call multislicing. The latter is a generalization of the discretized projection theorems à la Bourgain and we believe it presents independent interest. △ Less

Submitted 13 September, 2024; v1 submitted 5 September, 2024; originally announced September 2024.

Comments: 73 pages

MSC Class: Primary 37A99; Secondary 22E99; 51B99; 60G50

Local limit theorems for random walks on nilpotent Lie groups

Authors: Timothée Bénard, Emmanuel Breuillard

Abstract: We establish the (non-lattice) local limit theorem for products of i.i.d. random variables on an arbitrary simply connected nilpotent Lie group $G$, where the variables are allowed to be non-centered. Our result also improves on the known centered case by proving uniformity for two-sided moderate deviations and allowing measures with a moment of order $2(\dim G)^2$ without further regularity assum… ▽ More We establish the (non-lattice) local limit theorem for products of i.i.d. random variables on an arbitrary simply connected nilpotent Lie group $G$, where the variables are allowed to be non-centered. Our result also improves on the known centered case by proving uniformity for two-sided moderate deviations and allowing measures with a moment of order $2(\dim G)^2$ without further regularity assumptions. As applications we establish a Ratner-type equidistribution theorem for unipotent walks on homogeneous spaces and obtain a new proof of the Choquet-Deny property in our setting. △ Less

Submitted 11 December, 2023; v1 submitted 27 April, 2023; originally announced April 2023.

Comments: 64 pages, added a new theorem providing effective control of the error term and revised the path-swap lemmas in Section 3

MSC Class: 60B15; 60F05; 35H10; 35R03; 22E25; 58J65

The central limit theorem on nilpotent Lie groups

Authors: Timothée Bénard, Emmanuel Breuillard

Abstract: We formulate and establish the central limit theorem for products of i.i.d. random variables on arbitrary simply connected nilpotent Lie groups, allowing a possible bias. Two new phenomena arise in the presence of a bias: (a) the walk spreads out at a higher rate in the ambient group, (b) the limiting hypoelliptic diffusion process may not have full support. We study the limiting distribution, pro… ▽ More We formulate and establish the central limit theorem for products of i.i.d. random variables on arbitrary simply connected nilpotent Lie groups, allowing a possible bias. Two new phenomena arise in the presence of a bias: (a) the walk spreads out at a higher rate in the ambient group, (b) the limiting hypoelliptic diffusion process may not have full support. We study the limiting distribution, prove estimates on its density and describe its support. We also establish corresponding Berry-Esseen bounds under optimal moment assumptions, as well as an analogue of Donsker's invariance principle. Various examples of nilpotent Lie groups are treated in detail showing the variety of different behaviours. We also obtain a characterization of when the limiting distribution is an ordinary gaussian and answer a question of Tutubalin from the 1960s regarding asymptotically close distributions on nilpotent Lie groups. △ Less

Submitted 9 July, 2024; v1 submitted 12 February, 2023; originally announced February 2023.

Comments: 68 pages, to appear in Annals of Proba

MSC Class: 60B15; 60F05; 35H10; 35R03; 22E25; 58J65

Winding of geodesic rays chosen by a harmonic measure

Authors: Timothée Bénard

Abstract: We prove limit theorems for the homological winding of geodesic rays distributed via a harmonic measure on a Gromov hyperbolic space. We obtain applications to the inverse problem for the harmonic measure, and winding statistics for Patterson-Sullivan measures. We prove limit theorems for the homological winding of geodesic rays distributed via a harmonic measure on a Gromov hyperbolic space. We obtain applications to the inverse problem for the harmonic measure, and winding statistics for Patterson-Sullivan measures. △ Less

Submitted 4 November, 2024; v1 submitted 28 November, 2022; originally announced November 2022.

Comments: 45 pages, the bibliography has been updated and some proofs have been expounded

Exponential multiple mixing for commuting automorphisms of a nilmanifold

Authors: Timothée Bénard, Péter P. Varjú

Abstract: Let $l\in \mathbb{N}_{\geq 1}$ and $α: \mathbb{Z}^l\rightarrow \text{Aut}(\mathscr{N})$ be an action of $\mathbb{Z}^l$ by automorphisms on a compact nilmanifold $\mathscr{N}$. We assume the action of every $α(z)$ is ergodic for $z\in \mathbb{Z}^l\smallsetminus\{0\}$ and show that $α$ satisfies exponential $n$-mixing for any integer $n\geq 2$. This extends results of Gorodnik and Spatzier [Acta Mat… ▽ More Let $l\in \mathbb{N}_{\geq 1}$ and $α: \mathbb{Z}^l\rightarrow \text{Aut}(\mathscr{N})$ be an action of $\mathbb{Z}^l$ by automorphisms on a compact nilmanifold $\mathscr{N}$. We assume the action of every $α(z)$ is ergodic for $z\in \mathbb{Z}^l\smallsetminus\{0\}$ and show that $α$ satisfies exponential $n$-mixing for any integer $n\geq 2$. This extends results of Gorodnik and Spatzier [Acta Math., 215 (2015)]. △ Less

Submitted 13 September, 2023; v1 submitted 7 January, 2022; originally announced January 2022.

Comments: 14 pages, minor corrections of typos based on referee's report. Final accepted version to appear in Ergodic Theory Dynam. Systems

Equidistribution of mass for random processes on finite-volume spaces

Authors: Timothée Bénard

Abstract: Let $G$ be a real Lie group, $Λ\subseteq G$ a lattice, and $X=G/Λ$. We fix a probability measure $μ$ on $G$ and consider the left random walk induced on $X$. It is assumed that $μ$ is aperiodic, has a finite first moment, spans a semisimple algebraic group without compact factors, and has two non mutually singular convolution powers. We show that for every starting point $x\in X$, the $n$-th step… ▽ More Let $G$ be a real Lie group, $Λ\subseteq G$ a lattice, and $X=G/Λ$. We fix a probability measure $μ$ on $G$ and consider the left random walk induced on $X$. It is assumed that $μ$ is aperiodic, has a finite first moment, spans a semisimple algebraic group without compact factors, and has two non mutually singular convolution powers. We show that for every starting point $x\in X$, the $n$-th step distribution $μ^n*δ_{x}$ of the walk weak-$\ast$ converges toward some homogeneous probability measure on $X$. △ Less

Submitted 11 December, 2021; originally announced December 2021.

Comments: 5 pages

Random walks with bounded first moment on finite-volume spaces

Authors: Timothée Bénard, Nicolas de Saxcé

Abstract: Let $G$ be a real Lie group, $Λ\leq G$ a lattice, and $Ω=G/Λ$. We study the equidistribution properties of the left random walk on $Ω$ induced by a probability measure $μ$ on $G$. It is assumed that $μ$ has a finite first moment, and that the Zariski closure of the group generated by the support of $μ$ in the adjoint representation is semisimple without compact factors. We show that for every star… ▽ More Let $G$ be a real Lie group, $Λ\leq G$ a lattice, and $Ω=G/Λ$. We study the equidistribution properties of the left random walk on $Ω$ induced by a probability measure $μ$ on $G$. It is assumed that $μ$ has a finite first moment, and that the Zariski closure of the group generated by the support of $μ$ in the adjoint representation is semisimple without compact factors. We show that for every starting point $x\in Ω$, the $μ$-walk with origin $x$ has no escape of mass, and equidistributes in Cesàro averages toward some homogeneous measure. This extends several fundamental results due to Benoist-Quint and Eskin-Margulis for walks with finite exponential moment. △ Less

Submitted 25 May, 2022; v1 submitted 28 November, 2021; originally announced November 2021.

Comments: 35 pages

Some asymptotic properties of random walks on homogeneous spaces

Authors: Timothée Bénard

Abstract: Let $G$ be a connected semisimple real Lie group with finite center, and $μ$ a probability measure on $G$ whose support generates a Zariski-dense subgroup of $G$. We consider the right $μ$-random walk on $G$ and show that each random trajectory spends most of its time at bounded distance of a well-chosen Weyl chamber. We infer that if $G$ has rank one, and $μ$ has a finite first moment, then for a… ▽ More Let $G$ be a connected semisimple real Lie group with finite center, and $μ$ a probability measure on $G$ whose support generates a Zariski-dense subgroup of $G$. We consider the right $μ$-random walk on $G$ and show that each random trajectory spends most of its time at bounded distance of a well-chosen Weyl chamber. We infer that if $G$ has rank one, and $μ$ has a finite first moment, then for any discrete subgroup $Λ\subseteq G$, the $μ$-walk and the geodesic flow on $Λ\backslash G$ are either both transient, or both recurrent and ergodic, thus extending a well known theorem due to Hopf-Tsuji-Sullivan-Kaimanovich dealing with the Brownian motion. △ Less

Submitted 17 October, 2022; v1 submitted 27 April, 2021; originally announced April 2021.

Drift of random walks on abelian covers of finite volume homogeneous spaces

Authors: Timothée Bénard

Abstract: Let $G$ be a connected simple real Lie group, $Λ_{0}\subseteq G$ a lattice and $Λ\unlhd Λ_{0}$ a normal subgroup such that $Λ_{0}/Λ\simeq \mathbb{Z}^d$. We study the drift of a random walk on the $\mathbb{Z}^d$-cover $Λ\backslash G$ of the finite volume homogeneous space $Λ_{0}\backslash G$. This walk is defined by a Zariski-dense compactly supported probability measure $μ$ on $G$. We first assume… ▽ More Let $G$ be a connected simple real Lie group, $Λ_{0}\subseteq G$ a lattice and $Λ\unlhd Λ_{0}$ a normal subgroup such that $Λ_{0}/Λ\simeq \mathbb{Z}^d$. We study the drift of a random walk on the $\mathbb{Z}^d$-cover $Λ\backslash G$ of the finite volume homogeneous space $Λ_{0}\backslash G$. This walk is defined by a Zariski-dense compactly supported probability measure $μ$ on $G$. We first assume the covering map $Λ\backslash G\rightarrow Λ_{0}\backslash G$ does not unfold any cusp of $Λ_{0}\backslash G$ and compute the drift at \emph{every} starting point. Then we remove this assumption and describe the drift almost everywhere. The case of hyperbolic manifolds of dimension 2 stands out with non-converging type behaviors. The recurrence of the trajectories is also characterized in this context. △ Less

Submitted 18 December, 2021; v1 submitted 24 October, 2020; originally announced October 2020.

Comments: 28 pages, 3 figures

Radon stationary measures for a random walk on $\mathbb{T}^d \times \mathbb{R}$

Authors: Timothée Bénard

Abstract: We classify Radon stationary measures for a random walk on $\mathbb{T}^d \times \mathbb{R}$. This walk is realised by a random action of $SL_{d}(\mathbb{Z})$ on the $\mathbb{T}^d$ component, coupled with a translation on the $\mathbb{R}$ component. We show, under assumptions of irreducibility and recurrence, the rigidity and homogeneity of Radon ergodic stationary measures. We classify Radon stationary measures for a random walk on $\mathbb{T}^d \times \mathbb{R}$. This walk is realised by a random action of $SL_{d}(\mathbb{Z})$ on the $\mathbb{T}^d$ component, coupled with a translation on the $\mathbb{R}$ component. We show, under assumptions of irreducibility and recurrence, the rigidity and homogeneity of Radon ergodic stationary measures. △ Less

Submitted 10 June, 2020; originally announced June 2020.

Comments: The article is written in French. It was published on HAL on 12 March 2020

Transience in law for symmetric random walks in infinite measure

Authors: Timothée Bénard

Abstract: We consider a random walk on a second countable locally compact topological space endowed with an invariant Radon measure. We show that if the walk is symmetric and if every subset which is invariant by the walk has zero or infinite measure, then one has escape of mass for almost every starting point. We then apply this result in the context of homogeneous random walks on infinite volume spaces, a… ▽ More We consider a random walk on a second countable locally compact topological space endowed with an invariant Radon measure. We show that if the walk is symmetric and if every subset which is invariant by the walk has zero or infinite measure, then one has escape of mass for almost every starting point. We then apply this result in the context of homogeneous random walks on infinite volume spaces, and deduce a converse to Eskin-Margulis recurrence theorem. △ Less

Submitted 15 October, 2022; v1 submitted 8 June, 2020; originally announced June 2020.

Comments: 12 pages, 1 figure