[論文レビュー] On multicolor Ramsey numbers for loose $k$-paths of length three

Tomasz Łuczak, Joanna Polcyn+1 more|arXiv (Cornell University)|Mar 28, 2017

Advanced Topology and Set Theory被引用数 1

ひとこと要約

本稿は、$k$-uniformハイパーグラフにおける長さ3のローティル$ k $-パスの多色ラマヌジャン数に有界な上界を確立する。極値ハイパーグラフ理論の安定性結果——特に、密度の高い$ P^{(k)} $-freeハイパーグラフは単一の大きなスターダムで支配されること——を活用することで、十分に大きな$r$に対して、ラマヌジャン数$ R(P^{(k)}; r) $が$ k $とは無関係に$ 250r $未満であることを証明する。これは大きな$r$に対して予想を解決し、$k$が増加してもラマヌジャン数が線形に増加することを示している。

ABSTRACT

We show that there exists an absolute constant $A$ such that for each $k\ge2$ and every coloring of the edges of the complete $k$-uniform hypergraph on $ Ar$ vertices with $r$ colors, one of the color classes contains a loose path of length three.

研究の動機と目的

• 長さ3のローティル$ k $-パスの多色ラマヌジャン数$ R(P^{(k)}; r) $の漸近的挙動を、$ k $-uniformハイパーグラフにおいて特定すること。
• 予想$ R(P^{(k)}; r) = r + 3k - 3 $を、$ r $が十分に大きい場合に、$ k $とは無関係な定数係数で$ r $に線形に増加することを示すことによって解決すること。
• 高密度のエッジを持つ$ P^{(k)} $-free $ k $-グラフは、非常に高い次数の頂点を含むという安定性結果を確立すること。これは支配的スターモデルを示唆する。

提案手法

• Füredi, Jiang, および Seiverの極値結果の安定性版を用い、高密度の$ P^{(k)} $-free $ k $-グラフは、$ |H| - 0.96^k \binom{n-1}{k-1} $以上の次数を持つ頂点を持つことを示す。
• 確率的分割法を適用：頂点集合をランダムに二つの部分に分割し、頂点$ v_f $が一方の部分にあり、$ (k-1) $-集合$ f $が他方の部分にあるような「適切な」エッジを特定する。
• 適切な集合に対して3色塗り分けを適用し、単色の$ (k-1) $-パス（長さ3）を強制的に生成し、元のハイパーグラフにおける$ k $-パス$ P^{(k)} $に拡張可能であることを示す。
• Fact 5（部分ハイパーグラフにおける最小次数）およびFact 6（二部グラフにおける最小次数部分グラフ）を用いて、各色クラス内に高密度な部分ハイパーグラフを抽出する。
• 平均化および極値境界を用いて、単色の$ P^{(k)} $が存在しないと仮定した場合、次数条件によって強制されるエッジ数が矛盾を引き起こすことを示す。
• 二重数え上げと近接集合解析を用いて、最大次数が有界であるならば、$ P^{(k)} $が存在しなければならないことを示し、$ P^{(k)} $-freenessの仮定に反する。

実験結果

リサーチクエスチョン

• RQ1 多色ラマヌジャン数$ R(P^{(k)}; r) $は、$ k $とは無関係に、$ r $に線形に増加するか？
• RQ2 ローティル$ P^{(k)} $-free $ k $-グラフの安定性を用いて、大きな$ r $に対して$ R(P^{(k)}; r) $の均一な上界を証明できるか？
• RQ3 任意の$ r $-彩色において、普遍定数$ A $に対して$ K^{(k)}_{Ar} $に単色のローティル$ k $-パス（長さ3）を構成できるか？
• RQ4 すべての$ k \geq 3 $および十分に大きな$ r $に対して、$ R(P^{(k)}; r) \leq Ar $が一様に成り立つ最小の$ A $は何か？
• RQ5 十分に大きな$ n $に対して、$ P^{(k)} $-free $ k $-グラフの構造は、単一のスターモデルによって支配可能と特定できるか？

主な発見

• すべての$ k \geq 250 $および十分に大きな$ r $に対して、多色ラマヌジャン数$ R(P^{(k)}; r) $は$ k $とは無関係に$ 250r $未満である。
• 本稿は安定性結果を証明する：$ n $頂点の$ P^{(k)} $-free $ k $-グラフで、$ |H| \geq 0.96^k \binom{n-1}{k-1} $を満たすものに対して、次数が$ |H| - 0.96^k \binom{n-1}{k-1} $以上の頂点が存在する。
• 完全$ k $-グラフ上で$ Ar $頂点を持つ場合、単色の$ P^{(k)} $が存在しないと仮定すると、縮小された部分グラフのエッジ数が小さくなり、矛盾が生じることを示した。
• 定数$ A = 250 $は、$ (A-1)^k > k (0.96)^k A^{k-1} $を満たすように選ばれており、数え上げの矛盾を保証する。
• この結果は、$ r $に線形に増加するが、$ k $が増加しても普遍定数係数を伴ってラマヌジャン数が増加することを示唆している。
• 鍵となるステップは、任意の$ P^{(k)} $-freeハイパーグラフにおいて、単一の頂点がエッジ構造を支配することを示し、これを用いて任意の大きな完全$ k $-グラフの$ r $-彩色において単色の$ P^{(k)} $を強制できることである。