Think of a Young tableau R as collection of rows y1≥...≥yd>yd+1=0 and all others zero, with ℓ(Y):=∑jyj and for a box s=(i,j)∈R we have aY(s):=yi−j and lY(s):=yDj−i, where yDj corresponds to the transpose RD of R.
How do we prove that
Zk=∑ℓ1+ℓ2=k∏i,j∏(s,s′)∈Ri×Rj11−αiα−1jt−lRj(s)1t1+aRi(s)211−αiα−1jt1+lRi(s′)1t−aRj(s′)2
(where the sum means sum over all Young tableaux R1R2 such that ℓ(R1)+ℓ(R2)=k)
can be expanded, in the limit t1t2=1, and after defining ti:=ei2ϵi, αi:=ei2ai, ϵ:=ϵ1 as
Zk=∑ℓ1+ℓ2=k∏(i,m)≠(j,n)sinh(ai−aj+ϵ(yi,n−yj,m+m−n))sinh(ai−aj+ϵ(m−n))
where yi,n denotes the n-th row length of diargam Yi
What I've been able to do: reduce it to proving the following.
Define fR(q)=∑di=1∑μik=1qk−i, ∑kCk(R1,R2)qk=(q+q−1−2)fR1(q)fR2(q)+fR1(q)+fR2(q), and 2a=a1−a2.
Then I need to prove that
∏k1(sinh2a+ϵk)Ck(R1,Rt2)=∏s∈R1∏s′∈R21sinh2a−ϵ(lR2(s)+1+aR1(s))1sinh2a+ϵ(1+lR1(s′)−aR2(s′))
Refs: