[論文レビュー] Turan Problems and Shadows I: Paths and Cycles

Alexandr Kostochka, Dhruv Mubayi+1 more|arXiv (Cornell University)|Aug 19, 2013

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

ひとこと要約

本稿は、$r \geq 3$、$k \geq 4$、かつ$(k,r) \neq (4,3)$のとき、$r$-一様な$k$-パスおよび$k$-サイクルに対するツラン問題を解決し、これらの構造を避ける$n$-頂点$r$-グラフにおける最大辺数の正確な漸近式を提供する。既存の研究で用いられたデルタシステム法の制限を克服するため、$r$-グラフのシャドウからの新しい確率的サンプリング技法を導入し、$n$が十分に大きい場合のすべての極値超グラフを特徴づける。主な結果は、$\mathrm{ex}_r(n,P_k) = \binom{n}{r} - \binom{n - \lfloor (k-1)/2 \rfloor}{r} + \delta_k$であり、$\delta_k = 0$（$k$ が奇数のとき）または$\binom{n - \lfloor (k-1)/2 \rfloor - 2}{r-2}$（$k$ が偶数のとき）である。

ABSTRACT

A $k$-path is a hypergraph P_k = e_1,e_2,...,e_k such that |e_i \cap e_j| = 1 if |j - i| = 1 and e_i \cap e_j is empty otherwise. A k-cycle is a hypergraph C_k = e_1,e_2,.. ,e_k obtained from a (k-1)-path e_1,e_2,...,e_{k-1} by adding an edge e_k that shares one vertex with e_1, another vertex with e_{k-1} and is disjoint from the other edges. Let ex_r(n,G) be the maximum number of edges in an r-graph with n vertices not containing a given r-graph G. We determine ex_r(n, P_k) and ex_r(n, C_k) exactly for all k \ge 4 and r \ge 3 and $n$ sufficiently large and also characterize the extremal examples. The case k = 3 was settled by Frankl and Füredi. This work is the next step in a long line of research beginning with conjectures of Erd\H os and Sós from the early 1970's. In particular, we extend the work (and settle a recent conjecture) of Füredi, Jiang and Seiver who solved this problem for P_k when r \ge 4 and of Füredi and Jiang who solved it for C_k when r \ge 5. They used the delta system method, while we use a novel approach which involves random sampling from the shadow of an r-graph.

研究の動機と目的

• $r \geq 3$、$k \geq 4$、かつ$n$が十分に大きいとき、$r$-一様$k$-パスおよび$k$-サイクルに対する正確なツラン数$\mathrm{ex}_r(n, G)$を特定すること。
• フーリー、ジャン、セイバーが提起した、$3$-一様超グラフにおける$k$-パスの極値関数に関する予想を解決すること。
• 従来のデルタシステム法を用いた結果を、$r = 3$および$r = 4$の場合にまで拡張し、それまで未解決であったケースを解消すること。
• $r$-グラフのシャドウからの確率的サンプリングに基づく新しい手法を構築・適用し、極値構造を分析すること。

提案手法

• $k$-パスおよび$k$-サイクルを避ける極値超グラフを分析するため、$r$-グラフのシャドウからの新しい技法を導入する。
• ハル型の組合せ的補題を用いてシャドウの構造的性質を導出し、それによって元の$r$-グラフの構造を制限する。
• 固定集合$D$との共通部分のサイズに基づくシャドウレベル$B^r_i$を定義・分析し、二重数え上げを用いて辺数の上限を導出する。
• 極値超グラフにおいて、コア集合$D$に関して小さい共通部分と非自明な対称差を持つ2辺が存在しないことを証明することで、禁止されたパスやサイクルの形成を回避する。
• 安定性の議論を適用し、極値境界に近い任意の超グラフが、既知の極値構成と構造的に近いものであることを示す。
• 例外的な場合$(k,r) = (4,3)$は、その特異な構造のため、独自の数え上げおよび共通部分の議論を用いて別個に取り扱う。

実験結果

リサーチクエスチョン

• RQ1 $r = 3$または$r = 4$で$k \geq 4$のとき、$r$-一様$k$-パスに対する正確なツラン数$\mathrm{ex}_r(n, P_k)$は何か？
• RQ2 $k$-パスおよび$k$-サイクルを避ける$r$-グラフの極値構造は、$k$の偶奇性にどのように依存するか？
• RQ3 $3$-および$4$-一様超グラフにおける$k$-パスおよび$k$-サイクルの極値問題を、デルタシステム法を回避して解くことは可能か？
• RQ4 $k$ が偶数で$r = 3$のとき、$k$-サイクルを避ける極値$r$-グラフの構造は何か？
• RQ5 $r$-グラフのシャドウからの確率的サンプリングが、元の超グラフの構造的性質にどのように結びつくか？

主な発見

• $r \geq 3$、$k \geq 4$、かつ$n$が十分に大きいとき、$\mathrm{ex}_r(n, P_k) = \binom{n}{r} - \binom{n - \lfloor (k-1)/2 \rfloor}{r} + \delta_k$であり、$\delta_k = 0$（$k$ が奇数のとき）または$\binom{n - \lfloor (k-1)/2 \rfloor - 2}{r-2}$（$k$ が偶数のとき）である。
• $k$-パスに対する極値$r$-グラフは一意に特徴づけられる：$k$ が奇数のとき$S_L^r(n)$、$k$ が偶数のとき$S_L^r(n) \cup F$（$F$ は$n - \lfloor (k-1)/2 \rfloor$ 頂点上で$\{P_2, 2P_1\}$に対して極値である）。
• $k$-サイクルに対しても、$k$-パスと同様の極値公式が成り立つが、$(k,r) = (4,3)$の場合は例外的であり、この場合の極値数は$\binom{n}{3} - \binom{n-1}{3} + \lfloor (n-1)/3 \rfloor$であり、極値構造は一意である。
• $(k,r) = (4,3)$の場合は別個に処理され、$3$-一様超グラフにおいて$P_2$-フリーな極値構成が存在しないという特異性のため、別個の議論が必要である。
• 最小の$k$-サイクルに対する安定性結果を確立し、極値境界に近い任意の$r$-グラフが、極値構成と構造的に近いものであることを示した。
• $r$-グラフのシャドウからの確率的サンプリングという新しい手法は、デルタシステム法の制限を効果的に克服し、$r = 3$および$r = 4$のこれまで未解決であったケースを解消できた。