[論文レビュー] Hypergraph Turan numbers of linear cycles

Zoltán Füredi, Tao Jiang|Repository of the Academy's Library (Library of the Hungarian Academy of Sciences)|Feb 11, 2013

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

ひとこと要約

本稿は、$k \geq 5$ および十分に大きな $n$ に対して、超グラフにおける $k$-一様線形サイクルの正確なツーラン数を、デルタシステム法を用いて決定する。極値族は、奇数のサイクル長 $ε = 2t+1$ の場合は固定された $t$-集合と交わるすべての $k$-集合からなるか、偶数の $ε = 2t+2$ の場合はその族に加えて、2つの固定された要素を含むすべての $k$-集合からなる。これは、ムバイアとヴェルストラエーテの予想をより強い形で確認するものである。

ABSTRACT

A k-uniform linear cycle of length s is a cyclic list of k-sets A_1,..., A_s such that consecutive sets intersect in exactly one element and nonconsecutive sets are disjoint. For all k at least 5 and s at least 3 and sufficiently large n we determine the largest size of a k-uniform set family on [n] not containing a linear cycle of length s. For odd s=2t+1 the unique extremal family F_S consists of all k-sets in [n] intersecting a fixed t-set S in [n]. For even s=2t+2, the unique extremal family consists of F_S plus all the k-sets outside S containing some fixed two elements. For k at least 4 and large n we also establish an exact result for so-called minimal cycles. For all k at least 4 our results substantially extend Erdos' result on largest k-uniform families without t+1 pairwise disjoint members and confirm, in a stronger form, a conjecture of Mubayi and Verstraete. Our main method is the delta system method.

研究の動機と目的

• $k \geq 5$ および大きな $n$ に対して、$k$-一様線形サイクルの正確なツーラン数を決定すること。
• $t+1$ 個の互いに素な辺を含まない $k$-一様族の最大サイズに関するエレドシュの結果を拡張すること。
• 線形サイクルの極値族に関して、ムバイアとヴェルストラエーテの予想を、より強い形で確認すること。
• $k \geq 4$ の $k$-一様超グラフにおける最小サイクルの正確な結果を確立すること。

提案手法

• 高次数のコアを有する集合系を分析するために、特に [12] および [9] の道具を用いたデルタシステム法を適用する。
• コアグラフ $\mathrm{Ker}_s({\cal F})$ および $r$-コアグラフ $\mathrm{Ker}^{(r)}_s({\cal F})$ を用いて、高多重度の共通部分集合を同定する。
• ロヴァーズ＝クラスクル＝カトーナのシャドウ定理を用いて、超グラフの $p$-シャドウのサイズを評価する。
• 2-コア次数が有界な $k$-一様族の最大サイズに関するフラニャルの定理を適用し、禁止構造を制御する。
• コアグラフにおけるパスおよびサイクルの構成に基づく背理法を用いて、特定の構造を持つ極値族を除外する。
• 安定性の議論を実装し、線形サイクルを含まない任意の大規模な族は、固定された $t$-集合によって定義される極値族に構造的に近いことを示す。

実験結果

リサーチクエスチョン

• RQ1 $k \geq 5$ および大きな $n$ に対して、$n$ 頂点の $k$-一様超グラフで、長さ $\ell$ の線形サイクルを含まないものの最大サイズは何か？
• RQ2 サイクル長 $\ell$ が奇数か偶数かに応じて、極値族の構造はどのように変化するか？
• RQ3 極値集合論を用いて、ムバイアとヴェルストラエーテの線形サイクルのツーラン数に関する予想を、より強い形で確認できるか？
• RQ4 $k \geq 4$ のとき、$k$-一様超グラフにおける最小線形サイクルの正確なツーラン数は何か？
• RQ5 コア次数およびシャドウサイズは、線形サイクルを避ける超グラフの構造をどのように制約するか？

主な発見

• 奇数の $\ell = 2t+1$ および $k \geq 5$ の場合、唯一の極値族は、固定された $t$-集合 $S$ と交わるすべての $k$-集合からなる。そのサイズは $\binom{n}{k} - \binom{n-t}{k}$ である。
• 偶数の $\ell = 2t+2$ および $k \geq 5$ の場合、極値族は、固定された $t$-集合 $S$ と交わるすべての $k$-集合に加え、$S$ の外の2つの固定された要素を含むすべての $k$-集合からなる。そのサイズは $\binom{n}{k} - \binom{n-t}{k} + \binom{n-t-2}{k-2}$ である。
• 奇数の $\ell$ の場合、極値族は一意的であり、線形 $\ell$-サイクルを含まない最大サイズに達する。
• 偶数の $\ell = 2t+2$ の場合、与えられた制約のもとで極値族も一意的である。
• $k \geq 4$ の場合、本稿は最小線形サイクルの正確なツーラン数を確立し、極値族のサイズが $\binom{n}{k} - \binom{n-t}{k} + 1$ で抑えられることを示している。
• 安定性結果により、極値サイズから $\delta$ 以内のサイズを持つ任意の族は、固定された $t$-集合によって定義される極値族に構造的に近いことが示された。