[論文レビュー] Hypergraph Coloring Complexes

Felix Breuer, Aaron Dall+1 more|arXiv (Cornell University)|Apr 4, 2011

Topological and Geometric Data Analysis参考文献 14被引用数 4

ひとこと要約

本稿は、グラフ彩色複体をハイパーグラフに一般化し、3つの同等な解釈（組合せ的、超平面配置に基づく、およびEhrhart理論的（内部アウトポリトープを用いた））を導入する。グラフ彩色複体とは異なり、ハイパーグラフ彩色複体は一般にCohen-Macaulayではなく、分割可能でもなく、h-ベクトルに負の成分を含むことがある。一方で、f-およびh-ベクトルに対する境界が得られ、それらからハイパーグラフ彩色多項式に対する新たな境界が導かれる。さらに、球のホモトピー型の和にホモトピー同値でない連結なハイパーグラフ彩色複体の構成も行われる。

ABSTRACT

The aim of this paper is to generalize the notion of the coloring complex of a graph to hypergraphs. We present three different interpretations of those complexes -- a purely combinatorial one and two geometric ones. It is shown, that most of the properties, which are known to be true for coloring complexes of graphs, break down in this more general setting, e.g., Cohen-Macaulayness and partitionabilty. Nevertheless, we are able to provide bounds for the $f$- and $h$-vectors of those complexes which yield new bounds on chromatic polynomials of hypergraphs. Moreover, it is shown that the coloring complex of a hypergraph has a wedge decomposition, though we conjecture that in general this decomposition is not homotopy equivalent to a wedge of spheres. In addition, we can completely characterize those hypergraphs whose coloring complex is connected.

研究の動機と目的

• グラフからハイパーグラフへの彩色複体の概念を拡張し、代数的組合せ論における基本的構成を一般化すること。
• ハイパーグラフ彩色複体の3つの同等な解釈（組合せ的、部分空間配置による幾何的、および内部アウトポリトープのEhrhart理論による）を確立すること。
• グラフ彩色複体の重要な位相的・代数的性質（Cohen-Macaulay性、分割可能性、球の和としてのホモトピー型）がハイパーグラフ設定に拡張されるかどうかを調査すること。
• ハイパーグラフ彩色複体のf-およびh-ベクトルに対する境界を導出し、それらからハイパーグラフ彩色多項式に対する新たな境界を導くこと。
• ハイパーグラフ彩色複体が連結である条件を特定し、連結な複体が球の和にホモトピー同値でないという予想の反例を構成すること。

提案手法

• ハイパーグラフのハイパーエッジ集合上に定義された単体的複体Δ_Hとして、ハイパーエッジの集合が非空な共通部分を持つものに対応する面をもつ、組合せ的にΔ_Hを定義する。
• R^nにおける部分空間配置を用いてΔ_Hの幾何的実現を確立し、グラフ彩色複体の超平面配置解釈を一般化する。
• 内部アウトポリトープとEhrhart理論を用いてΔ_Hを再解釈し、生成関数の等式 (1/z)∑_{k≥0}(k^n − χ_H(k))z^k = (h_0 + h_1 z + … + h_{n−m} z^{n−m}) / (1−z)^n を通じてΔ_Hのh-ベクトルと彩色多項式χ_H(k)を関連付ける。
• Wedge Lemmaを用いてΔ_HのWedge分解を導出するが、その成分は球と部分ハイパーグラフの順序複体の結合であり、ハイパーグラフの構造に依存する。
• Sageを用いた計算的代数的トポロジーにより、コホモロジー群およびカップ積を計算し、H^3(Δ_H; ℤ) = ℤ^9 において非自明なカップ積が存在することを示す。
• Δ_Hの連結性をハイパーグラフのエッジ構造に基づいて特徴づけ、同じ成分に属するエッジがその成分全体で共通の交差パターンを持つことに対応することを示す。

実験結果

リサーチクエスチョン

• RQ1 グラフ彩色複体の位相的性質（Cohen-Macaulay性、分割可能性、球の和としてのホモトピー型）は、ハイパーグラフ彩色複体に対しても拡張可能か？
• RQ2 ハイパーグラフ彩色複体のf-およびh-ベクトルに対する境界を導出可能か？ それらはハイパーグラフ彩色多項式に対する新たな境界をもたらすか？
• RQ3 ハイパーグラフ彩色複体が連結であるための正確な条件は何か？
• RQ4 連結なハイパーグラフ彩色複体が球の和にホモトピー同値でないことはあり得るか？
• RQ5 部分空間配置および内部アウトポリトープを用いた幾何的・代数的解釈と、組合せ的定義との関係は何か？

主な発見

• ハイパーグラフ彩色複体は一般にCohen-Macaulayではなく、分割可能でもなく、純粋でもなく、h-ベクトルに負の成分を含むことがある。
• ハイパーグラフ彩色複体のf-およびh-ベクトルは有界であり、それらの境界からハイパーグラフ彩色多項式に対する新たな上界および下界が得られる。
• ハイパーグラフHの彩色複体Δ_HはWedge LemmaによりWedge分解を持つが、その成分は単一の球ではなく、部分ハイパーグラフの複雑な順序複体との結合である。
• 連結なハイパーグラフ彩色複体は、球の和にホモトピー同値でないことがある。具体的には、9頂点と9エッジを持つハイパーグラフHでは、H^1(Δ_H; ℤ) = ℤ^2 かつ H^3(Δ_H; ℤ) = ℤ^9 であり、非自明なカップ積が存在する。
• n頂点、最大エッジサイズmのハイパーグラフHの彩色多項式χ_H(k)は、(1−z)^{-n}を含む生成関数の等式を通じてΔ_Hのh-ベクトルに符号化される。
• Δ_Hの連結性は特徴づけられる：Δ_Hが連結であるための必要十分条件は、ハイパーグラフのエッジ集合が、同じ成分に属するエッジがその成分全体で共通の交差パターンを持つように分割可能であることである。