■単純リー環を使った面数数え上げ(その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)

===================================