[論文レビュー] On the structure of oriented graphs and digraphs with forbidden tournaments or cycles

Deryk Osthus, Daniela Kühn+2 more|arXiv (Cornell University)|Apr 24, 2014

Limits and Structures in Graph Theory参考文献 18被引用数 7

ひとこと要約

この論文は超グラフコンテナ法を用いて、禁止されたトーナメントやサイクルをもつ有向グラフおよび有向グラフの構造に関するシェルリンの予想を解決する。$T_{k+1}$-free な有向グラフおよび有向グラフのほとんどが $k$-partite であることを証明する一方で、$C_k$-free グラフは非巡回的ではないが、巡回的でなく、わずかにサブ2次式の辺の変更で非巡回的になる。辺の変更の閾値についても明確な境界を示す。

ABSTRACT

Motivated by his work on the classification of countable homogeneous oriented graphs, Cherlin asked about the typical structure of oriented graphs (i) without a transitive triangle, or (ii) without an oriented triangle. We give an answer to these questions (which is not quite the predicted one). Our approach is based on the recent `hypergraph containers' method, developed independently by Saxton and Thomason as well as by Balogh, Morris and Samotij. Moreover, our results generalise to forbidden transitive tournaments and forbidden oriented cycles of any order, and also apply to digraphs. Along the way we prove several stability results for extremal digraph problems, which we believe are of independent interest.

研究の動機と目的

• $T_3$-free および $C_3$-free 有向グラフの典型的な構造に関するシェルリンの予想を解決すること。
• エルデシュらの結果を拡張すること。
• 超グラフコンテナ法を用いて $T_{k+1}$-free および $C_k$-free 有向グラフおよび有向グラフの極値的構造を分析すること。
• 特に辺の変更による非巡回化を達成する際の安定性結果を確立すること。

提案手法

• サクソン＝トーマソンおよびバラグ＝モリス＝サモティージが開発した超グラフコンテナ法を応用し、$H$-free 有向グラフおよび有向グラフの構造を制御する。
• 非巡回的さを測定し、非巡回的グラフからの構造的ずれを定量化するために、トランスミティブ最適順序と後退辺を定義する。
• 4要素集合を反転可能とすることで、補助的二部グラフを構成し、二重数え上げ法によりコンテナのサイズを評価する。
• 補助的二部グラフ $H$ および $H'$ における二重数え上げ法を用いて、異なる辺数を持つグラフ集合のサイズの間の不等式を導出する。
• 二項係数および指数関数的項に関する組合せ的評価を用いて、特定の辺の変更を施した $C_k$-free グラフの数の下界を導出する。
• $|\mathcal{O}_{n,3,m_2}| \geq 2^{n/2^{14}} \cdot |\mathcal{O}_{n,3,\leq m_2/(2\log n)}|$ を確立し、このようなグラフの数が指数関数的に増加することを示す。

実験結果

リサーチクエスチョン

• RQ1 シェルリンの予想に従い、ほとんどすべての $T_3$-free 有向グラフは3部グラフであるか？
• RQ2 シェルリンの予想に従い、$C_3$-free 有向グラフの典型的な構造は非巡回的であるか？
• RQ3 $C_k$-free 有向グラフを非巡回的にするにはどの程度の辺の変更が必要か？ そしてその漸近的閾値は？
• RQ4 超グラフコンテナ法を $T_{k+1}$-free および $C_k$-free 有向グラフおよび有向グラフの構造的結果を証明するために拡張可能か？
• RQ5 $C_k$-free 有向グラフの数の正確な漸近的成長率は何か？ そしてそれは非巡回性とどのように関係するか？

主な発見

• ほとんどすべての $T_{k+1}$-free 有向グラフは $k$-partite である。これは $k \geq 2$ に対してシェルリンの予想1.1(i)を確認・強化するものである。
• ほとんどすべての $T_{k+1}$-free 有向グラフも $k$-partite である。これは一般の有向グラフに対しても結果が拡張されることを示している。
• $k \geq 3$ の場合、ほとんどすべての $C_k$-free 有向グラフは非巡回化に $\Omega(n/\log n)$ の辺の変更を要する。これはシェルリンの予想1.1(ii)を反証する。
• ほとんどすべての $C_k$-free 有向グラフは非巡回に近く、サブ2次式の辺の変更で十分である。任意の $\epsilon > 0$ に対して $O(n^{2-\epsilon})$ の変更で十分である。
• $k$ が偶数の場合、$C_k$-free 有向グラフに対しても同じサブ2次式の辺の変更の境界が成り立つ。$k$ が奇数の場合、弱いが依然としてサブ2次式の境界が確立される。
• $C_k$-free 有向グラフの数は $n$ に対して指数関数的に増加する。十分大きな $n$ に対して $|\mathcal{O}_{n,3,m_2}| \geq 2^{n/2^{14}} \cdot |\mathcal{O}_{n,3,\leq m_2/(2\log n)}|$ が成り立ち、多様な構造的多様性が示唆される。