■置換多面体の空間充填性(その124)

[1]n次元正単体は(n+1)個の点からなる完全グラフとみなすことができ,k次元胞の数は(n+1,k+1)です.母関数は

  Σfkx^k={(1+x)^n+1−1}/x=Σ(n+1,k)x^k-1

という形になります.すなわち,fk=(n+1,k+1)です.

[2]n次元正軸体については,母関数が

  Σfkx^k={(1+2x)^n−1}/x

=Σ(n,k)(2x)^k/x=(n,k)2^kx^k-1

という形になります.すなわち,fk=2^(k+1)(n,k+1)です.

 [1]×[2]は

  Σj(n+1,k−j)x^k-j-1(n,j)2^jx^j-1

=Σj(n+1,k−j)(n,j)2^jx^k-2

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

 [1]×[1]は?

  Σj(n+1,k−j)x^k-j-1(n+1,j)x^j-1

=Σj(n+1,k−j)(n+1,j)x^k-2

 これもjを消去した形を求めることができない.第2種スターリング数になるのだろうか?

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