[論文レビュー] Colourings, transversals and local sparsity

Ross J. Kang, Tom Kelly|arXiv (Cornell University)|Mar 11, 2020

Limits and Structures in Graph Theory参考文献 18被引用数 5

ひとこと要約

本稿は、局所的なスパarsity条件の下で、頂点分割グラフにおける独立トランスバーサルの存在に関する新しい漸近的境界を確立する。半確率的手法を用いて、任意の関数 μ(d) = o(d) に対して λ(d) = d + o(d) が存在し、各頂点部のサイズが少なくとも λ で、他の部への平均次数が d で抑えられ、最大色多重度が μ で抑えられるならば、独立トランスバーサルが保証されることを示す。この結果は、スパarsity制約下でのリスト彩色と独立トランスバーサルに関する先行研究を統一・強化する。

ABSTRACT

Motivated both by recently introduced forms of list colouring and by earlier work on independent transversals subject to a local sparsity condition, we use the semi-random method to prove the following result. For any function $μ$ satisfying $μ(d)=o(d)$ as $d o\infty$, there is a function $λ$ satisfying $λ(d)=d+o(d)$ as $d o\infty$ such that the following holds. For any graph $H$ and any partition of its vertices into parts of size at least $λ$ such that (a) for each part the average over its vertices of degree to other parts is at most $d$, and (b) the maximum degree from a vertex to some other part is at most $μ$, there is guaranteed to be a transversal of the parts that forms an independent set of $H$. This is a common strengthening of two results of Loh and Sudakov (2007) and Molloy and Thron (2012), each of which in turn implies an earlier result of Reed and Sudakov (2002).

研究の動機と目的

• 局所的スパarsity制約下での独立トランスバーサルの存在に関するグラフ理論における長年の未解決問題を解消すること。
• 局所的平均次数と色多重度に基づく共通の枠組みを導入することで、リスト彩色、対応彩色、独立トランスバーサルに関する先行研究を統一・強化すること。
• 最大他の部への平均次数が d で抑えられ、最大色多重度が o(d) であるとき、保証的な独立トランスバーサルが得られるために必要な部のサイズが d + o(d) に成長することを証明すること。
• 特にカバー図と対応彩色の文脈において、半確率的手法の適用範囲をより広いクラスのグラフ彩色およびトランスバーサル問題へと拡張すること。

提案手法

• 確率的依存性を制御するために、逐次的に頂点を選択し、矛盾を引き起こす候補を削除することで、独立トランスバーサルを構築する半確率的手法が適用される。
• Lovászの局所補題を用いて、悪い事象を避ける「無駄な」彩色が存在することを示し、十分な残余リストサイズと有界な平均次数を保証する。
• μ(d) = o(d) および λ(d) = d + o(d) の仮定に基づき、頂点削除後の残余平均次数を抑え込むための重要な不等式が導出される。
• カバー図と対応割り当ての構造を活用して、リスト彩色およびDP彩色をモデル化し、彩色問題をトランスバーサル存在問題に翻訳する。
• 確率的推定を用いて、『悪い』事象（例えば、リストサイズが不十分である、または残余次数が高い）の確率を抑え込み、成功確率が正であることを保証する。
• 証明は段階的に行われる：まず、無駄な彩色が存在することを示し、次に残余グラフを解析して、残された彩色が所定の次数およびサイズ条件を満たすことを確認する。

実験結果

リサーチクエスチョン

• RQ1 平均次数が他の部に対して d で抑えられ、最大色多重度が μ(d) = o(d) であるとき、各部のサイズが少なくとも λ(d) であれば、独立トランスバーサルが保証される最小の部サイズ λ(d) は何か？
• RQ2 半確率的手法を用いて、局所的スパarsity条件下での独立トランスバーサルに必要な部サイズの境界をより厳密に確立できるか？
• RQ3 Loh と Sudakov が予想したように、最大色多重度ではなく最大平均色多重度に一般化できるか？
• RQ4 この結果は、リスト彩色、対応彩色、独立トランスバーサルに関する先行研究をどのように統一・一般化するか？
• RQ5 この方法を精緻化することで、必要な部サイズの漸近的境界を d + o(d) よりも改善できるか？

主な発見

• 本稿は、任意の μ(d) = o(d) に対して、λ(d) = d + o(d) が存在し、各部のサイズが少なくとも λ(d) で、他の部への平均次数が d 以下、最大色多重度が μ(d) 以下であれば、独立トランスバーサルが存在することを証明する。
• この結果は、Loh と Sudakov (2007) および Molloy と Thron (2012) の先行研究を強化・統合し、それぞれ Reed と Sudakov (2002) の一般化をさらに拡張する。
• 漸近的境界 λ(d) = d + o(d) が、最大色多重度が o(d) である場合でも十分であることが示され、定理の適用範囲が拡張される。
• この方法は、Glock と Sudakov の同時研究によって、より良い境界を得るための改良が可能であると示され、その柔軟性が裏付けられる。
• Erdős, Gyárfás, および Łuczak の問題は漸近的に解決され、f(k) ≥ (1 + o(1))k² であることが示され、彼らの上界と一致する。
• 本稿は、最大色多重度を最大平均色多重度に置き換えても結果が成り立つと予想しており、この枠組みのより広範な適用可能性を示唆する。