The bounded Littlewood identities

Let m,nm,n be nonnegative integers. For the coefficients κλ(1)\kappa^{(1)}_{\lambda} and κλ(2)\kappa^{(2)}_{\lambda} defined for partitions with empty 22-core, one has

λP+(n)κλ(1)(qm;q,t)Pλ(x;q,t)=(x1xn)mK(mn)(x;q,t;q1/2,q1/2,t1/2,t1/2),\sum_{\lambda\in P_{+}(n)}\kappa^{(1)}_{\lambda}(q^{-m};q,t)P_{\lambda}(x;q,t)=(x_1\cdots x_n)^mK_{(m^n)}(x;q,t;q^{1/2},-q^{1/2},t^{1/2},-t^{1/2}),

and

λP+(n)κλ(2)(qm;q,t)Pλ(x;q,t)=(x1xn)mK(mn)(x;q,t;1,1,(qt)1/2,(qt)1/2).\sum_{\lambda\in P_{+}(n)}\kappa^{(2)}_{\lambda}(q^{-m};q,t)P_{\lambda}(x;q,t)=(x_1\cdots x_n)^mK_{(m^n)}(x;q,t;1,-1,(qt)^{1/2},-(qt)^{1/2}).

Bounded Littlewood identities. Both displayed identities hold.

Sources & referencesView supporting material

Primary source

Chul-hee Lee, Eric M. Rains and S. Ole Warnaar, “An Elliptic Hypergeometric Function Approach to Branching Rules”, arXiv:2007.03174 (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.