[论文解读] Matrix-Forest Theorems

Pavel Chebotarev, Elena Shamis|arXiv (Cornell University)|Feb 25, 2006

Graph theory and applications参考文献 14被引用 13

一句话总结

本文建立了矩阵-森林定理，将矩阵-树定理推广至加权有向多重图与多重有向图中，用于计数生成根森林。证明了 $W(G) = I + L(G)$ 的 $(i,j)$-余子式等于顶点 $i$ 与 $j$ 位于同一棵以 $i$ 为根的树中的生成根森林的数量，而 $W(G)$ 的行列式则给出此类森林的总数，$W^{-1}(G)$ 提供了顶点间相对森林可达性的度量。

ABSTRACT

The Laplacian matrix of a graph $G$ is $L(G)=D(G)-A(G)$, where $A(G)$ is the adjacency matrix and $D(G)$ is the diagonal matrix of vertex degrees. According to the Matrix-Tree Theorem, the number of spanning trees in $G$ is equal to any cofactor of an entry of $L(G)$. A rooted forest is a union of disjoint rooted trees. We consider the matrix $W(G)=I+L(G)$ and prove that the $(i,j)$-cofactor of $W(G)$ is equal to the number of spanning rooted forests of $G$, in which the vertices $i$ and $j$ belong to the same tree rooted at $i$. The determinant of $W(G)$ equals the total number of spanning rooted forests, therefore the $(i,j)$-entry of the matrix $W^{-1}(G)$ can be considered as a measure of relative ''forest-accessibility'' of vertex $i$ from $j$ (or $j$ from $i$). These results follow from somewhat more general theorems we prove, which concern weighted multigraphs. The analogous theorems for (multi)digraphs are also established. These results provide a graph-theoretic interpretation for the adjugate to the Laplacian characteristic matrix.

研究动机与目标

• 将矩阵-树定理从计数生成树推广至加权多重图与多重有向图中的生成根森林计数。
• 通过矩阵 $W(G) = I + L(G)$，为拉普拉斯特征矩阵 $Z( heta, G)$ 的代数余子式提供图论解释。
• 利用 $W^{-1}(G)$ 的元素定义并形式化顶点间相对森林可达性的概念。
• 为有向多重图建立类似结果，将基尔霍夫矩阵与发散森林关联。
• 统一并推广关于拉普拉斯特征多项式与森林计数的先前成果，包括凯尔曼斯与切尔诺科夫的研究。

提出的方法

• 定义 $W(G) = I + L(G)$，其中 $L(G)$ 为加权多重图 $G$ 的拉普拉斯矩阵，并分析其余子式与行列式。
• 利用 $W(G)$ 的特征多项式 $\det(W_\lambda) = \sum_{k=0}^n b_k \lambda^k$，将系数 $b_k$ 与具有 $k$ 个连通分量的加权森林计数关联。
• 应用马比的余子式定理，将 $W(G)$ 的 $(i,j)$-余子式表示为路径与森林之和，建立 $L_{-\varphi}^{ij}$ 与 $\varepsilon(\mathcal{F}_{\varphi \cup \{i\}}^{i \to j})$ 的联系。
• 在无向图的生成根森林与其中对应有向图的发散森林之间建立一一对应关系（通过将每条边替换为两条方向相反的弧）。
• 利用关于拉普拉斯特征多项式与主子式已知的结果，特别是凯尔曼斯与切尔诺科夫的研究，证明主要定理。
• 利用恒等式 $\det(W(G)) = \sum_{\varphi \subseteq V} \varepsilon(\mathcal{F}_\varphi)$ 证明行列式计数了所有生成根森林。

实验结果

研究问题

• RQ1 如何将矩阵-树定理推广，以计数生成根森林而非仅生成树？
• RQ2 $W(G) = I + L(G)$ 的 $(i,j)$-余子式的组合解释是什么，其与根森林的关系如何？
• RQ3 $W(G)$ 的逆矩阵能否被解释为顶点间相对森林可达性的度量？
• RQ4 这些结果如何推广至有向多重图？在此背景下，发散森林的作用是什么？
• RQ5 $W(G)$ 的特征多项式系数与具有固定连通分量数的森林计数之间有何关联？

主要发现

• $(i,j)$-余子式 $W(G) = I + L(G)$ 等于图 $G$ 中顶点 $i$ 与 $j$ 位于同一棵以 $i$ 为根的树中的生成根森林的数量。
• $W(G)$ 的行列式等于图 $G$ 中所有生成根森林的总数，与根的配置无关。
• $W^{-1}(G)$ 的 $(i,j)$-元素可作为顶点 $i$ 相对于 $j$ 的相对森林可达性的度量，数值越大表示森林结构中连通性越强。
• 对于有向多重图，有向图的基尔霍夫矩阵对应于发散森林的数量，且具有类似的余子式公式。
• $W(G)$ 的特征多项式系数是具有固定连通分量数的森林的加权计数之和，推广了凯尔曼斯与切尔诺科夫的早期结果。
• 证明技术依赖于基于路径的余子式分解，借助马比定理将矩阵余子式与图中的路径和森林结构关联。