[論文レビュー] Benjamini--Schramm continuity of root moments of graph polynomials

Péter Csíkvári, Péter E. Frenkel|arXiv (Cornell University)|Apr 2, 2012

Advanced Combinatorial Mathematics参考文献 13被引用数 5

ひとこと要約

本稿は、有界指数型のものに限定された広範なクラスのグラフ多項式に対して、根モーメントのBenjamini–Schramm連続性を確立する。具体的には、有界指数型の乗法的グラフ多項式について、先行研究の彩色多項式に関する結果を一般化する。Benjamini–Schramm収束するグラフ列に対して、根測度の正則モーメントが収束することを証明し、AbértとHubaiの研究を拡張するとともに、彩色多項式の場合ですらより単純な証明を与える。

ABSTRACT

Recently, M.\ Abért and T.\ Hubai studied the following problem. The chromatic measure of a finite simple graph is defined to be the uniform distribution on its chromatic roots. Abért and Hubai proved that for a Benjamini-Schramm convergent sequence of finite graphs, the chromatic measures converge in holomorphic moments. They also showed that the normalized log of the chromatic polynomial converges to a harmonic real function outside a bounded disc. In this paper we generalize their work to a wide class of graph polynomials, namely, multiplicative graph polynomials of bounded exponential type. A special case of our results is that for any fixed complex number $v_0$ the measures arising from the Tutte polynomial $Z_{G_n}(z,v_0)$ converge in holomorphic moments if the sequence $(G_n)$ of finite graphs is Benjamini--Schramm convergent. This answers a question of Abért and Hubai in the affirmative. Even in the original case of the chromatic polynomial, our proof is considerably simpler.

研究の動機と目的

• Benjamini–Schramm収束のもとでの彩色測度収束に関するAbértとHubaiの結果を、より広範なクラスのグラフ多項式へと拡張すること。
• 有界指数型のグラフ多項式の根に対して一様な境界を確立し、彩色多項式におけるSokalの境界を一般化すること。
• グラフ多項式が乗法的かつ有界指数型である場合に、Benjamini–Schramm収束する有限グラフ列における根測度の正則モーメントが収束することを証明すること。
• 特に彩色多項式の場合において、従来の研究と比較して証明技法を単純化すること。
• 2-乗法性の条件下で、根の累乗和モーメントを2連結部分グラフの表現として明示的な公式で与えること。

提案手法

• 部分グラフ係数に依存する関数R(Δ)を用いて定義される、有界指数型のグラフ多項式のクラスを導入する。
• 一般化されたSokal型の境界を証明する：このような多項式の根は、c < 7.04 であるcR(Δ)で一様に有界である。
• 指数型性の性質を用いて多項式を部分グラフ上の母関数として表現し、再帰的分解を可能にする。
• Benjamini–Schramm収束を適用して、ランダムな頂点近傍の局所統計が安定することを示し、これにより根の分布が制御されることを保証する。
• 2-乗法性と同型不変性を活用して、根の累乗和モーメントを部分グラフの同型写像密度の線形結合として表現する。
• 連結性が制御されたグラフ上の組合せ的分解を用いて、累乗和展開における係数の明示的公式を導出する。

実験結果

リサーチクエスチョン

• RQ1 Benjamini–Schramm収束のもとでの彩色測度収束が、彩色多項式以外のグラフ多項式に対しても拡張可能か？
• RQ2 彩色多項式を超える広範なクラスのグラフ多項式について、一様な根の境界を確立できるか？
• RQ3 グラフ多項式が乗法的かつ有界指数型であるとき、Benjamini–Schramm収束するグラフ列に沿って、根測度の列が正則モーメントで収束する条件は何か？
• RQ4 彩色多項式の証明技法を、他の乗法的グラフ多項式へと単純化・一般化できるか？
• RQ5 指数型のグラフ多項式について、根の累乗和モーメントの代数的構造は、部分グラフ密度の観点からどのように記述できるか？

主な発見

• 任意の有界指数型のグラフ多項式について、その境界関数Rを用いて、すべての根の絶対値がcR(Δ)未満である。ただしc < 7.04である。
• グラフ多項式が乗法的かつ有界指数型である場合、任意のBenjamini–Schramm収束する有限グラフ列に対して、根測度の正則モーメントが収束する。
• AbértとHubaiがTutte多項式Z_G(z, v₀)の固定されたv₀における根測度の収束について提起した疑問に肯定的に答えている。
• 彩色多項式の場合の証明は、AbértとHubaiの元の証明と比較して著しく単純化されている。
• 2-乗法性の下で、k次の根の累乗和は、サイズが高々k+1の2連結部分グラフの表現として明示的に導出可能である。
• Tutte多項式Z_G(q,v)において、累乗和展開の係数は、特定の辺・頂点制約を満たす部分グラフへの分解に関する符号付き和で与えられ、v^{|E(H_j)|}を含む。