论文链接:这里

F(λ1,...)={该形状对应的标准杨表数(λ1λ2)0otherwise

考虑元素 n 所在的位置,它一定在某个角落,我们自然有

F(λ1,...)=iF(λ1,,λi1,)

此后我们将其简记为

F=αFα

我们只需要证明,钩长公式亦满足这个递推,从而 F 一定就是钩长公式本身。

现在来考虑依托某杨图的一个随机过程:在 n 个格子里随机选一个,然后在该格子的钩子中随机选一个,……,直到当前格子已经是一个边角。设该随机过程终结于格子 (α,β=λα) 的概率为 p(α,β)

我们只需要证明一件事:

p(α,β)=1n1i<α(1+1hi,β1)1j<β(1+1hα,j1)

然后,由于显然 p(α,β)=1,所欲证的结论就立即得出了。

固定 α,β。记 p(A,B) 是该随机过程终结于格子 (α,β),且路径上所有经过的横坐标的集合为 A,纵坐标的集合为 B 的概率。

讨论第一步是 A1A2 还是 B1B2 可以得到一个归纳,由归纳易得:

p(A,B)=1niA,iα1hi,β1jB,jβ1hα,j1

然后显然有

p(α,β)=A,Bp(A,B)

即得证。