[論文レビュー] 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

ひとこと要約

本稿は、対数関数のJensenの不等式に基づく対数的微積分を導入し、部分グラフ密度の不等式を証明するものであり、シドレンコの予想を検証するための新しい解析的手法を提供する。反射木と、シドレンコグラフを辺で接合して得られるグラフが、いずれもシドレンコグラフであることが確立され、シドレンコの予想と特定の二部グラフにおける強制的予想を含む包括的で記号的なアプローチを提示する。

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.

研究の動機と目的

• 対数関数および対数-2次関数のJensenの不等式に基づく記号的微積分を構築し、部分グラフ密度の不等式を証明すること。
• 口頭的議論を回避し、コンピュータアルゴリズムによる自動化が可能な新たな解析的フレームワークを提供すること。
• 反射木および辺で接合されたグラフを含む、新たな二部グラフ族に対してシドレンコの予想を検証すること。
• 同じ解析的手法を用いて、片側の頂点が他方の側にすべて接続されている二部グラフに対して、強制的予想を証明すること。
• 確率論的および解析的技法を用いて、グラフにおける辺の滑らかさとシドレンコ型不等式の成立との間の関係を確立すること。

提案手法

• 凹関数 $\ln z$ および凸関数 $z\ln z$ に対するJensenの不等式を用いて、部分グラフ密度の間の不等式を導出する。
• 凹関数 $c$ に対して $\mathbb{E}(c(g)) \leq c(\mathbb{E}(g))$ が成り立つことを利用し、グラフオンまたは有限グラフ上で定義された関数に適用する。
• グラフ列 $G_k$ に対してテンソル冪のテクニックを適用し、ホモモルフィズム密度の漸近的挙動を分析する。
• 期待値 $\mathbb{E}(\ln t_S(H^*,G)) \geq |E(H^*)|\ln d$ を用いて、辺の滑らかさを定義し、シドレンコの予想と関連付ける。
• 大数の法則を用いた確率論的議論により、$t_{f}(H^*,G_k)$ がしきい値を超える確率を評価する。
• リトラクトおよびホモモルフィズム拡張の概念を用いて、滑らかさがシドレンコ性を示すための構造的条件を特徴付ける。

実験結果

リサーチクエスチョン

• RQ1 Jensenの不等式に基づく対数的微積分を、部分グラフ密度の不等式を系統的に証明するために適用可能か？
• RQ2 どの二部グラフ族に対してシドレンコの予想が成り立ち、この新しい微積分によって特徴付けられるか？
• RQ3 シドレンコの不等式で等号が成り立つのは定数グラフオンでのみであるという強制的予想は、この手法で検証可能か？
• RQ4 グラフ $H$ におけるどのような構造的性質（例：滑らかさ、リトラクト性）が $H$ がシドレンコグラフであることを保証するか？
• RQ5 辺の接合操作はシドレンコ性を保存するか？ もし保存するならば、どのような条件下でか？

主な発見

• 反射部分木を基底木に反射させることで得られる反射木は、対数的微積分を用いてシドレンコグラフであることが証明された。
• 辺の接合操作はシドレンコ性を保存する：$H_1$ および $H_2$ がシドレンコグラフであれば、それぞれの辺を同一視して得られるグラフもシドレンコグラフである。
• 本稿は、コンロン、フォックス、スダコフによる、片側の頂点が他方の側にすべて接続されている二部グラフのシドレンコ性に関する結果を、短い解析的証明で再確認した。
• 同じ解析的フレームワークを用いて、片側の頂点が他方の側にすべて接続されている二部グラフに対して、強制的予想が検証された。
• シドレンコグラフのすべての辺は滑らかである。これは、辺を除いたグラフからのホモモルフィズムの期待対数密度が、$a\ln d$ 以上に下から抑えられることを意味する。ここで $a$ は残りの辺の数である。
• 辺の滑らかさはシドレンコ性の必要条件であることが示され、特定の条件下ではグラフがリトラクトであることに同値であることが判明した。