[論文レビュー] Colour-biased Hamilton cycles in random graphs

Lior Gishboliner, Michael Krivelevich+1 more|arXiv (Cornell University)|Jul 23, 2020

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

ひとこと要約

この論文は、ハミルトニアン性の閾値を超えるランダムグラフ $G(n,p)$ において、任意の $r$-エッジ彩色が、単一の色に $(2/(r+1) - o(1))n$ 条のエッジを持つハミルトニアンサイクルを保証することを確立している。この結果は漸近的に最適であり、スパarsなランダムグラフにおける擬似ランダム性の性質とパス拡張技術に依存している。

ABSTRACT

We prove that a random graph $G(n,p)$, with $p$ above the Hamiltonicity threshold, is typically such that for any $r$-colouring of its edges there exists a Hamilton cycle with at least $(2/(r+ 1)-o(1))n$ edges of the same colour. This estimate is asymptotically optimal.

研究の動機と目的

• ハミルトニアンサイクルにおいて、$G(n,p)$ の任意の $r$-エッジ彩色で保証される同じ色のエッジの最小数を特定すること。
• この最小値が、既知の上界構成と一致するように、漸近的に最適であることを確立すること。
• ハミルトニアンサイクルの豊富な構造が、ハミルトニアン性の閾値を超えた $G(n,p)$ において、単色の濃縮を強固に保証すること。
• 完全マッチングへの分析の拡張：単一の色に $1/(r+1)$-分のエッジを持つ同様の最適な境界を示すこと。

提案手法

• ハミルトニアン性の閾値を超える $p$ における $G(n,p)$ の擬似ランダム性の性質の使用：擬似ランダムグラフ理論からの結果を活用する。
• 頂点分割を用いたパス拡張技術の応用：サイズ $\leq \varepsilon n$ の小さな集合 $V^*$ を分離し、残りの $V'$ で長い単色パスを見つける。
• 回転拡張法の適用：$G[V']$ における短いパスを、$G$ における完全なハミルトニアンサイクルに拡張し、単色構造を保つ。
• 逆方向の不均衡型議論の使用：色のバランスを取る代わりに、ハミルトニアンサイクルにおける著しい不均衡（ある色の過剰）を保証する。
• 上界 $n/(r+1)$ を達成する特定の $r$-彩色の構成：結果のタイトネスを証明する。
• 集中性および擬似ランダム性の結果（例：補題 3.4 や定理 3.1）を活用して、部分グラフにおける長い単色パスの存在を保証する。

実験結果

リサーチクエスチョン

• RQ1 ハミルトニアン性の閾値を超える $p$ における $G(n,p)$ の任意の $r$-エッジ彩色において、あるハミルトニアンサイクルに必ず存在する同じ色のエッジの最大数は何か？
• RQ2 ハミルトニアンサイクルにおける単色エッジの数について、$2n/(r+1)$ の境界が漸近的に最適か？
• RQ3 スパースなランダムグラフにおけるハミルトニアンサイクルの強固な構造を活用して、期待値を超えた単色の濃縮を保証できるか？
• RQ4 完全マッチングに対しても同様の単色保証が成り立つか？ もしそうなら、最適なエッジの色の割合は何か？
• RQ5 $G(n,p)$ の擬似ランダム性の性質を用いて、短い単色パスを完全なハミルトニアンサイクルに拡張し、色の濃縮を保てるか？

主な発見

• $p \geq (\log n + \log \log n + \omega(1))/n$ のとき、高確率で $G(n,p)$ の任意の $r$-エッジ彩色には、単一の色に $(2/(r+1) - o(1))n$ 条のエッジを持つハミルトニアンサイクルが存在する。
• 境界 $2/(r+1)$ は漸近的に最適であり、任意の色に $n/(r+1)$ 条を超えるエッジを持つハミルトニアンサイクルを持たないような $r$-彩色が存在する。
• この結果は完全マッチングへも拡張可能：$p \geq (\log n + \omega(1))/n$ のとき、高確率で単一の色に $(1/(r+1) - o(1))n$ 条のエッジを持つ完全マッチングが存在する。
• 単色サイクルの存在は、擬似ランダム性とパス拡張技術を介して保証され、ハミルトニアンサイクルの数が少ない場合でも成立する。
• 証明は、サイズ $\leq \varepsilon n$ の小さな例外集合 $V^*$ を分離し、残りの部分で長い単色パスを構築し、それをハミルトニアンサイクルに拡張することに依存する。
• 同じ枠組みにより、完全マッチングに対してもタイトな境界が得られ、最適な割合 $1/(r+1)$ が達成され、既知の極値構成と一致する。