■対蹠点までの距離(その4)

 置換多面体はワイソフ構成によって得られる空間充填多面体で,そのシュレーフリ・ワイソフ記号は

{33}(111)

 頂点数(n+1)!,ファセット数2(2^n−1)となる.

 ここではその立方体版である大菱形立方八面体

{43}(111)

について考える.頂点数2^nn!,ファセット数(3^n−1)となる.

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

 この多面体の母関数は、簡単な観察から

  1+3x+5x^2+7x^3+8x^4+8x^5+7x^6+5x^7+3x^8+x^9

=1+3x+5x^2+7x^3+8x^4+8x^5+7x^6+5x^7+3x^8+x^9

=(1+x)(1+x+x^2+x^3)(1+x+x^2+x^3+x^4+x^5)となることが予想される.

=(1−x^2)(1−x^4)(1−x^6)/(1−x)^3

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