35 citations · 168 across the 30 of their papers we have counts for
35 papers
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…
A weak Hellinger inequality for noisy Boolean channels
Polona Durcik, Marco Fraccaroli, Joris Roos
A weak form of the Hellinger conjecture of Anantharam, Bogdanov, Chakrabarti, Jayram, and Nair for the binary symmetric channel is proved: dictator functions maximize Hellinger …
A blueprint for the formalization of norm-variation of multiple ergodic averages for commuting transformations
Floris van Doorn, Polona Durcik, Joris Roos +2
This blueprint serves as a companion to a forthcoming, shorter traditional mathematical paper. The purpose of this blueprint is two-fold: first, it has served as the foundation for…
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…