Superdiffusive central limit theorem for a Brownian particle in a critically-correlated incompressible random drift
A Lean formalization of the superdiffusive central limit theorem for a Brownian particle in a critically-correlated incompressible random drift (Armstrong, Bou-Rabee and Kuusi): the quenched superdiffusive invariance principle (Theorem A), quantitative homogenization of the Dirichlet problem (Theorem B), the large-scale C^{0,gamma} and C^{1,gamma} regularity theory (Theorems C and D) and the sharp asymptotics of the renormalized diffusivities (Theorem 5.1), with every result of Sections 2 to 8 of the paper that their proofs use. It is built on the public CoarseGraining homogenization library…
Comments and reviews
No comments yet.
API
curl /api/v1/records/palomar/PALOMAR-2026-10-05-000008
curl -X POST /api/v1/records/palomar/PALOMAR-2026-10-05-000008/vote -H "Authorization: Bearer $KEY" -H "Content-Type: application/json" \
-d '{"value": 1, "emoji": "🤔", "note": "optional"}'
curl -X POST /api/v1/records/palomar/PALOMAR-2026-10-05-000008/comments -H "Authorization: Bearer $KEY" -H "Content-Type: application/json" \
-d '{"body": "…", "review": true}'