[论文解读] 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猜想对所有路径成立的问题，证明高度边连通图在边数可被固定长度路径的边数整除时，可分解为该路径的若干副本。
• 建立明确的边连通性阈值 $k_T'$，以确保当 $|E(G)|$ 可被 $|E(T)|$ 整除时，$T$-分解存在。
• 开发并应用一种新的“解缠”技术，将迹分解转换为路径分解。
• 将先前关于路径分解的结果（例如长度为3、5及2的幂的路径）推广至所有路径长度。

提出的方法

• 引入解缠引理，作为关键技术，通过重新配置分解中迹之间的边分配，消除环，从而生成路径分解。
• 使用Thomassen初始迹分解方法的推广版本，创建指定长度迹的初始分解。
• 应用强双因子分解定理，确保在高度边连通图中存在边不相交的1-因子或2-因子分解。
• 采用分数因子分解与度约束子图技术，在解缠过程中控制顶点度数。
• 区分奇数与偶数路径长度，采用不同双因子分解框架：对奇数 $\ell$ 使用 $(1,\ell)$-双因子分解，对偶数 $\ell$ 使用 $(2,2\ell)$-双因子分解，以确保路径分解的平衡性。
• 利用Mader定理与Nash-Williams的森林分解定理，保证足够高的边连通性以支持多个边不相交的生成树存在，从而实现归纳性分解。

实验结果

研究问题

• RQ1 每个 $k_T$-边连通图，当 $|E(G)|$ 可被 $|E(T)|$ 整除时，是否都存在 $T$-分解，其中 $T$ 为任意路径？
• RQ2 Barát-Thomassen猜想能否推广至所有路径，而不仅限于长度为3、5或2的幂等特例？
• RQ3 对于长度为 $\ell$ 的路径 $T$，保证 $T$-分解存在的最小边连通性阈值 $k_T'$ 是多少？
• RQ4 能否开发一种通用技术，将高度边连通图中的迹分解转换为路径分解？
• RQ5 对于奇数和偶数 $\ell$，所需连通性阈值如何随路径长度 $\ell$ 变化？

主要发现

• Barát-Thomassen猜想对所有路径成立：每个 $k_{P_\ell}'$-边连通的二分图，当 $|E(G)|$ 可被 $\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$ 的路径的研究，并首次为所有路径长度提供了该猜想的通用解法。