{"id":"palomar/PALOMAR-2026-10-05-000008","url":"https://github.com/scottnarmstrong/SuperdiffusionCLT/tree/b407c97da6af47b63f8067aaf531e2e255bfc78d","json":"https://data.palomar-registry.org/entries/PALOMAR-2026-10-05-000008-v1.json","repo":"https://github.com/scottnarmstrong/SuperdiffusionCLT","tags":["math.PR","math-ph","math.AP","msc:60K37","msc:35B27","msc:60J60","msc:60F17","probability","homogenization","random-drift"],"score":0,"title":"Superdiffusive central limit theorem for a Brownian particle in a critically-correlated incompressible random drift","trust":"high","domain":"math.PR","source":"palomar","authors":["Scott Armstrong"],"reviews":0,"subject":"math.PR","summary":"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…","category":"research","comments":0,"disputed":false,"division":"math","mentions":0,"verified":true,"discussed":0,"published":"2026-10-05","reactions":{},"formalized":true,"formalizes":[{"title":"Superdiffusive central limit theorem for a Brownian particle in a critically-correlated incompressible random drift","identifier":"arXiv:2404.01115","relationship":"formalizes"}]}