{"id":"palomar/PALOMAR-2026-09-18-000001","url":"https://github.com/scottnarmstrong/Superdiffusion/tree/b648c0736372daaae80b1007061a1199bc18cc4a","json":"https://data.palomar-registry.org/entries/PALOMAR-2026-09-18-000001-v1.json","repo":"https://github.com/scottnarmstrong/Superdiffusion","tags":["math.PR","math.AP","math-ph","msc:60K37","msc:35B27","msc:60J60","homogenization","random-flows","superdiffusion","lean-formalization"],"score":0,"title":"Superdiffusion","trust":"high","domain":"math.PR","source":"palomar","authors":["Scott Armstrong","Tuomo Kuusi"],"reviews":0,"subject":"math.PR","summary":"A Lean formalization of the quantitative theory of advection-diffusion in self-similar random incompressible flows: the superdiffusive asymptotics of the effective diffusivity (Theorem A), the renormalization of the generator (quantitative homogenization of the Dirichlet problem at every scale, Theorem B), and the anomalous large-scale regularity theory (Theorem C) of Armstrong-Bou-Rabee-Kuusi, together with the sensitivity and coarse-matrix-derivative theory, the diffusivity recursion, and the diffusion-process theory that support them. The formalization consumes the public CoarseGraining…","category":"research","comments":0,"disputed":false,"division":"math","mentions":0,"verified":true,"discussed":0,"published":"2026-09-18","reactions":{},"formalized":true,"formalizes":[{"title":"Superdiffusion and anomalous regularization in self-similar random incompressible flows","identifier":"arXiv:2601.22142","relationship":"formalizes"}]}