[論文レビュー] Ordered Ramsey numbers

David Conlon, Jacob Fox+2 more|arXiv (Cornell University)|Oct 20, 2014

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

ひとこと要約

本稿は、ラベル付きグラフにおける単色部分グラフに頂点の順序が保たれるという制約を課した古典的ラマヌジャン数の変種、順序付きラマヌジャン数を導入し、その性質を調査する。特に、マッチングのようなスパarsなグラフに対しても、順序付きラマヌジャン数は超多項式的に増大しうることを示し、任意のラベル付きグラフ H に対して一般上界 $ r_< (H) \leq r(H)^{c\log^2 n} $ を確立することで、標準ラマヌジャン数よりわずかに速く増大することを示している。

ABSTRACT

Given a labeled graph $H$ with vertex set $\{1, 2,\ldots,n\}$, the ordered Ramsey number $r_

研究の動機と目的

• 頂点の順序が単色部分グラフに保たれるという条件を課した順序付きラマヌジャン数を形式化し、その性質を研究すること。
• グラフの構造とラベル付けが、ラマヌジャン型の閾値に与える影響を理解すること、特に古典的ラマヌジャン数と比較しての影響を明らかにすること。
• 特にスパarsまたは構造的グラフに対して、順序付きラマヌジャン数が古典的ラマヌジャン数と著しく異なる大きさになるかどうかを特定すること。
• マッチング、パス、ハイパーキューブを含むさまざまなグラフ族に対して、順序付きラマヌジャン数の一般上界および下界を確立すること。
• 特に立方体や有界次数グラフなどの特定のグラフクラスについて、順序付きラマヌジャン数の成長率に関する未解決問題を探索すること。

提案手法

• ラベル付きグラフ H に対して、順序付きラマヌジャン数 $ r_< (H) $ を、$ K_N $ の任意の2色塗り分けにおいて、H の頂点の相対的順序が保たれる単色部分グラフが存在する最小の N として定義する。
• 極値組合せ論および確率的方法を用いて上界を導出し、特に n 頂点からなる任意のラベル付きグラフ H に対して一般上界 $ r_< (H) \leq r(H)^{c\log^2 n} $ を得る。
• 区間彩色数と帯域幅の概念を用いて、マッチングやパスのような構造的グラフを分析し、帯域幅が有界なグラフに対して多項式的境界を示す。
• Füredi と Hajnal の禁じられた 0-1 行列に関する既知の結果を応用し、特定のグラフ族に対する順序付きラマヌジャン数の境界を導出する。
• ラマヌジャン型定理（例：定理 5.4）を繰り返し適用することで、ネストされた単色部分グラフを構成し、帯域幅が有界なグラフに対する境界を得る。
• ハイパーキューブ $ Q_d $ を区間彩色数と帯域幅を用いて分析し、指数関数的上界および下界を導出し、下界が真の値に近いと考えられている。

実験結果

リサーチクエスチョン

• RQ1 古典的ラマヌジャン数が多項式的であるのに対し、マッチングのようなスパarsなグラフに対しても、順序付きラマヌジャン数が超多項式的になることはあり得るか？
• RQ2 古典的ラマヌジャン数と頂点数にのみ依存する一般上界が、順序付きラマヌジャン数に対して存在するか？
• RQ3 帯域幅が有界なグラフに対して、順序付きラマヌジャン数は頂点数の多項式で抑えられるか？
• RQ4 ハイパーキューブ $ Q_d $ の順序付きラマヌジャン数は d に関して指数関数的に増大するか？ また、下界は上界よりもタイトか？
• RQ5 d-正則グラフの順序付きラマヌジャン数は、あるラベル付けのもとで n に対して線形に増大するか？ それとも常に超線形的増大を示すか？

主な発見

• 任意の n 頂点からなるラベル付きグラフ H に対して、ある絶対定数 c が存在し、$ r_< (H) \leq r(H)^{c\log^2 n} $ が成り立つ。これは、古典的ラマヌジャン数に対してのみ準多項式的増大にとどまることを示している。
• マッチングのラベル付けの一部において、順序付きラマヌジャン数が頂点数に関して超多項式的に増大することを示し、順序付きラマヌジャン数と古典的ラマヌジャン数の間の顕著な差を実証した。
• 単調パス $ P_n $ に対しては、順序付きラマヌジャン数が正確に $ (n-1)^2 + 1 $ に等しく、Erdős–Szekeres の単調部分列に関する定理と一致する。
• d 次元ハイパーキューブ $ Q_d $ に対しては、順序付きラマヌジャン数が少なくとも $ 2^{c'd^2 / \log d} $ で、最大で $ 2^{cd^3} $ であることが示され、下界が真の値に近いと考えられている。
• 帯域幅が k 以下のグラフに対しては、順序付きラマヌジャン数が $ n^{c_k} $ で抑えられることが示され、後に帯域幅が有界なすべてのグラフに拡張された。
• 帯域幅が k 以下のマッチングに対しては、順序付きラマヌジャン数が $ n^{\lceil \log k \rceil + 2} $ で抑えられ、対数的要因を除いてこの境界はタイトである。