[論文レビュー] On the Hilton-Spencer intersection theorems for unions of cycles

Peter Borg, Carl Feghali|arXiv (Cornell University)|Aug 23, 2019

Limits and Structures in Graph Theory参考文献 22被引用数 5

ひとこと要約

本稿では、サイクルの冪と複数の他のサイクルの冪の頂点素な和集合が、クリーク数に厳密な条件を課した下で r-EKR（つまり、r 要素独立集合の最大交叉族は自明である）であることを確立する。Katona のシャドウ交叉定理と帰納的圧縮技術を用いて、主なサイクルの冪のクリーク数を上回る成分サイクルの最小クリーク数を満たす場合の証明を簡潔に提示し、パスとサイクルの和集合に関する先行の Hilton-Spencer 結果を拡張する。

ABSTRACT

A family $\mathcal{A}$ of sets is said to be intersecting if every two sets in $\mathcal{A}$ intersect. An intersecting family is said to be \emph{trivial} it its sets have a common element. A graph $G$ is said to be $r$-EKR if at least one of the largest intersecting families of independent $r$-element sets of $G$ is trivial. Let $α(G)$ and $ω(G)$ denote the independence number and the clique number of $G$, respectively. Hilton and Spencer recently showed that if $G$ is the vertex-disjoint union of a cycle ${_*C}$ raised to the power $k^*$ and $s$ cycles ${_1C}, \dots, {_sC}$ raised to the powers $k_1, \dots, k_s$, respectively, $1 \leq r \leq α(G)$, and $$\min\big(ω(_1C^{k_1}), \dots, ω(_sC^{k_s})\big) \geq 2k^* + 1,$$ then $G$ is $r$-EKR. They had shown that the same holds if ${_*C}$ is replaced by a path and the condition on the clique numbers is relaxed to $$\min\big(ω(_1C^{k_1}), \dots, ω(_sC^{k_s})\big) \geq k^* + 1.$$ We use the classical Shadow Intersection Theorem of Katona to obtain a short proof of each result for the case where the inequality for the minimum clique number is strict.

研究の動機と目的

• パスとサイクルの和集合に関する Hilton-Spencer の交叉定理を、サイクルの和集合へと拡張し、厳密なクリーク数条件の下で r-EKR 性質を証明すること。
• 成分サイクルの最小クリーク数が主なサイクルの冪のそれよりも厳密に大きい場合に、Katona のシャドウ交叉定理を用いて短く、自己完結的な証明を提供すること。
• パスとサイクルの和集合に関する先行結果を、より強い構造的制約を課したサイクルの和集合へと一般化すること。
• このようなグラフにおける r 要素独立集合の最大交叉族が自明であるかどうかという極値集合論的問題を解明すること。

提案手法

• グラフの和集合における独立 r 要素集合の交叉族を分析するために、Katona のシャドウ交叉定理を適用する。
• 主なサイクルの長さに関する帰納法を用い、頂点の削除と圧縮によって問題をより小さなグラフに還元する。
• Talbot の圧縮写像を用いて、交差性を保ちつつ構造の複雑さを低下させる。
• 元の交叉族を分割するための補助族（B, C, D_i, F）を定義し、それらの圧縮写像の像を分析する。
• 縮小されたグラフ F と H（より小さなサイクルとその冪の和集合）における帰納的仮定を用いて、圧縮族の上限を確立する。
• 圧縮族とシャドウ族の上限を組み合わせることで、元の族のサイズが頂点 1 を中心とするスターファミリーのサイズ以下であることを示す。

実験結果

リサーチクエスチョン

• RQ1 サイクルの冪と複数の他のサイクルの冪の和集合が、すべての r ≤ α(G) に対して r-EKR となる条件は何か？
• RQ2 クリーク数の条件が厳密である場合に、Katona のシャドウ交叉定理を用いて、サイクルの和集合に関する Hilton-Spencer 結果の短い証明が可能か？
• RQ3 サイクルの冪における独立集合の構造は、交叉族におけるスターファミリーの最大性にどのように影響するか？
• RQ4 成分サイクルの最小クリーク数が、グラフの和集合の r-EKR 性質を決定づける役割を果たすか？

主な発見

• 頂点素な和集合として構成されるグラフ G が、C* の冪と s 個のサイクル Ci の冪の和集合であるとき、min(ω(C1^{k1}), ..., ω(Cs^{ks})) > ω(C*^{k*}) が成り立つならば、G は r-EKR である。
• 特に厳密不等号のケースにおいて、Katona のシャドウ交叉定理の適用により証明が著しく短縮された。
• この結果は、1 ≤ r ≤ α(G) を満たすすべての r に対して成り立ち、Hilton-Spencer の定理をサイクルの和集合へと拡張する。
• 頂点の削除と Talbot 圧縮に依存する帰納的証明により、任意の交叉族のサイズが頂点 1 を中心とするスターファミリーのサイズで抑えられることを示した。
• 不等式 min(ω(Ci^{ki})) > ω(C*^{k*}) が、より小さなグラフへの帰納的還元が有効に保たれることを保証する。
• より強いクリーク数条件の下で、これまでに知られていた範囲をはるかに超えるサイクルの和集合クラスに対して r-EKR 性質が成立することを確認した。