[论文解读] Spanning embeddings of arrangeable graphs with sublinear bandwidth

Julia Böttcher, Anusch Taraz+1 more|arXiv (Cornell University)|May 9, 2013

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

一句话总结

该论文将带宽定理推广至最大度至多为 $\sqrt{n}/\log n$ 的 $a$-可排列图，证明了最小度为 $\left(\frac{r-1}{r} + \gamma\right)n$ 的稠密图包含此类图的生成子图。关键贡献在于通过一种新颖的可排列结构版吹入引理变体，将嵌入结果扩展至无有界度图，从而实现对平面图及可嵌入曲面图的线性拉姆齐数应用。

ABSTRACT

The Bandwidth Theorem of Böttcher, Schacht and Taraz [Mathematische Annalen 343 (1), 175-205] gives minimum degree conditions for the containment of spanning graphs H with small bandwidth and bounded maximum degree. We generalise this result to a-arrangeable graphs H with Δ(H)

研究动机与目标

• 通过用 $a$-可排列性替代有界度假设，将带宽定理推广至最大度无界的图。
• 为宿主图 $G$ 建立充分的最小度条件，以保证存在 $a$-可排列图 $H$ 的生成子图，其中 $H$ 的带宽至多为 $\beta n$，且 $\Delta(H) \leq \sqrt{n}/\log n$。
• 通过利用可排列图的结构特性，将嵌入结果推广至更广泛的图类，包括平面图和可嵌入可定向曲面的图。
• 开发并应用一种改进的吹入引理变体，允许在低边图像集无需超正则性的情况下，将图嵌入 $\varepsilon$-正则对中。

提出的方法

• 使用一种针对可排列图的新版吹入引理变体，即使图像限制稀疏，也能将图嵌入 $\varepsilon$-正则对中。
• 应用正则性引理将宿主图 $G$ 划分为具有 $\varepsilon$-正则对的簇，形成缩减图 $R$。
• 利用 $a$-可排列性控制邻域重叠，将目标图 $H$ 的同态构造为 $R$ 的有界度子图的吹入图。
• 通过 $\sqrt{n}/\log n$ 的度数界和 $a$-可排列性，限制依赖关系，确保 $H$ 中每个簇的像能完整包含于 $G$ 的一个簇中。
• 利用 $H$ 的顶点排序结构，按顺序嵌入顶点，通过受控的邻域约束保持正则性并避免冲突。
• 借鉴 Allen、Brightwell 和 Skokan 的技术，将几乎所有平面图的拉姆齐数界为 $12|H|$。

实验结果

研究问题

• RQ1 若图具有无界最大度，但为 $a$-可排列图且带宽 $\leq \beta n$，是否可将带宽定理推广？
• RQ2 宿主图 $G$ 的最小度需满足何种条件，才能保证存在 $a$-可排列图 $H$ 的生成子图，其中 $\Delta(H) \leq \sqrt{n}/\log n$？
• RQ3 几乎所有 $n$ 个顶点的平面图是否具有至多 $12n$ 的拉姆齐数？
• RQ4 能否对吹入引理进行改进，使其在低度图像集无需超正则性的情况下，仍可将图嵌入 $\varepsilon$-正则对中？
• RQ5 主定理中 $\sqrt{n}/\log n$ 的最大度界是否紧致，或可改进为 $o(n/\log n)$？

主要发现

• 对所有 $r, a \in \mathbb{N}$ 和 $\gamma > 0$，存在 $\beta > 0$ 和 $n_0 \in \mathbb{N}$，使得任意 $n$ 个顶点的图 $G$ 满足 $\delta(G) \geq \left(\frac{r-1}{r} + \gamma\right)n$ 时，均包含任意 $r$-色、$a$-可排列图 $H$ 的子图，其中 $H$ 有 $n$ 个顶点，$\Delta(H) \leq \sqrt{n}/\log n$，且带宽至多为 $\beta n$。
• 该结果表明，任意足够大的图，若其最小度至少为 $\left(\frac{3}{4} + \gamma\right)n$，则包含所有 $n$ 个顶点的平面图为子图。
• 几乎所有平面图 $H$ 的拉姆齐数至多为 $12|H|$，此结论通过主定理的证明技术得以证明。
• 本文建立了一种针对 $a$-可排列图的新版吹入引理变体，即使图像集较小，也能实现嵌入至 $\varepsilon$-正则对中，克服了早期版本的关键限制。
• $\sqrt{n}/\log n$ 的最大度界源于证明方法，可能并非最优，因为 $o(n/\log n)$ 可能已足够，尤其对树而言。
• 该结果可推广至固定亏格的可定向曲面上可嵌入的图，具有类似的嵌入与拉姆齐数界。