[논문 리뷰] Almost commuting matrices with respect to normalized Hilbert-Schmidt norm

Lev Glebsky|arXiv (Cornell University)|2010. 02. 16.

Advanced Topics in Algebra참고 문헌 10인용 수 27

한 줄 요약

이 논문은 정규화된 힐버트-슈미트 노름에서 거의 교환되는 자기수반, 유니터리, 정규 행렬이 균일하게 진정으로 교환되는 행렬과 가까이 있음을 입증한다. 블록 대각 행렬 근사와 오목 노름 추정을 사용하여, $\|AB - BA\|_{\text{tr}} \leq \delta$이면 정규화된 추적 노름에서 $O(\epsilon^{1/6})$ 이내에 교환되는 행렬이 존재하는 균일한 $\delta(\epsilon)$-경계를 증명한다. 이는 이 노름 하에서 이러한 행렬 유형에 대해 균일한 거의교환 문제를 긍정적으로 해결한다.

ABSTRACT

Almost-commuting matrices with respect to the normalized Hilbert-Schmidt norm are considered. Normal almost commuting matrices are proved to be near commuting.

연구 동기 및 목표

• 정규화된 힐버트-슈미트 노름 하에서 자기수반, 유니터리, 정규 행렬에 대한 균일한 거의교환 행렬 문제를 해결하기 위해.
• 이 노름에서 거의교환되는 행렬이 행렬 크기 $n$과 무관하게 균일하게 진정으로 교환되는 행렬과 가까운지 여부를 규명하기 위해.
• 교환자 노름을 바탕으로 교환되는 행렬까지의 거리에 대한 명시적 양적 경계를 제공하기 위해.
• 극화 분해와 스펙트럼 근사 기법을 통해 다중 거의교환 행렬과 정규 행렬로 결과를 확장하기 위해.

제안 방법

• 행렬들을 대각형태로 변환하고, $\tilde{A}$의 각 블록이 항등행렬의 스칼라배가 되도록 블록 대각 행렬로 근사한다.
• 블록 분해에 대한 정규화된 힐버트-슈미트 노름의 제곱의 볼록성을 이용하여 근사 오차를 통제한다.
• 오목 함수 $\phi$에 대해 $\phi^2(\sqrt{x})$의 오목성에 기반한 오목 추정 원리를 적용하여 오차 항을 경계한다.
• 직교 프로젝터 $P$를 구성하여 $\|PA\|_{\text{op}} < \sqrt{\|A\|_{\text{tr}}}$ 및 $\|E-P\|_{\text{tr}} < \sqrt{\|A\|_{\text{tr}}}$를 확보함으로써 연산자 노름과 추적 노름에서 작은 오차를 보장한다.
• 추적 노름과 행렬 원소 간의 관계를 위해 $\|A\|_{\text{tr}}^2 = \langle A, A \rangle = \frac{1}{n} \sum_{i,j} |A_{ij}|^2$임을 이용한다.
• 부등식 $\|A\|_{\text{op}} \leq \sqrt{n} \|A\|_{\text{tr}}$와 질량 기반 경계를 활용하여 부분행렬의 노름을 통제한다.

실험 결과

연구 질문

• RQ1 모든 자기수반 행렬에 대해 $\|AB - BA\|_{\text{tr}} \leq \delta$이면, $n$에 대해 균일하게 $\epsilon$ 이내에 교환되는 행렬 쌍이 존재하는 균일한 $\delta(\epsilon)$가 존재하는가?
• RQ2 유니터리 및 정규 행렬에 대해서도 정규화된 힐버트-슈미트 노름 하에서 동일한 균일한 근사 결과를 확장할 수 있는가?
• RQ3 정규화된 힐버트-슈미트 노름은 연산자 노름보다 정규 행렬의 경우 더 강력한 거의-근접 결과를 허용하는가?
• RQ4 여러 개의 거의교환되는 자기수반 행렬을 동시에 $O(\epsilon^{1/6})$ 오차 내에서 교환되는 가족으로 근사할 수 있는가?
• RQ5 거의정규 행렬 $M$이 $\|MM^* - M^*M\|_{\text{tr}} \leq \epsilon$을 만족할 경우, 연산자 노름 경계를 유지하면서 정규 행렬 $N$으로 $O(\epsilon^{1/18}})$ 이내로 근사할 수 있는가?

주요 결과

• 자기수반 행렬의 경우, $\|[H_1, H_2]\|_{\text{tr}} \leq \epsilon$이면, $\|H_i - A_i\|_{\text{tr}} \leq 12\epsilon^{1/6}$를 만족하는 교환되는 자기수반 행렬 $A_1, A_2$가 존재한다.
• 이 결과는 거의교환되는 자기수반 행렬 $k$-튜플로 확장 가능하다: $\|H_i - A_i\|_{\text{tr}} \leq \delta(\epsilon,k)$이며, $\epsilon \to 0$일 때 $\delta(\epsilon,k) \to 0$이다.
• 유니터리 및 양수 행렬의 경우, $\|[U,H]\|_{\text{tr}} \leq \epsilon$이면, $\|U - V\|_{\text{tr}} \leq 30\epsilon^{1/9}$ 및 $\|H - A\|_{\text{tr}} \leq 30\epsilon^{1/9}$를 만족하는 교환되는 $V, A$가 존재한다.
• 거의정규 행렬 $M$이 $\|MM^* - M^*M\|_{\text{tr}} \leq \epsilon$을 만족하면, $\|N\|_{\text{op}} \leq \|M\|_{\text{op}} \leq 1$를 만족하는 정규 행렬 $N$으로 $36\epsilon^{1/18}}$ 이내로 근사할 수 있다.
• 정규화된 힐버트-슈미트 노름은 자기수반, 유니터리, 정규 행렬 모두에 대해 균일한 거의-근접 결과를 가능하게 하며, 이는 연산자 노름에서는 유니터리 및 정규 행렬에 대해 성립하지 않는 바이다.
• 증명은 볼록성과 오목 추정을 이용한 기본 기법에 의존하며, 깊은 함수해석학이나 비가환 기하학을 피한다.