[论文解读] Random Graphons and a Weak Positivstellensatz for Graphs

László Lovász, Balázs Szegedy|ArXiv.org|Feb 8, 2009

Advanced Graph Theory Research参考文献 1被引用 4

一句话总结

本文通过证明：任何在所有图上渐近成立的子图密度之间的线性不等式，都可以在部分标记图代数中被平方和任意逼近，从而为图极限建立了弱Positivstellensatz。本文引入了图极限结构的松弛版本，如在置换不变性下的可数图上的遍历测度，以及非乘法性、对孤立点不敏感的图参数，证明了它们的等价性，并由此建立了一个形式化的证明系统，用于通过柯西-施瓦茨型恒等式推导渐近不等式。

ABSTRACT

In an earlier paper the authors proved that limits of convergent graph sequences can be described by various structures, including certain 2-variable real functions called graphons, random graph models satisfying certain consistency conditions, and normalized, multiplicative and reflection positive graph parameters. In this paper we show that each of these structures has a related, relaxed version, which are also equivalent. Using this, we describe a further structure equivalent to graph limits, namely probability measures on countable graphs that are ergodic with respect to the group of permutations of the nodes. As an application, we prove an analogue of the Positivstellensatz for graphs: We show that every linear inequality between subgraph densities that holds asymptotically for all graphs has a formal proof in the following sense: it can be approximated arbitrarily well by another valid inequality that is a "sum of squares" in the algebra of partially labeled graphs.

研究动机与目标

• 通过引入图子、随机图模型和图参数的松弛结构等价物，扩展图极限理论。
• 建立这些松弛结构之间的等价性，包括在置换不变性下可数图上的遍历概率测度。
• 通过部分标记图代数中的平方和，为子图密度之间的渐近线性不等式提供一个形式化证明系统。
• 确认极值图论中的不等式（如Mantel-Turán型不等式）可通过极限中的柯西-施瓦茨型恒等式推导得出。

提出的方法

• 通过将乘法性条件替换为对孤立点删除的不变性，引入图参数的松弛版本。
• 定义了一类不具局部性条件的新随机图模型，允许在图子上分布。
• 使用部分标记图代数（量子图）来形式化不等式并定义平方和。
• 在矩阵空间中应用对偶性和极限论证，证明非负图参数是平方和的极限。
• 通过切距离拓扑，建立可数图上遍历测度与松弛图极限对象之间的等价性。
• 使用切范数和切距离定义图子及其松弛结构中的收敛性和紧致性。

实验结果

研究问题

• RQ1 图参数中的乘法性条件能否在保持与图极限结构等价性的前提下被松弛？
• RQ2 是否存在一种自然的概率结构——具体而言，是可数图上的遍历测度——可表征图极限？
• RQ3 每个关于子图密度的渐近线性不等式是否都能在图代数中通过平方和形式化推导？
• RQ4 柯西-施瓦茨型恒等式在多大程度上能捕捉极值图论中所有有效的渐近不等式？
• RQ5 松弛图极限对象（如图子上的分布）与经典图子和随机图模型之间有何关系？

主要发现

• 所有在所有图上渐近成立的同态密度之间的线性不等式，都可以在部分标记图代数中被平方和任意逼近。
• 平方和空间在同态密度之间有效线性不等式的锥中是稠密的，从而为图建立了弱Positivstellensatz。
• 可数图上的遍历概率测度与松弛图极限结构（包括图子上的分布和对孤立点不敏感的图参数）等价。
• 通过矩阵空间中的对偶性和极限论证，建立了松弛图极限对象（如非局部随机图模型、非乘法性参数）之间的等价性。
• 非负的、对孤立点不敏感的、平坦反射正定的参数的对偶锥由平方和生成，从而确认了形式化证明系统的有效性。
• 切范数拓扑确保了图子空间的紧致性，从而支持了收敛性和极限分析，这是主要结果所必需的。