■単純リー環を使った面数数え上げ(その40)
【1】Anのボロノイ細胞の要素数
fk^(n)=2(2^k+1−1)(n+1,k+2)
f0=n(n+1)
f1=(n−1)f0
fn-1=2(2^n−1)
もう一度,意味論的な解釈をすると
Nk^(n)=n+1Ck+1
fk^(n)=Σ(j=0~k)Nj^(n)N(k-j)^(n-1ーj)
とはならないだろうか?
f0^(n)=N0^(n)N0^(n-1)=n(n+1) (OK)
f1^(n)=N0^(n)N1^(n-1)+N1^(n)N0^(n-2)
=(n+1)・n(n−1)/2+n(n+1)/2・(n−1)
=n(n+1)(n−1) (OK)
fn-1^(n)=Σ(j=0~n-1)Nj^(n)N(n-1-j)^(0)
=Σ(j=0~n-1)(n+1,j+1)=2(2^n−1) (OK)
fk^(n)=Σ(j=0~k)Nj^(n)N(k-j)^(n-1ーj)
=Σ(j=0~k)(n+1,j+1)(n−j,k−j+1)
=(n+1)!/(n−k−1)!Σ(j=0~k)1/(j+1)!(k+1−j)
=(n+1)!/(n−k−1)(k+2)!Σ(j=0~k)(k+2)!/(j+1)!(k+1−j)!
=2(2^k+1−1)(n+1,k+2)
===================================