[论文解读] Degree distribution in random planar graphs

Michael Drmota, Omer Giménez+1 more|ArXiv.org|Nov 23, 2009

Stochastic processes and statistical mechanics参考文献 20被引用 10

一句话总结

本文通过分析带标记根度的生成函数，建立了随机平面图的渐近度分布，证明了顶点度为 $k$ 的概率收敛于一个可计算的常数 $d_k$，且满足 $\sum_k d_k = 1$。关键结果是概率生成函数 $p(w) = \sum_k d_k w^k$ 的显式表达式，由此得出 $d_k \sim c \cdot k^{-1/2} q^k$（其中 $q \approx 0.67$），该结果通过复生成函数的奇点分析推导得出。

ABSTRACT

We prove that for each $k\ge0$, the probability that a root vertex in a random planar graph has degree $k$ tends to a computable constant $d_k$, so that the expected number of vertices of degree $k$ is asymptotically $d_k n$, and moreover that $\sum_k d_k =1$. The proof uses the tools developed by Gimenez and Noy in their solution to the problem of the asymptotic enumeration of planar graphs, and is based on a detailed analysis of the generating functions involved in counting planar graphs. However, in order to keep track of the degree of the root, new technical difficulties arise. We obtain explicit, although quite involved expressions, for the coefficients in the singular expansions of the generating functions of interest, which allow us to use transfer theorems in order to get an explicit expression for the probability generating function $p(w)=\sum_k d_k w^k$. From this we can compute the $d_k$ to any degree of accuracy, and derive the asymptotic estimate $d_k \sim c\cdot k^{-1/2} q^k$ for large values of $k$, where $q \approx 0.67$ is a constant defined analytically.

研究动机与目标

• 确定在随机平面图中，当顶点数 $n \to \infty$ 时，一个固定顶点度为 $k$ 的极限概率。
• 证明度为 $k$ 的顶点的期望数量渐近为 $d_k n$，且满足 $\sum_k d_k = 1$，从而确认存在一个定义良好的度分布。
• 开发一种基于生成函数的解析组合方法，以任意精度计算常数 $d_k$。
• 将分析扩展至2-连通与3-连通平面图，在结构约束下推导相应的度分布。

提出的方法

• 利用 Giménez 和 Noy 为平面图渐近计数所建立的生成函数框架，将其扩展以追踪根顶点的度。
• 为2-连通平面图引入一个带根的生成函数 $B^\bullet(x,y,w)$，其中 $x$ 标记顶点数，$y$ 标记边数，$w$ 标记根的度，并求解涉及隐式代数函数的微分方程。
• 在主导奇点附近对生成函数进行详细的奇点展开分析，尽管复杂度很高，仍能显式计算系数。
• 应用转移定理及一个关于奇点展开复合的技巧性引理，推导出连通平面图生成函数的渐近行为。
• 从渐近展开中导出概率生成函数 $p(w) = \sum_k d_k w^k$，从而实现 $d_k$ 的精确计算。
• 将该方法扩展至边权模型，其中边密度为 $\mu$，利用鞍点近似分析在固定 $\mu n$ 条件下的度分布。

实验结果

研究问题

• RQ1 当 $n \to \infty$ 时，一个固定顶点在随机平面图中度为 $k$ 的极限概率是多少？
• RQ2 随机平面图的度分布能否表示为可计算的概率生成函数 $p(w) = \sum_k d_k w^k$？
• RQ3 当 $k$ 很大时，$d_k$ 的渐近行为如何？能否以闭式表达？
• RQ4 当限制在2-连通或3-连通平面图时，度分布如何变化？
• RQ5 在固定边密度 $\mu n$ 的条件下，度分布能否被分析？与均匀模型相比有何差异？

主要发现

• 在随机平面图中，当 $n \to \infty$ 时，一个固定顶点度为 $k$ 的概率收敛于一个可计算的常数 $d_k$，且满足 $\sum_k d_k = 1$。
• 概率生成函数 $p(w) = \sum_k d_k w^k$ 被显式推导，并证明其为有效的概率生成函数。
• 当 $k$ 很大时，$d_k$ 的渐近行为为 $d_k \sim c \cdot k^{-1/2} q^k$，其中 $q \approx 0.67$ 是一个通过解析方法定义的常数。
• 通过生成函数奇点展开的推导表达式，可对常数 $d_k$ 实现任意精度的计算。
• 对于边密度为 $\mu n$ 的平面图，度分布由 $\sum_k d_{\mu,k} w^k = -e^{B_0(y,w)-B_0(y,1)}B_2(y,w) + e^{B_0(y,w)-B_0(y,1)} \frac{1+B_2(y,1)}{B_3(y,1)} B_3(y,w)$ 给出，其中 $y$ 满足一个鞍点方程。
• 数值结果与 Fusy 的均匀生成算法所得的实验数据在表1中表现出强烈的一致性。