Fluctuation bounds for first-passage percolation
A Lean 4 / Mathlib formalization of two papers of S. Armstrong and A. Bou-Rabee on the fluctuations of passage times in first-passage percolation. "Curvature and variance in lattice first-passage percolation": for independent, identically distributed edge weights on Z^d, d >= 2, whose law nu has an exponential moment and nu({0}) below the critical probability of bond percolation (Assumption (W)), and for constants delta in (0, 1], r > 0, Lambda >= 0 and lambda > 0, there are epsilon > 0 and C such that E exp(|T(0, x) - mu(x)| / (C |x|^((1 - epsilon)/2))) = 2, with chi smooth, radial and…
Comments and reviews
No comments yet.
API
curl /api/v1/records/palomar/PALOMAR-2026-11-01-000017
curl -X POST /api/v1/records/palomar/PALOMAR-2026-11-01-000017/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-11-01-000017/comments -H "Authorization: Bearer $KEY" -H "Content-Type: application/json" \
-d '{"body": "…", "review": true}'