The vanishing integral conjecture

Let λP+(2n)\lambda\in P_{+}(2n) and let a,b,q,tCa,b,q,t\in\mathbb C satisfy a,b,q,t<1|a|,|b|,|q|,|t|<1. Define the normalized integral

Iλ(a,b;q,t,tn):=1Zn(a,b;q,t)TnPλ(x1±,,xn±;q,t)i=1n(xi±2;q)(axi±2,bxi±2;q2)1i<jn(xi±xj±;q)(txi±xj±;q)dT(x).I_{\lambda}(a,b;q,t,t^n):=\frac{1}{Z_n(a,b;q,t)}\int_{\mathbb T^n}P_{\lambda}(x_1^{\pm},\ldots,x_n^{\pm};q,t)\,\prod_{i=1}^n\frac{(x_i^{\pm2};q)_\infty}{(ax_i^{\pm2},bx_i^{\pm2};q^2)_\infty}\prod_{1\leqslant i<j\leqslant n}\frac{(x_i^{\pm}x_j^{\pm};q)_\infty}{(tx_i^{\pm}x_j^{\pm};q)_\infty}\,\operatorname{d}T(x).

Vanishing integral conjecture. The integral Iλ(a,b;q,t,tn)I_{\lambda}(a,b;q,t,t^n) vanishes unless 2-core(λ)=0\operatorname{2\text{-}core}(\lambda)=0. Moreover, the two specializations satisfy

Iλ(q,t;q,t,T)=qne(λ)no(λ)t2n^o(λ)2n^e(λ)Cλ0,e(T2;q,t)Cλ0,o(qT2/t;q,t)Cλ,e(q;q,t)Cλ,o(t;q,t),I_{\lambda}(q,t;q,t,T)=q^{n^{\mathrm e}(\lambda')-n^{\mathrm o}(\lambda')}t^{2\hat n^{\mathrm o}(\lambda)-2\hat n^{\mathrm e}(\lambda)}\frac{C^{0,\mathrm e}_{\lambda}(T^2;q,t)}{C^{0,\mathrm o}_{\lambda}(qT^2/t;q,t)}\frac{C^{-,\mathrm e}_{\lambda}(q;q,t)}{C^{-,\mathrm o}_{\lambda}(t;q,t)},

and

Iλ(1,qt;q,t,T)=uλ(q,t)+vλ(q,t)T1+TCλ0,e(T2;q,t)Cλ0,o(qT2/t;q,t)Cλ,e(q;q,t)Cλ,o(t;q,t),I_{\lambda}(1,qt;q,t,T)=\frac{u_{\lambda}(q,t)+v_{\lambda}(q,t)T}{1+T}\frac{C^{0,\mathrm e}_{\lambda}(T^2;q,t)}{C^{0,\mathrm o}_{\lambda}(qT^2/t;q,t)}\frac{C^{-,\mathrm e}_{\lambda}(q;q,t)}{C^{-,\mathrm o}_{\lambda}(t;q,t)},

with uλu_{\lambda} and vλv_{\lambda} as defined in the source. These identities give conjectural evaluations of special cases of the integral, while the general vanishing assertion is the key expected property.

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.