[论文解读] A version of Szemerédi's regularity lemma for multicolored graphs and directed graphs that is suitable for induced graphs

Maria Axenovich, Ryan R. Martin|arXiv (Cornell University)|Jun 15, 2011

Advanced Graph Theory Research参考文献 3被引用 5

一句话总结

本文通过引入支持诱导子图嵌入的彩色和有向正则性引理，将Szemerédi正则性引理推广至多色图和有向图。该研究建立了一个基于正则性、局部化和编辑距离分析稠密遗传性质的框架，证明了除非遗传性质的密度结构与图的颜色或边分布相匹配，否则随机多色图和有向图通常与任何固定遗传性质相距甚远。

ABSTRACT

In this manuscript we develop a version of Szemerédi's regularity lemma that is suitable for analyzing multicolorings of complete graphs and directed graphs. In this, we follow the proof of Alon, Fischer, Krivelevich and M. Szegedy [Combinatorica, 20(4) (2000), 451--476] who prove a similar result for graphs. The purpose is to extend classical results on dense hereditary properties, such as the speed of the property or edit distance, to the above-mentioned combinatorial objects.

研究动机与目标

• 开发适用于多色图和有向图的Szemerédi正则性引理版本，支持诱导子图嵌入。
• 将经典稠密遗传性质结果（如速度和编辑距离）扩展至多色图和有向图。
• 提供一个正则性框架，使在彩色和有向设置下能够应用局部化和聚类技术。
• 利用基于密度的正则性和概率界分析随机图与遗传性质之间的编辑距离。
• 证明随机图到遗传性质的编辑距离通常接近由性质密度结构决定的期望最小距离。

提出的方法

• 将Alon等人（2000）针对图的证明策略适配至多色图和有向图，使用诱导子图和精细化等分。
• 定义一种彩色正则性条件，即簇对在每种颜色或边方向的密度上均为正则，误差由参数γ控制。
• 提出适用于多色图和有向图的切片引理，当密度足够大时，能在子集限制下保持正则性。
• 应用嵌入引理，通过选择颜色或方向密度一致的微型簇，在正则化结构中寻找目标图H的诱导同构。
• 使用Chernoff不等式估计簇密度偏离随机图中期望值的概率，确保其围绕期望值集中。
• 通过在正则簇中非匹配的颜色或方向对求和，界定随机图与遗传性质之间的编辑距离，误差项由ε和k控制。

实验结果

研究问题

• RQ1 能否为多色图构造一个支持诱导子图嵌入和遗传性质分析的正则性引理？
• RQ2 如何将正则性框架扩展至有向图，以分析诱导子图和编辑距离？
• RQ3 随机多色图或有向图与固定遗传性质之间的典型编辑距离是多少？
• RQ4 在给定着色或方向模型下，正则划分中的簇密度如何与随机图中的期望密度相关？
• RQ5 在何种条件下，随机图到遗传性质的编辑距离会集中在由性质密度结构决定的特定值附近？

主要发现

• 本文构建了Szemerédi正则性引理的彩色和有向版本，支持在多色图和有向图中实现诱导子图嵌入。
• 证明了对任意遗传性质H，随机图G_n,p到H的编辑距离以渐近几乎必然的方式至少为f_K(p) * binom(n,2) - o(n²)，其中f_K(p)为最小禁止子结构的密度。
• 编辑距离界中的误差项为O(rεn²)，表明当ε较小时，距离紧密集中在期望最小值附近。
• 切片引理和嵌入引理确保了具有一致颜色或方向密度的正则簇可用于将目标图H作为诱导子图嵌入。
• 通过Chernoff不等式实现的概率集中性保证了随机图中簇密度以高概率接近期望值，从而支持稳健的正则性分析。
• 该框架允许将编辑距离问题局部化至正则簇，将全局问题简化为对禁止子图结构的有限维密度优化。