[论文解读] On the testability and repair of hereditary hypergraph properties

Tim Austin, Terence Tao|ArXiv.org|Jan 14, 2008

Limits and Structures in Graph Theory参考文献 30被引用 39

一句话总结

本文将遗传超图性质的可测试性与局部可修复性结果扩展至更广泛的设置，包括有向图和多色超图，同时识别出明确的局限性：由于拉姆齐理论的约束，局部可修复性在有向图和3-均匀超图中不成立。研究证明，无向图及某些超图类在查询复杂度有界的条件下可实现局部可修复算法。

ABSTRACT

Recent works of Alon-Shapira and Rödl-Schacht have demonstrated that every hereditary property of undirected graphs or hypergraphs is testable with one-sided error; informally, this means that if a graph or hypergraph satisfies that property "locally" with sufficiently high probability, then it can be perturbed (or "repaired") into a graph or hypergraph which satisfies that property "globally". In this paper we make some refinements to these results, some of which may be surprising. In the positive direction, we strengthen the results to cover hereditary properties of multiple directed polychromatic graphs and hypergraphs. In the case of undirected graphs, we extend the result to continuous graphs on probability spaces, and show that the repair algorithm is "local" in the sense that it only depends on a bounded amount of data; in particular, the graph can be repaired in a time linear in the number of edges. We also show that local repairability also holds for monotone or partite hypergraph properties (this latter result is also implicitly in work of Ishigami). In the negative direction, we show that local repairability breaks down for directed graphs, or for undirected 3-uniform hypergraphs. The reason for this contrast in behavior stems from (the limitations of) Ramsey theory.

研究动机与目标

• 将遗传图与超图性质的可测试性与局部可修复性推广至有向图、多色图及非均匀超图。
• 研究局部可修复性（即仅依赖有界局部信息即可修复图）是否在无向图之外的场景中依然成立。
• 精确界定局部可修复性的边界，特别是在拉姆齐理论施加根本障碍的场景中。
• 通过测度论约化，建立无穷可交换随机超图与有限可修复性之间的联系。
• 证明在单调或部分超图性质下，即使在非均匀设置中，局部可修复性依然保持。

提出的方法

• 通过在概率空间上的可交换随机超图使用无穷方法，分析大规模超图的结构性质。
• 应用测度论工具，包括概率核的绝对连续性与ε-绝对连续性，比较子-Cantor 空间上的测度。
• 使用概率核的复合与乘积运算，对超图结构中的局部扰动与约化进行建模。
• 通过一系列越来越精细的划分，将有限可修复性约化为恒等测度的离散化。
• 构造一族概率核（νₖ）与可测集（Xₖ, ζ≤ₖ），以逼近对角测度并确保收敛性。
• 使用去耦合与近似绝对连续性控制修复过程中的误差，并证明收敛至目标性质。

实验结果

研究问题

• RQ1 局部可修复性能否扩展至有向图和3-均匀超图的遗传性质？
• RQ2 何种结构性或组合性障碍导致有向图和3-均匀超图中局部可修复性失败？
• RQ3 无穷模型下的可交换随机超图在多大程度上反映有限超图中的有限可修复性？
• RQ4 单调性与部分性如何影响超图性质局部可修复的可行性？
• RQ5 拉姆齐理论在多大程度上限制了局部可修复算法在超图性质测试中的适用性？

主要发现

• 局部可修复性适用于无向图的遗传性质及某些超图类，包括单调与部分超图性质。
• 无向图的修复算法是局部的，且时间复杂度与边数呈线性关系，仅依赖有界局部数据。
• 由于内在结构约束阻止有界局部重建，有向图的局部可修复性不成立。
• 对于3-均匀超图，局部可修复性的失败与拉姆齐理论的局限性相关，后者阻碍了统一局部修复规则的存在。
• 本文证明，多重有向多色超图的遗传性质可用单边错误进行测试，扩展了先前结果。
• 证明了可交换随机超图的结构定理，表明此类测度由其在有限子结构上的边缘分布决定。