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

  m0=Σsjsj+1+sr・sr+1  (正軸体系で最後の要素が0の場合)

  m1=Σsjsj+1+sr      (それ以外)

  m2=Σsjsj+1+sr・sr+1+sr

を試みたがうまくいかない.ワイソフ算術を援用することが可能だろうか?

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

【1】F4

 先頭あるいは末尾に0が3つ並ぶか(1001)の場合だけ,異なることが予想される.

  {3,4,3}(1,0,0,0): 4 (NG:正解は8)

  {3,4,3}(0,0,0,1): 4 (NG:正解は8)

  {3,4,3}(1,0,0,1): 6 (NG:正解は8)

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

【2】H4

 末尾に0は2つか3つ並ぶ場合だけ,異なることが予想される.

  {3,3,5}(1,0,0,0): 6 (NG:正解は12)

  {3,3,5}(0,1,0,0): 8 (NG:正解は10)

  {3,3,5}(1,1,0,0): 5 (NG:正解は6)

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

【3】ワイソフ算術の援用

 H4の置換則で,異なっている点は

  (1)→(1)

  (10)→(12)

  (100)→(155)

  (1000)→(1,12,30,20)

だけである.

  (1)→(1)

  (10)→(12)

は正単体,正軸体系と同じである.

[1]{3,3,5}(1000)

 20面からなる図形で,頂点次数は12であるからその頂点数は12である.これは正二十面体と思われ,その辺数は30である.

  {3,5}(000)0個→(1000)1個

  {5}(00)×{}(1)0個→(1000)12個

  {}(0)×{3}(10)0個→(1000)30個

  {3,3}(100)20個→(1000)20個

0,12

0,0,30

0,0,0,20

−−−−−−−−−−−−−−−−−−−−−−−−−−−−−−−−−−−

[2]{3,3,5}(0100)

 7面からなる図形で,頂点次数は10であるからその頂点数は10である.これは五角柱と思われ,その辺数は15である.

  {3,5}(100)2個→(1551)2個

  {5}(00)×{}(0)0個→(1000)1個

  {}(0)×{3}(01)0個→(1000)5個

  {3,3}(010)5個→(1000)5個

2,−1

10,0

10,0,5

2,0,0,5

−−−−−−−−−−−−−−−−−−−−−−−−−−−−−−−−−−−

[3]{3,3,5}(1100)

 6面からなる図形で,頂点次数は6であるからその頂点は6である.これは五角錐と思われ,その辺数は10である.

  {3,5}(100)4個→(1551)1個

  {5}(00)×{}(0)0個→(1000)1個

  {}(0)×{3}(00)0個→(1000)5個

  {3,3}(110)5個→(1000)5個

5,1

5,0,5,0

1,0,0,5

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