[论文解读] On the logarithimic calculus and Sidorenko's conjecture

J. L. Xiang Li, Balázs Szegedy|arXiv (Cornell University)|Jul 6, 2011

Graph theory and applications被引用 41

一句话总结

本文提出了一种基于对数函数的詹森不等式的对数演算，用于证明子图密度之间的不等式，为验证西多伦科猜想提供了一种新的解析方法。它证明了反射树以及通过边粘合西多伦科图构造的图也属于西多伦科图，提供了一种统一的符号化方法，该方法同时蕴含了西多伦科猜想和特定二分图的强迫猜想。

ABSTRACT

We study a type of calculus for proving inequalities between subgraph densities which is based on Jensen's inequality for the logarithmic function. As a demonstration of the method we verify the conjecture of Erdös-Simonovits and Sidorenko for new families of graphs. In particular we give a short analytic proof for a result by Conlon, Fox and Sudakov. Using this, we prove the forcing conjecture for bipartite graphs in which one vertex is complete to the other side.

研究动机与目标

• 开发一种基于詹森不等式的符号化演算，针对对数函数和对数-二次函数，以证明子图密度不等式。
• 提供一种新的解析框架，避免使用语言性论述，并可通过计算机算法实现潜在自动化。
• 利用该方法验证西多伦科猜想在新一类二分图中的成立性，包括反射树和边粘合图。
• 使用相同的解析方法证明当一个顶点与另一侧所有顶点相连时，二分图的强迫猜想。
• 通过概率和解析技术，建立图中边的光滑性与西多伦科型不等式有效性之间的联系。

提出的方法

• 利用函数 $\ln z$ 的凹性和 $z\ln z$ 的凸性，应用詹森不等式，推导子图密度之间的不等式。
• 将不等式 $\mathbb{E}(c(g)) \leq c(\mathbb{E}(g))$ 应用于定义在图子或有限图上的凹函数 $c$。
• 对图序列 $G_k$ 应用张量幂技巧，分析同态密度的渐近行为。
• 通过期望 $\mathbb{E}(\ln t_S(H^*,G)) \geq |E(H^*)|\ln d$ 定义边的光滑性，将其与西多伦科猜想联系起来。
• 利用大数定律的概率论论证，界定 $t_{f}(H^*,G_k)$ 超过某一阈值的概率。
• 应用收缩映射和同态扩张的概念，刻画在何种结构条件下，光滑性可推出西多伦科性质。

实验结果

研究问题

• RQ1 能否系统性地应用基于詹森不等式的对数演算来证明子图密度不等式？
• RQ2 西多伦科猜想在哪些二分图族中成立？能否通过这种新演算进行刻画？
• RQ3 强迫猜想——即当 $H$ 不是树时，西多伦科不等式等号成立仅当图子为常数——是否可使用该方法验证？
• RQ4 图 $H$ 的哪些结构性质（如光滑性、收缩性）可确保 $H$ 为西多伦科图？
• RQ5 边粘合操作是否保持西多伦科性质？若能，其条件为何？

主要发现

• 反射树——通过将子树反射到基树上构造的图——使用对数演算被证明为西多伦科图。
• 边粘合操作保持西多伦科性质：若 $H_1$ 和 $H_2$ 为西多伦科图，则通过分别从每个图中识别一条边所形成的图也是西多伦科图。
• 本文提供了康隆、福克斯和苏达科夫关于与另一侧所有顶点相连的二分图具有西多伦科性质这一结果的简短解析证明。
• 使用相同的解析框架，验证了当一个顶点与另一侧所有顶点相连时，二分图的强迫猜想。
• 每个西多伦科图中的边都是光滑的，即从图中移除一条边后，其同态映射的期望对数密度仍被下界 $a\ln d$ 控制，其中 $a$ 为剩余边数。
• 证明了边的光滑性是西多伦科性质的必要条件，并在特定条件下与图是收缩图等价。