[论文解读] An information theoretic approach to Sidorenko's conjecture

Balázs Szegedy|arXiv (Cornell University)|Jun 26, 2014

Limits and Structures in Graph Theory参考文献 7被引用 49

一句话总结

本文提出一个信息论框架，通过条件独立性和相对熵建立相关性不等式，证明了广义二分图和k-均匀超图的西多伦科猜想。关键贡献在于定义了‘厚图’——一类推广了所有已知例子的图类——其满足该猜想，包括超立方体、网格图和超图森林。

ABSTRACT

We investigate the famous conjecture by Erd\H os-Simonovits and Sidorenko using information theory. Our method gives a unified treatment for all known cases of the conjecture and it implies various new results as well. Our topological type conditions allow us to extend Sidorenko's conjecture to large families of $k$-uniform hypergraphs. This is somewhat unexpected since the conjecture fails for $k$ uniform hypergraphs in general.

研究动机与目标

• 为广义二分图与k-均匀超图提供一个统一的信息论证明，以支持西多伦科猜想。
• 定义并表征一类新图类——‘厚图’——其满足猜想且推广了所有先前已知的例子。
• 通过引入基于反射复形的拓扑组合框架，将猜想扩展至k-均匀超图。
• 证明通过森林状子结构上的迭代条件独立耦合构造的图满足该猜想。
• 表明厚图类在某些细分操作下封闭，包括与树的□-积。

提出的方法

• 使用相对熵（Kullback-Leibler散度）将西多伦科猜想重述为在同态集合Hom(H, G)上的均匀测度与乘积测度之间的熵不等式。
• 在Hom(H, G)上构造一个见证概率测度，其相对熵有界于|E(H)|d(e, G)，从而证明该猜想。
• 将反射复形定义为编码图同态迭代条件独立耦合的拓扑组合结构。
• 引入‘厚图’作为满足线性代数条件的反射复形的线图，推广先前的构造。
• 应用操作如r{v}∪S,S和r{v}∪S,S′，以归纳方式构建反射复形，同时保持{v} ∪ S为超边。
• 通过与树的□-积及基于森林的粘合操作生成新的厚图，包括网格图与超立方体。

实验结果

研究问题

• RQ1 能否使用信息论方法，为一类统一的图类提供西多伦科猜想的证明？
• RQ2 图的何种组合-拓扑条件可确保其同态密度满足西多伦科不等式？
• RQ3 该猜想能否扩展至k-均匀超图？若可，其结构条件为何？
• RQ4 是否存在满足西多伦科猜想的图类的自然封闭性质，例如在与树的□-积下？
• RQ5 反射复形及其相关操作如何表征满足该猜想的图类的完整集合？

主要发现

• 厚图——即满足线性代数条件的反射复形的线图——满足西多伦科猜想。
• 厚图类包含所有先前已知的例子：一端完全连接至另一端的二分图、可树排列的图、网格图、五维以内的超立方体，以及超图森林。
• 厚图H与树T的□-积结果仍为厚图，从而解释了高维网格图与超立方体为何满足该猜想。
• k-均匀超图中的超图森林满足西多伦科猜想，将Blakley-Roy不等式推广至高阶相关性不等式。
• 八面体的3-均匀面超图与完全k-部超图Ka1,...,ak属于类Rk，因此满足该猜想。
• 图类R（通过反射复形构建）包含所有一侧顶点数不超过4个的二分图，且此类图被证明为厚图。