[論文レビュー] On the Anti-Ramsey Threshold for Non-Balanced Graphs

Pedro Araújo, Táısa Martins+4 more|arXiv (Cornell University)|Jan 13, 2022

Limits and Structures in Graph Theory被引用数 1

ひとこと要約

本稿は、2-ラベル付きグラフのアンマニュレーションを用いて非バランスなグラフのクラスを構成することにより、古典的な $ n^{-1/m_2(H)} $ の境界より厳密に小さい反ラムゼー閾値を有するグラフを同定するための新しいフレームワークを導入する。$ 1 < m_2(H) < 2 $ を満たすグラフ $ H $ に対して、$ G(n,p) \to F \oplus H $ の閾値が $ o(n^{-1/m_2(F\oplus H)}) $ であることを証明し、反ラムゼー閾値が常に $ m_2 $-密度によって支配されるわけではないことを示している。特に、図書館グラフのような非バランスなグラフ構成において顕著である。

ABSTRACT

For graphs G,H, we write Grb⟶H if for every proper edge-coloring of G there is a rainbow copy of H, i.e., a copy where no color appears more than once. Kohayakawa, Konstadinidis and the last author proved that the threshold for G(n,p)rb⟶H is at most n−1/m2(H). Previous results have matched the lower bound for this anti-Ramsey threshold for cycles and complete graphs with at least 5 vertices. Kohayakawa, Konstadinidis and the last author also presented an infinite family of graphs H for which the anti-Ramsey threshold is asymptotically smaller than n−1/m2(H). In this paper, we devise a framework that provides a richer family of such graphs.

研究の動機と目的

• クラークやサイクル以外の非クリーク・非サイクルグラフにおける反ラムゼー閾値の理解のギャップを埋める。特に $ m_2 $-密度の境界を超える場合の考察。
• 反ラムゼー閾値が $ n^{-1/m_2(H)} $ より漸近的に小さい、より広いグラフのクラスを同定し、$ m_2 $-密度の予想の普遍性に疑問を呈する。
• グラフのアンマニュレーションと2-ラベル付きグラフを用いた一般フレームワークを確立し、こうしたグラフを体系的に構成する。
• 図書館グラフ $ B_t $ 及び $ m_2(H) \in (1,2) $ を満たす $ H $ とのアンマニュレーションにおいて、$ m_2 $-閾値未満の挙動を示すことを証明する。
• 構造的および確率的技法を用いて、先行研究の $ m_2 $-密度閾値の結果を、非バランスで非バランスなグラフにまで拡張する。

提案手法

• 2-ラベル付きグラフに対して、ラベル1および2の頂点を同一視するアンマニュレーション操作 $ \oplus $ を定義し、$ F \oplus H $ を構成する。
• 反ラムゼー性の閾値密度を支配するパラメータ $ \beta(H,S) = \frac{1}{e(S)} \left( v(S) - 2 + \frac{1}{m_2(H)} \right) $ を導入する。
• 正則化法と埋め込み補題（例：定理4.1）を用い、擬似ランダム性とランダムグラフ内でのトランスバーサルコピーの存在を保証する。
• 確率的数え上げと集中不等式を適用し、ランダムグラフ $ G(n,p) $ が $ F \oplus H $ の虹色コピーを避ける確率を抑え込む。
• $ S \to F $ であるようなグラフ $ S $ の族を構成し、$ S $ の複数のコピーを用いて $ F $ を虹色で埋め込む。
• 色分け戦略を採用し、$ F \oplus H $ の各辺に別々の色クラスを割り当て、極値的グラフ理論を用いて虹色コピーへの拡張を保証する。

実験結果

リサーチクエスチョン

• RQ1 2-ラベル付きグラフ $ F $ と他方のグラフ $ H $ をアンマニュレーションしたグラフ $ F \oplus H $ の反ラムゼー閾値は、$ m_2(H) < m_2(F) $ かつ $ F $ が2バランスなとき、どのように定まるか？
• RQ2 $ m_2(H) \in (1,2) $ であっても、$ F \oplus H $ の反ラムゼー閾値が $ n^{-1/m_2(F\oplus H)} $ より厳密に小さい可能性はあるか？
• RQ3 図書館グラフ $ B_t $ 及び $ H $ とのアンマニュレーションにおいて、反ラムゼー閾値は $ m_2 $-密度の境界を下回るか？
• RQ4 $ F \oplus H $ の非バランス性は、バランスなグラフと比較して閾値挙動にどのように影響するか？
• RQ5 反ラムゼー閾値が $ m_2 $-ベースの上界よりも漸近的に小さい無限個のグラフ族を生成する一般フレームワークを構築可能か？

主な発見

• 任意の2-ラベル付きグラフ $ F $, $ H $ について、$ 1 < m_2(H) < m_2(F) $ かつ任意の2バランスなグラフ $ S $ が $ S \to F $ を満たすとき、$ G(n,p) \to F \oplus H $ の閾値は $ o(n^{-\beta(H,S)}) $ であることが示された。ここで $ \beta(H,S) = \frac{1}{e(S)} \left( v(S) - 2 + \frac{1}{m_2(H)} \right) $ である。
• $ m_2(H) \in (1,2) $ を満たす無限個のグラフ族 $ B_t \oplus H $ を構成し、$ \text{prb}_{B_t \oplus H} = o(n^{-1/m_2(B_t \oplus H)}) $ であることを示した。これにより、$ m_2 $-閾値未満の挙動が明確に証明された。
• 図書館グラフ $ B_t $ について、$ B_{3t-2} \to B_t $ が反ラムゼーの意味で成り立つことを証明した。これは定理1.1の仮定を満たすために不可欠である。
• $ B_t \oplus H $ の閾値 $ \beta(H, B_{3t-2}) $ は $ \beta(H, B_{3t-2}) > 1/2 $ を満たすが、一方で $ 1/m_2(B_t \oplus H) \leq 1/2 $ であるため、実際の閾値が $ m_2 $-ベースの上界よりも漸近的に小さいことが証明された。
• 確率的および極値的技法を用いて、$ p \geq C n^{-\beta(H,S)} $ のとき、$ G(n,p) \to F \oplus H $ の確率が $ C $ が $ \gamma $ のみに依存する定数に依存して1に近づくことを示した。これにより、閾値挙動が裏付けられた。
• このフレームワークは、サイクルやクリークに関する先行研究を自然に一般化し、反ラムゼー閾値が常に $ m_2 $-密度によって決定されるわけではないことを示した。特に、非バランスなグラフ構成において顕著である。