■単純リー環を使った面数数え上げ(その21)

 正軸体の面数公式は

  Nk=2^k+1(n,k+1)

 立方体の面数公式は

  Nk=2^n-k(n,k)

で表される.これを使うと(その20)はどう表されるだろうか?

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

【1】Cnのボロノイ細胞の要素数

  fk=2^k+1(n,k+1)+2^k+2(n−k−1)(n,k+1)

=Nk+2(n−k−1)Nk=(2n−2k−1)Nk

のkをn−k−1に変更すればよい.

  fk=2^k+1(n,k+1)+2^k+2(n−k−1)(n,k+1)

=Nn-k-1+2kNn-k-1=(2k+1)Nn-k-1

 このほうが若干簡単かもしれない.

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