■単純リー環を使った面数数え上げ(その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
このほうが若干簡単かもしれない.
===================================