■単純リー環を使った面数数え上げ(その17)
【1】Anのボロノイ細胞の要素数
f0=2(2^n−1)
f1=2(2^n-1−1)(n+1,1)=2(n+1)(2^n-1−1)
fk=2(2^n-k−1)(n+1,k)
はオイラー・ポアンカレの公式を満たす.
f1を計算すると
24(n=3),70(n=4),180(n=5),434(n=6)
空間充填2(2^n−1)胞体のn−2面数は
36(n=3),150(n=4),540(n=5),1806(n=6)
で,一致しない.
したがって,
24(n=3),70(n=4),180(n=5),434(n=6)
これらは空間充填準正多胞体ではないが,
fn-1=2(2^n−1),fn-2=2(n+1)(2^n-1−1)
となるような準正多胞体は存在するのだろうか?
24(n=3)→存在(101)
70(n=4)→存在(1001)
180(n=5)→存在(10001)
434(n=6)→存在(100001)
===================================
【2】Cnのボロノイ細胞の要素数(n≧3)
f0=2^n+2n
fk=2^n-k(n,k)+2^n-k+1k(n,k) 1≦k≦n−3
fn-2=2^3(n−2)(n,n−2)
fn-1=2^2(n,n−2)
はオイラー・ポアンカレの公式を満たす.
f1を計算すると
24(n=3),96(n=4),240(n=5),576(n=6)
空間充填2^n+2n胞体のn−2面数は
36(n=3),96(n=4),280(n=5),636(n=6)
で,一致しない.
したがって,
24(n=3),96(n=4),240(n=5),576(n=6)
これらは空間充填準正多胞体ではないが,
fn-1=2n+2^n,fn-2=24(n=3)
fn-1=2n+2^n,fn-2=3・2^n-1n(n≧4)
となるような準正多胞体は存在するのだろうか?
24(n=3)→存在(010)
96(n=4)→存在(0100),(1100)
240(n=5)→存在(01000),(11000)
576(n=6)→存在(010000),(110000)
===================================
【3】Dnのボロノイ細胞の要素数(n≧4)
f0=2n+2^n
f1=3・2^n-1n
fk=2^n-k+1k(n,k)+2^n-k(n,k) 2≦k≦n−3
fn-2=2^3(n−2)(n,n−2)
fn-1=2^2(n,n−2)
はオイラー・ポアンカレの公式を満たす.
f1を計算すると
96(n=4),240(n=5),576(n=6)
空間充填2^n+2n胞体のn−2面数は
96(n=4),280(n=5),636(n=6)
で,一致しない.
したがって,
96(n=4),240(n=5),576(n=6)
これらは空間充填準正多胞体ではないが,
fn-1=2n+2^n,fn-2=3・2^n-1n
となるような準正多胞体は存在するのだろうか?
96(n=4)→存在(0100),(1100)
240(n=5)→存在(01000),(11000)
576(n=6)→存在(010000),(110000)
===================================