Let λ∈P+(2n) and let a,b,q,t∈C satisfy ∣a∣,∣b∣,∣q∣,∣t∣<1. Define the normalized integral
Iλ(a,b;q,t,tn):=Zn(a,b;q,t)1∫TnPλ(x1±,…,xn±;q,t)i=1∏n(axi±2,bxi±2;q2)∞(xi±2;q)∞1⩽i<j⩽n∏(txi±xj±;q)∞(xi±xj±;q)∞dT(x).
Vanishing integral conjecture. The integral Iλ(a,b;q,t,tn) vanishes unless 2-core(λ)=0. Moreover, the two specializations satisfy
Iλ(q,t;q,t,T)=qne(λ′)−no(λ′)t2n^o(λ)−2n^e(λ)Cλ0,o(qT2/t;q,t)Cλ0,e(T2;q,t)Cλ−,o(t;q,t)Cλ−,e(q;q,t),
and
Iλ(1,qt;q,t,T)=1+Tuλ(q,t)+vλ(q,t)TCλ0,o(qT2/t;q,t)Cλ0,e(T2;q,t)Cλ−,o(t;q,t)Cλ−,e(q;q,t),
with uλ and vλ 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.