[論文レビュー] Explicit representations by halfspaces of the edge cone of a graph

Carlos E. Valencia, Rafael H. Villarreal|arXiv (Cornell University)|Jun 14, 2005

Graph theory and applications参考文献 8被引用数 5

ひとこと要約

本稿では、連結な二部グラフを焦点として、グラフの辺錐を閉半空間の有限交差として明示的な組合せ的表現で与える。辺錐の顔を頂点部分集合と辺ベクトルを用いて特徴づけ、標準的で不可約な表現を確立し、婚姻定理の回復や辺部分環の代数的不変量の計算に応用する。

ABSTRACT

Let G be an arbitrary simple graph. The main results are explicit representations of the edge cone of G as a finite intersection of closed halfspaces. If G is bipartite and connected we determine the facets of the edge cone and present a canonical irreducible representation.

研究の動機と目的

• 任意のグラフの辺錐を閉半空間の有限交差として明示的な組合せ的記述を提供すること。
• 連結な二部グラフの辺錐の顔を頂点部分集合と接続構造を用いて特徴づけること。
• 連結な二部グラフの辺錐の標準的で不可約な表現を確立すること。
• 得られた結果を用いて婚姻定理を導出し、辺部分環の代数的不変量を計算すること。
• これまで無視されてきた二部グラフの辺錐を体系的に分析することで、多面体幾何における空白を埋めること。

提案手法

• グラフの接続行列を用いて、標準基底ベクトルの和として辺ベクトルを定義する。
• Farkasの補題とKroneckerの補題を用いて、有理係数多面体錐と整数点を分析する。
• Carathéodoryの定理を用いて表現を有限の有理係数結合に削減する。
• 頂点部分集合の特性ベクトルと辺の接続性を用いて、支持超平面を特定する。
• 独立な頂点集合と辺制約から導かれる顔を定義する不等式を用いて、不可約表現を構成する。
• 二部グラフの接続行列の全単位行列性を活用して、辺錐の整数性を証明する。

実験結果

リサーチクエスチョン

• RQ1 任意のグラフの辺錐は、閉半空間の交差としてどのように明示的な組合せ的記述が可能か？
• RQ2 連結な二部グラフの辺錐の顔は、グラフ構造の観点からどのように特徴づけられるか？
• RQ3 連結な二部グラフの辺錐の標準的で不可約な表現は何か？
• RQ4 得られた結果を用いて、婚姻定理のような古典的定理をどのように回復できるか？
• RQ5 辺錐内の整数点と辺部分環の代数的不変量の間にはどのような関係があるか？

主な発見

• 任意のグラフの辺錐は、非二部グラフに限られていた先行研究を一般化して、閉半空間の有限交差として明示的表現が可能である。
• 二部グラフ $V_1, V_2$ をもつ連結な二部グラフについて、辺錐の顔は、$A \subsetneq V_1$ かつ $A \neq \emptyset$ であるような適切な非空部分集合 $A$ に対する超平面 $H_A^-$ と、各頂点 $v_i \in V_2$ に対する $H_{e_i}^+$ に正確に一致する。
• 辺錐の標準的で不可約な表現は一意的であり、$\mathbb{R}_+\mathcal{A} = \text{aff}(\mathbb{R}_+\mathcal{A}) \cap \bigcap_{i=1}^r H_{A_i}^- \cap \bigcap_{i \in \mathcal{I}} H_{e_i}^+$ で与えられる。ここで $A_i \subsetneq V_1$ かつ $v_i \in V_2$ である。
• 二部グラフの辺錐は $\mathbb{Z}^n \cap \mathbb{R}_+\mathcal{A} = \mathbb{N}\mathcal{A}$ を満たし、錐内の整数点が辺ベクトルの非負整数係数結合として表せることを示唆する。
• 婚姻定理は、次のように回復される：二部グラフが完全マッチングを持つための必要十分条件は、任意の独立集合 $A$ に対して $|A| \leq |N(A)|$ が成り立つことである。
• 完全二部グラフ $\mathcal{K}_{m,n}$（$m \leq n$）について、辺錐は $\sum x_i = \sum y_j$、$x_i \geq 0$、$y_j \geq 0$ で定義され、$m \geq 2$ のとき、これらの不等式がすべての顔を定義する。