[論文レビュー] Explicit tough Ramsey graphs

Lê Anh Vinh, Dang Phuong Dung|ArXiv.org|Jul 17, 2008

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

ひとこと要約

この論文は、有限体上の有限ユークリッドおよび非ユークリッド平面を用いて、明示的な三角形を含まないグラフを構築し、無限に多くの素数のべき q = 12k+5 に対して、これらのグラフが t- Tough ではあるがパンサイクルではないことを示した。これにより、シュヴァトゥルの Toughness 予想に対する新たな反例が得られた。また、グラフはラマゼー数 R(3,k) に対して、R(3,k) ≥ Ω(k^{4/3}) の構成的下界をもたらした。

ABSTRACT

A graph G is t-tough if any induced subgraph of it with x > 1 connected components is obtained from G by deleting at least tx vertices. Chvatal conjectured that there exists an absolute constant t_0 so that every t_0-tough graph is pancyclic. This conjecture was disproved by Bauer, van den Heuvel and Schmeichel by constructing a t_0-tough triangle-free graph for every real t_0. For each finite field F_q with q odd, we consider graphs associated to the finite Euclidean plane and the finite upper half plane over F_q. These graphs have received serious attention as they have been shown to be Ramanujan (or asymptotically Ramanujan) for large q. We will show that for infinitely many q, these graphs provide further counterexamples to Chvatal's conjecture. They also provide a good constructive lower bound for the Ramsey number R(3,k).

研究の動機と目的

• シュヴァトゥルの予想（任意の t₀-tough グラフはパンサイクルである）を、明示的な反例を構築することで反証すること。
• 有限体の構成を用いて、明示的かつ組合せ的に定義された、三角形を含まずに高い Toughness を持つグラフを提供すること。
• 有限幾何に基づくグラフの彩色数と独立集合数を用いて、ラマゼー数 R(3,k) の構成的下界を確立すること。
• 有限体 F_q 上の四角距離および非ユークリッドグラフの Toughness、径路、直径、彩色数を分析すること。
• 有限体の代数的多様体を用いて、三角形を含まない正則グラフの既知の彩色数の上限の限界を検討すること。

提案手法

• 有限体 F_q 上の平面 F_q² において、四角距離 Q(X,Y) = (y₁−x₁)² + (y₂−x₂)² を用い、固定された a ∈ F_q に対して四角距離が a と等しい点の間に辺を張ることで、有限ユークリッドグラフ D_q(a) を構築する。
• 有限双曲平面 H_q = {x + y√σ | x,y ∈ F_q, y ≠ 0} 上に、Poincaré 距離 d(z,w) = a である点の間に辺を張ることで、有限非ユークリッドグラフ V_q(σ,a) を構築する。
• 有限体上の代数幾何を用いて、q = 12k+5 のとき、グラフ V_q(3,6) が三角形を含まず、かつ高い彩色数を持つことを証明する。
• キャラクター和の推定と指数和の技法を用いて、独立集合数の上限を導出し、彩色数の下限を得る。
• V_q(3,6) の彩色数が (0.5 + o(1))n_q^{1/4} を上回ることを示す。ここで n_q = q² − q である。
• 構築されたグラフの彩色数と独立集合数の関係を用いて、ラマゼー数 R(3,k) の下限を導出する。

実験結果

リサーチクエスチョン

• RQ1 任意に大きな t に対して、三角形を含まず、パンサイクルでもない明示的な t-tough グラフが存在するか。これによりシュヴァトゥルの Toughness 予想が反証されるか。
• RQ2 F_q 上の有限幾何が、R(3,k) に対して強い下限を得る明示的構成を提供できるか。
• RQ3 q = 12k+5 のとき、有限非ユークリッドグラフ V_q(σ,a) の彩色数は何か。
• RQ4 q → ∞ のとき、四角距離および非ユークリッドグラフの独立集合数と彩色数は漸近的にどのように振る舞うか。
• RQ5 高次元の有限体多様体は、三角形を含まない正則グラフの彩色数に対して、より良い上限をもたらすか。

主な発見

• 無限に多くの q = 12k+5 に対して、有限非ユークリッドグラフ V_q(3,6) は三角形を含まず、かつ任意に大きな t に対して t-tough である。これによりシュヴァトゥルの予想が反証された。
• V_q(3,6) の彩色数は、χ(V_q(3,6)) ≥ (0.5 + o(1))n_q^{1/4} を満たす。ここで n_q = q² − q である。
• V_q(3,6) の独立集合数は (2 + o(1))n_q^{3/4} 未満である。これにより、彩色数の下限が導かれた。
• この構成により、ラマゼー数 R(3,k) に対して、R(3,k) ≥ Ω(k^{4/3}) の構成的下限が得られた。
• 有限ユークリッドグラフ D_q(a) は (q+1)-正則であり、三角形を含まず、彩色数が O(q / log₂q) で有界である。
• グラフ D_q(a) および V_q(σ,a) は、大きな q に対して Ramanujan または漸近的に Ramanujan であり、強いスペクトル的性質を持つ。