[論文レビュー] A note on Ramsey Numbers for Books

Vladimir Nikiforov, Cecil Rousseau|ArXiv.org|May 10, 2004

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

ひとこと要約

この論文は、$ m $ に対して十分に大きな $ n $ に対して、ブックのラマーマン数 $ r(B_m, B_n) $ が $ 2n + 3 $ に等しいことを確立し、$ n \geq c m $ のとき $ r(B_m, B_n) = 2n + 3 $ となる正の定数 $ c $ の存在を証明する。結果として、以前の上限を強化し、極値グラフ論と誘導部分グラフ・共通近傍に関する数え上げ的議論を用いて、予想された漸近的挙動を確認する。

ABSTRACT

A book of size N is the union of N triangles sharing a common edge. We show that the Ramsey number of a book of size N vs. a book of size M equals 2N+3 for all N>(10^6)M. Our proof is based on counting.

研究の動機と目的

• 大きな $ n $ が $ m $ に対して十分に大きい場合の、ブックのラマーマン数 $ r(B_m, B_n) $ の漸近的挙動を特定すること。
• $ c $ を正の定数として、すべての $ n \geq c m $ に対して $ r(B_m, B_n) = 2n + 3 $ が成り立つことを確立すること。
• 以前の上界を改善し、$ n $ が $ m $ より著しく大きい場合に $ 2n+3 $ の公式がタイトであることを確認すること。
• すべての $ n \geq c m $ に対して $ r(B_m, B_n) = 2n+3 $ が成り立つような一様な定数 $ c $ の存在に関する長年の未解決問題を解消すること。

提案手法

• 完全グラフ $ K_r $ の2色エッジ彩色を用い、$ r(B_m, B_n) $ を、すべての赤・青彩色において、$ m $ ページの赤ブックまたは $ n $ ページの青ブックを含むような最小の $ r $ として解釈する。
• 凸性と次数和の不等式を用いて、次数が有界でブックサイズが有界なグラフにおける $ C_4 $ 部分グラフの数を抑え込むための数え上げ補題を適用する。
• Andrásfai–Erdős–Sós定理を用い、三角形を含まず最小次数が高い赤グラフが二部グラフであることを示し、赤グラフの構造的分解を可能にする。
• 赤二部グラフの色クラスである頂点集合 $ S_1, S_2 $ におけるケース解析を行い、青近傍条件に基づいて $ T_1, T_2 $ を定義し、青グラフにおけるブックサイズを抑え込む。
• 仮定 $ bs(B) < n/2 - 2 $ のもとで、$ S $ と $ X $ 間の赤エッジ数に対する下界と上界を組み合わせることで矛盾を導出し、$ bs(B) \geq n/2 - 2 $ を証明する。
• 共通近傍と誘導部分グラフの数の極値境界に依存し、元のグラフでブックサイズが有界であれば、補グラフに大きなブックが強制されることを示す。

実験結果

リサーチクエスチョン

• RQ1 すべての $ n \geq c m $ に対して $ r(B_m, B_n) = 2n + 3 $ を満たすような定数 $ c $ が存在するか？
• RQ2 $ n $ が $ m $ より著しく大きいとき、$ r(B_m, B_n) $ の漸近的挙動は何か？
• RQ3 上界 $ r(B_m, B_n) \leq 2n + 3 $ が、すべての大きな $ n $ に対して等号にまで tightened されるか？
• RQ4 元のグラフでブックサイズが有界であると仮定した場合、補グラフに大きなブックを強制するグラフの構造的性質は何か？

主な発見

• 正の定数 $ c $ が存在し、すべての $ n \geq c m $ に対して $ r(B_m, B_n) = 2n + 3 $ が成り立つ。これは漸近公式の確認である。
• 矛盾による証明により、$ n \geq 10^6 m $ のとき $ r(B_m, B_n) = 2n + 3 $ が成り立つことが示された。極値数え上げと構造的分解を用いた。
• 証明により、赤グラフのブックサイズが有界な $ m $ であれば、青グラフには少なくとも $ n/2 - 2 $ のブックサイズが存在することが示され、これはほぼ最適である。
• 以前の境界 $ r(B_m, B_n) \leq 2(m+n+1) $ よりも改善され、$ n $ が大きい場合に $ 2n+3 $ の公式が等号で成り立つことが確認された。
• 仮定におけるブックサイズから得られる $ S $ と $ X $ 間の赤エッジ数の下界と、平均化に基づく上界を組み合わせることで矛盾が生じ、$ 9n/40 < n/5 + 2m $ が得られる。これは大きな $ n $ に対して成立しない。
• 仮定 $ bs(R) \leq m $ のもとで、$ bs(B) \geq n/2 - 2 $ が確認され、$ n \geq 10^6 m $ であるから、$ bs(B) \geq n/2 - 2 $ が成り立ち、$ r(B_m, B_n) = 2n + 3 $ を結論づけるのに十分である。