■多面体的組み合わせ論(その23)
置換多面体の正軸体版では,
fk^(n)=Σ(j=0~k)Nj^(n)f(k-j)^(n-1ーj) (k≦n−2)
Nj^(n)=2^j+1(n,j+1)
である.
これと対応する数列は
nTk=Σ(0,k)(−1)^k-jkCj(2j+1)^n
nTk=2kn-1Tk-1+(2k+1)n-1Tk
である.
ただし,(3^n-1)胞体の面数とfベクトルの三角数が等しい件
(3^n-1)胞体の面数は
5次元:(f0,f1,f2,f3,f4)=(384,9600,8160,2640,242)
であるが,Triangle of f-vectors of the simplicial complexes
Tfv(5,k) = {1, 242, 2640, 8160, 9600, 3840}
http://oeis.org/A145901
では順序が逆になっている.すなわち,
fk=Tfv(n,n-k+1)
===================================