■太鼓の形は聞こえない(その44)
半立方体において,
f1=n(n−1)/4・f0
f2=n(n−1)(n−2)/6・f0,n>3
f3=n(n−1)(n−2)^2/24・f0,n>3
fk={(n−k)(n,k)/(k+1)+(n,k)/2^k-1}f0,k≧3
であることが確認された.
そこで,気に掛かるのはムーディー論文にあるDn格子のボロノイ細胞である.Dn格子は半立方体と正軸体による空間充填を形成する.対
===================================
【1】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)
===================================
【2】Cn格子のボロノイ細胞
一方,Cn格子のボロノイ細胞は
f0=2n+2^n
fk=2^n-k+1k(n,k)+2^n-k(n,k),1≦k≦n−3
fn-2=2^3(n−2)(n,n−2)
fn-1=2^2(n,n−2)
k=1とおくと
f1=2^nn+2^n-1n=3・2^n-1n
となり,Dn格子のボロノイ細胞に一致する.
===================================