[论文解读] Loose Hamiltonian cycles forced by large $(k-2)$-degree - sharp version

Josefran de Oliveira Bastos, Guilherme Oliveira Mota+3 more|arXiv (Cornell University)|May 9, 2017

Limits and Structures in Graph Theory被引用 2

一句话总结

该论文为 $k$-uniform 超图在 $k \geq 4$ 且 $1 \leq \ell < k/2$ 时，确立了保证存在 Hamiltonian $\ell$-cycle 的精确最小 $(k-2)$-度条件，扩展了 Han 和 Zhao 对 3-uniform 超图的结果。作者证明，若 $(k-2)$-度超过特定极值超图 $X_{k,\ell}(n)$ 的度，则存在 Hamiltonian $\ell$-cycle，通过非极值与极值情形的分析，结合度条件与嵌入技术，解决了该参数范围内的问题。

ABSTRACT

We prove for all $k\geq 4$ and $1\leq\ell

研究动机与目标

• 确定 $k \geq 4$ 且 $1 \leq \ell < k/2$ 时，$k$-uniform 超图中确保存在 Hamiltonian $\ell$-cycle 的精确最小 $(k-2)$-度阈值。
• 将 Han 和 Zhao 对 3-uniform 超图的精确结果推广至更高均匀度。
• 通过刻画几乎达到阈值但不包含 Hamiltonian $\ell$-cycle 的超图，解决极值情形。
• 证明任何 $(k-2)$-度超过极值构造 $X_{k,\ell}(n)$ 的 $k$-uniform 超图均包含 Hamiltonian $\ell$-cycle。

提出的方法

• 证明分为两种情形：非极值与极值超图，基于将顶点集划分为满足特定大小约束的集合 $A$ 和 $B$。
• 对于非极值情形，作者采用略低于阈值的度条件，并应用稳定性型论证来构造 $\ell$-cycle。
• 对于极值情形，他们定义了 $(\ell, \xi)$-极值超图，其中边集中在小集合 $A$ 上，且在 $B$ 上诱导的子超图稀疏。
• 他们使用推论 8 进行迭代路径扩展，连接 $\ell$-路径，确保最终路径的端点可闭合成环。
• 关键工具包括 $\ell$-集合上的度条件、$\varepsilon$-典型性，以及对典型与非典型集合所关联边数的界。
• 该构造依赖于通过 $A$ 和 $B$ 中的顶点迭代连接路径，同时严格控制剩余顶点集的大小，以维持度条件。

实验结果

研究问题

• RQ1 对于 $k \geq 4$ 且 $1 \leq \ell < k/2$，$k$-uniform 超图中强制存在 Hamiltonian $\ell$-cycle 的精确最小 $(k-2)$-度条件是什么？
• RQ2 极值构造 $X_{k,\ell}(n)$ 是否可用于刻画超过该阈值后 Hamiltonian $\ell$-cycle 必然存在的临界点？
• RQ3 超图的结构——特别是边集中在小集合上——如何影响 Hamiltonian $\ell$-cycle 的存在性？
• RQ4 何种度条件可确保超图非极值，从而允许 $\ell$-cycle 的构造性嵌入？
• RQ5 在何种条件下，可通过受控的顶点添加与路径连接，将 $\ell$-路径扩展为 Hamiltonian $\ell$-cycle？

主要发现

• 该论文证明，对所有 $k \geq 4$ 且 $1 \leq \ell < k/2$，若 $n \geq n_0$ 且 $n \in (k-\ell)\mathbb{N}$，则 $k$-uniform 超图 $H$ 满足 $\delta_{k-2}(H) > \delta_{k-2}(X_{k,\ell}(n))$ 时，必包含 Hamiltonian $\ell$-cycle。
• 最小 $(k-2)$-度阈值是精确的，因为极值超图 $X_{k,\ell}(n)$ 达到该界但不包含 Hamiltonian $\ell$-cycle。
• 非极值情形通过证明略低于阈值的度条件仍能强制生成 Hamiltonian $\ell$-cycle 得以解决，方法为迭代路径构造。
• 在极值情形中，作者证明若 $H$ 为 $(\ell, \xi)$-极值且其 $(k-2)$-度超过 $X_{k,\ell}(n)$ 的度，则其包含 Hamiltonian $\ell$-cycle。
• 该 $\ell$-路径的构造通过反复使用推论 8 连接较小的 $\ell$-路径，确保最终路径的端点可闭合成环。
• 证明依赖于对剩余顶点集大小的控制，以及在整个构造过程中对 $A$ 和 $B$ 上度条件的维持，确保最终路径可被闭合成环。