[论文解读] 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

一句话总结

本文建立了对一大类图多项式——具体而言，有界指数型的乘法图多项式——的根矩生成的本杰明-施拉姆连续性，推广了早期关于色多项式的成果。证明了对于本杰明-施拉姆收敛的图序列，根测度的全纯矩收敛，扩展了阿贝特与胡拜的工作，并在色多项式情形也提供了更简化的证明。

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.

研究动机与目标

• 将阿贝特与胡拜关于在本杰明-施拉姆收敛下色测度收敛的结果，推广至更广泛的图多项式类。
• 为有界指数型图多项式建立根的统一有界性，推广索卡勒对色多项式的界限。
• 证明当图多项式为乘法且具有有界指数型时，本杰明-施拉姆收敛的图序列的根测度的全纯矩收敛。
• 与先前工作相比，简化证明技术，尤其在色多项式情形。
• 在2-乘法性条件下，给出根的幂和矩的显式公式，以2-连通子图表示。

提出的方法

• 引入有界指数型图多项式类，通过子图系数上的有界函数 R(Δ) 定义。
• 证明广义索卡勒型界限：此类多项式的根的绝对值统一有界于 cR(Δ)，其中 c < 7.04。
• 利用指数型性质，将多项式表示为子图上的生成函数，从而实现递归分解。
• 应用本杰明-施拉姆收敛性，表明随机顶点邻域的局部统计量趋于稳定，从而控制根的分布。
• 利用2-乘法性和同构不变性，将根的幂和矩表示为子图同态密度的线性组合。
• 通过控制连通性的图上的组合分解，推导出幂和展开中系数的显式公式。

实验结果

研究问题

• RQ1 本杰明-施拉姆收敛下色测度的收敛性是否可推广至色多项式以外的其他图多项式？
• RQ2 能否为色多项式以外的广泛图多项式类建立统一的根有界性？
• RQ3 在何种条件下，图多项式根测度序列在本杰明-施拉姆收敛序列下于全纯矩收敛？
• RQ4 色多项式证明技术能否被简化并推广至其他乘法图多项式？
• RQ5 对于指数型图多项式，根的幂和矩在子图密度下的代数结构为何？

主要发现

• 对于任意具有有界函数 R 的有界指数型图多项式，所有根的绝对值小于 cR(Δ)，其中 c < 7.04。
• 当图多项式为乘法且具有有界指数型时，任意本杰明-施拉姆收敛的有限图序列，其根测度的全纯矩收敛。
• 本结果正面回答了阿贝特与胡拜关于图多项式 Z_G(z, v₀) 在固定 v₀ 时根测度收敛性的问题。
• 色多项式情形的证明比阿贝特与胡拜的原始证明显著简化。
• 在2-乘法性条件下，推导出根的k阶幂和矩的显式公式，以大小至多为k+1的2-连通子图表示。
• 对于图多项式 Z_G(q,v)，幂和展开中的系数由满足特定边与顶点约束的子图分解的带符号和给出，涉及 v^{|E(H_j)|}。