[논문 리뷰] The asymptotics of Wilkinson's shift iteration

Ricardo S. Leite, Nicolau C. Saldanha외 1명|ArXiv.org|2004. 12. 27.

Advanced Topics in Algebra참고 문헌 15인용 수 5

한 줄 요약

이 논문은 잡리우스 행렬에 대한 윌킨슨의 시프트 QR 반복의 수렴 속도를 분석하며, 삼중 등차수열이 없는 스펙트럼(AP-free)인 경우 수렴이 삼차수임을 증명한다. 일부 3×3 행렬에서 스펙트럼이 등차수열을 이룰 경우 수렴은 엄밀히 이차수이며, 고정점으로 수렴하는 초기 조건의 집합은 부호 수열로 인덱싱된 칸토어 집합을 이룬다. 이에 대한 동역학은 기호 동역학과 이중대각좌표로 제어된다.

ABSTRACT

We study the rate of convergence of Wilkinson's shift iteration acting on Jacobi matrices with simple spectrum. We show that for AP-free spectra (i.e., simple spectra containing no arithmetic progression with 3 terms), convergence is cubic. In order 3, there exists a tridiagonal symmetric matrix P_0 which is the limit of a sequence of a Wilkinson iteration, with the additional property that all iterations converging to P_0 are strictly quadratic. Among tridiagonal matrices near P_0, the set X of initial conditions with convergence to P_0 is rather thin: it is a union of disjoint arcs X_s meeting at P_0, where s ranges over the Cantor set of sign sequences s: N -> {1,-1}. Wilkinson's step takes X_s to X_{s'}, where s' is the left shift of s. Among tridiagonal matrices conjugate to P_0, initial conditions near P_0 but not in X converge at a cubic rate.

연구 동기 및 목표

• 실수 대칭 삼중대각행렬에서 단순 스펙트럼을 갖는 경우 윌킨슨의 시프트 QR 반복의 渐近 수렴 속도를 결정하는 것.
• 일반적인 행렬에서 수렴이 삼차수임이라는 오랫동안 남아있던 추측을 해결하는 것 — 특히 스펙트럼에 삼중 등차수열이 없는 경우.
• 고정점으로 수렴하는 초기 조건의 구조를 규명하는 것, 특히 수렴이 이차수인 3×3 경우에서의 특성.
• 특이점과 불연속성 근처에서 반복의 행동을 분석하기 위해 기호 동역학과 이중대각좌표를 적용하는 것.
• 특정 고정점으로 수렴하는 초기 조건의 집합이 프랙탈 구조를 띠며, 부호 수열로 인덱싱된 칸토어 집합임을 묘사하는 것.

제안 방법

• 이중대각좌표(고유값과 비대각성 파라미터)를 사용하여 전역 수렴 문제를 부드러운 좌표계 내 국소 분석으로 변환한다.
• 윌킨슨의 시프트를 하단 2×2 부분행렬의 (n,n) 원소에 가장 가까운 고유값으로 정의함으로써 QR 단계가 여전히 대칭 삼중대각행렬을 유지하도록 보장한다.
• 고정점 근처에서 반복 맵의 테일러 전개를 적용하여 삼차수 수렴 추정치를 유도하며, 특히 시프트 함수가 마지막 비대각성 파라미터에 대해 홀함수일 경우에 초점을 맞춘다.
• Y(등거리 고유값 집합) 및 Z(시프트가 고유값과 일치하는 집합)에서의 불연속성을 분석하며, 특정 조건 하에서 Z를 넘어선 매끄러운 연장이 가능함을 보여준다.
• 기호 동역학을 사용하여 수렴 행동의 부호 수열에 대한 반복의 작용을 모델링하며, 각 초기 조건을 칸토어 집합의 부호 수열로 매핑한다.
• 고정점 p₀로 수렴하는 초기 조건의 집합 X는 부호 수열 s ∈ {1, -1}^ℕ에 따라 인덱싱된 서로소 구간 Xₛ의 합집합이며, W는 Xₛ를 Xₛ′로 매핑하며 여기서 s′는 s의 왼쪽 시프트이다.

실험 결과

연구 질문

• RQ1 윌킨슨의 시프트 QR 반복이 단순 스펙트럼을 갖는 모든 잡리우스 행렬에서 삼차수 수렴한다는 추측은 참인가?
• RQ2 3×3 경우에서 고정점으로 수렴하는 초기 조건의 집합의 구조는 무엇인가, 특히 수렴이 이차수일 경우에 대해 설명하라.
• RQ3 시프트 함수가 불연속적이거나 특이점에 가까운 점 근처에서 반복은 어떻게 행동하는가?
• RQ4 수렴 역학은 기호 동역학으로 묘사될 수 있으며, 수렴하는 초기 조건의 집합의 위상적 성질은 무엇인가?
• RQ5 수렴 속도와 스펙트럼 구조, 특히 고유값에 삼중 등차수열이 존재하는지 여부 사이의 관계는 무엇인가?

주요 결과

• AP-free 스펙트럼(삼중 고유값이 등차수열이 아님)인 경우, 윌킨슨의 시프트 QR 반복의 수렴은 삼차수이다: 어떤 C > 0에 대해 |(T_{k+1})_{n,n-1}| ≤ C|(T_k)_{n,n-1}|^3 이다.
• 3×3 경우에서 스펙트럼에 등차수열이 존재할 경우, 고정점 p₀이 존재하며, p₀로의 수렴은 엄밀히 이차수이며, p₀로 수렴하는 초기 조건의 집합은 부호 수열로 구성된 칸토어 집합이다.
• 고정점 p₀로 수렴하는 초기 조건의 집합 X는 자연스러운 위상에서 부호 수열 s ∈ {1, -1}^ℕ에 따라 인덱싱된 서로소 구간 Xₛ의 합집합이며, 칸토어 집합을 이룬다.
• 반복 맵 W는 Xₛ를 Xₛ′로 매핑하며, 여기서 s′는 s의 왼쪽 시프트이다. 이는 수렴 집합 위에 기호 동역학의 구조를 확립한다.
• p₀ 근처에 있지만 X에 속하지 않는 초기 행렬의 경우 수렴은 엄밀히 삼차수이며, 이는 이차수 수렴이 얇고 프랙탈 구조를 띤 집합에 국한되어 있음을 시사한다.
• 집합 X의 하우스도르프 차원은 p₀ 근처에서 최소 1이며, 수치적 결과는 X가 리프시츠 함수 fₛ로 매개변수화된 매끄러운 곡선 Xₛ의 합집합임을 시사한다.