[论文解读] The graph theoretic moment problem

László Lovász, Balázs Szegedy|arXiv (Cornell University)|Oct 25, 2010

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

一句话总结

本文引入了经典矩问题的图论类比，其中矩由图而非整数索引。研究证明，具有有限秩的反射正、乘法图不变量恰好是来自随机加权图的同态所诱导的不变量，从而推广了图极限与矩序列的经典结果。

ABSTRACT

We study an analogue of the classical moment problem in the framework where moments are indexed by graphs instead of natural numbers. We study limit objects of graph sequences where edges are labeled by elements of a topological space. Among other things we obtain strengthening and generalizations of the main results of previous papers characterizing reflection positive graph parameters, graph homomorphism numbers, and limits of simple graph sequences. We study a new class of reflection positive partition functions which generalize the node-coloring models (homomorphisms into weighted graphs).

研究动机与目标

• 将经典矩问题推广至图索引的矩，将图视为多项式环中单项式的类比。
• 刻画作为二元函数矩的图参数，特别是通过同态密度。
• 将反射正性和矩序列推广至多重图和加权图的设定。
• 建立图不变量具有有限连接秩时，其对应于有限加权图同态的条件。
• 在图序列和极限对象的背景下，统一并强化图极限、同态密度和反射正性方面的先前结果。

提出的方法

• 将图参数定义为从对称可测函数 $ W: [0,1]^2 \to \mathbb{R} $ 导出的边变量的多元多项式期望值，由多重图索引。
• 使用同态密度 $ t(F,W) = \int_{[0,1]^{V(F)}} \prod_{ij \in E(F)} W(x_i,x_j) \, dx $ 作为图论矩。
• 引入图不变量 $ f $ 的连接秩 $ \text{rk}(M(f,n)) $，用于衡量在 $ n $ 个顶点图上矩矩阵的秩。
• 应用半定规划与矩矩阵技术分析连接秩的增长率。
• 使用代换法与加权图构造方法，界定商空间 $ \mathcal{P}_n / f $ 的维数，其中 $ f = \text{hom}(\cdot, H) $。
• 建立 $ \dim(\mathcal{P}_n / f)^{1/n^2} $ 的渐近界，以概率向量 $ x $ 上 $ \sum_{u,v} x_u x_v \log p_{u,v} $ 的最大值定义 $ A(H) $。

实验结果

研究问题

• RQ1 哪些图参数可表示为对称可测函数 $ W: [0,1]^2 \to \mathbb{R} $ 的矩，由多重图索引？
• RQ2 在何种条件下，反射正、乘法图不变量可表示为进入有限加权图的同态密度？
• RQ3 连接秩 $ \text{rk}(M(f,n)) $ 的增长率如何决定图不变量 $ f $ 的结构？
• RQ4 当 $ f $ 是进入随机加权图 $ H $ 的同态时，商空间 $ \mathcal{P}_n / f $ 的维数的渐近行为如何？
• RQ5 泛函 $ A(H) = \max \sum_{u,v} x_u x_v \log p_{u,v} $ 如何控制矩矩阵秩的指数增长率？

主要发现

• 图不变量 $ f $ 是弱反射正且乘法的，且存在某个 $ n \geq 2 $ 使得其连接秩 $ \text{rk}(M(f,n)) < \infty $，当且仅当 $ f = \text{hom}(\cdot, H) $ 对某个有限加权图 $ H $ 成立。
• 当 $ f = \text{hom}(\cdot, H) $ 时，$ \dim(\mathcal{P}_n / f)^{1/n^2} $ 的渐近增长率收敛于 $ A(H) $，其中 $ A(H) = \max_{x \geq 0, \sum x_u = 1} \sum_{u,v} x_u x_v \log p_{u,v} $。
• 对于有限加权图 $ H $，$ \dim(\mathcal{P}_n / f)^{1/n} $ 的增长率趋于 $ \log |V(H)| $，而对于适当的随机加权图，$ \dim(\mathcal{P}_n / f)^{1/n^2} $ 的增长率趋于 $ A(H) $。
• 商空间维数的下界为 $ \frac{2^{n^2 A(H)}}{p(H)^{2n}} $，上界为 $ |V(H)|^n 2^{n^2 A(H)} $，其中 $ p(H) = \prod_{u,v} p_{u,v} $。
• 当且仅当 $ H $ 为有限加权图时，$ f = \text{hom}(\cdot, H) $ 的连接秩为有限，且该条件刻画了此类不变量的类。
• 本研究结果推广并强化了早期关于反射正图参数及简单图序列极限的刻画，统一了图论中的矩问题与泛函分析及半定规划。