■n次元平行多面体数(その137)

【1】Anのボロノイ細胞の要素数

  N0=2(2^n−1)

  N1=2(2^n-1−1)(n+1,1)=2(n+1)(2^n-1−1)

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

はオイラー・ポアンカレの公式を満たす.

 この公式において

  k←n−k−1

と置換すると

  fk=Nn-k-1=2(2^k+1−1)(n+1,n−k−1)=2(2^k+1−1)(n+1,k+2)

  f0=n(n+1)

  f1=(n−1)n(n+1)=(n−1)f0

  fn-1=2(2^n−1)

 3次元:(f0,f1,f2)=(12,24,14)→存在(101)

 4次元:(f0,f1,f2,f3)=(20,60,70,30)→存在(1001)

 5次元:(f0,f1,f2,f3,f4)=(30,120,210,180,62)→存在(10001)

 6次元:(f0,f1,f2,f3,f4,f5)=(42,210,490,630,434,126)→存在(10001)

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

【2】Cnのボロノイ細胞の要素数

  N0=2^n+2n

  Nk=2^n-k(n,k)+2^n-k+1k(n,k)  1≦k≦n−3

  Nn-2=2^3(n−2)(n,n−2)

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

はオイラー・ポアンカレの公式を満たす.

 この公式において

  k←n−k−1

と置換すると

  fk=Nn-k-1=2^k+1(n,n−k−1)+2^k+2(n−k−1)(n,n−k−1)

=2^k+1(n,k+1)+2^k+2(n−k−1)(n,k+1)

  1≧n−k−1≧n−3→2≦k≦n−2

  f0=2^2(n,n−2)=2n(n−1)

  f1=2^3(n−2)(n,n−2)=2(n−2)f0

  fn-1=2^n+2n

 3次元:(f0,f1,f2)=(12,24,14)→存在(010)

 4次元:(f0,f1,f2,f3)=(24,96,96,24)→存在(0100)

 5次元:(f0,f1,f2,f3,f4)=(40,240,400,240,42)→存在(01000)

 6次元:(f0,f1,f2,f3,f4,f5)=(60,480,1120,1200,576,76)→存在(010000)

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

【3】まとめ

 Anのボロノイ細胞からは,全切頂切稜型準正多胞体,Cnのボロノイ細胞からは,切頂型準正多胞体を構成することができた.

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