[論文レビュー] Cut distance identifying graphon parameters over weak* limits

Martin Doležal, Jan Grebík+3 more|arXiv (Cornell University)|Sep 11, 2018

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

ひとこと要約

本稿は、グラフンの列の弱*収束の極限集合におけるカット距離の極限を一意に特定する『カット距離同定パラメータ』—すなわち、グラフンパラメータのうち、カット距離の極限を一意に特定する関数—を導入し、その性質を研究する。ホモモルフィズム密度、エントロピー、スペクトル、凸性を用いた分析を通じて、著者らは、連結な弱ノルムグラフがステップ・シドレンコ的であること、ノルムグラフがステップ強制的であること、連続的なカット距離同定パラメータが『ポンピング性質』を満たすことを証明した。この性質は、フリーズェ＝カナンの正則化補題の新たな証明を可能にする。

ABSTRACT

The theory of graphons comes with the so-called cut norm and the derived cut distance. The cut norm is finer than the weak* topology (when considering the predual of $L^{1}$-functions). Dole\v{z}al and Hladk\'y [J. Combin. Theory Ser. B 137 (2019), 232-263] showed, that given a sequence of graphons, a cut distance accumulation graphon can be pinpointed in the set of weak* accumulation points as a minimizer of the entropy. Motivated by this, we study graphon parameters with the property that their minimizers or maximizers identify cut distance accumulation points over the set of weak* accumulation points. We call such parameters cut distance identifying. Of particular importance are cut distance identifying parameters coming from homomorphism densities, $t(H,\cdot)$. This concept is closely related to the emerging field of graph norms, and the notions of the step Sidorenko property and the step forcing property introduced by Kr\'a\v{l}, Martins, Pach and Wrochna [J. Combin. Theory Ser. A 162 (2019), 34-54]. We prove that a connected graph is weakly norming if and only if it is step Sidorenko, and that if a graph is norming then it is step forcing. Further, we study convexity properties of cut distance identifying graphon parameters, and find a way to identify cut distance limits using spectra of graphons. We also show that continuous cut distance identifying graphon parameters have the {\guillemotleft}pumping property{\guillemotright}, and thus can be used in the proof of the Frieze-Kannan regularity lemma.

研究の動機と目的

• 弱*収束の極限集合内においてカット距離の極限を一意に特定するグラフンパラメータを同定すること。
• 数値的パラメータを介して弱*収束とカットノルム収束を結びつけることで、グラフ極限理論の理論を拡張すること。
• カット距離同定パラメータと、準ランダム性や正則化補題といったグラフ極限理論の基本的概念との関係を確立すること。
• ホモモルフィズム密度、エントロピー、スペクトル的性質がカット距離極限を同定する役割を果たす仕組みを解明すること。
• グラフンパラメータの凸性およびスペクトル的性質を用いて、グラフノルムおよび強制的性質に関する構造的結果を導出すること。

提案手法

• カット距離極限と一致する弱*収束集合上の最大化・最小化点を持つパラメータを『カット距離同定』と定義する。
• 特に二部グラフに対しては、ホモモルフィズム密度 t(H, ·) を主な例として用いる。
• Jensenの不等式と測度の分解を用いて、構造的順序 ⪯ におけるパラメータ値を比較する。
• グラフンの固有値和を用いたスペクトル理論を活用し、偶数長のサイクルに対してカット距離同定を証明する。
• 凸性およびエンvelope理論を用いて、連続的なカット距離同定パラメータが『ポンピング性質』を満たすことを示し、正則化補題の証明に応用する。
• スペクトル的および密度に基づく議論により、連結な弱ノルムグラフがステップ・シドレンコ的であり、ノルムグラフがステップ強制的であることを証明する。

実験結果

リサーチクエスチョン

• RQ1 弱*収束の極限集合内において、カット距離の極限を一意に特定するグラフンパラメータは何か？
• RQ2 ホモモルフィズム密度 t(H, ·) は、グラフのステップ・シドレンコ的およびステップ強制的性質とどのように関係するか？
• RQ3 弱ノルムグラフとステップ・シドレンコ的性質の関係は何か？
• RQ4 凸的または連続的なカット距離同定パラメータを用いて、フリーズェ＝カナンの正則化補題を証明できるか？
• RQ5 ローカルにステップ・シドレンコ的およびローカルにステップ強制的グラフは、どのように特徴づけられるか？

主な発見

• 連結なグラフが弱ノルムであるための必要十分条件は、それがステップ・シドレンコ的であることである。これは、グラフ極限理論における二つの主要概念の間の直接的な同値性を確立する。
• グラフがノルムであるならば、それはステップ強制的である。これは、より強いノルム条件から強制的性質が導かれるという事実を示している。
• パラメータ t(K₁,ℓ, ·) はすべての ℓ ∈ ℕ に対してカット距離適合である。これは、構造的順序下でのJensenの不等式および測度の分解を用いて証明された。
• パラメータ t(C₂ℓ, ·) はすべての ℓ ≥ 2 に対してカット距離同定である。この証明は、構造的順序下での (2ℓ)-乗固有値和の厳密な増加性に依拠している。
• 連続的なカット距離同定グラフンパラメータは『ポンピング性質』を満たし、フリーズェ＝カナンの正則化補題の証明に応用可能である。
• グラフンのスペクトル—特にその固有値の (2ℓ)-乗和—を用いることで、カット距離極限を同定することができ、収束のスペクトル的特徴づけが得られる。