[论文解读] Subgraph densities in signed graphons and the local Sidorenko conjecture

László Lovász|arXiv (Cornell University)|Apr 18, 2010

Limits and Structures in Graph Theory参考文献 6被引用 9

一句话总结

本文使用带符号图子（signed graphons）证明了二分图的Sidorenko猜想的局部版本，表明当图子 $ W $ 足够接近常数函数 1 时（即稠密的随机图），若 $ t(K_2,W) = 1 $，则同态密度 $ t(F,W) $ 至少为 1。关键结果表明，在 $ W - 1 $ 的切范数或本质上确界范数受限制的条件下，$ t(F,W) \geq 1 $ 局部成立，从而在随机图的邻域内解决了该猜想。

ABSTRACT

We prove inequalities between the densities of various bipartite subgraphs in signed graphs and graphons. One of the main inequalities is that the density of any bipartite graph with girth r cannot exceed the density of the r-cycle. This study is motivated by Sidorenko's conjecture, which states that the density of a bipartite graph F with m edges in any graph G is at least the m-th power of the edge density of G. Another way of stating this is that the graph G with given edge density minimizing the number of copies of F is, asymptotically, a random graph. We prove that this is true locally, i.e., for graphs G that are "close" to a random graph.

研究动机与目标

• 建立局部Sidorenko猜想的局部版本，证明当 $ W $ 接近常数函数 1 时，对所有二分图 $ F $，有 $ t(F,W) \geq 1 $。
• 通过分析可能取负值的函数 $ U = W - 1 $ 中子图的密度，将极值图论推广至带符号图子。
• 提供 $ W $ 必须多接近 1（在切范数或 $ L^\infty $ 范数下）的定量边界，使得不等式 $ t(F,W) \geq 1 $ 成立，从而在随机图的邻域内确认该猜想。
• 使用分析方法和核算子范数来控制 $ W $ 中的子图密度，利用环、路径和完全二分图的结构。

提出的方法

• 本文采用Sidorenko猜想的分析形式化表述，即 $ t(F,W) \geq t(K_2,W)^{|E(F)|} $，并归一化使得 $ t(K_2,W) = 1 $，从而将目标简化为证明 $ t(F,W) \geq 1 $。
• 引入函数 $ U = W - 1 $，允许取负值，并研究各种子图 $ F' $ 的带符号密度 $ t(F',U) $，特别是路径、环和完全二分图。
• 该方法依赖于将 $ t(F,W) $ 分解为 $ U $ 的多重线性展开，并在 $ U $ 的范数条件成立下，证明所有次数 $ \geq 2 $ 的项之和非负。
• 应用弱正则性引理将 $ W $ 近似为阶梯函数 $ W_{\mathcal{P}} $，确保 $ \|W_{\mathcal{P}} - W\|_{\square} \leq \varepsilon/m $，并利用计数引理控制子图密度中的误差。
• 通过利用 $ U $ 中某些子图密度的非负性，推导出关键不等式，特别是针对最小度为 2 或具有围长约束的图，以及具有一个叶子的图。
• 使用 $ \|U\|_{\square} \leq 2^{-8m} $ 和 $ \|U\|_{\infty} \leq 1/(4m) $ 的边界，表明在这些条件下，有 $ t(F,W) \geq 1 $。

实验结果

研究问题

• RQ1 Sidorenko猜想是否在局部成立，即对于足够接近常数函数 1 的图子 $ W $？
• RQ2 在 $ W - 1 $ 的适当范数约束下，当 $ t(K_2,W) = 1 $ 时，是否能将密度 $ t(F,W) $ 下界控制为 1？
• RQ3 对于具有 $ m $ 条边的任意二分图 $ F $，使 $ t(F,W) \geq 1 $ 成立的 $ \|W - 1\|_{\square} $ 或 $ \|W - 1\|_{\infty} $ 的最优边界是什么？
• RQ4 在带符号图子（允许负权重）中，子图密度的行为如何？能否用于证明极值不等式？
• RQ5 能否将局部Sidorenko猜想推广至具有特定结构性质的图，如高围长或有界度？

主要发现

• 本文证明：若 $ \|W - 1\|_{\infty} \leq 1/(4m) $，则对任意具有 $ m $ 条边的二分图 $ F $ 且满足 $ \int W = 1 $，有 $ t(F,W) \geq 1 $。
• 证明了当 $ \|W - 1\|_{\square} \leq 2^{-8m} $ 时，$ t(F,W) \geq 1 $ 成立，即使不假设 $ W \leq 2 $，在 $ W $ 的弱条件下亦成立。
• 对于满足 $ t(C_4,W) \leq 2^{-4m} $ 的 $ W $，不等式 $ t(F,W) \geq 1 $ 成立，表明该猜想在由 $ C_4 $ 密度定义的邻域内成立。
• 本文表明，在给定的范数边界下，$ t(F,W) $ 关于 $ W = 1 $ 的展开中所有高阶项之和非负，从而保证 $ t(F,W) \geq 1 $。
• 证明了一个定量版本：若 $ \|W - 1\|_{\square} \leq 2^{-1-8m} $ 且 $ W $ 满足某些局部密度条件，则对任意 $ \varepsilon > 0 $，有 $ t(F,W) \geq 1 - \varepsilon $。
• 该结果被推广至图论设定：若图 $ G $ 满足 $ |e_G(S,T) - p|S||T|| \leq (2^{-8m}p - \varepsilon)N^2 $ 且对大集合有 $ e_G(S,T) \leq 2p|S||T| $，则 $ t(F,G) \geq p^l - \varepsilon $。