[論文レビュー] Ramsey lower bounds for bounded degree hypergraphs

Chunchao Fan, Qizhong Lin|arXiv (Cornell University)|Mar 25, 2026

Limits and Structures in Graph Theory被引用数 0

ひとこと要約

著者らは、境界付き次数の k-均一超グラフの2色ルッソム数に対する塔型下界を確立し、適切な n と Δ のとき r(H) ≥ tw_{k-1}(c_k Δ) · n を示す。Conlon–Fox–Sudakov の問いに向けて前進。

ABSTRACT

We prove that for all $k \ge 3$ and any integers $Δ, n$ with $n \ge 2^Δ,$ there exists a $k$-graph on $n$ vertices with maximum degree at most $Δ$ such that $r(H)\geq\tw_{k-1}(c_k Δ) \cdot n$ for some constant $c_k > 0$, where $\tw_k$ denotes the tower function. This makes the first progress toward a problem proposed by Conlon, Fox, and Sudakov (2009), who asked whether $r(H)\geq\tw_{k}(c_k Δ) \cdot n$ holds. Our proof relies on a novel construction of a $k$-graph on a growing number of vertices $n$ while keeping the maximum degree bounded by a fixed $Δ$.

研究の動機と目的

• 境界付き次数を持つ k-グラフの下界を測る問題を動機付け、解決へ取り組む。
• 最大次数 Δ をもつ k-グラフを構成し、2色設定で大きなルッソム数を生み出す。
• 境界付き超グラフ設定へ stepping-up 彩色法を開発・適用する。
• ベースケースの乱択構成と帰納的 stepping-up を結びつけて次数成長を制御する。

提案手法

• 近似乱数プロセスを用いて最大次数を持つ基底3-グラフ H_R を構築する（補題3.11）。
• 境界付き次数超グラフへ適用可能な Bradač–Hunter–Sudakov 風の stepping-up 彩色を用いる（セクション2）。
• δ(x,y) とビット表現を用いた階層的埋め込みフレームワークを定義し、彩色と埋め込みを導く。
• 次数成長と準乱数性を制御する補助補題（Bradač–Hunter–Sudakov の補題、Lemmas 3.1–3.2）を用いる。
• ランダム基底 H_R と expander 的部分 H_E を組み合わせて Δ(H) ≤ Δ を満たす全体の k-グラフ H を構築する。
• 構築した φ_m^{(k)} 彩色により同色の H の埋め込みが存在しないことを示し、下界を得る。

実験結果

リサーチクエスチョン

• RQ1 境界付き次数 k-グラフに対して r(H) ≥ tw_{k}(cΔ) · n の下界を達成できるか、あるいは現技術下で tw_{k-1} が最適か？
• RQ2 帰納的ステップで最大次数を境界内に保つための stepping-up 彩色をどのように効果的に適用するか？
• RQ3 境界付き次数超グラフ設定で stepping-up の開始点として適切な乱数基底構成は何か？
• RQ4 帰納的議論を支える H_R が持つべき準乱数性特性とは何か（次数の爆発を避けるため）？

主な発見

• すべての k ≥ 3 および Δ, n に対して n ≥ 2^Δ なら、Δ(H) ≤ Δ を満たす k-均一 n-頂点超グラフ H が存在し、r(H) ≥ tw_{k-1}(c_k Δ) · n を満たすことができる（c_k > 0）
• 基底ケースとしての乱択3-グラフ構築（補題3.11 および 拡張 generalization of Lemma 3.5）を stepping-up フレームワークで使用している。
• 境界付き次数の stepping-up 彩色を開発し、帰納的ステップ間での次数成長を制御する（定理1.2）。
• H_R（乱択的基底）と H_E（expander 的オーバーレイ）を組み合わせた構成により、最大次数が Δ に制限された全体 k-グラフと大きいルッソム数を得る。
• 本アプローチは、境界付き超グラフに対する初の塔段高さ下界（tw_{k-1}）を達成し、Conlon–Fox–Sudakov の最適界へ向けて前進する。