BZPEERReading, trust and collaboration for researchDiscover
Workspaces
Network
Opportunities
Account
Researcher profile
Sébastien Gouëzel contributes to research discovery and scholarly infrastructure.
Trust snapshot
Actions
Identity and collaboration
Claiming links this public author record to a researcher profile and unlocks direct collaboration workflows.
Log in to claimDirect collaboration
Claim this author entity first to unlock direct invitations.
Research graph
Inspect adjacent work, topics, institutions and collaborators without jumping out to a separate graph page.
BZPEER is loading the nearby papers, people, topics and institutions for this page.
Published work
We report on a formalization of the change of variables formula in integrals, in the mathlib library for Lean. Our version of this theorem is extremely general, and builds on developments in linear algebra, analysis, measure theory and descriptive set theory. The interplay between these domains is transparent thanks to the highly integrated development model of mathlib.
We consider nonelementary random walks on general hyperbolic spaces. Without any moment condition on the walk, we show that it escapes linearly to infinity, with exponential error bounds. We even get such exponential bounds up to the rate of escape of the walk. Our proof relies on an inductive decomposition of the walk, recording times at which it could go to infinity in several independent directions, and using these times to control further backtracking.
We complete the microlocal study of the geodesic X-ray transform on Riemannian manifolds with Anosov geodesic flow initiated by Guillarmou and pursued by Guillarmou and the second author. We prove new stability estimates and clarify some properties of the operator $Π_m$, the generalized X-ray transform. These estimates rely on a refined version of the Livsic theorem for Anosov flows, especially on a new quantitative finite time Livsic theorem.
It is proved that the Green's function of a symmetric finite range random walk on a co-compact Fuchsian group decays exponentially in distance at the radius of convergence R. It is also shown that Ancona's inequalities extend to R, and therefore that the Martin boundary for R-potentials coincides with the natural geometric boundary S^1, and that the Martin kernel is uniformly Hölder continuous. Finally, it is proved that this implies a local limit theorem for the transition probabilities.
We consider two classes of piecewise expanding maps $T$ of $[0,1]$: a class of uniformly expanding maps for which the Perron-Frobenius operator has a spectral gap in the space of bounded variation functions, and a class of expanding maps with a neutral fixed point at zero. In both cases, we give a large class of unbounded functions $f$ for which the partial sums of $f\circ T^i$ satisfy an almost sure invariance principle. This class contains piecewise monotonic functions (with a finite number of branches) such that: - For uniformly expanding maps, they are square integrable with respect to the absolutely continuous invariant probability measure. - For maps having a neutral fixed point at zero, they satisfy an (optimal) tail condition with respect to the absolutely continuous invariant probability measure.
We prove the almost sure invariance principle for stationary R^d--valued processes (with dimension-independent very precise error terms), solely under a strong assumption on the characteristic functions of these processes. This assumption is easy to check for large classes of dynamical systems or Markov chains, using strong or weak spectral perturbation arguments.