[論文レビュー] A Rainbow Dirac's Theorem

Matthew Coulson, Guillem Perarnau|arXiv (Cornell University)|Sep 17, 2018

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

ひとこと要約

この論文は、Diracの定理のレインボーアナログを確立する。具体的には、最小次数 ≥ n/2 であるDiracグラフで、各色が高々 μn 回現する μn-有界な辺彩色（edge colouring）をもつものについて、十分に小さい μ > 0 に対して、レインボーハミルトン閉路が存在することを証明している。証明は、強化拡張（robust expansion）技術と非対称なLovász局部補題（lopsided Lovász Local Lemma）を組み合わせており、スパースグラフにおけるレインボーハミルトン閉路の最小次数閾値に関する長年の未解決問題を解決している。

ABSTRACT

A famous theorem of Dirac states that any graph on $n$ vertices with minimum degree at least $n/2$ has a Hamilton cycle. Such graphs are called Dirac graphs. Strengthening this result, we show the existence of rainbow Hamilton cycles in $μn$-bounded colourings of Dirac graphs for sufficiently small $μ>0$.

研究の動機と目的

• レインボーハミルトン閉路が現れる最小次数閾値を正確に特定すること。
• 辺の色が閉路内ですべて異なる必要があるというレインボー設定において、Diracの古典的定理を拡張すること。
• 各色が線形的に制限された（μn ずつ）彩色が、Diracグラフにおけるレインボーハミルトン閉路を保証するかどうかを解明すること。
• μ > 1/8 に対しては、あるDiracグラフで失敗することを示すことにより、境界のタイトさ（tightness）を確立すること。
• 強化拡張と極値的グラフ構造の両方に適用可能な統一的な枠組みを提供すること。

提案手法

• Diracグラフを2つのケースに分類する：強化拡張（robust expanders）または極値的グラフ（2つのクリークに近いか、完全二部グラフに近いもの）。
• 極値的グラフの場合、部分的なレインボーマッチングを事前に埋め込み、非対称なLovász局部補題を用いてそれを完全なレインボーハミルトン閉路に拡張する。
• 強化拡張の場合、最近のレインボー吹き増し補題（Rainbow Blow-up Lemma）を適用してレインボー閉路を埋め込む。
• 部分的な閉路埋め込みを固定するための鍵となる補題を用い、残りのグラフ構造にほとんど影響を与えないようにする。
• ケース別分析により結果を統合し、μn-有界彩色のもとでレインボーハミルトン閉路の存在を証明する。
• 吹き増し構成における候補グラフ（candidacy graphs）を構築し、レインボー吹き増し補題の超正則性条件を満たすようにする。

実験結果

リサーチクエスチョン

• RQ1 線形有界彩色のもとで、レインボーハミルトン閉路が保証されるグラフの最小次数閾値は何か？
• RQ2 Diracの定理は、各色クラスが線形的に制限された（μn ずつ）彩色のもとで、レインボー設定に拡張可能か？
• RQ3 Diracグラフにおけるレインボーハミルトン閉路の存在に関して、境界 μ ≤ 1/8 はタイトか？
• RQ4 Berge閉路を用いたハイパーグラフへの拡張は可能か？
• RQ5 拡張性（expansion properties）と極値的構造の間には、レインボー閉路埋め込みの文脈でどのような相互作用があるか？

主な発見

• ある μ > 0 と n₀ ∈ ℕ が存在し、n ≥ n₀ 個の頂点をもつすべてのDiracグラフが μn-有界な辺彩色をもてば、レインボーハミルトン閉路を含む。
• 境界 μ ≤ 1/8 はタイトである：任意の μ > 1/8 と十分に大きな n に対して、レインボーハミルトン閉路を含まないDiracグラフが存在する。
• 結果はハイパーグラフにおけるBergeハミルトン閉路へ拡張可能である：r-一様ハイパーグラフが最小頂点次数 > (n/2 - 1) 選び方 r-1 かつ r = o(√n) を満たすならば、Bergeハミルトン閉路を含む。
• 証明は、Diracグラフを強化拡張または極値的構造に分類し、それぞれに特化した組合せ的道具を用いることに依存している。
• 非対称なLovász局部補題とレインボー吹き増し補題の使用により、線形彩色制限のもとでもレインボー閉路の構成が可能である。
• 主な技術的革新は、閉路の小さな初期部分を固定しても、残りの構成にほとんど影響を与えない部分埋め込み補題である。