[論文レビュー] Essentially tight bounds for rainbow cycles in proper edge-colourings

Noga Alon, Matija Bucić+3 more|arXiv (Cornell University)|Sep 8, 2023

Limits and Structures in Graph TheoryMathematics被引用数 3

ひとこと要約

本稿は、$n$ 頂点の適切に辺彩色されたグラフがレインボー閉路を含まない場合の最大平均次数について、本質的にタイトな境界を確立し、$O(\log n \cdot \log \log n)$ の平均次数がこのような閉路を保証することを示している。この結果により、長年の極値的問題が解決され、既知の下界から $\log\log n$ 要因の範囲内に上界が近づけられ、非アーベル群における加法的組合せ論と関連づけられる。

ABSTRACT

An edge-coloured graph is said to be rainbow if no colour appears more than once. Extremal problems involving rainbow objects have been a focus of much research over the last decade as they capture the essence of a number of interesting problems in a variety of areas. A particularly intensively studied question due to Keevash, Mubayi, Sudakov and Verstraëte from 2007 asks for the maximum possible average degree of a properly edge-coloured graph on $n$ vertices without a rainbow cycle. Improving upon a series of earlier bounds, Tomon proved an upper bound of $(\log n)^{2+o(1)}$ for this question. Very recently, Janzer-Sudakov and Kim-Lee-Liu-Tran independently removed the $o(1)$ term in Tomon's bound, showing a bound of $O(\log^2 n)$. We prove an upper bound of $(\log n)^{1+o(1)}$ for this maximum possible average degree when there is no rainbow cycle. Our result is tight up to the $o(1)$ term, and so it essentially resolves this question. In addition, we observe a connection between this problem and several questions in additive number theory, allowing us to extend existing results on these questions for abelian groups to the case of non-abelian groups.

研究の動機と目的

• 適切に辺彩色されたグラフにおける平均次数の漸近的閾値を特定し、それがレインボー閉路の存在を保証すること。
• 既存の最良の下界 $\Omega(\log n)$ と以前の最良の上界 $O(\log^2 n)$ の間のギャップを埋めること。
• 上界における $\log\log n$ 要因が本質的に必要であることを確立し、下位の項を除いて極値問題を解消すること。
• 非アーベル群における加法的組合せ論（特にダベンポート定数と対称群における転置集合）と、レインボー閉路問題との関係を明らかにし、それを利用すること。

提案手法

• 著者らは、レインボー閉路を含まない適切に辺彩色されたグラフの構造的解析を独創的に行い、部分グラフの色の分布と接続性の性質に注目する。
• 彼らは、部分サンプリングの議論やロバストな非線形拡散性の性質を用いた確率的および極値的技法を適用し、色が豊富な部分構造の成長を制御する。
• 鍵となる技術は、色のパレットを二つの部分に分解し、誘導部分グラフの接続性を分析することで、平均次数に対する精密な境界を得ることである。
• この手法は、グラフ論的問題からの還元を介して、非アーベル群への既知の組合せ論的結果を拡張する。
• 証明は、グラフ論的極値的議論と、特に分離集合とプラスマイナスダベンポート定数の研究を含む加法的数論の道具を組み合わせる。
• 著者らは、レインボー閉路問題を対称群 $\mathcal{S}_k$ 上の問題に還元し、恒等元に等しい積を生成するような転置の集合の最小サイズを分析する。

実験結果

リサーチクエスチョン

• RQ1 適切に辺彩色された $n$ 頂点のグラフがレインボー閉路を避ける場合の最大平均次数は何か？
• RQ2 $O(\log^2 n)$ の上界における $\log\log n$ 要因は取り除けるか、それとも漸近的に必要か？
• RQ3 非アーベル群における加法的ダベンポート定数と、極値的境界のレインボー閉路問題はどのように関連しているか？
• RQ4 $\mathcal{S}_k$ 内の転置の集合の最小サイズは何か？その積が適切な順序で恒等元に等しくなるようにできるか？
• RQ5 ロバストな非線形拡散体の色のパレットを二つの部分に分割できるか？そのとき、両方の部分が誘導部分グラフとして連結になるようにできるか？

主な発見

• 本稿は、ある絶対定数 $C > 0$ に対して、$n$ 頂点の適切に辺彩色されたグラフが平均次数 $C \cdot \log n \cdot \log \log n$ 以上であるならば、必ずレインボー閉路を含むことを確立している。
• この境界は本質的にタイトであり、既存の最良の下界が $\Omega(\log n)$ であるのに対し、$\log\log n$ 要因が定数係数の範囲内で必要であることが示されている。
• この結果により、キーヴァッシュ、ムバヤイ、スダコフ、ヴェルストラートの極値問題が解決され、最良の下界と上界のギャップが $\log\log n$ 要因の範囲内に収束した。
• 著者らは、非アーベル群におけるプラスマイナスダベンポート定数と、レインボー閉路問題との関係を確立し、任意のサイズ $n$ の群について、$d(n) \leq O(\log n \cdot \log \log n)$ が成り立つことを示した。
• $\mathcal{S}_k$ に対して、恒等元に等しい積を生成するような転置の集合の最小サイズ $t(k)$ は、$k(\log k)^{1-o(1)} \leq t(k) \leq O(k(\log k)^2)$ を満たす。
• 本稿は、以前の境界における $\log\log n$ 項が手法の副産物ではなく、おそらく本質的に必要であることを示しており、境界が下位の項を除いてタイトであるという証拠を提供している。