■基本単体の二面角(その56)
接触数は最終的には簡単なグラフ的算法に帰着されるのですが,1≦n≦8では
n 1 2 3 4 5 6 7 8
下界 2 6 12 24 40 72 126 240
となり,ガウス記号を用いて
下界=n([2^(n-2)/3]+n+1)
の形にまとめられます(Muses,1963).
この式はn>8に対しては成り立ちません.n=9のとき468となるのですが,コクセターの上界401よりも大きくなってしまうからです.
===================================
ガウス記号(床関数)を用いると
下界=n([2^(n-2)/3]+n+1)
ですが,天井関数「」を用いると
下界=n(「2^(n-2)/3」+n)
下界=n(n+「2^n/12」)
===================================