[論文レビュー] A Proof of the Bar\'at-Thomassen Conjecture

Julien Bensmail, Ararat Harutyunyan+3 more|arXiv (Cornell University)|Mar 1, 2016

Limits and Structures in Graph Theory参考文献 10被引用数 4

ひとこと要約

本論文はBarát-Thomassen予想を証明し、任意の$ m $本の辺をもつ木$ T $に対して、ある定数$ k_T $が存在し、$ m $で割り切れるサイズを持つ$ k_T $-辺連結グラフは、常に$ T $-分解をもつことを確立する。証明は、modulo-$ k $向き付け、擬似分解における再帰的$ i $-スイッチ、およびLovász局所補題を用いて、高さの辺連結グラフにおいて反復的に有効な分解を構築する。

ABSTRACT

The Bar\\'at-Thomassen conjecture asserts that for every tree $T$ on $m$ edges, there exists a constant $k_T$ such that every $k_T$-edge-connected graph with size divisible by $m$ can be edge-decomposed into copies of $T$. So far this conjecture has only been verified when $T$ is a path or when $T$ has diameter at most 4. Here we prove the full statement of the conjecture.

研究の動機と目的

• 長年の未解決問題であったBarát-Thomassen予想を解決すること。この予想は、$ m $本の辺をもつ任意の木$ T $に対して、$ m $で割り切れるサイズを持つ十分に辺連結なグラフが、$ T $のコピーへの分解をもつと述べている。
• これまでパス、星形、直径4以下の木に対してのみ確認されていた部分的結果を、すべての木へ一般化する証明を提供すること。
• 辺連結性、擬似分解、および局所補題に基づく確率的構成を用いた一般枠組みを確立し、木分解を達成すること。
• 証明の検証に十分なのは二部グラフであることを示し、一般ケースをより取り扱いやすい設定に還元すること。
• 擬似木における反復的$ i $-スイッチと制御された次数調整を通じて、$ T $-分解を構築する構成的メソッドを提供すること。

提案手法

• 定理3を用いて、$ k_T' $-辺連結な二部グラフに対して予想が成り立てば、すべてのグラフに対しても成り立つことを示し、二部グラフへの還元を行う。
• Thomassenのmodulo-$ k $向き付け結果を応用し、所定の出次数をmodulo $ k $で確保することで、フローに基づく分解技法を可能にする。
• 定理4を用いて、高さの辺連結な二部グラフを、$ m $を法として度制約を満たす$ \rho $-辺連結な2つの部分グラフに分解する。
• 再帰的$ i $-スイッチを用いて、$ T $-擬似分解$ (\tilde{\text{H}}_i \bigcup \tilde{\text{I}}_i) $の系列を構築し、擬似木の良さを段階的に向上させる。
• Lovász局所補題を用いて、非$ i $-良い成分を修復する関数$ f_j $の存在を確率的に保証する。この関数は、次数および構成要件の境界を保つ。
• 減少する$ \rho_i = 5^{i-m}/15m $を用いて、構成誤差および次数比を制御し、各ステップで$ d_{\tilde{I}_i}(v|t) > 22/\rho_i^7 $および$ \text{conf}(\tilde{I}_i) < \rho_i $を満たす。

実験結果

リサーチクエスチョン

• RQ1 任意の$ m $本の辺をもつ木$ T $に対して、$ m $で割り切れるサイズを持つ$ k_T $-辺連結グラフは、常に$ T $-分解をもつだろうか？
• RQ2 Barát-Thomassen予想は、パスや小径の木に限らず、すべての木へ拡張可能だろうか？
• RQ3 擬似分解における再帰的$ i $-スイッチを用いて$ T $-分解を構築可能だろうか？ その際、次数および構成要件の制御を保てるか？
• RQ4 Lovász局所補題のような確率的技法を用いて、構造的制約を保ちながら修復関数の存在を保証できるだろうか？
• RQ5 $ T $-分解を保証する最小の辺連結性$ k_T $は何か？ そして、すべての木に対して一様に有界にできるだろうか？

主な発見

• Barát-Thomassen予想は完全に解決された：任意の$ m $本の辺をもつ木$ T $に対して、ある定数$ k_T $が存在し、$ m $で割り切れるサイズを持つ$ k_T $-辺連結グラフは、常に$ T $-分解をもつ。
• 証明により、$ k_T $-辺連結性が分解に十分であることが示され、その境界は$ T $の構造にのみ依存し、主となるグラフに依存しない。
• $ i $-スイッチを$ m $ステップ反復することで、最終的な$ \tilde{\text{H}}_m $は$ m $-良いであり、$ \tilde{\text{H}}_m \bigcup \tilde{\text{I}}_m $は$ G $の完全な$ T $-分解を形成する。
• 構成誤差$ \text{conf}(\tilde{I}_i) $は$ \rho_i = 5^{i-m}/15m $未満に維持され、分解が次数分布において均一に近い状態を保つ。
• 次数比条件$ d_{\tilde{\text{H}}_i}(v|t) \neq \rho_i d_{\tilde{\text{I}}_i}(v|t) $が満たされ、修理プロセスが木のコピーのバランスを崩さない。
• この手法は最小次数が$ 10^{50m} $以上のグラフに適用可能であり、局所補題と反復的精錬により、そのような分解の存在が保証される。