[论文解读] Cycle lengths modulo $k$ in large 3-connected cubic graphs

Kasper Szabo Lyngsie, Martin Merker|arXiv (Cornell University)|Apr 10, 2019

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

一句话总结

本文证明了对于任意奇数 $k$ 和自然数 $m$，每个足够大的 3-连通立方图都包含一条长度模 $k$ 同余于 $m$ 的环。该结果在 2-连通立方图中是紧的，因为构造的一族图表明当 $m$ 和 $k$ 均可被 3 整除且 $k \geq 12$ 时，该性质不成立。关键贡献在于确立了一个阈值 $N(k)$，在此阈值以上，3-连通立方图中必然满足环长度条件。

ABSTRACT

We prove that for all natural numbers $m$ and $k$ where $k$ is odd, there exists a natural number $N(k)$ such that any 3-connected cubic graph with at least $N(k)$ vertices contains a cycle of length $m$ modulo $k$. We also construct a family of graphs showing that this is not true for 2-connected cubic graphs if $m$ and $k$ are divisible by 3 and $k\geq 12$.

研究动机与目标

• 确定在什么条件下，足够大的 3-连通立方图中存在模 $k$ 的环长。
• 建立一个阈值 $N(k)$，使得所有顶点数不少于 $N(k)$ 的 3-连通立方图都包含一条长度模 $k$ 同余于 $m$ 的环。
• 研究该结果是否可推广至 2-连通立方图，特别是当 $m$ 和 $k$ 均可被 3 整除时。
• 构造一族 2-连通立方图，使其在特定可除性约束下违反环长模 $k$ 条件。

提出的方法

• 使用结构图论分析立方图中环空间和连通性性质。
• 应用关于 3-连通立方图中环覆盖和环空间基的已知结果。
• 构造一族特定的 2-连通立方图，作为当 $m$ 和 $k$ 均可被 3 整除且 $k \geq 12$ 时的反例。
• 利用图的直径和顶点数的界，建立模 $k$ 环长的存在性。
• 在渐近估计中利用伯努利不等式，以界定所需顶点数 $N(k)$ 的上界。
• 运用极值图论技术，证明足够大的 3-连通立方图必然包含指定模 $k$ 长度的环。

实验结果

研究问题

• RQ1 每个足够大的 3-连通立方图是否都包含一条长度模 $k$ 同余于 $m$ 的环，其中 $m$ 固定且 $k$ 为奇数？
• RQ2 最小的数 $N(k)$ 是多少，使得所有顶点数不少于 $N(k)$ 的 3-连通立方图都包含一条长度模 $k$ 同余于 $m$ 的环？
• RQ3 该结果是否可推广至 2-连通立方图，且在相同条件下成立？
• RQ4 在什么 $m$ 和 $k$ 的条件下，2-连通立方图中环长模 $k$ 的性质会失效？
• RQ5 当 $m$ 和 $k$ 均可被 3 整除且 $k \geq 12$ 时，是否存在结构性障碍导致此类环不存在？

主要发现

• 对于任意奇数 $k$ 和自然数 $m$，存在一个阈值 $N(k)$，使得所有顶点数不少于 $N(k)$ 的 3-连通立方图都包含一条长度模 $k$ 同余于 $m$ 的环。
• 本文构造了一族 2-连通立方图，当 $m$ 和 $k$ 均可被 3 整除且 $k \geq 12$ 时，这些图不包含长度模 $k$ 同余于 $m$ 的环，表明该结果无法推广至 2-连通图。
• 任意此类 3-连通立方图 $G$ 的直径至少为 $f(k)$，表明其结构展开程度存在下界。
• 阈值 $N(k)$ 是隐式定义的，估计值 $162^{13} < 10^{29}$ 表明当 $k$ 较大时，该阈值虽极大但为有限值。
• 伯努利不等式被用于推导 $N(k)$ 的渐近界，支持在大图中存在所需环的结论。
• 该结果建立了严格的二分性：在 3-连通图中该性质成立，但在特定可除性条件下，2-连通图中则不成立。