35 citations · 168 across the 30 of their papers we have counts for
4 papers · 2 filters
Endpoint power weight inequalities for spherical maximal functions
Marco Fraccaroli, Juyoung Lee, Nikou Lei +2
We prove sharp estimate for spherical maximal functions. We resolve the remaining open problem for the full maximal operator for and and prove a more gen…
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…
Sharp isoperimetric inequalities on the Hamming cube II: The critical exponent
Polona Durcik, Paata Ivanisvili, Joris Roos +1
A sharp isoperimetric inequality for the Hamming cube is proved at the critical exponent . This follows up on previous work, where such bounds were established for n…
Power weight inequalities for spherical maximal functions
Marco Fraccaroli, Joris Roos, Andreas Seeger
This paper is about spherical maximal functions with general dilation sets acting on functions in weighted spaces. Aside from endpoint cases, a complete description of…