■太鼓の形は聞こえない(その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格子のボロノイ細胞に一致する.

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