[论文解读] The inducibility of blow-up graphs

Hamed Hatami, James Hirst+1 more|arXiv (Cornell University)|Aug 29, 2011

Limits and Structures in Graph Theory参考文献 8被引用 5

一句话总结

该论文证明，对于任意固定的图 $ H $，当 $ H^{(h)} $ 为足够大的平衡吹胀图时，其最大诱导密度在渐近意义上由 $ H $ 本身的吹胀图实现。通过加权图与强同态密度的方法，作者证明了最大化 $ H^{(h)} $ 诱导拷贝数的最优图结构是 $ H $ 的吹胀图，从而解决了Bollobás等人（1995年）提出的一个渐近版本的问题。

ABSTRACT

The blow-up of a graph is obtained by replacing every vertex with a finite collection of copies so that the copies of two vertices are adjacent if and only if the originals are. If every vertex is replaced with the same number of copies, then the resulting graph is called a balanced blow-up. We show that any graph which contains the maximum number of induced copies of a sufficiently large balanced blow-up of H is itself essentially a blow-up of H. This gives an asymptotic answer to a question in [BEHJ95].

研究动机与目标

• 确定最大化大型平衡吹胀图 $ H^{(h)} $ 诱导拷贝数的图的渐近结构。
• 解决Bollobás等人（1995年）提出的问题：对于足够大的 $ h $，$ H $ 的吹胀图是否为最大化 $ H^{(h)} $ 诱导拷贝数的最优选择？
• 证明当 $ h $ 足够大时，$ H^{(h)} $ 的强同态密度在 $ H^{ u} $ 处取得最大值，其中 $ \nu $ 是 $ V(H) $ 上的概率测度。
• 建立最优图结构本质上是 $ H $ 的吹胀图，即使原始图并非孪生自由图。
• 将加权图与强同态密度的框架扩展至分析极值诱导性问题。

提出的方法

• 作者使用加权图作为有限图的推广，以避免上确界无法取到的问题。
• 他们将强同态密度 $ s(H; G) $ 定义为从 $ V(H) $ 到 $ V(G) $ 的随机映射是强同态的概率。
• 证明依赖于分析使 $ s(H^{(h)}; G) $ 取最大值的极值加权图的结构，其中 $ h $ 足够大。
• 关键技术包括使用自同构不变测度，以及在 $ H $ 的顶点集上对概率分布进行优化。
• 论证采用变分方法，表明最优测度 $ \nu $ 必须是 $ \text{Aut}(H) $-不变的，否则将导致矛盾。
• 证明利用了图的孪生自由分解的唯一性，将问题归约到 $ H $ 为孪生自由图的情形。

实验结果

研究问题

• RQ1 对于哪些图 $ H $，存在常数 $ h $，使得对所有足够大的 $ n $，在 $ n $ 个顶点的图中，最大化 $ H^{(h)} $ 诱导拷贝数的图是 $ H $ 的吹胀图？
• RQ2 当 $ h \to \infty $ 时，最大化 $ H^{(h)} $ 诱导密度的图的渐近结构是什么？
• RQ3 是否可以通过 $ H $ 的吹胀图来最大化 $ H^{(h)} $ 的强同态密度？若可以，其条件是什么？
• RQ4 图 $ H $ 的自同构群如何影响 $ H^{(h)} $ 的极值图结构？
• RQ5 能否通过基于调色板的彩色超图框架，将图的结果推广至超图？

主要发现

• 对于每个固定的图 $ H $，存在一个阈值 $ h_0 $，使得对所有 $ h \geq h_0 $，强同态密度 $ s(H^{(h)}; G) $ 的最大值由 $ H $ 的吹胀图 $ H^{ u} $ 实现，其中 $ \nu $ 是 $ V(H) $ 上的概率测度。
• 最优测度 $ \nu $ 是 $ \text{Aut}(H) $-不变的，意味着在极值吹胀图中，顶点分布关于 $ H $ 的自同构保持对称。
• 在任意 $ n $ 个顶点的图中，$ H^{(h)} $ 的最大诱导密度在渐近意义上由 $ H $ 的平衡吹胀图实现，其极限为 $ i(H^{(h)}) = \lim_{n \to \infty} i(H, H^{(\mathbf{k}_n)}) $，其中 $ \mathbf{k}_n $ 为适当的序列。
• 该结果为Bollobás等人（1995年）提出的关于 $ K_r^{(h)} $ 的吹胀图是否极大化的问题提供了渐近答案，并将其推广至所有图 $ H $。
• 作者猜想，对于 $ K $-彩色超图，类似结果也成立，即 $ H^{(h)} $ 是唯一（在同构意义下）的极值 $ h $-吹胀图。
• 该证明方法避免使用旗代数或图子，而是直接基于加权图与强同态密度，简化了分析，同时保持了通用性。