[論文レビュー] gamma-vectors of edge subdivisions of the boundary of the cross polytope

Natalie Aisbett|arXiv (Cornell University)|Sep 9, 2012

Advanced Combinatorial Mathematics参考文献 5被引用数 6

ひとこと要約

本稿では、交わる辺のスターリング分割によって得られる任意のフラッグ単体的複体 Θ の γ ベクトルと等しくなる f ベクトルを持つフラッグ単体的複体 Γ(Θ) を構成する。この構成は分割の順序に依存し、フレンクル＝フーレディ＝カライの不等式が満たされることを示し、ネーヴォとペターセンの予想（フラッグ同調球の γ ベクトルはフラッグ複体の f ベクトルである）の部分的証明となる。

ABSTRACT

For any flag simplicial complex $Θ$ obtained by stellar subdividing the boundary of the cross polytope in edges, we define a flag simplicial complex $Γ(Θ)$ (dependent on the sequence of subdivisions) whose $f$-vector is the $γ$-vector of $Θ$. This proves that the $γ$-vector of any such simplicial complex satisfies the Frankl-Füredi-Kalai inequalities, partially solving a conjecture by Nevo and Petersen \cite{np}. We show that when $Θ$ is the dual simplicial complex to a nestohedron, and the sequence of subdivisions corresponds to a flag ordering as defined in \cite{ai}, that $Γ(Θ)$ is equal to the flag simplical complex defined there.

研究の動機と目的

• 交わる辺のスターリング分割によって得られる任意のフラッグ単体的複体 Θ の γ ベクトルが、フラッグ単体的複体の f ベクトルとして実現されることを証明すること。
• この構成がフレンクル＝フーレディ＝カライの不等式を満たすことを検証し、ネーヴォとペターセンの予想を支持すること。
• 分割の順序がフラッグ順序に対応する場合、従来のフラッグ・ネストオヘドロンの構成と一貫することを示すこと。
• 分割の順序とフラッグ複体の f ベクトルとしての γ ベクトルを結びつける一般枠組みを確立すること。

提案手法

• 交わる辺のスターリング分割の順序に対して、ネスト集合理論と頂点ラベリングを用いて、クロス・オルソープ体境界に関連するフラッグ単体的複体 Γ(Θ) を定義する。
• 各分割段階におけるリンク複体の隣接関係を追跡することで、Γ(Θ) を再帰的に構成する。
• 先行研究のビルディングセットとフラッグ順序の枠組みを用い、分割の順序をネスト集合と頂点の隣接関係に関連付ける。
• Γ(Θ) における隣接関係が、元の複体における分割された単体の包含および共通部分集合の性質に対応することを証明する。
• 分割の順序に関する帰納的推論を用いて、Γ(Θ) の f ベクトルが Θ の γ ベクトルと一致することを示す。
• フラッグ・ネストオヘドロンの場合、この構成がビルディングセットを用いて従来の研究で定義されたフラッグ複体と一致することを確認する。

実験結果

リサーチクエスチョン

• RQ1 交わる辺によるクロス・オルソープ体境界のフラッグ単体的複体 Θ の γ ベクトルは、フラッグ単体的複体の f ベクトルとして実現可能か？
• RQ2 Γ(Θ) の構成は、具体的な辺の分割の順序に依存するのか？もしそうなら、その依存関係はどのようなものか？
• RQ3 分割の順序がフラッグ順序に対応する場合、Γ(Θ) はフラッグ・ネストオヘドロンの従来の構成と一貫するか？
• RQ4 このような複体の γ ベクトルはフレンクル＝フーレディ＝カライの不等式を満たすか？

主な発見

• 任意の Θ ∈ sd(Σ_{d−1}) の γ ベクトルは、フラッグ単体的複体 Γ(Θ) の f ベクトルとして実現され、ネーヴォとペターセンの予想（Conjecture 1.2）の部分的解決が得られた。
• Γ(Θ) の構成は分割の順序に依存しており、異なる分割順序では一意的でない。
• Θ がフラッグ・ネストオヘドロンの双対単体的複体であり、かつ分割の順序がフラッグ順序である場合、Γ(Θ) はビルディングセットを用いて従来の研究で定義されたフラッグ複体と一致する。
• このような複体の γ ベクトルはフレンクル＝フーレディ＝カライの不等式を満たす。これはフラッグ複体の f ベクトルに必要な条件であるため。
• リンク構造とネスト集合の性質を用いて、Γ(Θ) における隣接関係を特徴づけ、それがフラッグ的であり、正しい f ベクトルを持つことを保証する。