[论文解读] Polynomial representation for the expected length of minimal spanning trees

Jared Nishikawa, Peter T. Otto+1 more|arXiv (Cornell University)|Jan 15, 2015

Graph theory and applications参考文献 7被引用 4

一句话总结

本文推导了斯蒂尔积分公式中多项式被积函数系数的一般公式，该公式用于计算边长独立同分布于[0,1]的图上最小生成树（MST）期望长度。研究证明，前七个系数可明确用图不变量（如顶点数、边数和环结构）表示，并为完全图 $K_n$ 提供了精确公式，揭示了多项式结构，可能有助于解决关于期望MST长度单调性与凹性的猜想。

ABSTRACT

In this paper, we investigate the polynomial integrand of an integral formula that yields the expected length of the minimal spanning tree of a graph whose edges are uniformly distributed over the interval [0, 1]. In particular, we derive a general formula for the coefficients of the polynomial and apply it to express the first few coefficients in terms of the structure of the underlying graph; e.g. number of vertices, edges and cycles.

研究动机与目标

• 推导斯蒂尔积分公式中多项式被积函数系数的一般公式，用于计算期望MST长度。
• 将前几项系数用图论不变量（如顶点数、边数和环结构）表示。
• 分析完全图 $K_n$ 的多项式被积函数结构，并识别其系数中的模式。
• 探讨多项式结构是否可支持关于 $K_n$ 的期望MST长度单调递增且凹的猜想。

提出的方法

• 使用斯蒂尔的积分公式，该公式通过图的图多项式偏导数表达 $\mathbb{E}[L(G)]$。
• 通过代入 $x = 1/t$，$y = 1/(1-t)$ 并利用二项式展开化简，将被积函数转化为多项式。
• 推导多项式 $p_m(t)$ 中 $t^i$ 项系数 $a_i$ 的一般表达式，其为对生成子图按其连通分量数加权求和。
• 应用系数公式，显式计算一般图及 $K_n$ 的 $a_0$ 到 $a_6$，利用子图与环的组合计数。
• 将 $K_n$ 的多项式被积函数因式分解为 $(1-t)^{n-1} q(t)$，其中 $q(t)$ 为次数不超过 $\binom{n-1}{2}$ 的多项式，揭示结构分解。
• 利用 $K_n$ 中环与子图的已知计数，以二项式系数形式计算 $a_3$ 至 $a_6$ 的精确表达式。

实验结果

研究问题

• RQ1 斯蒂尔公式中多项式被积函数的系数能否用图论不变量（如顶点数、边数和环数）表示？
• RQ2 一般连通图的多项式被积函数前七个系数的显式形式为何？
• RQ3 完全图 $K_n$ 的多项式被积函数系数行为如何？其是否揭示与 $\mathbb{E}[L(K_n)]$ 单调性与凹性相关的模式？
• RQ4 $K_n$ 的多项式被积函数是否存在结构分解，可揭示更深层的代数或组合性质？

主要发现

• 第一项系数为 $a_0 = n$，即顶点数，对应无边生成子图且具有 $n$ 个连通分量的情况。
• 第二项系数为 $a_1 = -m$，即边数的相反数，来源于单边子图。
• 第三项系数为 $a_2 = 0$，表明两倍边子图对 $t^2$ 项无贡献。
• 对于完全图 $K_n$，系数 $a_3 = \binom{n}{3}$，源于图中三角形的数量。
• 对于 $K_n$，系数 $a_4 = 3\binom{n}{4}$，反映四元环及相关子图的贡献。
• 完全图 $K_n$ 的多项式被积函数可因式分解为 $p_m(t) = (1-t)^{n-1} q(t)$，其中 $q(t)$ 为次数不超过 $\binom{n-1}{2}$ 的多项式，暗示递归或分层结构。