[论文解读] Hamiltonicity in randomly perturbed hypergraphs

Jie Han, Yi Zhao|arXiv (Cornell University)|Feb 13, 2018

Limits and Structures in Graph Theory参考文献 27被引用 12

一句话总结

该论文首次建立了随机扰动 $k$-均匀超图中哈密顿性的紧阈值，证明当最小1-度为 $\alpha n^{k-1}$ 的 $k$-图与二项式随机 $k$-图 $\mathbb{G}^{(k)}(n,p)$ 结合时，若 $p \geq n^{-(k-\ell)-\epsilon}$（$\ell \geq 2$）或 $p \geq Cn^{-(k-1)}$（$\ell=1$），则其几乎必然（a.a.s.）成为 $\ell$-哈密顿图。该结果解决了Krivelevich、Kwan与Sudakov提出的问题，且在常数 $\epsilon$ 与 $C$ 的意义下是最优的。证明方法结合了吸收路径、随机连接器以及概率计数，用于嵌入覆盖所有顶点的 $\ell$-圈。

ABSTRACT

For integers $k\ge 3$ and $1\le \ell\le k-1$, we prove that for any $α>0$, there exist $ε>0$ and $C>0$ such that for sufficiently large $n\in (k-\ell)\mathbb{N}$, the union of a $k$-uniform hypergraph with minimum vertex degree $αn^{k-1}$ and a binomial random $k$-uniform hypergraph $\mathbb{G}^{(k)}(n,p)$ with $p\ge n^{-(k-\ell)-ε}$ for $\ell\ge 2$ and $p\ge C n^{-(k-1)}$ for $\ell=1$ on the same vertex set contains a Hamiltonian $\ell$-cycle with high probability. Our result is best possible up to the values of $ε$ and $C$ and answers a question of Krivelevich, Kwan and Sudakov.

研究动机与目标

• 解决Krivelevich、Kwan与Sudakov关于将Bohman–Frieze–Martin结果推广至超图中 $\ell$-哈密顿性的猜想。
• 确定在随机扰动超图模型中 $\ell$-哈密顿性的最优阈值，即稠密 $k$-图与二项式随机 $k$-图结合时的情形。
• 建立在稠密部分具有最小1-度 $\alpha n^{k-1}$ 的前提下，与稀疏随机 $k$-图结合即可几乎必然实现 $\ell$-哈密顿性，且对所有 $1 \leq \ell \leq k-1$ 成立。
• 证明该结果在随机边概率 $p$ 的常数 $\epsilon$ 与 $C$ 意义下是紧的，表明阈值无法显著降低。

提出的方法

• 采用三步概率构造法：(1) 利用引理3.2寻找随机连接器；(2) 利用引理3.4构建吸收路径；(3) 利用引理3.5覆盖剩余顶点。
• 采用吸收路径构造方法，其中核心顶点集 $V_*$ 中每个 $(k-\ell)$-子集拥有 $\beta^9 n$ 个吸收器，从而实现对剩余顶点的贪心吸收。
• 采用两阶段随机连接器系统：首先 ${\mathcal{C}}_1$ 连接 $L$ 中的 $\ell$-子集，然后 ${\mathcal{C}}_2$ 连接吸收器与路径端点。
• 使用无需正则性方法的吸收引理（经审稿人建议改进），避免了复杂的正则性方法，简化了证明并提升了清晰度。
• 应用浓度不等式与概率计数，确保在高概率下，所需连接器与吸收器在随机超图分量中存在。
• 结合确定性与随机成分：稠密超图 $H$ 提供最小度条件，而随机 $\mathbb{G}^{(k)}(n,p)$ 提供必要的随机性以闭合圈。

实验结果

研究问题

• RQ1 使稠密 $k$-图（最小1-度为 $\alpha n^{k-1}$）与二项式随机 $k$-图 $\mathbb{G}^{(k)}(n,p)$ 的并图几乎必然成为 $\ell$-哈密顿图的最小随机边概率 $p$ 是多少？
• RQ2 能否使随机扰动 $k$-图中 $\ell$-哈密顿性的阈值达到紧致，与纯随机 $k$-图的已知阈值一致？
• RQ3 当与稀疏随机 $k$-图结合时，最小1-度条件是否足以保证对所有 $1 \leq \ell \leq k-1$ 实现 $\ell$-哈密顿性？
• RQ4 如何在不依赖正则性方法的前提下，将吸收法适配至 $k$-均匀超图中的 $\ell$-圈？

主要发现

• 对任意 $k \geq 3$，$1 \leq \ell \leq k-1$ 以及 $\alpha > 0$，存在 $\epsilon > 0$ 与 $C > 0$，使得当 $p \geq n^{-(k-\ell)-\epsilon}$（$\ell \geq 2$）或 $p \geq Cn^{-(k-1)}$（$\ell = 1$）时，$H \cup \mathbb{G}^{(k)}(n,p)$ 几乎必然为 $\ell$-哈密顿图。
• 该阈值在常数 $\epsilon$ 与 $C$ 意义下是紧的，通过构造一个大小为 $\alpha n/k$ 的完全 $k$-部 $k$-图（其各部分大小相等）证明：在阈值以下，该图无法实现 $\ell$-哈密顿性。
• 证明通过三个概率步骤构建哈密顿 $\ell$-圈：(1) 随机连接器，(2) 吸收路径，(3) 用路径覆盖剩余部分，所有步骤均依赖于所需结构在高概率下存在的保证。
• 吸收引理由无需正则性方法构建，显著简化了证明并提升了可读性，此建议来自一位审稿人。
• 该结果将Bohman–Frieze–Martin定理推广至超图，并解决了Krivelevich、Kwan与Sudakov提出的关于扰动超图中 $\ell$-哈密顿性的开放问题。
• 最终构造中，利用每个 $(k-\ell)$-子集的 $\beta^9 n$ 个吸收器，吸收大小不超过 $2t_3\zeta n$ 的剩余顶点，从而确保完整 $\ell$-圈的存在。