[論文レビュー] Determinants of weighted path matrices

Kelli Talaska|arXiv (Cornell University)|Feb 14, 2012

Advanced Combinatorial Mathematics参考文献 4被引用数 10

ひとこと要約

本稿は、有向グラフに含まれるサイクルを含む一般の有向グラフに対し、重み付きパス行列のすべての小行列式に対する有理式を導出することによって、Lindström–Gessel–Viennotの補題を一般化する。パスとサイクルのペアに対する符号反転置換を用いて、交差しないパス族と頂点に沿って離れているサイクルによってインデックス付けられる多項式の比として小行列式を表現し、古典的な非巡回的結果をより広い組合せ的枠組みへと拡張する。この枠組みは代数的組合せ論および統計学への応用を持つ。

ABSTRACT

We find rational expressions for all minors of the weighted path matrix of a directed graph, generalizing the classical Lindstrom/Gessel-Viennot result for acyclic directed graphs. The formulas are given in terms of certain flows in the graph.

研究の動機と目的

• 非巡回グラフにしか適用されない古典的なLindström–Gessel–Viennotの行列式公式を、サイクルを含む可能性のある一般の有向グラフへ拡張すること。
• エッジ重みの形式的べき級数として定義される、重み付きパス行列のすべての小行列式に対する有理式を提供すること。
• パスとサイクルの族に対する符号反転置換を導入することで、非巡回的状況を超えた小行列式の組合せ的解釈を一般化すること。
• ガウス過程グラフィカルモデルなどの、有向サイクルを含むモデルに適用可能な枠組みを確立すること。
• ループを除去したウォークやヒープ理論に関する先行研究を統一・拡張し、小行列式に対してより体系的かつインデックスに依存しない組合せ的公式を提供すること。

提案手法

• Aを重み付き隣接行列とするとき、重み付きパス行列Mを(I − A)⁻¹として定義し、頂点対間を結ぶすべての有向パスの和として定義される形式的べき級数としてエントリを定義する。
• パス族Pと頂点に沿って離れているサイクル族Cを定義し、パスの端点の置換によって決定される符号をもつ(P, C)ペアの重みの符号付き和を構成する。
• 交差しないペアでない(P, C)に対して、テールのスワップとサイクルの移動操作を用いて、符号反転かつ重みを保つ置換φを構築し、不要な項を相殺する。
• 置換φは、自己交差、他のパス、またはサイクルと交差する最初のパスPᵢに対して作用し、テールをスワップするか、サイクルを再配置することで符号反転ペアリングを実現する。
• 和の計算において、交差しないパス族と頂点に沿って離れているサイクル族のみが残ることを証明し、各小行列式に対して有理式を得る。
• 小行列式を2つの多項式の比として導出する：分子は交差しないパス族の符号付き和であり、分母はサイクル族に属するすべてのサイクルCについて(1 − wt(C))の積である。

実験結果

リサーチクエスチョン

• RQ1 Lindström–Gessel–Viennotの行列式公式を、有向サイクルを含む有向グラフへどのように一般化できるか。
• RQ2 エントリが多項式ではなく形式的べき級数である非巡回的グラフにおける重み付きパス行列の小行列式の背後にある組合せ的構造は何か。
• RQ3 交差する、または重複するパスとサイクルの配置を相殺する符号反転置換を構築できるか。これにより、行列式の式の中で交差しない族のみが残る。
• RQ4 小行列式に対する有理式は、特にサイクルが存在する場合に、グラフのトポロジーとどのように関係するか。
• RQ5 サイクルの重みとパスの置換は、小行列式の最終的な有理関数形を決定する上で果たす役割は何か。

主な発見

• 任意の有向グラフにおける重み付きパス行列の小行列式は、有理関数であり、分子と分母の両方が明示的な組合せ的多項式として与えられる。
• 分子は、指定されたソース・シンクペアを結ぶ、頂点に沿って互いに離れているパス族の符号付き和であり、符号は端点の置換によって決定される。
• 分母は、グラフ内に存在する自己回避的かつ頂点に沿って離れているすべてのサイクルCについて(1 − wt(C))の積であり、べき級数展開の収束を保証する。
• 置換φにより、交差しないペアでないすべてのパス・サイクルペアに対して符号反転かつ重みを保つペアリングが確立され、小行列式の最終的な行列式に寄与するのは交差しない構成のみであることが証明される。
• 本手法は、サイクルを許容する非巡回的状況の一般化であり、小行列式を多項式ではなく有理関数として表現することで、非巡回的ケースを拡張する。
• 本結果は、サイクルを含むグラフにおける小行列式の計算を統一的に扱う枠組みを提供し、代数的組合せ論および代数的統計学（例えばガウス過程グラフィカルモデルなど）への応用がある。