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

ひとこと要約

この論文は、符号付きグラフオンを用いて、二部グラフに対するシドレンコ予想の局所的バージョンを証明している。密度の高いランダムに似たグラフ（すなわち、定数関数 1 に十分近いグラフオン $ W $）に対して、$ 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.

研究の動機と目的

• グラフオン $ W $ が定数関数 1 に十分近い場合に、すべての二部グラフ $ F $ に対して $ t(F,W) \geq 1 $ が成り立つ、局所的シドレンコ予想のバージョンを確立すること。
• 負の値をとる関数 $ U = W - 1 $ における部分グラフの密度を分析することで、符号付きグラフオンへの極値グラフ理論の拡張を図ること。
• $ t(F,W) \geq 1 $ が成り立つために $ W $ が 1 にどの程度近い必要があるかを定量的に評価し、ランダムグラフの近傍で予想を確認すること。特に、カットノルムまたは $ L^\infty $ ノルムでの制約を求める。
• 解析的手法とカーネル作用素のノルムを用いて、$ W $ における部分グラフ密度を制限し、サイクル、パス、完全二部グラフの構造を活用すること。

提案手法

• 論文は、シドレンコ予想の解析的定式化（$ t(F,W) \geq t(K_2,W)^{|E(F)|} $）を用い、$ t(K_2,W) = 1 $ と正規化することで、$ t(F,W) \geq 1 $ を示すことを目的とする。
• 負の値をとることを許す関数 $ U = W - 1 $ を導入し、特にパス、サイクル、完全二部グラフなどの部分グラフについて、符号付き密度 $ t(F',U) $ を分析する。
• 方法論の根幹は、$ t(F,W) $ を $ U $ における多項式展開として分解し、$ \geq 2 $ 次の項の和が $ U $ のノルム制約のもとで非負であることを示すことにある。
• 弱正則性補題を用いて、$ W $ をステップ関数 $ W_{\mathcal{P}} $ で近似し、$ \|W_{\mathcal{P}} - W\|_{\square} \leq \varepsilon/m $ を満たすようにし、数え上げ補題を用いて部分グラフ密度の誤差を制御する。
• 特に最小次数 2 またはサイクル長の制約を満たすグラフ、および葉を一つ持つグラフに対して、$ U $ における特定の部分グラフ密度の正の性質を用いて、重要な不等式を導出する。
• $ \|U\|_{\square} \leq 2^{-8m} $ および $ \|U\|_{\infty} \leq 1/(4m) $ のノルム制約を用い、これらの条件下で $ t(F,W) \geq 1 $ が成り立つことを示している。

実験結果

リサーチクエスチョン

• RQ1 シドレンコ予想は局所的に成り立つのか、すなわち、グラフオン $ W $ が定数関数 1 に十分近い場合に成り立つか？
• RQ2 $ t(K_2,W) = 1 $ であり、$ W - 1 $ に適切なノルム制約を課した場合、密度 $ t(F,W) $ は 1 以上に下から抑えられるか？
• RQ3 すべての辺数 $ m $ の二部グラフ $ F $ に対して $ t(F,W) \geq 1 $ を保証するための、$ \|W - 1\|_{\square} $ や $ \|W - 1\|_{\infty} $ の最良の境界は何か？
• RQ4 負の重みをもつ符号付きグラフオンにおける部分グラフ密度はどのように振る舞い、極値不等式の証明に利用できるか？
• RQ5 高サイクル長や有界次数といった特定の構造的性質を持つグラフに対して、局所的シドレンコ予想を拡張できるか？

主な発見

• もし $ \|W - 1\|_{\infty} \leq 1/(4m) $ ならば、任意の辺数 $ m $ の二部グラフ $ F $ と $ \int W = 1 $ を満たす場合、$ t(F,W) \geq 1 $ が成り立つ。
• カットノルムで $ \|W - 1\|_{\square} \leq 2^{-8m} $ ならば、$ W \leq 2 $ を仮定しなくても $ t(F,W) \geq 1 $ が成り立つ。
• $ W $ が $ t(C_4,W) \leq 2^{-4m} $ を満たす場合、$ t(F,W) \geq 1 $ が成り立つ。これは、$ C_4 $ の密度によって定義される近傍で予想が成立することを示している。
• 上記のノルム制約のもとで、$ W = 1 $ の周りにおける $ t(F,W) $ の展開におけるすべての高次項の和が非負であることが示され、$ 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 $ が成り立つ。