[論文レビュー] Inverting non-invertible trees

Soña Pavlíková, Jozef Širáň|arXiv (Cornell University)|Dec 30, 2017

Graph theory and applications被引用数 1

ひとこと要約

本稿では、特異な隣接行列をもつエッジラベル付き木に対して、対称的一般化逆行列（ムーア・ペンローズ／ドライジン／群逆行列）を用いて一般化逆行列を導入し、ゴッドサイルの逆木定理を非正則な場合にまで拡張する。単位エッジ重みをもつ木の一般化逆行列について、交 alternating パスと最大マッチングを用いて閉形式の公式を提示し、逆行列が元の隣接行列とガウス的同値であることを証明するとともに、一般化逆行列の条件を満たすことを示す。

ABSTRACT

If a graph has a non-singular adjacency matrix, then one may use the inverse matrix to define a (labeled) graph that may be considered to be the inverse graph to the original one. It has been known that an adjacency matrix of a tree is non-singular if and only if the tree has a unique perfect matching; in this case the determinant of the matrix turns out to be $\pm 1$ and the inverse of the tree was shown to be `switching-equivalent' to a simple graph [C. Godsil, Inverses of Trees, Combinatorica 5 (1985), 33--39]. Using generalized inverses of symmetric matrices (that coincide with Moore-Penrose, Drazin, and group inverses in the symmetric case) we prove a formula for determining a `generalized inverse' of a tree.

研究の動機と目的

• 特異な隣接行列をもつ木に対して、標準的行列逆行列が失敗する状況においても、グラフの逆行列概念を拡張すること。
• 対称的一般化逆行列（ムーア・ペンローズ、ドライジン、または群逆行列）を用いて、エッジラベル付き木の一般化逆行列を定義すること。これらは対称の場合に一致する。
• 単位エッジ重みをもつ木の一般化逆行列について、閉形式の公式を提示し、ゴッドサイルの逆木定理を完全マッチングでない場合にまで一般化すること。
• 一般化逆行列行列が元の隣接行列とガウス的同値であることを確立し、逆行列の性質と整合することを保証すること。

提案手法

• 木 T の一般化逆行列を、隣接行列 A の対称的一般化逆行列 A* をもつエッジラベル付きグラフ (T*, α*) として定義する。
• 対称行列の直交的対角化を用いる：A = PDP^T であるから、A* = PD*P^T とし、D* は非ゼロ固有値を逆数に、ゼロ固有値をゼロに設定する。
• 最大マッチング M に関する uMv 交 alternating パスの概念を導入し、頂点 x, y を除いた木 T におけるこのようなパスの数を表す係数 µT\xy(u,v) を定義する。
• 中心エッジ xy に相対する頂点集合 V1 と V2 に分割した帰納的構造を用い、一般化逆行列行列 C が A とガウス的同値であることを証明する。
• 固有ベクトル解析と核空間の同値性を用いる：A と B = m(T)⁻¹C が同じ核空間を持ち、非ゼロ固有値に対して共通の固有ベクトルを持つならば、B は A の一般化逆行列である。
• 既知の事例（例：スペクトルが (±√n, 0ⁿ⁻¹) の星）を活用し、一般化逆行列の構造を明らかにし、m(T)（最大マッチングの数）を含む公式に至る。

実験結果

リサーチクエスチョン

• RQ1 特異な隣接行列をもつ木に対して、古典的逆行列グラフ構成を拡張した一般化逆行列を定義できるか？
• RQ2 隣接行列が特異な場合に、単位エッジ重みをもつ木の一般化逆行列の明示的公式は何か？
• RQ3 一般化逆行列は木内の交 alternating パスと最大マッチングとどのように関係するか？
• RQ4 一般化逆行列行列が元の隣接行列とガウス的同値であるか？そして、これは正しい逆行列性質を示唆するか？
• RQ5 明示的な行列逆行列を用いずに、固有空間解析から逆行列の構造を導出できるか？

主な発見

• 単位エッジ重みをもつ木 T の一般化逆行列は、行列 B = m(T)⁻¹C で与えられる。ここで C は、(u,v) 成分が最大マッチングに関する T 内の交 alternating パスの数を表す行列である。
• 行列 C は元の隣接行列 A とガウス的同値である。これは A と B が同じ核空間を持ち、一般化逆行列の性質と整合することを示唆する。
• n 個の末端辺をもつ星の場合、一般化逆行列は A* = n⁻¹A である。これは既知のスペクトル的ケースと公式の整合性を確認する。
• 一般化逆行列行列 B は、対称的一般化逆行列の意味で B = A* を満たす。これは A A* A = A かつ A* A A* = A* を満たす唯一の対称行列 A* を意味する。
• 公式は、最大マッチングの数 m(T) を正規化に組み込むことで、完全マッチングを持たない木に対してもゴッドサイルの逆木定理を一般化する。
• 証明は頂点分割に関する構造的帰納法と固有ベクトルの一貫性に依拠し、一般化逆行列がスペクトル的および組合せ的構造を保存することを示す。