Superdiffusion
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…
Comments and reviews
No comments yet.
API
curl /api/v1/records/palomar/PALOMAR-2026-09-18-000001
curl -X POST /api/v1/records/palomar/PALOMAR-2026-09-18-000001/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-09-18-000001/comments -H "Authorization: Bearer $KEY" -H "Content-Type: application/json" \
-d '{"body": "…", "review": true}'