[논문 리뷰] Notes on the sin2Θ theorem

Albrecht Seelmann|2013. 10. 08.

Spectral Theory in Mathematical Physics참고 문헌 23인용 수 6

한 줄 요약

이 논문은 일반적인 스펙트럼 분리 조건 하에서 자기수반 연산자에 대해 일반화된 $\mathrm{sin}^2\Theta$ 정리를 수립하며, 볼록체인 조건을 초월해 Davis-Kahan 정리를 확장한다. 연산자 각도 $\theta$가 스펙트럼 부분공간 간에 만족하는 $\|\sin 2\Theta\| \leq \frac{\pi}{2} \cdot 2\frac{\|V\|}{d}$ 를 증명하여 힐버트 공간 내 부분공간의 섭동에 대해 날카운 사전 경계를 제공한다.

ABSTRACT

An analogue of the Davis-Kahan sin2Θ theorem from [SIAM J. Numer. Anal. 7 (1970), 1--46] is proved under a general spectral separation condition. This extends the generic sin2θ estimates recently shown by Albeverio and Motovilov in [Complex Anal. Oper. Theory 7 (2013), 1389--1416]. The result is applied to the subspace perturbation problem to obtain a bound on the arcsine of the norm of the difference of the spectral projections associated with isolated components of the spectrum of the unperturbed and perturbed operators, respectively.

연구 동기 및 목표

• Davis-Kahan의 sin²Θ 정리를 볼록체인 분리 조건을 초월하여 확장하기.
• 비편향 및 편향된 자기수반 연산자 간의 스펙트럼 부분공간 간의 연산자 각도에 대한 사전 경계를 수립하기.
• 기존의 노름 경계를 일반화한 대칭 노름 연산자 아이디얼 내에서 추정치를 도출하기.
• 비유계 연산자 및 비스펙트럼 프로젝션에 적용 가능한 프레임워크를 제공하기.
• 기존 $\text{sin}^2\theta$ 추정치를 $\|\sin 2\Theta\|$ 를 통한 전체 연산자 각도 정보를 통합함으로써 향상시키기.

제안 방법

• 해석적 임펄스 적분을 이용해 해석적 임펄스 적분을 통해 스펙트럼 프로젝션의 차이를 표현한다.
• 스펙트럼 프로젝션 $\mathsf{E}_A(\sigma)$ 와 $A+V$ 에 대한 감소 프로젝션 $Q$ 를 사용해 연산자 각도 $\Theta$ 를 정의한다.
• 함수 해석학과 유니터리 불변성을 적용하여 $L^1$-노름이 $\frac{\pi}{2d}$ 인 적분 커널을 사용해 $\sin 2\Theta$ 의 노름을 경계한다.
• 대칭 노름 연산자 아이디얼에 대해 Ky Fan 지배성을 활용해 연산자 노름 이외의 일반적인 연산자 노름으로 경계를 확장한다.
• 연산자 $V$ 와 유니터리 연산자를 이용한 $P - Q$ 의 표현을 통해 $\|\sin 2\Theta\| \leq \frac{\pi}{2} \cdot 2\frac{\|V\|}{d}$ 를 수립한다.
• 정규 연산자 케이스를 고려하여 상수 $\frac{\pi}{2}$ 가 2.91 미만으로 개선될 수 있음을 보인다.

실험 결과

연구 질문

• RQ1 Davis-Kahan의 sin²Θ 정리는 볼록체인 조건이 만족되지 않는 경우로 확장될 수 있는가?
• RQ2 일반적인 스펙트럼 분리 $d = \text{dist}(\sigma, \Sigma)$ 하에서 sin²Θ 경계의 최적 상수는 무엇인가?
• RQ3 sin²Θ 추정치는 어떻게 대칭 노름 연산자 아이디얼로 일반화할 수 있는가?
• RQ4 섭동 이론에서 최대 각도 $\theta = \|\Theta\|$ 와 전체 연산자 각도 $\Theta$ 간의 관계는 무엇인가?
• RQ5 만약 $A$ 가 자기수반 연산자가 아니라 정규 연산자일 경우 경계는 어떻게 개선될 수 있는가?

주요 결과

• 논문은 일반적인 스펙트럼 분리 $d > 0$ 하에서 스펙트럼 부분공간 간의 연산자 각도 $\Theta$ 에 대해 $\|\sin 2\Theta\| \leq \frac{\pi}{2} \cdot 2\frac{\|V\|}{d}$ 를 증명한다.
• 이 경계는 $A$ 가 비유계일 경우나 $Q$ 가 $A+V$ 의 스펙트럼 프로젝션일 수 없을 경우에도 유효하여 사전 추정치로 간주된다.
• 이 추정치는 $\|V\| < \frac{d}{\pi}$ 라면 $\|\sin 2\Theta\| < 1$ 이므로 $\Theta$ 는 $\frac{\pi}{4}$ 근처에 스펙트럼 간극을 가진다.
• 이 경계는 기존의 $\sin 2\theta$ 추정치보다 강력한데, 이는 전체 연산자 각도를 그 크기 외에 제어하기 때문이다.
• 대칭 노름 아이디얼 $\mathfrak{S}$ 에 대해서는 $\interleave \sin 2\Theta \interleave \leq \frac{\pi}{2} \cdot 2\frac{\interleave V \interleave}{d}$ 로 확장되며, 이는 Ky Fan 지배성이 성립할 경우에만 해당된다.
• 정규 연산자에 대해서는 상수 $\frac{\pi}{2}$ 가 2.91 미만인 보편 상수로 대체될 수 있고, 힐베르트-슈미트 연산자와 같은 특수 케이스에서는 1로 대체될 수 있다.