[논문 리뷰] Convergence of the Cyclic and Quasi-cyclic Block Jacobi Methods

Vjeran Hari, Erna Begović|arXiv (Cornell University)|2016. 04. 20.

Matrix Theory and Algorithms참고 문헌 27인용 수 8

한 줄 요약

이 논문은 대칭 행렬에 대한 순환적 및 준순환적 블록 재귀법에 대해 훨씬 확장된 파이벗 전략 클래스를 사용하여 전역 수렴을 확립한다. 강력한 수렴 바운드 $ S(A') \leq cS(A) $를 증명하며, $ c < 1 $ 이고, 이는 일반화된 고유값 문제에 대한 블록 재귀법 연산자 적용을 가능하게 하며, 일반화된 순서 전략 하에서 전체 블록 $ J $-재귀법에도 적용된다.

ABSTRACT

The paper studies the global convergence of the block Jacobi me\-thod for symmetric matrices. Given a symmetric matrix $A$ of order $n$, the method generates a sequence of matrices by the rule $A^{(k+1)}=U_k^TA^{(k)}U_k$, $k\geq0$, where $U_k$ are orthogonal elementary block matrices. A class of generalized serial pivot strategies is introduced, significantly enlarging the known class of weak wavefront strategies, and appropriate global convergence proofs are obtained. The results are phrased in the stronger form: $S(A')\leq c S(A)$, where $A'$ is the matrix obtained from $A$ after one full cycle, $c&lt;1$ is a constant and $S(A)$ is the off-norm of $A$. Hence, using the theory of block Jacobi operators, one can apply the obtained results to prove convergence of block Jacobi methods for other eigenvalue problems, such as the generalized eigenvalue problem. As an example, the results are applied to the block $J$-Jacobi method. Finally, all results are extended to the corresponding quasi-cyclic strategies.

연구 동기 및 목표

• 블록 재귀법에 대한 수렴하는 파이벗 전략 클래스를 약한 웨이브프론트 전략을 초월하여 확장하기.
• 더 강력한 형태의 전역 수렴을 확립하기: $ S(A') \leq cS(A) $, 여기서 $ c < 1 $ 이며, $ S(A) $ 는 행렬 $ A $ 의 비대각항 노름이다.
• 블록 재귀법 연산자 이론을 다른 고유값 문제에 적용할 수 있도록 하기, 예를 들어 일반화된 고유값 문제.
• 수렴 결과를 준순환 전략으로 확장하고, 일반화된 전략 하에서 블록 $ J $-재귀법의 전역 수렴을 증명하기.
• 모든 순환 전략이 $ n = 4 $ 에서 수렴함을 입증하여 오랫동안 열려있던 경우를 해결하기.

제안 방법

• 역순 및 순열 동치 관계를 사용한 일반화된 순서 전략 파이벗 전략을 도입하여 기존에 알려진 수렴 전략 집합을 크게 확장한다.
• 수렴 행동을 분석하기 위해 블록 재귀법 소거자와 연산자를 정의한다.
• 핵심 부등식 $ S(A') \leq cS(A) $ 를 확립하며, 여기서 $ c < 1 $ 은 초기 행렬 $ A $ 와 무관하게 성립하여 전역 수렴을 보장한다.
• 블록 재귀법 연산자 이론을 적용하여 일반화된 고유값 문제 및 $ J $-재귀법 고유값 문제와 같은 관련 고유값 문제로의 수렴 결과를 확장한다.
• 변환 행렬 조건과 대각항 추정치를 검증하여 일반화된 순서 전략 하에서 전체 블록 $ J $-재귀법의 수렴을 증명한다.
• 유사한 기법을 사용하여 준순환 전략으로 결과를 확장하며, 동일한 강력한 비대각항 노름 감소 조건 하에서 수렴이 성립함을 보여준다.

실험 결과

연구 질문

• RQ1 블록 재귀법에 대한 수렴 파이벗 전략 클래스는 약한 웨이브프론트 전략을 초월하여 상당히 확장될 수 있는가?
• RQ2 강력한 수렴 바운드 $ S(A') \leq cS(A) $, $ c < 1 $ 이 순환적 및 준순환적 전략의 더 넓은 범위에서 성립하는가?
• RQ3 블록 재귀법 연산자 프레임워크를 사용하여 일반화된 고유값 문제 및 $ J $-재귀법의 전역 수렴을 증명할 수 있는가?
• RQ4 모든 순환 전략은 $ n = 4 $ 에서 전역 수렴하는가, 그리고 이를 엄밀하게 입증할 수 있는가?
• RQ5 수렴 이론은 헤르미트 및 일반화된 헤르미트 쌍에 대한 복소수 블록 재귀법으로 확장될 수 있는가?

주요 결과

• 블록 행렬 분할 크기가 $ m $ 인 경우, 일반화된 순서 전략 파이벗 전략 클래스는 최소 $ 2! \cdot 3! \cdots (m-1)! $ 개의 서로 다른 수렴 전략을 포함한다.
• 전역 수렴이 더 강력한 형태인 $ S(A') \leq cS(A) $, $ c < 1 $ 로 입증되었으며, 이는 초기 행렬 $ A $ 와 무관하게 성립하여 선형 수렴 속도를 보장한다.
• 모든 일반화된 순서 전략 하에서 전체 블록 $ J $-재귀법은 전역 수렴하며, 이는 이전 결과가 약한 웨이브프론트 전략에 국한되었던 것을 확장한다.
• 순환 전략에 대한 수렴 결과는 준순환 전략으로 직접 확장되며, 유사한 바운드와 수렴 보장을 제공한다.
• 모든 $ 720 $ 개의 순환 전략은 $ n = 4 $ 에서 전역 수렴하며, 이는 이전에 열려있던 경우를 해결한다.
• 이론은 블록 재귀법 연산자 기법을 통해 다른 재귀형 방법, 예를 들어 HZ 방법 및 블록 Paardekooper 방법의 전역 수렴을 증명하는 데에도 적용 가능하다.