The balanced-partition conjecture for the a;q\mathsf a;q-down-degree expectation

Let a\mathsf a and qq be indeterminates. For a balanced partition λ\lambda, write w=λ1w=\lambda_1 for its width, =(λ)\ell=\ell(\lambda) for its length, and d=gcd(w,)d=\gcd(w,\ell). Define

Wa;q(n)=1aq1+2n1aqqn,[n]a;q=(1qn)(1aqn)(1q)(1aq)q1n.W_{\mathsf a;q}(n)=\frac{1-\mathsf a q^{1+2n}}{1-\mathsf a q}q^{-n},\qquad [n]_{\mathsf a;q}=\frac{(1-q^n)(1-\mathsf a q^n)}{(1-q)(1-\mathsf a q)}q^{1-n}.

For x,y[,λ]x,y\in[\emptyset,\lambda] with yxy\lessdot x, if yy is obtained by deleting a cell in row ss, set

wt(x,y)=Waqw+d;q(w(s1)+(x1)d).\operatorname{wt}(x,y)=W_{\mathsf a q^{\frac{w+\ell}{d}};q}\left(\frac{w(s-1)+\ell(|x|-1)}{d}\right).

Define

ddega;q(x)=yxwt(x,y),\operatorname{ddeg}_{\mathsf a;q}(x)=\sum_{y\lessdot x}\operatorname{wt}(x,y),

with the sum over y[,λ]y\in[\emptyset,\lambda], and

R(λa;q)=x[,λ]Waqwd;q(xd),R(\lambda\mid\mathsf a;q)=\sum_{x\in[\emptyset,\lambda]}W_{\mathsf a q^{\frac{w\ell}{d}};q}\left(\frac{\ell|x|}{d}\right),

so that

Ea;q(X)=x[,λ]ddega;q(x)R(λa;q).\mathbb E_{\mathsf a;q}(X)=\frac{\sum_{x\in[\emptyset,\lambda]}\operatorname{ddeg}_{\mathsf a;q}(x)}{R(\lambda\mid\mathsf a;q)}.

Balanced-partition product conjecture. If λ\lambda is balanced, then

Ea;q(X)=[wd]aqw+d;q[w+d]aqwd;q.\mathbb E_{\mathsf a;q}(X)=\frac{\left[\frac{w\ell}{d}\right]_{\mathsf a q^{\frac{w+\ell}{d}};q}}{\left[\frac{w+\ell}{d}\right]_{\mathsf a q^{\frac{w\ell}{d}};q}}.

This is an a;q\mathsf a;q-analogue of the down-degree expectation formula. The source presents it as a conjecture for balanced partitions of arbitrary slope; no resolution is supplied.

Sources & referencesView supporting material

Primary source

Jang Soo Kim, Michael J. Schlosser and Meesue Yoo, “Enumeration of standard barely set-valued tableaux of shifted shapes”, arXiv:2006.03253 (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.