[論文レビュー] Decomposing highly edge-connected graphs into paths of any given length

Fábio Botler, Guilherme Oliveira Mota+2 more|arXiv (Cornell University)|Sep 21, 2015

Advanced Graph Theory Research参考文献 4被引用数 5

ひとこと要約

この論文は、高さの辺連結な二部グラフが任意の固定長のパスに分解可能であることを証明し、BarátとThomassenの予想をすべてのパスについて確認した。トレール分解をパス分解に変換するための新しい「解きほぐし」技術を用いて、明示的な辺連結性の閾値を確立した：$k'_{P_\text{odd}} \leq 4\ell^2 + 10\ell - 4$ および $k'_{P_\text{even}} \leq 26\ell + 8r - 8$ ただし $r = \max\{32(\ell-1), \ell(\ell+2)\}$ であり、すべてのパス長について予想を解決した。

ABSTRACT

In 2006, Barát and Thomassen posed the following conjecture: for each tree $T$, there exists a natural number $k_T$ such that, if $G$ is a $k_T$-edge-connected graph and $|E(G)|$ is divisible by $|E(T)|$, then $G$ admits a decomposition into copies of $T$. This conjecture was verified for stars, some bistars, paths of length $3$, $5$, and $2^r$ for every positive integer $r$. We prove that this conjecture holds for paths of any fixed length.

研究の動機と目的

• すべてのパスについてBarát-Thomassen予想を解決し、高さの辺連結グラフが任意の固定長パスのコピーに分解可能であることを証明すること。
• $|E(G)|$ が $|E(T)|$ で割り切れるとき、$T$-分解が存在することを保証する明示的な辺連結性閾値 $k_T'$ を確立すること。
• トレール分解をパス分解に変換するための新しい「解きほぐし」技術を開発し、適用すること。
• パスの長さが3, 5, 2のべきなどの特定のケースについての先行研究を、すべてのパス長に一般化すること。

提案手法

• トレール分解からパス分解を生成するために、サイクルを除去するためのエッジ割り当ての再配置を可能にする、中心的な技術である「解きほぐし補題」を導入する。
• 指定された長さのトレールに分解する初期段階として、Thomassenの初期トレール分解法の一般化版を用いる。
• 高さの辺連結グラフにおける辺に分けられた1因子または2因子分解の存在を保証する強力な二因子分解定理を適用する。
• 分数因子分解および次数制約付き部分グラフ技術を用いて、解きほぐしプロセス中の頂点次数を制御する。
• 奇数長と偶数長のパスの長さを区別し、奇数 $\ell$ に対しては $(1,\ell)$-二因子分解、偶数 $\ell$ に対しては $(2,2\ell)$-二因子分解の異なる枠組みを用いて、バランスの取れたパス分解を保証する。
• Maderの定理およびNash-Williamsの森分解を用いて、複数の辺に分けられた全域木の存在を保証し、帰納的分解を可能にする十分な辺連結性を確保する。

実験結果

リサーチクエスチョン

• RQ1 任意のパス $T$ について、$|E(G)|$ が $|E(T)|$ で割り切れる $k_T$-辺連結グラフ $G$ は $T$-分解をもつのか？
• RQ2 Barát-Thomassen予想は、長さ3, 5, 2のべきといった特定のケースに限らず、すべてのパスに拡張可能か？
• RQ3 長さ $\ell$ のパス $T$ に対して、$T$-分解が存在することを保証する最小の辺連結性閾値 $k_T'$ は何か？
• RQ4 高さの辺連結グラフにおいて、トレール分解をパス分解に変換する一般化可能な技術を開発可能か？
• RQ5 奇数 $\ell$ と偶数 $\ell$ に対して、必要な連結性閾値はパス長 $\ell$ とともにどのようにスケーリングされるか？

主な発見

• Barát-Thomassen予想はすべてのパスについて成り立つ：$|E(G)|$ が $\ell$ で割り切れる $k_{P_\ell}'$-辺連結な二部グラフは $P_\ell$-分解をもつ。
• 奇数 $\ell$ の場合、必要な辺連結性は $k'_{P_\ell} \leq 4\ell^2 + 10\ell - 4$ で抑えられ、パス分解の存在を保証する。
• 偶数 $\ell$ の場合、必要な辺連結性は $k'_{P_\ell} \leq 26\ell + 8r - 8$ で抑えられ、$r = \max\{32(\ell-1), \ell(\ell+2)\}$ である。これにより分解の閾値が確立された。
• 解きほぐし補題は、初期に長さ $\ell$ のトレールに分解されたものを、実際にパスに分解するのに成功し、核心的な技術的課題を解決した。
• 強力な二因子分解とバランスの取れた分解を用いた包括的なフレームワークを確立し、奇数長と偶数長のパスの両方を統一的な手法論的アプローチで統合した。
• 長さ3, 5, $2^r$ のパスに関する先行研究を拡張し、すべてのパス長についての予想に対する最初の一般解を得た。