SearcharxivSearch

arXiv subjects

Sebastien Gouezel

Publications and source records attributed to Sebastien Gouezel.

At least 19 recordsLinked to original sources

Boundary of the Range of a random walk and the Fölner property

The range process $R_n$ of a random walk is the collection of sites visited by the random walk up to time $n$. In this work we deal with the question of whether the range process of a random walk or the range process of a cocycle over an ergodic transformation is almost surely a Fölner sequence and show the following results: % (a) The size of the inner boundary $|\partial R_n|$ of the range of recurrent aperiodic random walks on $\mathbb{Z}^2$ with finite variance and aperiodic random walks in $\mathbb{Z}$ in the standard domain of attraction of the Cauchy distribution, divided by $\frac{n}{\log^2(n)}$, converges to a constant almost surely. % (b) We establish a formula for the Fölner asymptotic of transient cocycles over an ergodic probability preserving transformation and use it to show that for transient random walk on groups which are not virtually cyclic, for almost every path, the range is not a Fölner sequence. % (c) For aperiodic random walks in the domain of attraction of symmetric $α$- stable distributions with $1<α\leq 2$, we prove a sharp polynomial upper bound for the decay at infinity of $|\partial R_n|/|R_n|$. This last result shows that the range process of these random walks is almost surely a Fölner sequence.

math.PR

A numerical lower bound for the spectral radius of random walks on surface groups

Estimating numerically the spectral radius of a random walk on a nonamenable graph is complicated, since the cardinality of balls grows exponentially fast with the radius. We propose an algorithm to get a bound from below for this spectral radius in Cayley graphs with finitely many cone types (including for instance hyperbolic groups). In the genus $2$ surface group, it improves by an order of magnitude the previous best bound, due to Bartholdi.

math.PR

Local limit theorem for symmetric random walks in Gromov-hyperbolic groups

Completing a strategy of Gouëzel and Lalley, we prove a local limit theorem for the random walk generated by any symmetric finitely supported probability measure on a non-elementary Gromov-hyperbolic group: denoting by $R$ the inverse of the spectral radius of the random walk, the probability to return to the identity at time $n$ behaves like $C R^{-n}n^{-3/2}$. An important step in the proof is to extend Ancona's results on the Martin boundary up to the spectral radius: we show that the Martin boundary for $R$-harmonic functions coincides with the geometric boundary of the group. In an appendix, we explain how the symmetry assumption of the measure can be dispensed with for surface groups.

math.DS

Optimal concentration inequalities for dynamical systems

For dynamical systems modeled by a Young tower with exponential tails, we prove an exponential concentration inequality for all separately Lipschitz observables of n variables. When tails are polynomial, we prove polynomial concentration inequalities. Those inequalities are optimal. We give some applications of such inequalities to specific systems and specific observables.

math.DS

Small eigenvalues of the Laplacian for algebraic measures in moduli space, and mixing properties of the Teichmüller flow

We consider the $SL(2,R)$ action on moduli spaces of quadratic differentials. If $μ$ is an $SL(2,R)$-invariant probability measure, crucial information about the associated representation on $L^2(μ)$ (and in particular, fine asymptotics for decay of correlations of the diagonal action, the Teichmüller flow) is encoded in the part of the spectrum of the corresponding foliated hyperbolic Laplacian that lies in $(0,1/4)$ (which controls the contribution of the complementary series). Here we prove that the essential spectrum of an invariant algebraic measure is contained in $[1/4,\infty)$, i.e., for every $δ>0$, there are only finitely many eigenvalues (counted with multiplicity) in $(0,1/4-δ)$. In particular, all algebraic invariant measures have a spectral gap.

math.DS

Banach spaces for piecewise cone hyperbolic maps

We consider piecewise cone hyperbolic systems satisfying a bunching condition and we obtain a bound on the essential spectral radius of the associated weighted transfer operators acting on anisotropic Sobolev spaces. The bunching condition is always satisfied in dimension two, and our results give a unifying treatment of the work of Demers-Liverani and our previous work. When the complexity is subexponential, our bound implies a spectral gap for the transfer operator corresponding to the physical measures in many cases (for example if $T$ preserves volume, or if the stable dimension is equal to 1 and the unstable dimension is not zero).

math.DS

Characterization of weak convergence of Birkhoff sums for Gibbs-Markov maps

We investigate limit theorems for Birkhoff sums of locally Hölder functions under the iteration of Gibbs-Markov maps. Aaronson and Denker have given sufficient conditions to have limit theorems in this setting. We show that these conditions are also necessary: there is no exotic limit theorem for Gibbs-Markov maps. Our proofs, valid under very weak regularity assumptions, involve weak perturbation theory and interpolation spaces. For L^2 observables, we also obtain necessary and sufficient conditions to control the speed of convergence in the central limit theorem.

math.DS

Some almost sure results for unbounded functions of intermittent maps and their associated Markov chains

We consider a large class of piecewise expanding maps T of [0,1] with a neutral fixed point, and their associated Markov chain Y_i whose transition kernel is the Perron-Frobenius operator of T with respect to the absolutely continuous invariant probability measure. We give a large class of unbounded functions f for which the partial sums of f\circ T^i satisfy both a central limit theorem and a bounded law of the iterated logarithm. For the same class, we prove that the partial sums of f(Y_i) satisfy a strong invariance principle. When the class is larger, so that the partial sums of f\circ T^i may belong to the domain of normal attraction of a stable law of index p\in (1, 2), we show that the almost sure rates of convergence in the strong law of large numbers are the same as in the corresponding i.i.d. case.

math.DS

Good Banach spaces for piecewise hyperbolic maps via interpolation

We introduce a weak transversality condition for piecewise C^{1+α} and piecewise hyperbolic maps which admit a C^{1+α} stable distribution. We show good bounds on the essential spectral radius of the associated transfer operators acting on classical anisotropic Sobolev spaces of Triebel-Lizorkin type. In many cases, we obtain a spectral gap from which we deduce the existence of finitely many physical measures with basin of total measure. The analysis relies on standard techniques (in particular complex interpolation) and applies also to piecewise expanding maps and to Anosov diffeomorphisms, giving a unifying picture of several previous results.

math.DS

Local limit theorem for nonuniformly partially hyperbolic skew-products, and Farey sequences

We study skew-products of the form (x,ω)\mapsto (Tx, ω+ϕ(x)) where T is a nonuniformly expanding map on a space X, preserving a (possibly singular) probability measure \tildeμ, and ϕ:X\to S^1 is a C^1 function. Under mild assumptions on \tildeμand ϕ, we prove that such a map is exponentially mixing, and satisfies the central and local limit theorems. These results apply to a random walk related to the Farey sequence, thereby answering a question of Guivarc'h and Raugi.

math.DS

A Borel-Cantelli lemma for intermittent interval maps

We consider intermittent maps T of the interval, with an absolutely continuous invariant probability measure μ. Kim showed that there exists a sequence of intervals A_n such that \sum μ(A_n)=\infty, but \{A_n\} does not satisfy the dynamical Borel-Cantelli lemma, i.e., for almost every x, the set \{n : T^n(x)\in A_n\} is finite. If \sum \Leb(A_n)=\infty, we prove that \{A_n\} satisfies the Borel-Cantelli lemma. Our results apply in particular to some maps T whose correlations are not summable.

math.DS

Un théorème de Kerckhoff, Masur et Smillie : Unique ergodicité sur les surfaces plates

This article is based on the lectures given at the ``Ecole thematique de theorie ergodique'', at the C.I.R.M. in Marseille, in April 2006. We give a complete proof of a theorem of Kerckhoff, Masur and Smillie on the unique ergodicity of the directional flow on a translation surface in almost every direction. The proof follows the one presented in the survey of Masur and Tabachnikov.

math.GT

Limit theorems for coupled interval maps

We prove a local limit theorem for Lipschitz continuous observables on a weakly coupled lattice of piecewise expanding interval maps. The core of the paper is a proof that the spectral radii of the Fourier-transfer operators for such a system are strictly less than 1. This extends the approach of [KL2] where the ordinary transfer operator was studied.

math.DS

Compact locally maximal hyperbolic sets for smooth maps: fine statistical properties

Compact locally maximal hyperbolic sets are studied via geometrically defined functional spaces that take advantage of the smoothness of the map in a neighborhood of the hyperbolic set. This provides a self-contained theory that not only reproduces all the known classical results but gives also new insights on the statistical properties of these systems.

math.DS

Exponential mixing for the Teichmuller flow

We study the dynamics of the Teichmuller flow in the moduli space of Abelian differentials (and more generally, its restriction to any connected component of a stratum). We show that the (Masur-Veech) absolutely continuous invariant probability measure is exponentially mixing for the class of Holder observables. A geometric consequence is that the $\SL(2,\R)$ action in the moduli space has a spectral gap.

math.DS

Smoothness of solenoidal attractors

We consider dynamical systems generated by skew products of affine contractions on the real line over angle-multiplying maps on the circle $S^1$: $ T:S^{1}\times \R\to S^1\times \R, T(x,y)=(\ell x, λy+f(x)) $ where $\ell\geq 2$, $0<λ<1$ and $f$ is a $C^r$ function on $S^1$. We show that, if $λ^{1+2s}\ell>1$ for some $0\leq s< r-2$, the density of the SBR measure for $T$ is contained in the Sobolev space $W^s(S^1\times \R)$ for almost all ($C^r$ generic, at least) $f$.

math.DS

Banach spaces adapted to Anosov systems

We study the spectral properties of the Ruelle-Perron-Frobenius operator associated to an Anosov map on classes of functions with high smoothness. To this end we construct anisotropic Banach spaces of distributions on which the transfer operator has a small essential spectrum. In the C^\infty case, the essential spectral radius is arbitrarily small, which yields a description of the correlations with arbitrary precision. Moreover, we obtain sharp spectral stability results for deterministic and random perturbations. In particular, we obtain differentiability results for spectral data (which imply differentiability of the SRB measure, the variance for the CLT, the rates of decay for smooth observable, etc.).

math.DS