[논문 리뷰] A Hilbert-Schmidt analog of Huaxin Lin's Theorem

N. Filonov, Ilya Kachkovskiy|arXiv (Cornell University)|2010. 08. 24.

Advanced Operator Algebra Research참고 문헌 5인용 수 10

한 줄 요약

이 논문은 거의 교환 가능한 행렬에 대해 허미트-슈미트 노름 기반의 화신린의 정리의 유사판을 수립한다. 고유값 군집화와 블록 대각형 투영에 기반한 분할 기법을 사용하여, 만약 $[H_1, H_2]$의 정규화된 허미트-슈미트 노름이 $\delta$ 라면, 허미트-슈미트 노름에서 $2\delta^{1/4}$ 이내에 있는 교환 가능한 자기수반 행렬 $A_1, A_2$ 가 존재함을 증명한다. 이는 이전의 경계보다 향상된 결과이다.

ABSTRACT

The paper is devoted to the following question: consider two self-adjoint $n imes n$-matrices $H_1,H_2$, $\|H_1\|\le 1$, $\|H_2\|\le 1$, such that their commutator $[H_1,H_2]$ is small in some sence. Do there exist such self-adjoint commuting matrices $A_1,A_2$, such that $A_i$ is close to $H_i$, $i=1,2$? The answer to this question is positive if the smallness is considered with respect to the operator norm. The following result was established by Huaxin Lin: if $\|[H_1,H_2]\|=δ$, then we can choose $A_i$ such that $\|H_i-A_i\|\le C(δ)$, $i=1,2$, where $C(δ) o 0$ as $δ o 0$. Notice that $C(δ)$ does not depend on $n$. The proof was simplified by Friis and Rørdam. A quantitative version of the result with $C(δ)=E(1/δ)δ^{1/5}$, where $E(x)$ grows slower than any power of $x$, was recently established by Hastings. We are interested in the same question, but with respect to the normalized Hilbert-Schmidt norm. An analog of Lin's theorem for this norm was established by Hadwin and independently by Filonov and Safarov. A quantitative version with $C(δ)=12δ^{1/6}$, where $δ=\|[H_1,H_2]\|_{ r}$, was recently obtained by Glebsky. In the present paper, we use the same ideas to prove a similar result with $C(δ)=2δ^{1/4}$. We also refine Glebsky's theorem concerning the case of $n$ operators.

연구 동기 및 목표

• 거의 교환 가능한 자기수반 행렬에 대해 허미트-슈미트 노름 기반으로 화신린의 연산자 노름 결과를 확장한다.
• 허미트-슈미트 설정에서 거의 교환 가능한 행렬과 그 교환 가능한 근사 간의 거리에 대한 정량적 경계를 향상시킨다.
• 반복적인 블록 대각형 분해를 통해 거의 교환 가능한 자기수반 행렬의 $n$-튜플로 결과를 일반화한다.
• 정규화된 허미트-슈미트 조건 하에서 근사 오차가 교환자 노름에 대해 $\delta^{1/4}$ 의 정확한 의존성을 확립한다.

제안 방법

• 인덱스 집합 $\{1,\dots,n\}$ 을 작은 예외 집합 $J$ 와 고유값이 각각 $1/m$ 이내에 있는 군집 $L_a$ 로 분할하여, 군집 간 거리는 최소 $1/(km)$ 이상이 되도록 한다.
• 각 군집 $L_a$ 내의 고유값을 평균화하여 자기수반성을 유지하고 연산자 노름 $\leq 1$ 이 되도록 $A_1$ 을 정의한다.
• 같은 블록에 대해 $H_2$ 의 블록 대각형 투영으로 $A_2$ 를 정의하여 $[A_1, A_2] = 0$ 이고 $\|A_2\| \leq 1$ 이 되도록 한다.
• 고유값 군집화 오차 ($\sim 1/m$) 와 블록 외부 항 ($\sim 1/k$) 를 각각 경계하여 $H_i - A_i$ 의 허미트-슈미트 노름을 추정하고, $\delta$ 에 따라 $k$ 와 $m$ 을 최적화한다.
• 반복적으로 이 방법을 $m$-튜플의 연산자에 적용하여, 연속적인 근사에서 교환자 노름의 감쇠를 추적한다.
• 오차 전파를 제어하기 위해 부등식 $\|AB\|_{\mathop{\mathrm{tr}}\nolimits} \leq \|A\| \|B\|_{\mathop{\mathrm{tr}}\nolimits}$ 를 적용한다.

실험 결과

연구 질문

• RQ1 허미트-슈미트 노름에서 거의 교환 가능한 자기수반 행렬은 교환 가능한 자기수반 행렬로 오차가 교환자 노름의 거듭제곱으로 감소하는 방식으로 근사될 수 있는가?
• RQ2 이러한 근사에서 오차 경계 $C(\delta)$ 의 최적의 지수는 무엇인가?
• RQ3 두 행렬에 사용된 방법은 $m$-튜플의 거의 교환 가능한 자기수반 행렬로 일반화될 수 있는가?
• RQ4 반복적 근사 과정은 교환자 노름과 최종 근사 오차에 어떻게 영향을 미치는가?

주요 결과

• 정규화된 허미트-슈미트 노름에서 $\|H_i\| \leq 1$ 이고 $\|[H_1, H_2]\|_{\mathop{\mathrm{tr}}\nolimits} = \delta \leq 1/16$ 인 두 자기수반 $n \times n$ 행렬에 대해, $\|H_i - A_i\|_{\mathop{\mathrm{tr}}\nolimits} \leq 2\delta^{1/4}$ 를 만족하는 교환 가능한 자기수반 근사 $A_1, A_2$ 가 존재한다.
• 경계 $2\delta^{1/4}$ 는 허미트-슈미트 설정에서 이전까지 알려진 최선의 경계인 $12\delta^{1/6}$ 보다 향상된 결과이다.
• 이 구성은 $[H_1, A_1] = 0$ 을 보장하여 근사에서 $H_1$ 의 스펙트럼 구조를 유지한다.
• pairwise 교환자 노름이 $\leq \delta$ 인 $m \geq 3$ 개의 자기수반 행렬에 대해, 조건 $\delta \leq 1/16^{2 \cdot 4^{m-2}}$ 하에 $\|H_i - A_i\|_{\mathop{\mathrm{tr}}\nolimits} \leq 5\delta^{1/4^{m-1}}$ 를 확립한다.
• 반복적 방법은 각 단계에서 교환자 노름을 약 $\delta^{1/4}$ 의 요소로 감소시켜 오차 경계의 기하급수적 감쇠를 이끈다.
• 이 방법은 분할 레마를 통한 고유값 군집화와 블록 대각형 투영에 기반하며, 최적의 매개변수 $k = \lfloor 2/\delta^{1/2} \rfloor$, $m = \lfloor 1/(2\delta^{1/4}) \rfloor$ 를 사용한다.