■置換多面体の空間充填性(その157)

 最大次数多面体

  (0,1,0)

  (0,1,0,0)

  (0,0,1,0,0)

  (0,0,1,0,0,0)

の頂点数は,

[1]nが奇数のとき,tp=(n−1)/2

[2]nが偶数のとき,tp=n/2−1

であるから,

正単体系:k=tpとして,gk=(n+1,k+1)=f0

正軸体系:k=tpとして,gk=(n,k+1)2^(k+1)=f0

 今回は最少面数多面体の中で頂点数の最大値・最小値について調べてみたい.

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

[1]正単体系切頂型(0,・・・,0,1,0、・・・0)

  f0=(n+1,tp+1)

=(n+1)!/(tp+1)!(n−tp)!

[2]正単体系切頂型(0,・・・,0,1,1,0、・・・0)

  f0=(tp+2,tp+1)(n+1,tp+2)

=(n+1)!/(tp+1)!(n−tp−1)!

したがって,[2]>[1]

[3]正軸体系切頂型(0,・・・,0,1,0、・・・0)

  f0=(n,tp+1)2^(tp+1)

[4]正軸体系切頂型(0,・・・,0,1,1,0、・・・0)

  f0=(tp+2,tp+1)(n,tp+2)2^(tp+2)

=(n,tp+1)2^(tp+1)・2(n−tp−1)

したがって,[4]>[3]

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

[5]まとめ

 最少面数多面体で見ると,切頂型

  (0,・・・,0,1,1,0、・・・0)

が最大次数多面体にはなり得ない.

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