Sheffield's finite-volume continuum random tree prediction for critical FK planar maps with q > 4

Lineage and corrections

This event attributed to Unreleased internal OpenAI model

Sheffield's finite-volume continuum random tree prediction for critical FK planar maps with q > 4 evidence for this event

Feng, Triviality of critical FK decorated planar maps for q>4 (Conjecture 1.2) evidence for this event

Lean solution module OAI/Probability/FKMaps/Convergence.lean evidence for this event

VibeMathed record: Sheffield's finite-volume continuum random tree prediction for critical FK planar maps with q > 4 evidence for this event

Lean statement: FKCRT.lean (comparator challenge) evidence for this event

Sheffield's finite-volume continuum random tree prediction for critical FK planar maps with q > 4 parent of this event

Theorem 1.1: for every fixed $q>4$ there is $c_q>0$ such that the $n$-edge critical FK map, with graph distance scaled by $c_qn^{-1/2}$ and the normalised degree measure, converges in distribution to the Brownian continuum random tree in the GHP topology, through all positive integers $n$. It is proved directly under the finite law (block decomposition into a simply generated tree with finite offspring variance), not deduced from Feng's infinite-volume local limit. Not shown: the value of $c_q$, rates, uniformity in $q$, or anything at $q=4$ (treated in a companion). parent of this event