[論文レビュー] Min-plus methods in eigenvalue perturbation theory and generalised Lidskii-Vishik-Ljusternik theorem

Marianne Akian, R. B. Bapat+1 more|ArXiv.org|Feb 5, 2004

Matrix Theory and Algorithms参考文献 38被引用数 20

ひとこと要約

この論文は、パラメータに依存する要素を持つ行列の固有値に対するmin-plus代数に基づく摂動理論を構築し、特異的・非一般型の状況を扱えるように、古典的なLidskii-Vishik-Ljusternikの定理を拡張する。特徴多項式のニュートン多角形をmin-plusスペクトル理論によって分析することで、離散最適化問題の解として漸近的固有値指数が得られ、シュール補行列が失敗する場合でさえも、主項の固有値挙動を計算可能にする。

ABSTRACT

We extend the perturbation theory of Vishik, Ljusternik and Lidskii for eigenvalues of matrices, using methods of min-plus algebra. We show that the asymptotics of the eigenvalues of a perturbed matrix is governed by certain discrete optimisation problems, from which we derive new perturbation formulae, extending the classical ones and solving cases which where singular in previous approaches. Our results include general weak majorisation inequalities, relating leading exponents of eigenvalues of perturbed matrices and min-plus analogues of eigenvalues.

研究の動機と目的

• シュール補行列が失敗する非一般型の状況にまで拡張可能な、古典的なLidskii-Vishik-Ljusternik摂動理論の一般化を図ること。
• Puiseux型展開を伴う行列摂動における固有値の主項指数を体系的に計算する手法を提供すること。
• 従来の行列の逆行列に基づく手法が破綻する特異的状況における固有値漸近挙動の解消。
• 最適割当問題を通じて、固有値摂動指数とmin-plusスペクトル理論との間の関係を確立すること。
• ニュートン多角形とmin-plusパーマネントを用いた、漸近的固有値挙動を計算する統一的枠組みを構築すること。

提案手法

• 小さなパラメータεに関するPuiseux級数として行列要素をモデル化し、指数を行列A ∈ ℝ_min^n×nに符号化する。
• 指数行列Aに対してmin-plus代数を適用し、最適割当問題を用いてmin-plus特徴多項式を計算する。
• min-plus特徴多項式の根を、固有値漸近挙動を支配する臨界指数として特定する。
• Frobenius-König定理と臨界部分グラフのグラフ論的解析を用いて、各指数の重複度と値を決定する。
• 特徴多項式det(YI - A_ε)のニュートン多角形の傾きと主固有値指数を関連付ける。
• min-plusパーマネントとmin-plus多項式のコーナー構造を活用し、非可逆の場合でさえも漸近的指数を導出する。

実験結果

リサーチクエスチョン

• RQ1 摂動行列の非一般性やスパarsityによりシュール補行列の構成が失敗する場合、固有値摂動指数はどのように計算可能か？
• RQ2 min-plus代数は、行列摂動における固有値の主項漸近挙動をどのように特徴付けるか？
• RQ3 離散最適化技術を用いて、指数行列から特徴多項式のニュートン多角形を再構成可能か？
• RQ4 指数行列における臨界部分グラフとその重みは、どのように主固有値指数を決定するか？
• RQ5 古典的なLidskii-Vishik-Ljusternikの定理が失敗する状況は何か？ その適用範囲をどのように拡張できるか？

主な発見

• 主固有値指数Λ_iは、指数行列Aのmin-plus特徴多項式の根として決定され、重複度は臨界部分グラフに対応する。
• 一般型摂動では、固有値群の指数は、関連する重み付き二部グラフにおける臨界サイクルの最小重みで与えられる。
• 例7.5において、本手法は、[MBO97]の方法では到達できない内部整数点を持つニュートン多角形近似のため、固有値指数2/3と3/4を正しく特定している。
• 指数γ_9 = 1は、A = 4に基づくmin-plusパーマネント条件と因数分解P̂_A(y) = (y⊕1/3)^3(y⊕2/5)^5(y⊕γ_9)から得られ、γ_9 = 1が導かれる。
• シュール補行列が非可逆であるためにLidskiiの定理が失敗する状況を、min-plusスペクトル理論を用いて完全な漸近的記述で解決する。
• 固有値指数とmin-plus固有値の間の弱マジョライゼーション不等式を一般化し、特異的・構造的摂動へと古典的結果を拡張する。