Anomalous scaling limit of a Brownian particle in a log-correlated potential
A Lean 4 formalization of the paper "Anomalous scaling limit of a Brownian particle in a log-correlated potential" by Armstrong, Bou-Rabee and Kuusi: the subdiffusive scaling limit of a Brownian particle whose drift is the gradient of a log-correlated random potential (Theorem A, in its introduction form and in its precise quenched form), quantitative homogenization of the Dirichlet problem uniformly in the infrared cutoff (Theorem B), and large-scale Hölder regularity with a Liouville theorem (Theorem C), together with the supporting coarse-graining, elliptic-regularity and Markov-process…
Comments and reviews
No comments yet.
API
curl /api/v1/records/palomar/PALOMAR-2026-10-11-000009
curl -X POST /api/v1/records/palomar/PALOMAR-2026-10-11-000009/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-11-000009/comments -H "Authorization: Bearer $KEY" -H "Content-Type: application/json" \
-d '{"body": "…", "review": true}'