[論文レビュー] Sidorenko's conjecture for higher tree decompositions

David Conlon, Jeong Han Kim+2 more|arXiv (Cornell University)|May 6, 2018

Limits and Structures in Graph Theory参考文献 5被引用数 3

ひとこと要約

本稿は、反復的木分解を用いて、Sidorenkoの予想をより広いグラフ族へと拡張する。『k強木分解』と呼ばれる概念を導入し、強木分解可能グラフを一般化する。エントロピー法と確率的カップリング補題を応用することで、ホストグラフGの度数にやや厳しい制約がある場合に、このようなグラフがSidorenkoの予想を満たすことを証明する。これにより、予想が成立することが知られていたグラフの範囲が著しく拡張される。

ABSTRACT

This is a companion note to our paper 'Some advances on Sidorenko's conjecture', elaborating on a remark in that paper that the approach which proves Sidorenko's conjecture for strongly tree-decomposable graphs may be extended to a broader class, comparable to that given in work of Szegedy, through further iteration.

研究の動機と目的

• 強木分解可能グラフを超えるクラスへのSidorenkoの予想の一般化を、高階の木分解を導入することで達成すること。
• エントロピーに基づく証明技法を保ちながら、k強木分解を反復的に構成するフレームワークを構築すること。
• ホストグラフGの最大次数が有界である場合に、k強木分解を許容するグラフがSidorenkoの予想を満たすことを証明すること。
• 再帰的エントロピー計算を用いて、[1]、[2]、Szegedyの研究[5]の先行結果を統一的かつ拡張すること。

提案手法

• 部分集合族Fによってインデックス付けされた[k]上のマルコフ木の概念を導入し、パスに基づく共通部分集合条件を満たす。
• 定理1として、局所エントロピーの和から対応するペアワイズオーバーラップを差し引いた値に等しいエントロピーを持つ、結合された確率変数Y_iの存在を保証する確率的補題を適用する。
• 一貫した局所分布からグローバル確率変数を構成するための鍵となる道具として、コルモゴロフ拡張定理を用いる。
• 部分集合の重なりを考慮しながら、族Fのサイズに関する帰納法を用いて、定理1におけるエントロピー公式の証明を行い、一貫性を保証する。
• k強木分解を再帰的に定義し、各ピeceが再帰的に強木分解可能であることを仮定し、このようなグラフが一貫したk関連分布を有することを証明する。
• エントロピー公式をHからGへのランダムなホモモーフィズムに適用し、画像分布のエントロピーの下界を導出する。

実験結果

リサーチクエスチョン

• RQ1 強木分解可能グラフに用いられるエントロピー法を、反復的により広いクラスのグラフへと拡張することは可能か？
• RQ2 グラフHがどのような構造的性質を満たせば、高階の木分解を用いてSidorenkoの予想を満たすか？
• RQ3 重なり合う部分集合上の局所分布から、エントロピー最大化を用いて一貫したグローバル分布をどのように構成できるか？
• RQ4 k強木分解は、Sidorenkoの予想が証明可能なグラフのクラスをどの程度一般化するか？
• RQ5 ホストグラフGに必要な度数条件は何か？ これにより、Sidorenkoの予想に必要なエントロピーの下界が保証されるか？

主な発見

• 本稿は、ホストグラフGの最大次数が4|E(G)|/|V(G)|以下である場合に、k強木分解を許容する任意のグラフHがSidorenkoの予想を満たすことを証明している。
• k強木分解を許容するグラフの新たなクラスが、強木分解可能グラフの先行結果を一般化して、Sidorenkoの予想を満たすことが同定された。
• Hom(H,G)上のk関連分布のエントロピーは、|E(H)| log(2|E(G)|/|V(G)|²) + |V(H)| log|V(G)| + c_H で下から抑えられ、ここでc_HはHにのみ依存する定数である。
• k関連分布の構成は、分解の同型写像に関して不変であるため、同型な部分構造間で一貫性が保たれる。
• 証明は、重複するエントロピーを差し引く再帰的エントロピー公式に依存しており、エントロピー法が高階構造へと一般化されている。
• 結果として、木分解によるエントロピー法の反復的適用が、Sidorenkoの予想を満たす広範かつ自然なグラフクラスを生成することが確認された。