[論文レビュー] Non-backtracking Spectrum: Unitary Eigenvalues and Diagonalizability

Leo Torres|arXiv (Cornell University)|Jul 27, 2020

Graph theory and applications参考文献 19被引用数 5

ひとこと要約

本稿は、非還書行列のユニタリ固有値を特徴づけ、それらが必ず単位根であることを証明し、特定の部分グラフモチーフ—パレント（1つの高次元ノードを持つ奇数サイクル）、コラーブ（2つの反対側の高次元ノードを持つ偶数サイクル）、ブレスレット（1つのノードで接続された2つの同一サイクル）—と関連していることを示している。外的固有値（1 < |λ| < ρ）は一般に代数的・幾何的重複度が1であると仮説を立て、非背向き行列の対角化可能性を保証する。また、ノード追加におけるペロン固有値の弱いインターリーシング結果を証明している。

ABSTRACT

Much effort has been spent on characterizing the spectrum of the non-backtracking matrix of certain classes of graphs, with special emphasis on the leading eigenvalue or the second eigenvector. Much less attention has been paid to the eigenvalues of small magnitude; here, we fully characterize the eigenvalues with magnitude equal to one. We relate the multiplicities of such eigenvalues to the existence of specific subgraphs. We formulate a conjecture on necessary and sufficient conditions for the diagonalizability of the non backtracking matrix. As an application, we establish an interlacing-type result for the Perron eigenvalue.

研究の動機と目的

• 非背向き行列スペクトルにおける絶対値が1の固有値を完全に特徴づけること。
• ユニタリ固有値の重複度が、パレント、コラーブ、ブレスレットなどの特定の部分グラフモチーフの存在とどのように関連しているかを明らかにすること。
• 非背向き行列の対角化可能性の必要十分条件を仮説立てること。
• ノード追加におけるペロン固有値の弱いインターリーシング結果を確立すること。
• 主固有値と内側固有値を超えて、ユニタリ固有値と外的固有値へのスペクトル理解を拡張すること。

提案手法

• スぺクトルグラフ理論を用いて、非背向き固有値を大きさで分類：内側（|λ| < 1）、ユニタリ（|λ| = 1）、外的（1 < |λ| < ρ）、主（|λ| = ρ）。
• ユニタリ非背向き固有値が必ず単位根であることを証明し、無理数の偏角を除外すること。
• パレント、コラーブ、ブレスレットの3つの部分グラフモチーフを特定し、それらの構造的性質がユニタリ固有ベクトルの局在化を支えることを示す。
• ノード追加における固有値の挙動を解析するため、ノイマン級数とゲルシュゴリン円定理を適用する。
• ペロン＝フロベニウスの定理を用いて、導出された行列の最小固有値が実数かつ負であることを示し、インターリーシング解析を可能にする。
• 行列の解消行列技術と巡回置換不変性を用いて、異なる行列積の固有値を関連付ける。

実験結果

リサーチクエスチョン

• RQ1 非背向き行列が対角化可能であるための必要十分条件は何か？
• RQ2 どの部分グラフがユニタリ固有値を生じさせ、その重複度はどのように決定されるか？
• RQ3 外的固有値（1 < |λ| < ρ）は常に代数的・幾何的重複度1であるのだろうか？ これにより対角化の問題が回避されるのか？
• RQ4 グラフにノードを追加したとき、非背向き行列のペロン固有値はどのように変化するか？
• RQ5 グラフの変更に対して、非背向き行列の固有値に弱い形のインターリーシングを確立できるか？

主な発見

• すべてのユニタリ非背向き固有値は単位根であり、それらの固有ベクトルは特定の部分グラフに局在化している：パレント（1つの非2次元ノードを持つ奇数サイクル）、コラーブ（2つの反対側の非2次元ノードを持つ偶数サイクル）、ブレスレット（1つのノードで接続された2つの同一サイクル）。
• ユニタリ固有値 λ = e^{2πik/r} の重複度は、グラフ内に存在する互いに素なモチーフ（サイズ r のパレント、コラーブ、またはブレスレット）の数に依存する。
• 本稿は、外的固有値（1 < |λ| < ρ）が常に代数的・幾何的重複度1であると仮説を立てており、これはやや弱い仮定のもとで対角化可能性を保証する。
• 弱いインターリーシング結果が証明された：ノードを追加するとペロン固有値が増加し、この挙動は解消行列とゲルシュゴリン円解析と関連している。
• 行列 YX（解消行列から導出）の最小固有値が実数かつ負であることが示され、t → λ+ϵ および t → ∞ のときの挙動により、y(λc) = −λ²c を満たす臨界値 λc の構成が可能になった。
• 行列 H(t) = TLXRT が YX と同じ固有値を持つことが示され、これによりゲルシュゴリンの定理を用いて最小固有値を分離し、λc の存在を証明することができるようになった。