[論文レビュー] Matching polytons.

Martin Doležal, Jan Hladký|arXiv (Cornell University)|Jun 22, 2016

Limits and Structures in Graph Theory被引用数 4

ひとこと要約

本稿では、有限グラフにおけるマッチング多面体と分数頂点被覆多面体の類似物として、グラフンにおけるマッチング多面体と分数頂点被覆多面体を導入し、これらの概念をグラフンへと拡張する。基礎的な構造的性質を確立し、グラフンが r-部グラフであるための必要十分条件として、色数 r+1 のグラフを含まないこと（つまり、禁止部分グラフによる特徴付け）を示し、これにより二部グラフンのスペクトル的特徴付けが得られる。

ABSTRACT

Hladky, Hu, and Piguet [Tilings in graphons, preprint] introduced the notions of matching and fractional vertex covers in graphons. These are counterparts to the corresponding notions in finite graphs. Combinatorial optimization studies the structure of the matching polytope and the fractional vertex cover polytope of a graph. Here, in analogy, we initiate the study of the structure of the set of all matchings and of all fractional vertex covers in a graphon. We call these sets the matching polyton and the fractional vertex cover polyton. We also study properties of matching polytons and fractional vertex cover polytons along convergent sequences of graphons. As an auxiliary tool of independent interest, we prove that a graphon is $r$-partite if and only if it contains no graph of chromatic number $r+1$. This in turn gives a characterization of bipartite graphons as those having a symmetric spectrum.

研究の動機と目的

• 有限グラフからグラフンへと、組合せ最適化の概念（マッチングおよび分数頂点被覆）を拡張すること。
• グラフンの文脈において、マッチング多面体および分数頂点被覆多面体の定義と構造を研究すること。
• グラフン列の収束に関するこれらの多面体の振る舞いを分析すること。
• 色数 r+1 の禁止部分グラフを用いた r-部グラフンの特徴付けを確立すること。
• 対称スペクトルに基づいて、二部グラフンのスペクトル的特徴付けを導出すること。

提案手法

• マッチング多面体をグラフンにおけるすべてのマッチングの集合として定義し、有限グラフのマッチング多面体を一般化する。
• 分数頂点被覆多面体をグラフンにおけるすべての分数頂点被覆の集合として定義し、分数頂点被覆多面体を拡張する。
• 測度論的および解析的道具を用いて、収束するグラフン列に沿うこれらの多面体の収束性質を研究する。
• 極値グラフ理論の技法を用いて、グラフンが r-部グラフであるための必要十分条件として、色数 r+1 の部分グラフを含まないこと（すなわち、禁止部分グラフによる特徴付け）を証明する。
• スペクトルグラフ理論を活用し、グラフンが二部グラフであるための必要十分条件として、そのスペクトルが対称であること（すなわち、スペクトルの対称性）を示す。
• グラフの極限理論および正則性法の結果を応用し、極限対象におけるマッチングおよび被覆の構造を分析する。

実験結果

リサーチクエスチョン

• RQ1 マッチング多面体の概念を有限グラフからグラフンへどのように一般化できるか？
• RQ2 グラフンにおけるすべてのマッチングおよび分数頂点被覆の集合が持つ構造的性質は何か？
• RQ3 グラフン列の収束に伴い、マッチング多面体および分数頂点被覆多面体はどのように振る舞うか？
• RQ4 部分グラフの色数とグラフンの r-部構造との間にはどのような関係があるか？
• RQ5 グラフンのスペクトル的性質は、その二部グラフ性を特徴づけられるか？

主な発見

• グラフンが r-部グラフであるための必要十分条件として、色数 r+1 の部分グラフを含まないこと（禁止部分グラフによる特徴付け）が得られた。
• スペクトルの対称性が二部グラフンを特徴づける：グラフンが二部グラフであるための必要十分条件は、そのスペクトルが対称であることである。
• マッチング多面体および分数頂点被覆多面体は、グラフンの空間においてwell-definedな集合として定義可能であり、古典的な多面体的概念が極限設定へと拡張された。
• 収束するグラフン列に伴い、それに対応するマッチング多面体および分数頂点被覆多面体が適切な位相において収束することが示された。
• 本研究により、マッチングおよび分数被覆の構造が、グラフンの分割構造およびスペクトル的性質と深く関連していることが明らかになった。
• 極値グラフ理論とグラフの極限理論の間の橋渡しを、組合せ最適化の視点から確立した。