[论文解读] The Matrix of Maximum Out Forests of a Digraph and Its Applications

Rafig Agaev, Pavel Chebotarev|ArXiv.org|Feb 3, 2006

Advanced Graph Theory Research参考文献 16被引用 89

一句话总结

本文引入了加权有向图中最大出森林矩阵，证明其等于由该有向图导出的任意马尔可夫链的Cesfiro极限转移概率矩阵。关键贡献在于通过最大出森林的总权重，为有限马尔可夫链中的极限概率提供了新颖的解释，从而在偏好聚合、顶点可达性度量以及有向图结构分析中实现应用，方法基于矩阵-森林定理与谱方法。

ABSTRACT

We study the maximum out forests of a (weighted) digraph and the matrix of maximum out forests. A maximum out forest of a digraph G is a spanning subgraph of G that consists of disjoint diverging trees and has the maximum possible number of arcs. If a digraph contains any out arborescences, then maximum out forests coincide with them. We provide a new proof to the Markov chain tree theorem saying that the matrix of Ces`aro limiting probabilities of an arbitrary stationary finite Markov chain coincides with the normalized matrix of maximum out forests of the weighted digraph that corresponds to the Markov chain. We discuss the applications of the matrix of maximum out forests and its transposition, the matrix of limiting accessibilities of a digraph, to the problems of preference aggregation, measuring the vertex proximity, and uncovering the structure of a digraph.

研究动机与目标

• 形式化并分析加权有向图中最大出森林的概念。
• 建立同一有向图上最大出森林矩阵与马尔可夫链Cesfiro极限转移概率之间的联系。
• 利用最大出森林的总权重，为有限马尔可夫链中的极限概率提供一种新的解释。
• 在偏好聚合、顶点可达性度量以及有向图结构分析中发展应用。

提出的方法

• 将最大出森林定义为边数最多的不相交的发散树的生成子图，推广出树形图（out-arborescences）。
• 将最大出森林矩阵定义为所有最大出森林的加权归一化和，权重为边权。
• 利用矩阵-森林定理，将该矩阵与基尔霍夫矩阵L的预解式(I + τL)−1联系起来，并取τ → ∞的极限。
• 证明最大出森林的归一化矩阵等于由该有向图导出的任意马尔可夫链的Cesfiro极限转移概率矩阵。
• 将该矩阵应用于通过连接顶点对的最大出森林的总权重来度量顶点可达性。
• 使用谱方法与代数技术，包括秩一更新与收敛性分析，推导该矩阵在边权扰动下的稳定性与单调性性质。

实验结果

研究问题

• RQ1 如何在加权有向图中定义并表征最大出森林矩阵？
• RQ2 最大出森林矩阵与同一有向图上马尔可夫链的Cesfiro极限转移概率之间存在何种关系？
• RQ3 连接两个顶点的最大出森林的总权重如何作为它们之间可达性或接近度的度量？
• RQ4 在边权修改下，最大出森林矩阵满足哪些结构性与稳定性性质？
• RQ5 最大出森林矩阵在偏好聚合与有向图结构检测中有哪些应用方式？

主要发现

• 加权有向图的最大出森林归一化矩阵与由该有向图导出的任意马尔可夫链的Cesfiro极限转移概率矩阵完全一致。
• 最大出森林矩阵是随机矩阵，满足对角线极大性、传递性与单调性的非严格版本，但不满足严格形式或反向性质。
• 该矩阵提供了一种类度量的顶点接近度度量，尽管不满足三角不等式或度量可表示性。
• 在边权增加时，矩阵元素表现出单调行为：若从i到t的所有路径均经过k，则i到t的可达性增加量至少不小于i到k的增加量。
• 该矩阵可通过(I + τL)−1在τ → ∞时的极限计算得到，其零/非零模式可通过选择τ > ε2(F)来分离，其中F为所有最大出森林的集合。
• 极限可达性矩阵（最大出森林矩阵的转置）不可度量表示，且对某些顶点三元组违反三角不等式。