■置換多面体の空間充填性(その72)
[1]n次元正単体において,k次元胞に接する(それを含む)m次元胞(m>k)は,双対を考えて,n−k次元胞内のn−m次元胞と同数,
(n−k,n−m)
です.なお,m<kのときは,k次元正単体の含むm次元胞の数は
(k+1,m+1)
個になります.
[2]n次元正軸体において,k次元胞に接する(それを含む)m次元胞(m>k)は,2項係数を使って,
2^m-k(n−1−k,m−k)
です.
したがって,切頂点に集まるn−1次元面数は
(tp+1,1)+2^n-1-fp
になりましたが,同様に切頂点に集まるn−2次元面数は
(tp+1,2)+2^n-2-fp(n−1−fp)
になるはずです.
===================================
[1]n=6のとき,
{3,3,3,3,4}(0,0,1,0,0,0)
tp=2,fp=2
の4次元面は
切頂面{3,3,4}(1,0,0,0)3個・・・頂点数8
n−2次元面{3,3,3}(0,0,1,0)12個・・・頂点数10
f4=(3/8+12/10)・f0
f0=160→f4=60+192=252→NG
===================================
[2]n=5のとき,{3,3,3,4}(01100),f0=240
tp=1,fp=2
切頂点の周囲の3次元面に関しては
切頂面{3,4}(100)1個・・・頂点数6
3次元面{3,3}(011)4個・・・頂点数12
f3=(1/6+4/12)f0
f0=240,f3=120→NG
===================================
[3]雑感
このシリーズでうまくいっていた反転公式をもってしてもダメであった.答えが小さすぎるのであるが,原因は何処に.
===================================