Tracy–Widom fluctuations of the frozen boundary in large ASMs
Establish that the fluctuations of the frozen boundary of uniformly sampled large n×n alternating sign matrices are governed by the GUE Tracy–Widom distribution; equivalently, prove that the properly centered and scaled deviations of the frozen boundary from the arctic curve converge in distribution to the Tracy–Widom F2 law as n → ∞.
References
In conclusion, a rigorous derivation of Conjecture \ref{main_conj}, besides being of interest by itself, would fill a gap in the proof that fluctuations of the frozen boundary of large ASMs are governed by Tracy--Widom distribution, that has been a long-standing open question.
— Frozen-corner enumeration of Alternating Sign Matrices
(2509.14006 - Colomo et al., 17 Sep 2025) in Conclusion, Section 4.3