[論文レビュー] Transitive Triangle Tilings in Oriented Graphs

József Balogh, Allan Lo+1 more|arXiv (Cornell University)|Jan 2, 2014

graph theory and CDMA systems参考文献 8被引用数 5

ひとこと要約

本稿は、十分に大きな $ n \in 3\mathbb{Z} $ に対して、有向グラフにおける完全な推移的三角形タイリングのための鋭い最小半次数条件を確立する。$ n $ 頂点の有向グラフが最小半次数 $ 7n/18 $ 以上であるならば、頂点に重複のない推移的三角形の完全タイリングを含む。この結果は最適であり、$ \lceil 7n/18 \rceil - 1 $ の半次数を持つがこのようなタイリングを含まない構成により示されている。安定性および吸収法の技術が用いられている。

ABSTRACT

In this paper, we prove an analogue of Corrádi and Hajnal's classical theorem. There exists $n_0$ such that for every $n \in 3\mathbb{Z}$ when $n \ge n_0$ the following holds. If $G$ is an oriented graph on $n$ vertices and every vertex has both indegree and outdegree at least $7n/18$, then $G$ contains a perfect transitive triangle tiling, which is a collection of vertex-disjoint transitive triangles covering every vertex of $G$. This result is best possible, as, for every $n \in 3\mathbb{Z}$, there exists an oriented graph $G$ on $n$ vertices without a perfect transitive triangle tiling in which every vertex has both indegree and outdegree at least $\lceil 7n/18 ceil - 1.$

研究の動機と目的

• 有向グラフにおける推移的三角形の完全タイリングを保証する鋭い最小半次数条件を確立すること。
• 推移的三角形タイリングに関して、CorrádiとHajnalの定理の有向グラフ版を証明すること。
• 極値構成を用いて、$ 7n/18 $ の境界がタイトであることを示す。具体的には、$ \lceil 7n/18 \rceil - 1 $ の半次数を持つが完全タイリングを含まないグラフを構成すること。
• Treglownの予想を、すべての $ n \in 3\mathbb{Z} $ に対して、十分に大きな $ n $ に対して成り立つことを証明することにより解決すること。

提案手法

• 極値構成に近いグラフを分類する安定性アプローチを用いる。
• 大きなマッチングの推移的三角形の埋め込みに吸収法を適用し、後で調整するためのリザーバーを確保する。
• 3部分割に関して $ \tau $-bad および $ \tau $-cyclic 頂点を定義し、近傍拡張を制御する。
• 3つの互いに頂点を共有しない推移的三角形の集合を構成する：$ Z' \setminus X_1 $ を被覆するもの、$ Z' $ を被覆するもの、およびマッチングの辺を用いてタイリングを完成させるもの。
• 平等な3部分割 $ W_1', W_2', W_3' $ を用い、$ M $ や $ M' $ の辺を $ U $ の頂点とマッチングさせ、推移的三角形を形成する。
• 近傍のサイズと $ \tau $-cyclic 性質に関する不等式を用い、三角形形成に必要な頂点が十分に確保されることを保証する。

実験結果

リサーチクエスチョン

• RQ1 有向グラフにおける完全な推移的三角形タイリングを保証する最小半次数条件は何か？
• RQ2 このようなタイリングに対して $ 7n/18 $ の境界は最適か？
• RQ3 Treglownの予想が、すべての $ n \in 3\mathbb{Z} $ に対して、すなわち大きな $ n $ に限らない範囲で成り立つか？
• RQ4 安定性および吸収法の技術を有向グラフにおけるタイリング問題に適応するにはどうすればよいか？
• RQ5 最小半次数が最適に近い有向グラフにおいて、完全な推移的三角形タイリングを妨げる構造的障害は何か？

主な発見

• すべての $ n \in 3\mathbb{Z} $ で $ n \geq n_0 $ を満たすものに対して、最小半次数が $ 7n/18 $ 以上の有向グラフは、完全な推移的三角形タイリングを含む。
• 境界 $ 7n/18 $ は最適である：すべての $ n \in 3\mathbb{Z} $ に対して、最小半次数が $ \lceil 7n/18 \rceil - 1 $ であるが完全な推移的三角形タイリングを含まない有向グラフが存在する。
• 極値構成は、3つの集合 $ W_1, W_2, W_3 $ と2つの集合 $ U_1, U_2 $ からなり、特定の有向辺が張られ、$ G[W_1 \cup W_2 \cup W_3] $ には推移的三角形が存在しない。
• 証明は安定性議論と吸収法を用い、$ \tau $-bad および $ \tau $-cyclic 頂点が近傍制御において重要な役割を果たす。
• $ U_1 \cup U_2 $ の頂点数は $ n/3 $ より小さいため、完全タイリングは存在しえず、構成の極値性が裏付けられる。
• すべての $ n \mod 18 $ に対して表1の値と一致し、各ケースで $ \delta^0(G) = \lceil 7n/18 \rceil - 1 $ であることが示されている。