■単純リー環を使った面数数え上げ(その42)

 これまで,ワイソフ超えを果たしたのは,

[1][11・・・11]正単体版,正軸体版

[2][010・・・0]正単体版

[3][10・・・01]正軸体版

であったが,

[4][010・・・0]正単体版,正軸体版

[5][110・・・0]正単体版,正軸体版

[6][010・・・0]正単体版,正軸体版

[7][10・・・01]正単体版,正軸体版

となっている.

 次に狙えそうな多面体は,

[8][0・・・010]正軸体版

[9][0・・・011]正軸体版

である.

 なお,

[8][0・・・010]正単体版

[9][0・・・011]正単体版

はそれぞれ,

[4][010・・・0]正単体版

[5][110・・・0]正単体版

と同じなので省略できる.

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

【1】[0・・・010]正軸体版

  f0=2^n-1n

  f1=(n−1)f0

  fn-1=2^n+2n

{3,4}(010)→f0=12(OK)

{3,3,4}(0010)→f0=32(OK)

{3,3,3,4}(00010)→f0=80(OK)

{3,3,3,3,4}(000010)→f0=192(OK)

  f1=(n−1)f0

{3,4}(010)→f1=24(OK)

{3,3,4}(0010)→f1=96(OK)

{3,3,3,4}(00010)→f1=320(OK)

{3,3,3,3,4}(000010)→f1=960(OK)

  fn-1=2^n+2n

{3,4}(010)→f2=14(OK)

{3,3,4}(0010)→f3=24(OK)

{3,3,3,4}(00010)→f4=42(OK)

{3,3,3,3,4}(000010)→f5=76(OK)

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

 γnの頂点が消えて,αn-1に置き換わると考えると,2^n個の頂点と2^n-1(n,1)個の辺が消えて,2^n-1(n,1)個の頂点になる.

 すると,最終的な頂点数と辺数は

  2^n-1(n,1)=2^n-1n  (OK)

  2^n(n,2)=2^n-1n(n−1)  (OK)

k次元面数は,

  2^n-k(n,k)+2^n・(n,k+1)

n−1次元面数は

  2^n+2n  (Ok)

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

  2^n-k(n,k)+2^n・(n,k+1),k=2〜n−2

{3,3,4}(0010)→f2=88(OK)

{3,3,3,4}(00010)→f2=400(OK)

{3,3,3,3,4}(000010)→f2=1520(OK)

{3,3,3,4}(00010)→f3=200(OK)

{3,3,3,3,4}(000010)→f3=1120(OK)

{3,3,3,3,4}(000010)→f4=444(OK)

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