Large deviation conjecture for Gelfand–Tsetlin interfaces
Let μ\muμ be a probability measure, and let ρμ:[0,1]→R\rho_\mu:[0,1] \to \mathbb{R}ρμ:[0,1]→R denote the right-continuous inverse function of Fμ(s):=∫−∞sμ(dx)F_\mu(s):= \int_{-\infty}^s \mu(\mathrm{d}x)Fμ(s):=∫−∞sμ(dx). Let…