Monotonicity conjecture for the coupled Young graph dimension array

Let K(n,k,l)K(n,k,l) be the recursively defined array of integers associated with the pascalized coupled Young graph, with n3n\geq 3, k,lk,l satisfying 2k+l<n22k+l<n-2 and 2k+ln(mod2)2k+l\equiv n\pmod 2. Monotonicity conjecture for KK. One has

K(n2,k,l)K(n,k,l)max(K(n2,k+1,l)K(n,k+1,l),K(n2,k,l+2)K(n,k,l+2)).\frac{K(n-2,k,l)}{K(n,k,l)}\geq\max\left(\frac{K(n-2,k+1,l)}{K(n,k+1,l)},\frac{K(n-2,k,l+2)}{K(n,k,l+2)}\right).

In particular,

max2k+l<n2k+ln(mod2)K(n2,k,l)K(n,k,l)=K(n2,0,δ(n))K(n,0,δ(n)),\max_{\substack{2k+l<n\\2k+l\equiv n\pmod 2}}\frac{K(n-2,k,l)}{K(n,k,l)}=\frac{K(n-2,0,\delta(n))}{K(n,0,\delta(n))},

where δ(n)=0\delta(n)=0 if nn is even and δ(n)=1\delta(n)=1 if nn is odd. The paper reports verification for many cases but no proof, and presents this numerical claim as implying the preceding boundary-support conjecture.

Sources & referencesView supporting material

Primary source

Jonas Wahl, “Traces on diagram algebras II: Centralizer algebras of easy groups and new variations of the Young graph”, arXiv:2009.08181 (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.