[論文レビュー] Ramsey numbers of cubes versus cliques

David Conlon, Jacob Fox+2 more|arXiv (Cornell University)|Aug 8, 2012

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

ひとこと要約

本論文は、既知の下界 $(s-1)(2^n - 1) + 1$ に定数倍のオーダーで近い上界を、$ r(Q_n, K_s) $ に対して初めて確立した。$ s $ に依存する定数 $ c_s $ に対して $ r(Q_n, K_s) \leq c_s 2^n $ が成り立つことを証明した。この結果により、バーラ・エルドーシの超立方体の $ s $-良い性質に関する長年の予想が解決され、固定された $ s \geq 3 $ に対して十分に大きな $ n $ について、立方体グラフ $ Q_n $ が $ s $-良いであることが示された。その手法はグラフ分解と分離定理に基づいている。

ABSTRACT

The cube graph Q_n is the skeleton of the n-dimensional cube. It is an n-regular graph on 2^n vertices. The Ramsey number r(Q_n, K_s) is the minimum N such that every graph of order N contains the cube graph Q_n or an independent set of order s. Burr and Erdos in 1983 asked whether the simple lower bound r(Q_n, K_s) >= (s-1)(2^n - 1)+1 is tight for s fixed and n sufficiently large. We make progress on this problem, obtaining the first upper bound which is within a constant factor of the lower bound.

研究の動機と目的

• 固定された $ s \geq 3 $ および十分に大きな $ n $ に対して、超立方体 $ Q_n $ が $ s $-良いかどうかを示すバーラ・エルドーシの予想を解決すること。
• 既知の下界 $ (s-1)(2^n - 1) + 1 $ と、$ r(Q_n, K_s) $ のこれまでの最良の上界との差を埋めること。
• $ n $ 次元の立方体とサイズ $ s $ のクリークのRamsey数が、定数倍のオーダーで $ 2^n $ の線形性を示すこと。
• 有界次数を持たないため従来の手法が適用できない超立方体に、グラフ分離定理と退化度に基づく埋め込み技法を適用すること。

提案手法

• 拡張性の制御された性質を持つスパース部分グラフへの再帰的分解を用い、$ (|V|^{1-\gamma}, \eta) $-分離構造に依存する。
• ニキフォロフとルッソーの結果を応用し、小規模な分離定理を持つ $ d $-退化グラフは、$ \mathcal{K} $ に属する $ K $ に対して $ K $-良いである。ここで $ \mathcal{K} $ は、$ \chi(K) $-彩色において少なくとも2つの単一色クラスを含むグラフを含む。
• 頂点集合の反復的精錬により、サイズが減少し、スパarsityが増加する部分グラフの階層を構築し、特定の部分間に辺が存在しないように保証する。
• 極値的グラフ理論とツーラン型の境界を用いて、$ Q_n $-自由で最小次数が高いグラフは大きな独立集合を含むことを示す。
• $ Q_n $ は部分線形のバンド幅を持ち、二部グラフではあるが、有界次数ではないため、従来の $ H $-良い性質に関する結果では到達できない新規の手法を必要とした。
• 従属確率選択と確率的埋め込み補題を用いて、$ Q_n $ を避けるグラフの構造を制御し、大きな独立集合の構成を可能にする。

実験結果

リサーチクエスチョン

• RQ1 固定された $ s \geq 3 $ および十分に大きな $ n $ に対して、超立方体 $ Q_n $ は $ s $-良いか。すなわち $ r(Q_n, K_s) = (s-1)(2^n - 1) + 1 $ が成り立つか。
• RQ2 $ r(Q_n, K_s) $ の上界を、既知の下界に定数倍のオーダーで近づけることができるか。
• RQ3 部分線形のバンド幅と高い最小次数を持つグラフは、必ず $ Q_n $ を含むか、大きな独立集合を持つのか。
• RQ4 分離定理と退化度条件を用いて、有界次数でないような $ Q_n $ のようなグラフの $ H $-良い性質を証明できるか。

主な発見

• 定数 $ c_s $ が $ s $ のみに依存する限り、$ r(Q_n, K_s) \leq c_s 2^n $ が成り立つ。これは下界と定数倍のオーダーで一致する。
• この結果により、任意の固定された $ s \geq 3 $ に対して、超立方体の族 $ \{Q_n\} $ が $ s $-良いであることが示され、バーラ・エルドーシの予想が確認された。
• この結果は、任意の固定されたグラフ $ H $ に対して $ r(Q_n, H) \leq c_H 2^n $ が成り立つことを示し、すべての固定された $ H $ に対して $ Q_n $ が $ H $-良いであることを示している。
• 証明は、小規模な分離定理を持つ $ d $-退化グラフに分離定理を新規に応用し、有界次数でないグラフへの既知の $ K $-良い性質の拡張に成功した。
• 著者らは、サイズが減少し、スパarsityが増加する頂点集合の階層を構築し、特定のコンポonent間には辺が存在しないように保証した。これにより、$ Q_n $ の埋め込みまたは大きな独立集合の検出が可能になった。
• 本研究は、$ r(Q_n, Q_n) $ の線形性に関するより広範なバーラ・エルドーシの予想を解決するための基盤を提供する。正の回答が得られれば、$ r(Q_n, K_s) $ が $ 2^n $ に対して線形であることが示される。