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

 (その279)では頂点に集まるファセット数+1しかありえないかもと思ったのであるが,+2もあり得るようだ.

 n次元正軸体において,k次元胞に接する(それを含む)m次元胞(m>m>k)は,2項係数を使って,

  2^m-k(n−1−k,m−k)

である.(この手は正24胞体には使えないが・・・)

 4次元正16胞体の頂点にはn=4,m=3,k=0とおいて,

  2^3(3,3)=8

個の3次元面(正四面体)が集まる.

  f3=x/4・f0=16,f0=8→x=8

 一方,正24胞体の頂点には6個の3次元面が集まる.

  f3=6/6・f0=24

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

[1]正16胞体

 {3,3,4}(1,0,0,0)

  f3=(0/1+0/2+0/3+8/4)f0=(8)+(24)+(32)+16=16

  1は{3,4}(0,0,0)の頂点数=1

  2は{4}(0,0)×{}(1)の頂点数=1×2=2

  3は{}(0)×{3}(1,0)の頂点数=1×3=3

  4は{3,3}(1,0,0)の頂点数=4

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

[4]正24胞体

 {3,4,3}(1,0,0,0)

  f3=(0/1+0/2+0/3+6/6)f0=(24)+(96)+(96)+24=24

  1は{4,3}(0,0,0)の頂点数

  2は{3}(0,0)×{}(1)の頂点数=1×2=2

  3は{}(0)×{3}(1,0)の頂点数=1×3=3

  6は{3,4}(1,0,0)の頂点数の頂点数=6

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