[論文レビュー] The face vector of a half-open hypersimplex

Takayuki Hibi, Nan Li+1 more|arXiv (Cornell University)|Sep 20, 2013

Advanced Topics in Algebra参考文献 4被引用数 3

ひとこと要約

本稿では、x_i ∈ [0,1] および k−1 < ∑x_i ≤ k を満たす半開ハイパーシンプレックス Δ′_{n,k} の f ベクトルについて明示的な公式を導出する。f ベクトルの母関数を確立し、すべての k における j 次元面の和について閉形式の式を得ており、f_j(Δ′_{n,k}) = j·2^{n−j−1}·(n+j+2)/(n+1)·binomial(n+1,j+1) が得られる。この結果は、f ベクトルとチェビシェフ多項式、および立方体のハイパーシンプルーシャル分解との関連を示している。

ABSTRACT

The half-open hypersimplex $Δ'_{n,k}$ consists of those $x = (x_{1}, \ldots, x_{n}) \in[0,1]^n$ with $k-1

研究の動機と目的

• 半開ハイパーシンプレックス Δ′_{n,k} の f ベクトルの閉形式表現を導出すること。
• Δ′_{n,k} および Δ_{n,k} の f ベクトルを符号化する母関数を研究すること。
• ∑_{k=1}^n f_j(Δ′_{n,k}) に対する組合せ的和の公式を確立し、既知の組合せ的構造と関連づけること。
• 単位立方体のハイパーシンプルーシャル分解の f ベクトルとチェビシェフ多項式との関係を調査すること。

提案手法

• 超平面の交差を数える手法を用いて、f_j(Δ′_{n,k}) の一般式を導出：f_j(Δ′_{n,k}) = binomial(n+1,j+1) · ∑_{s=max{0,k−j}}^{k−1} binomial(n−j,s) · (n−s+1)/(n+1)。
• 母関数を用いて f ベクトルを符号化：∑_{n≥1}∑_{k=1}^n∑_{j=1}^n f_j(Δ′_{n,k}) x^k y^{n−k} t^j = (1−x)xt / [(1−x−y)(1−x−y−xt)(1−x−y−yt)]。
• 幾何学的および代数的技法を適用し、すべての k における j 次元面の総数を計算。∑_{k=1}^n f_j(Δ′_{n,k}) = j·2^{n−j−1}·(n+j+2)/(n+1)·binomial(n+1,j+1) を示した。
• 単位立方体をハイパーシンプレックスに分解し、超平面の交差（1）座標超平面のみ、（2）座標超平面に加えて ∑x_i = k の和超平面）による j 面の数え上げを通じて、和の公式の幾何的証明を提供した。
• f ベクトルの和と第一種チェビシェフ多項式の係数の間には、驚くべき関係があることを特定した。

実験結果

リサーチクエスチョン

• RQ1 半開ハイパーシンプレックス Δ′_{n,k} における j 次元面の数の正確な公式は何か？
• RQ2 Δ′_{n,k} の f ベクトルの母関数は明示的に計算され、簡略化可能か？
• RQ3 ∑_{k=1}^n f_j(Δ′_{n,k}) に対する組合せ的解釈は存在するか？
• RQ4 単位立方体のハイパーシンプルーシャル分解の f ベクトルとチェビシェフ多項式との関係は何か？

主な発見

• 半開ハイパーシンプレックス Δ′_{n,k} の f ベクトルは、f_j(Δ′_{n,k}) = binomial(n+1,j+1) · ∑_{s=max{0,k−j}}^{k−1} binomial(n−j,s) · (n−s+1)/(n+1) で与えられ、完全な組合せ的記述が得られる。
• Δ′_{n,k} の f ベクトルの母関数は、(1−x)xt / [(1−x−y)(1−x−y−xt)(1−x−y−yt)] として明示的に計算された。
• すべての k における j 次元面の和は、∑_{k=1}^n f_j(Δ′_{n,k}) = j·2^{n−j−1}·(n+j+2)/(n+1)·binomial(n+1,j+1) を満たし、洗練された閉形式の式である。
• この和の式は、ℓ = n + j + 1 および m = j + 1 とすると、チェビシェフ多項式 T_ℓ(x) の x^{ℓ−2m} の係数の絶対値と一致する。
• 和の公式の幾何的証明により、j 面が2種類の方法で生じることが明らかになった：（1）n−j 個の座標超平面の交差、（2）n−j−1 個の座標超平面に加えて和超平面 ∑x_i = k の交差。