[论文解读] Central limit theorems, Lee-Yang zeros, and graph-counting polynomials

Joel L. Lebowitz, Boris Pittel+2 more|arXiv (Cornell University)|Aug 18, 2014

Advanced Combinatorial Mathematics参考文献 31被引用 10

一句话总结

本文通过分析生成多项式的零点位置，建立了组合与统计物理系统中中心极限定理（CLT）及局部中心极限定理（LCLT）的充分条件。证明表明，若图计数多项式或广义配分函数的零点位于闭左半平面内，则随着系统尺寸增大，被占据边数或粒子数渐近服从正态分布，且显式界由正实轴附近无零点及方差增长速率决定。

ABSTRACT

We consider the asymptotic normalcy of families of random variables $X$ which count the number of occupied sites in some large set. We write $Prob(X=m)=p_mz_0^m/P(z_0)$, where $P(z)$ is the generating function $P(z)=\sum_{j=0}^{N}p_jz^j$ and $z_0>0$. We give sufficient criteria, involving the location of the zeros of $P(z)$, for these families to satisfy a central limit theorem (CLT) and even a local CLT (LCLT); the theorems hold in the sense of estimates valid for large $N$ (we assume that $Var(X)$ is large when $N$ is). For example, if all the zeros lie in the closed left half plane then $X$ is asymptotically normal, and when the zeros satisfy some additional conditions then $X$ satisfies an LCLT. We apply these results to cases in which $X$ counts the number of edges in the (random) set of "occupied" edges in a graph, with constraints on the number of occupied edges attached to a given vertex. Our results also apply to systems of interacting particles, with $X$ counting the number of particles in a box $Λ$ whose size approaches infinity; $P(z)$ is then the grand canonical partition function and its zeros are the Lee-Yang zeros.

研究动机与目标

• 建立在大图中计数被占据点或边的随机变量族渐近正态性的充分条件。
• 将生成多项式零点位置与中心极限定理（CLT）及局部中心极限定理（LCLT）的有效性联系起来。
• 将单体-双体与聚合物模型的结果推广至更广泛的硬核相互作用系统。
• 提出一种无需依赖空间混合或独立性假设的零自由区域准则，以保证CLT的有效性。
• 将该方法扩展至具有广义相互作用势的系统，包括具有广义配分函数的统计力学系统。

提出的方法

• 该方法使用生成函数 $ P(z) = \sum_{m=0}^N p_m z^m $，其中 $ p_m $ 计数大小为 $ m $ 的可接受构型，且 $ \text{Prob}(X = m) = p_m z_0^m / P(z_0) $（$ z_0 > 0 $）。
• 推导出 $ P(z) $ 零点位置的充分条件——特别是所有零点位于闭左半平面内——以保证随机变量 $ X $ 满足中心极限定理。
• 分析依赖于在 $ z_0 $ 周围大小均匀的圆盘内无零点，结合方差增长条件 $ \text{Var}(X) \gg N^{2/3} $（当 $ N \to \infty $ 时）。
• 对于局部中心极限定理，还需额外的零点分布条件（如均匀分离），以确保格点型收敛。
• 该方法应用于图计数多项式，其中每个顶点的边占据数受约束（如 $ d_M(v) \in \{0,1,2\} $），推广了匹配多项式。
• 通过将 $ P(z) $ 解释为配分函数及其零点为李-杨零点，该方法被扩展至统计力学系统中的广义配分函数。

实验结果

研究问题

• RQ1 当生成多项式 $ P(z) $ 的零点满足何种条件时，大图中被占据边数满足中心极限定理？
• RQ2 当 $ P(z) $ 的零点位于闭左半平面且满足额外正则性条件时，能否为图计数多项式建立局部中心极限定理？
• RQ3 在缺乏空间结构的情况下，$ z_0 > 0 $ 周围圆盘内无零点与 $ X $ 的渐近正态性有何关联？
• RQ4 在多大程度上可不依赖图中远距离区域的空间混合或近似独立性假设来证明中心极限定理？
• RQ5 作用势满足何种条件可确保配分函数的零点避开 $ z_0 $ 的邻域，从而在统计力学系统中保证中心极限定理的有效性？

主要发现

• 若生成多项式 $ P(z) $ 的所有零点位于闭左半平面内，则随着 $ N \to \infty $，计数被占据边或粒子的随机变量 $ X $ 为渐近正态。
• 对零点分布的附加条件（如均匀分离或无重根）可确保 $ X $ 满足局部中心极限定理（LCLT）。
• 当 $ \text{Var}(X) \gg N^{2/3} $ 且 $ P(z) $ 在 $ z_0 > 0 $ 周围大小均匀的圆盘内无零点时，即使在无空间结构的一般图中，中心极限定理仍成立。
• 对于具有硬核相互作用的系统（如 $ d_M(v) \in \{0,1,2\} $），该方法可导出被占据边数的局部中心极限定理。
• 在统计力学中，若广义配分函数 $ P(z) $ 的李-杨零点避开 $ z_0 $ 的邻域，则其满足中心极限定理条件，推广了单体-双体系统中的已知结果。
• 该方法适用于具有广义多体势的系统，只要相互作用能满足 $ \sup_m \sum_y (1 - e^{-\beta W_+(Y_m|y)}) < \infty $ 且 $ \inf_m V(Y_m|x) > -\infty $，以保证所需的正性和衰减性。