[论文解读] Decompositions of highly connected graphs into paths of length five

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

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

一句话总结

本文通过证明巴尔特与托马森关于路径长度为五的分解猜想，展示了每个边连通度为48的二分图，若其边数可被5整除，则可分解为边不相交的长度为五的路径。作者推广了托马森的迹分解技术，并引入一种新颖的“解缠”方法，将初始的迹分解转化为纯粹的路径分解，从而实现了 $ k'_{P_5} \leq 48 $ 的紧致界。

ABSTRACT

We study the Decomposition Conjecture posed by Barát and Thomassen (2006), which states that for every tree $T$ there exists a natural number $k_T$ such that, if $G$ is a $k_T$-edge-connected graph and $|E(T)|$ divides $|E(G)|$, then $G$ admits a decomposition into copies of $T$. In a series of papers, Thomassen verified this conjecture for stars, some bistars, paths of length $3$, and paths whose length is a power of $2$. We verify the Decomposition Conjecture for paths of length $5$.

研究动机与目标

• 解决巴尔特与托马森关于高度边连通图中树分解的长期猜想。
• 具体验证该猜想在路径 $ P_5 $ 情况下的成立性，这是此前尚未解决的基本情形。
• 为二分图建立边连通度的紧致界（$ k'_{P_5} \leq 48 $），以保证其存在 $ P_5 $-分解。
• 开发一种可推广的方法，将迹分解转化为纯粹的路径分解。
• 提供适用于更广泛情形的基础技术，包括任意固定长度的路径。

提出的方法

• 将高度边连通图构造性地分解为长度为五的边不相交路径与迹。
• 使用托马森初始迹分解技术的推广版本，生成 $ M $-完全分解。
• 引入一种“解缠”过程，通过重新配置分解中各元素之间的边，以消除非路径迹。
• 采用带方向的有向图模型，追踪边流并确保迹组件之间的正确过渡。
• 利用迹元素的最大序列 $ B_1, \dots, B_k $ 识别并修正有问题的边配置。
• 证明通过在 $ T $、$ B_1, \dots, B_k $ 之间交换边，可构造出新的分解 $ \mathcal{D}' $，其包含更少的 $ T_5 $-副本，从而在非路径迹持续存在时导致矛盾。

实验结果

研究问题

• RQ1 每个 $ k'_{P_5} $-边连通的二分图，若其边数 $ |E(G)| $ 可被5整除，是否都存在 $ P_5 $-分解？
• RQ2 使得此类分解存在的最小边连通度 $ k'_{P_5} $ 是多少？
• RQ3 如何系统性地将长度为五的迹分解转化为纯粹的路径分解？
• RQ4 用于 $ P_5 $ 的技术能否推广至任意固定长度的路径？
• RQ5 是否存在一种结构化方法，可在保持边不相交性与连通性的前提下，消除迹分解中的非路径迹？

主要发现

• 本文确立了 $ k'_{P_5} \leq 48 $，从而证明了在二分图中长度为五的路径分解猜想。
• 提出的新解缠技术通过边交换操作，成功地将初始迹分解转化为纯粹的路径分解。
• 该界 $ k'_{P_5} \leq 48 $ 优于先前估计的134，显著收紧了连通性要求。
• 构建了 $ M $-完全分解，其中匹配 $ M $ 的所有边均指向内部，从而支持归纳矛盾论证。
• 该方法可推广至其他路径长度，作者已将结果扩展至证明任意固定长度路径的猜想。
• 关键的结构引理（如迹元素的唯一性，序列中顶点不重复）确保了解缠过程的正确性。