[論文レビュー] Unimodality and convexity of f-vectors of polytopes

Axel Werner|ArXiv.org|Dec 6, 2005

Advanced Combinatorial Mathematics参考文献 7被引用数 3

ひとこと要約

本稿は、次元にわたる多面体におけるf-ベクトルの単峰性、凸性、および関連する性質を調査する。f-ベクトル理論と畳み込み恒等式から導かれる不等式を用いて、5次元多面体における単峰性が証明される一方で、凸性は5次元ですら成立しないことが示される。また、d ≤ 7 に対して対数凸性が成り立つという予想が提示される。

ABSTRACT

We consider unimodality and related properties of f-vectors of polytopes in various dimensions. By a result of Kalai (1988), f-vectors of 5-polytopes are unimodal. In higher dimensions much less can be said; we give an overview on current results and present a potentially interesting construction as well as a conjecture arising from this.

研究の動機と目的

• d次元多面体のf-ベクトルに関して、(C) 凸性、(L) 対数凸性、(U) 単峰性、および(B) Bárányの性質がどの程度成り立つか、次元にわたって同定すること。
• 特に6次元および7次元多面体に関して、既知のf-ベクトルの性質に関する結果を5次元を超えて拡張すること。
• 高次元における対数凸性(L)の妥当性を検討し、d ≤ 7 に対して予想を提示すること。
• トーリックg-ベクトル、cd-インデックス、フラグベクトルの畳み込みといった高度な道具を用いて、f-ベクトルの新たな不等式を導出すること。
• 循環多面体をテストケースとして用い、凸性の不成立およびf-ベクトル列の挙動を評価すること。

提案手法

• 既知のcd-インデックス係数の非負性から線形不等式を導くために、* 演算を用いたフラグベクトルの畳み込み操作を用いる。
• cd-インデックス形式を用いて幾何的不等式を表現する。具体的には、⟨c²dc² − 19c⁶|Ψ(P)⟩ ≥ 0 から、6次元多面体に対して f₀ − f₁ + f₂ − 21 ≥ 0 が得られる。
• 一般化されたDehn–Sommerville方程式を用いてフラグベクトルの成分同士の関係を導出し、5次元多面体に対して 3f₂ ≥ 2f₁ + 2f₃ といった恒等式を導出する。
• 循環多面体 C₅(n) および C₇(n) のf-ベクトルを分析し、凸性と単峰性をテストする。この際、明示的な多項式表現を用いる。
• 有理関数の対称性と漸近的解析を用いて、循環7次元多面体における対数凸性を検証する。
• Björner, Kalai, Karu によるトーリックg-ベクトルおよびcd-インデックス係数の非負性に関する既知の結果を基に、新たな不等式を導出する。

実験結果

リサーチクエスチョン

• RQ1 6次元多面体のf-ベクトルに関して、単峰性が成り立つか。また、f₁ ≤ f₂ または f₃ ≥ f₄ を用いてその成立を示せるか？
• RQ2 d ≥ 5 のとき、d次元多面体のf-ベクトルに関して凸性(C)が不成立となるか。循環多面体を用いてこれを示せるか？
• RQ3 d ≤ 7 のとき、f-ベクトルに関して対数凸性(L)が成立するか。その背後に何らかの証拠があるか？
• RQ4 cd-インデックスおよびフラグベクトルの畳み込み技術を用いて、高次元におけるf-ベクトルの新たな不等式を導出できるか？
• RQ5 循環7次元多面体における比 fₖ² / (fₖ₋₁fₖ₊₁) の漸近的挙動は何か。対数凸性にどのような含意をもたらすか？

主な発見

• 5次元多面体のf-ベクトルに関して単峰性(U)が成立する。3f₂ ≥ 2f₁ + 2f₃ を示すことで、f₂ における低下を防ぐ。
• d ≥ 5 では凸性(C)が不成立である。例えば、8頂点を持つ循環5次元多面体のf-ベクトルは f₁ ≥ (f₀ + f₂)/2 を満たさない。
• 6次元多面体に関しては、f₂ ≥ (2/3)f₁ + 63 が成立する。これは ⟨c²dc² − 19c⁶|Ψ(P)⟩ ≥ 0 の非負性から導かれる。
• 6次元多面体に関してBárányの性質(B)が成立する。導出された不等式から、すべての k = 1,…,4 に対して fₖ ≥ min{f₀, f₅} が成り立つ。
• n ≥ 8 頂点を持つ循環7次元多面体に関して対数凸性(L)が成立する。k = 1,2,3 に対して fₖ² / (fₖ₋₁fₖ₊₁) > 1 が成り立つ。
• n → ∞ のとき、循環7次元多面体の比 f₃² / (f₂f₄) は1に近づく。これは対数凸性条件がタイトであることを示唆する。