The pathwise variational principle for skew Young tableaux

Let λN/λN\lambda_N/\lambda'_N be a sequence of skew Young diagrams with nN=λN/λNn_N=|\lambda_N/\lambda'_N| cells. Let g0(t,x)g_0(t,x) be any other continuous and almost everywhere smooth function satisfying the same boundary conditions as the asymptotic shape and

t[0,1],R(g0(t,x)g0(0,x))dx=t.\forall t\in[0,1],\qquad \int_{\mathbb{R}}\bigl(g_0(t,x)-g_0(0,x)\bigr)\,dx=t.

Let Fε,g0λN/λNF_{\varepsilon,g_0}^{\lambda_N/\lambda'_N} denote the number of tableaux whose corresponding function is ε\varepsilon-close to g0g_0 in the C0C^0 topology.

Pathwise asymptotic enumeration conjecture. As nNn_N\to\infty and ε0\varepsilon\to0,

logFε,g0λN/λN=12nNlognN+nNL[g0]+o(nN),\log F_{\varepsilon,g_0}^{\lambda_N/\lambda'_N}=\frac{1}{2}n_N\log n_N+n_N\mathcal{L}[g_0]+o(n_N),

with the error understood through

limε0lim supN1nN(logFε,g0λN/λN12nNlognN+nNL[g0])=0.\lim_{\varepsilon\to0}\limsup_{N\to\infty}\frac{1}{n_N}\left(\log F_{\varepsilon,g_0}^{\lambda_N/\lambda'_N}-\frac{1}{2}n_N\log n_N+n_N\mathcal{L}[g_0]\right)=0.

This conjecture would extend the variational description from the maximizing limit shape to the asymptotic number of tableaux following any admissible macroscopic trajectory. It is presented as the reason the functional appears in the preceding conjecture; no resolution is supplied in the source.

Sources & referencesView supporting material

Primary source

Anna Gordenko, “Limit shapes of large skew Young tableaux and a modification of the TASEP process”, arXiv:2009.10480 (2020).

Progress summary

Never refreshed

Nothing recorded yet. Refresh searches the literature and the public web for attempts on this problem, and writes the first summary here.

Solutions 0

No solutions have been posted yet.