87 citations · 241 across the 33 of their papers we have counts for
39 papers
Formalizing Carleson's Theorem in Lean
Lars Becker, María Inés de Frutos-Fernández, Leo Diedering +11
We present the formalization of Carleson's theorem in the proof assistant Lean. This paper describes the mathematical content, organization of the project, the blueprint, and the m…
A blueprint for the formalization of Carleson's theorem on convergence of Fourier series
Lars Becker, María Inés de Frutos-Fernández, Leo Diedering +14
This paper is the blueprint underlying the Lean formalization of the proof of Carleson's classical result asserting almost everywhere convergence of Fourier series of continuous fu…
Random walk speed is a proper function on Teichmüller space
Aitor Azemar, Vaibhav Gadre, Sébastien Gouëzel +3
Consider a closed surface with negative Euler characteristic, and an admissible probability measure on the fundamental group of with finite first moment. Corresponding to e…
Classical and microlocal analysis of the X-ray transform on Anosov manifolds
Sébastien Gouëzel, Thibault Lefeuvre
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…
Boundary of the Range of a random walk and the Fölner property
George Deligiannidis, Sebastien Gouezel, Zemer Kosloff
The range process of a random walk is the collection of sites visited by the random walk up to time . In this work we deal with the question of whether the range process o…
Ruelle spectrum of linear pseudo-Anosov maps
Frédéric Faure, Sébastien Gouëzel, Erwan Lanneau
The Ruelle resonances of a dynamical system are spectral data describing the precise asymptotics of correlations. We classify them completely for a class of chaotic two-dimensional…