{"id":"palomar/PALOMAR-2026-10-11-000009","url":"https://github.com/nitromannitol/subdiffusive-process/tree/4c6b8fa60357a07fd5713e5104a6cc70f8e432dc","json":"https://data.palomar-registry.org/entries/PALOMAR-2026-10-11-000009-v1.json","repo":"https://github.com/nitromannitol/subdiffusive-process","tags":["math.PR","math.AP","msc:60K37","msc:35R60","msc:82B28","random-walks","homogenization","log-correlated-fields","lean"],"score":0,"title":"Anomalous scaling limit of a Brownian particle in a log-correlated potential","trust":"high","domain":"math.PR","source":"palomar","authors":["Scott Armstrong","Ahmed Bou-Rabee","Tuomo Kuusi"],"reviews":0,"subject":"math.PR","summary":"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…","category":"research","comments":0,"disputed":false,"division":"math","mentions":0,"verified":true,"discussed":0,"published":"2026-10-11","reactions":{},"formalized":true,"formalizes":[{"title":"Anomalous scaling limit of a Brownian particle in a log-correlated potential","identifier":"","relationship":"formalizes"}]}