[论文解读] Existence of spanning $\mathcal{F}$-free subgraphs with large minimum degree

Guillem Perarnau, Bruce Reed|arXiv (Cornell University)|Apr 30, 2014

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

一句话总结

本文通过引入一种新颖的局部单射同态框架与洛瓦兹局部大数概率方法，证明了在 $d$-正则图中存在具有大最小度的生成 $F$-自由子图，从而解决了闭族 $F$ 中色数为 2 的情形下的猜想 1 —— 尤其是对于二分图族（如环与完全二分图）的情形。

ABSTRACT

Let $\mathcal{F}$ be a family of fixed graphs and let $d$ be large enough. For every $d$-regular graph $G$, we study the existence of a spanning $\mathcal{F}$-free subgraph of $G$ with large minimum degree. This problem is well-understood if $\mathcal{F}$ does not contain bipartite graphs. Here we provide asymptotically tight results for many families of bipartite graphs such as cycles or complete bipartite graphs.

研究动机与目标

• 解决关于 $d$-正则图中存在生成 $ F$-自由子图且最小度为 $ Omega(\mathrm{ex}(d,\nF)/d)$ 的猜想 1。
• 将极值图论的理解拓展至色数为 2 的图族 $ F$，因为此类问题相较于非二分图族尚不甚明了。
• 开发一种基于局部单射同态的新方法，以确保子图避开禁止子图的同时保持高最小度。
• 证明对于闭族 $ F$，即使 $ F$ 由二分图构成，最小度的猜想下界在渐近意义下仍成立。

提出的方法

• 引入局部单射同态（$\mathrm{hom}^*$）的概念，以强化 $ F$-自由性的概念，并实现对图结构的控制。
• 采用两阶段着色过程：先对集合 $A$ 进行随机着色，再对 $B$ 进行确定性迭代着色，通过边删除来维持度数与彩虹邻域条件。
• 应用洛瓦兹局部大数定理，证明在足够稀疏与度数约束下，期望的着色与子图性质以正概率成立。
• 构造 $d$-正则图 $G$ 的一个生成子图 $H$，使得 $\delta(H) = \Omega(\delta(J))$，其中 $J$ 是一个 $ beta$-几乎正则图，且不含 $F \in \nF$ 的局部单射拷贝。
• 确保 $H$ 中所有邻域均为彩虹着色，且 $H$ 中的边对应于 $J$ 中的边，从而使从 $H$ 到 $J$ 的任意同态均为局部单射。
• 利用 $J$ 中不存在 $F \in \nF$ 的局部单射拷贝这一事实，得出 $H$ 同样为 $ F$-自由的结论。

实验结果

研究问题

• RQ1 猜想 1 是否对二分图族 $ F$（特别是色数为 2 的族）成立？
• RQ2 对于此类族，$d$-正则图中生成 $ F$-自由子图的最小度是否可被下界控制为 $\Omega(\mathrm{ex}(d,\nF)/d)$？
• RQ3 是否可利用局部单射同态框架来构造具有高最小度的 $ F$-自由子图？
• RQ4 目标图 $J$ 需满足何种结构条件，才能保证其不含局部单射 $F$-拷贝，从而推出 $d$-正则图 $G$ 的子图 $H$ 也无此类拷贝？
• RQ5 如何将概率方法（尤其是洛瓦兹局部大数定理）适配于迭代子图构造过程中，以维持度数与着色约束？

主要发现

• 定理 2 表明，对于任意 $d$-正则图 $G$，只要 $J$ 是 $ beta$-几乎正则图，$\delta(J) > d^\epsilon$，且 $\mathrm{hom}^*(F,J) = 0$，则存在一个生成子图 $H$ 满足 $\delta(H) = \Omega(\delta(J))$ 且对所有 $F \in \nF$ 有 $\mathrm{hom}^*(F,H) = 0$。
• 定理 3 确认了对所有闭族 $\nF$，猜想 1 成立，即 $d$-正则图 $G$ 中有 $\delta(H) = \Omega(\mathrm{ex}(d,\nF)/d)$。
• 对于族 $\nF_g = \{C_3, \dots, C_{g-1}\}$，结果将已知的最小度下界提升至 $\Omega(\mathrm{ex}(d,\nF_g)/d)$，与猜想的界仅差一个常数因子。
• 该方法实现了 $\delta(H) = \Omega(\delta(J))$，且由于 $\delta(J)$ 可达 $\Theta(d^{1/g})$（对某些 $J$），因此得到 $\delta(H) = \Omega(d^{1/g})$，适用于无 $g$-围长子图的子图。
• 构造确保 $H$ 中所有邻域均为彩虹着色，且 $H$ 中边的颜色对应于 $J$ 中的边，从而保持局部单射结构。
• 证明依赖于带边删除的迭代着色过程与洛瓦兹局部大数定理，表明在 $ alpha$、$ beta$、$ epsilon$ 与 $d$ 的给定条件下，所需性质以正概率成立。