■単純リー環を使った面数数え上げ(その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)
===================================