[논문 리뷰] Min-plus methods in eigenvalue perturbation theory and generalised Lidskii-Vishik-Ljusternik theorem

Marianne Akian, R. B. Bapat외 1명|ArXiv.org|2004. 02. 05.

Matrix Theory and Algorithms참고 문헌 38인용 수 20

한 줄 요약

이 논문은 매개변수에 의존하는 성분을 가진 행렬의 고유값에 대한 min-plus 대수 기반 섭동 이론을 개발하며, 고전적인 Lidskii-Vishik-Ljusternik 정리가 비일반적이고 특이한 경우를 다룰 수 있도록 확장한다. 특성 다항식의 뉴턴 다각형을 min-plus 스펙트럴 이론을 통해 분석함으로써, 이산 최적화 문제의 해로서 점근적 고유값 지수를 도출하며, 스chu르 보조행렬이 실패하는 경우에도 주요 고유값 행동을 계산할 수 있게 한다.

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.

연구 동기 및 목표

• Schur 보조행렬이 실패하는 비일반적 또는 희박한 섭동 행렬에서의 고전적 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 스chu르 보조행렬 구성이 비일반성 또는 희박성으로 인해 실패할 경우, 고유값 섭동 지수는 어떻게 계산할 수 있는가?
• 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을 산출한다.
• 스chu르 보조행렬이 비가역으로 인해 Lidskii 정리가 실패하는 경우를 해결하며, min-plus 스펙트럴 이론을 통해 완전한 점근적 기술을 제공한다.
• 고유값 지수와 min-plus 고유값 사이의 약한 지배 부등식을 일반화하여, 특이하고 구조적인 섭동으로까지 고전 결과를 확장한다.