[論文レビュー] Matrices of Forests and the Analysis of Digraphs

Pavel Chebotarev, Rafig Agaev|ArXiv.org|Aug 9, 2005

Topological and Geometric Data Analysis参考文献 31被引用数 3

ひとこと要約

本稿では、有向グラフ（digraph）の解析に新たな道具として、全域根付き森の行列を導入し、頂点の到達可能性の測定、ソース双成分の同定、順位付け関係やスポーツ競技会からの代替順位のランキングに向けた強固な枠組みを提供する。主な貢献は、情報拡散の確率的解釈を可能にする正規化されたアウトフォレスト行列であり、これはマルコフ連鎖理論と整合する極限分布を生じる。

ABSTRACT

The matrices of spanning rooted forests are studied as a tool for analysing the structure of digraphs and measuring their characteristics. The problems of revealing the basis bicomponents, measuring vertex proximity, and ranking from preference relations / sports competitions are considered. It is shown that the vertex accessibility measure based on spanning forests has a number of desirable properties. An interpretation for the normalized matrix of out-forests in terms of information dissemination is given. Keywords: Laplacian matrix, spanning forest, matrix-forest theorem, proximity measure, bicomponent, ranking, incomplete tournament, paired comparisons

研究の動機と目的

• 全域根付き森を用いた行列ベースの枠組みを構築し、有向グラフの構造的性質を分析すること。
• 特に順位付け関係における最小支配集合に対応する、有向グラフ内のソース双成分（基本成分）を同定する手法を提供すること。
• 森行列に基づく頂点の到達可能性測度を導入し、望ましい数学的および解釈的性質を満たすこと。
• 正規化された森行列の確率的解釈を、ネットワーク内での情報拡散モデルの観点から提示すること。
• 提案された順位付け手法を一般化されたボーダ法など既存手法と比較し、一貫性と経路長への感受性のトレードオフを明らかにすること。

提案手法

• 弧の重みが (0,1] に属する重み付き有向グラフを定義し、部分グラフの重みをその弧の重みの積として定義する。
• アウトフォレスト行列 $ J $ を導入し、$ J_{ij} $ を頂点 $ i $ を根とするすべての全域アウトフォレストの重みの正規化された和（頂点 $ j $ に到達するものに限る）として定義する。
• 行列-森定理を用いて、最大アウトフォレストの総重みと、有向グラフから導かれるマルコフ連鎖のセザロ極限確率を関連付ける。
• 有向グラフのラプラシアン行列 $ L $ を用いて、$ L \widetilde{J} = 0 $ の解として行列 $ \widetilde{J} $ を構築する。
• 各ソース双成分に対応する直交基底ベクトルを用いて、この方程式の一般解を導出する。各成分は、それぞれの双成分内におけるアウトアーゲブラスの総重みに比例する。
• 初期状態が一様分布である場合の極限状態分布として、$ \widetilde{J} $ の列の算術平均 $ x = \frac{1}{n} \widetilde{J} \mathbf{1} $ を提案し、マルコフ連鎖のエルゴード性と結びつける。

実験結果

リサーチクエスチョン

• RQ1 全域根付き森を用いて、有向グラフのソース双成分（基本成分）を同定する方法は何か？
• RQ2 森行列に基づく頂点の到達可能性測度が有する性質は何か？また、ルートベースの測度と比べてどう異なるか？
• RQ3 正規化されたアウトフォレスト行列は、確率的情報拡散モデルにおいて確率分布として解釈可能か？
• RQ4 提案された森行列に基づく順位付け手法は、一般化されたボーダ法と比較して、一貫性と経路長への感受性の観点でどのように異なるか？
• RQ5 最大全域アウトフォレストの総重みと、有向グラフ上でのマルコフ連鎖の極限分布との関係は何か？

主な発見

• $ \widetilde{J} $ はラプラシアンと森構造から導かれるが、$ L \widetilde{J} = 0 $ の解であり、ランクが $ d' $ である（$ d' $ はソース双成分の数）。
• 同じソース双成分に属する頂点に対応する $ \widetilde{J} $ の列は直交的かつ線形独立であり、解空間の基底をなす。
• 正規化されたアウトフォレスト行列 $ J $ の各列の和が等しいため、頂点間の相対的到達可能性測度として解釈可能である。
• 行列 $ \widetilde{J} $ の列の算術平均 $ x = \frac{1}{n} \widetilde{J} \mathbf{1} $ は、初期状態が一様分布である場合のマルコフ連鎖の極限状態分布に対応する。
• $ \widetilde{J} $ はソース双成分に属さない頂点にゼロのスコアを割り当てるが、これは長距離経路の順位付けにおいて問題となる可能性がある。これは $ Q(\tau) $ に基づく手法とは対照的である。
• 森に基づく順位付け手法は、ルートカウント手法と同様に自己一貫性の単調性公理を満たさないが、一般化されたボーダ法とは異なり、その公理を満たす。