[論文レビュー] Erdös-Ko-Rado theorems for chordal and bipartite graphs

Glenn Hurlbert, Vikram Kamat|ArXiv.org|Mar 24, 2009

Advanced Graph Theory Research参考文献 8被引用数 4

ひとこと要約

この論文は、弦的グラフおよび二部グラフにおけるErdös-Ko-Rado（EKR）定理を確立し、少なくとも1つのシングルトンを含む弦的グラフの非交差和が、r ≤ μ(G)/2 のとき r-EKR であることを示している。ここで μ(G) は最大独立集合の最小サイズを表す。さらに、完全グラフの鎖に対する EKR 型の結果を示し、圧縮および帰納法の技術を用いてラッダーグラフおよび木に対する基礎的結果を確立している。

ABSTRACT

One of the more recent generalizations of the Erdös-Ko-Rado theorem, formulated by Holroyd, Spencer and Talbot, defines the Erdös-Ko-Rado property for graphs in the following manner: for a graph G and a positive integer r, G is said to be r-EKR if no intersecting subfamily of the family of all independent vertex sets of size r is larger than the largest star, where a star centered at a vertex v is the family of all independent sets of size $r$ containing v. In this paper, we prove that if G is a disjoint union of chordal graphs, including at least one singleton, then G is r-EKR if $r\leq mu(G)/2$, where mu(G) is the minimum size of a maximal independent set. We will also prove Erdös-Ko-Rado results for chains of complete graphs, which are a class of chordal graphs obtained by blowing up edges of a path into complete graphs. We also consider similar problems for ladder graphs and trees, and prove preliminary results for these graphs.

研究の動機と目的

• 構造的制約を伴うグラフ、特に弦的および二部グラフにおけるErdös-Ko-Rado定理の拡張を図ること。
• グラフ G が r-EKR である条件を特定すること。ここで r-EKR とは、独立な r-集合の交わる族が、ある頂点を中心とする最大のスターファミリーのサイズを超えないことを意味する。
• 非交差和の完全グラフおよびパスに対する既存の EKR 結果を、より広い弦的グラフのクラスへ一般化すること。
• ラッダーグラフおよび木における r-EKR 性質を調査し、帰納法および圧縮技術を用いて基礎的結果を確立すること。
• 独立な r-集合の極値族を特徴づけ、指定された条件下で最大のスターファミリーが最適であることを証明すること。

提案手法

• グラフ G における r-EKR 性質を定義する：独立な r-集合の交わる族は、固定された頂点を含むスターファミリーのサイズを超えない。
• 頂点数に関する帰納法を用いる。特に、既存の構造に新しい頂点または辺を追加して得られるグラフに注目する。
• 圧縮技術（辺の縮約と等価）を適用し、交差性の性質を保ちつつ独立集合の族を簡略化する。
• 固定された頂点部分集合 Z との交差に基づいて独立 r-集合の族を分割し、可能な交差のケース別分析を行う。
• 元の族から要素を削除または変更して得られる補助族 E および F を定義し、より小さい部分グラフに帰納的仮定を適用する。
• J^r_x(G') および J^{r-1}_x(G'') のような族のサイズに関する境界を用い、元のグラフにおけるスターファミリーのサイズと比較する。

実験結果

リサーチクエスチョン

• RQ1 少なくとも1つのシングルトンを含む弦的グラフの非交差和が、どのような条件下で r-EKR となるか？
• RQ2 完全グラフの鎖（弦的グラフの一種）において、r-EKR 性質が成り立つのはいつか？
• RQ3 ラッダーグラフおよび木における独立 r-集合の交わる族の最大サイズは何か？
• RQ4 圧縮技術は、完全グラフおよびパスを越えて、構造的グラフにおいて r-EKR 結果を証明するために効果的に適用可能か？
• RQ5 与えられたグラフにおいて、最大のスターファミリーが r-EKR 問題において一意の最大化族であるのはいつか？

主な発見

• G が少なくとも1つのシングルトンを含む弦的グラフの非交差和であるとき、r ≤ μ(G)/2 ならば G は r-EKR である。ここで μ(G) は最大独立集合の最小サイズを表す。
• 完全グラフの鎖（パスの辺を完全グラフに置き換えたもの）は、すべての r ≤ μ(G)/2 に対して r-EKR であることが示された。
• n ≥ 4 のラッダーグラフ L_n に対して、固定頂点 x_1 を含む独立 r-集合の族が最大サイズに達し、r-EKR 性質が確認された。
• ラッダーグラフの証明は、3頂点部分集合 Z との交差に基づいて独立 r-集合の族を分割し、成分サイズの境界を用いた帰納法に依存している。
• 特定の部分族が空でない場合、帰納的仮定から導かれる不等式を用いて、交わる族のサイズがスターファミリーのサイズによって上から抑えられることを示した。
• 本論文は、L_n のようなグラフにおいて、x_1 を中心とするスターファミリーが最大であり、より大きな交わる族は存在しないことを確認しており、ケース別分析および圧縮論法により r-EKR 性質が裏付けられた。