35 citations · 168 across the 30 of their papers we have counts for
4 papers · 1 filter
Inner-outer factorization of analytic matrix-valued functions
Joris Roos
This is a study of inner-outer factorization for analytic matrix-valued functions focusing on representations of the factors in terms of multiplicative integrals. Included is a bri…
Spherical maximal operators with fractal sets of dilations on radial functions
David Beltran, Joris Roos, Andreas Seeger
For a given set of dilations , Lebesgue space mapping properties of the spherical maximal operator with dilations restricted to are studied when acting on radia…
Sharp isoperimetric inequalities on the Hamming cube near the critical exponent
Polona Durcik, Paata Ivanisvili, Joris Roos
An isoperimetric inequality on the Hamming cube for exponents is proved, achieving equality on any subcube. This was previously known for $β\ge \log_2(3/2)\approx 0.…
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…