[논문 리뷰] Improper filtrations for C*-algebras: spectra of unilateral tridiagonal operators

William Arveson|ArXiv.org|1992. 11. 23.

Advanced Operator Algebra Research참고 문헌 6인용 수 21

한 줄 요약

이 논문은 C*-대수에서의 단방향 삼중대각선 연산자의 스펙트럼을 유한 차원 압축의 고유값을 사용하여 근사화하는 데 있어 엄밀한 수렴 프레임워크를 수립한다. 무한 연산자의 스펙트럼 측도로 향하는 $n \times n$ 절단의 경험적 스펙트럼 측도의 약한 수렴을 증명함으로써, 표준 고유값 해법을 통한 스펙트럼의 신뢰할 수 있는 수치 계산이 가능해진다.

ABSTRACT

We extend the results of our previous paper "C*-algebras and numerical linear algebra" to cover the case of "unilateral" sections. This situation bears a close resemblance to the case of Toeplitz operators on Hardy spaces, in spite of the fact that the operators here are far from Toeplitz operators. In particular, there is a short exact sequence 0 --> K --> A --> B --> 0 whose properties are essential to the problem of computing the spectra of self adjoint operators.

연구 동기 및 목표

• 양자역학에서 발생하는 무한 삼중대각선 연산자의 스펙트럼을 수치적으로 근사화하기 위한 이론적 기반을 마련하는 것.
• 무한 연산자의 스펙트럼 측도로 향하는 $n \times n$ 단방향 압축의 고유값이 $n \to \infty$일 때 수렴함을 보이는 것.
• 연산자와 이동 연산자가 생성하는 $C^*$-대수에서의 유일한 추적 상태 $\tau$와 스펙트럼 측도 $\mu_T$를 연결하는 것.
• 주어진 점이 스펙트럼에 속해 있는지 여부를 고유값 밀도를 기반으로 판단할 수 있는 실용적인 계산 프레임워크를 제공하는 것.

제안 방법

• 무한 차원 힐버트 공간 $H = \ell^2(\mathbb{Z})$ 에 대한 필터링 $\{H_n\}$ 을 $H_n = \text{span}\{e_1, \dots, e_n\}$ 으로 정의하며, 이는 $H_+ \neq H$ 이므로 부적절하다.
• 전체 삼중대각선 연산자 $T$ 를 $H_n$ 에서 압축하여 $n \times n$ 단방향 행렬 $T_n$ 을 정의한다.
• $n \to \infty$ 일 때 정규화된 고유값 수세기 측도 $\frac{1}{n} \sum_{i=1}^n \delta_{\lambda_i^n}$ 이 스펙트럼 측도 $\mu_T$ 로 약하게 수렴함을 증명한다.
• $\mathcal{A}$ 라는 $C^*$-대수에서의 유일한 추적 상태 $\tau$ 를 통해 $\mu_T$ 가 푸시포워드 측도임을 확립한다.
• $\mathcal{A}$ 의 단순성과 함께 $\tau$ 가 충실함을 보여, 따라서 $\mu_T$ 가 $\sigma(T)$ 정확히 위에 지지됨을 보인다.
• 부적절한 필터링에 대한 정리 2.3 을 적용하여 경험적 측도의 약한 수렴을 결론짓는다.

실험 결과

연구 질문

• RQ1 삼중대각선 연산자의 $n \times n$ 단방향 압축의 고유값 수열이 전체 연산자의 스펙트럼으로 수렴하는가?
• RQ2 무한 삼중대각선 연산자의 스펙트럼 측도 $\mu_T$ 는 유한 절단의 경험적 측도의 약한 극한으로 복원될 수 있는가?
• RQ3 연산자와 이동 연산자가 생성하는 $C^*$-대수에서의 유일한 추적 상태가 스펙트럼 측도를 정의하는 데 어떤 역할을 하는가?
• RQ4 주어진 실수 $\lambda$ 가 연산자 $T$ 의 스펙트럼에 속해 있는지 여부를 유한 행렬 $T_n$ 의 고유값만을 사용하여 어떻게 판단할 수 있는가?
• RQ5 스펙트럼 점 $\lambda$ 근방에서 $T_n$ 의 고유값 수의 성장률은 얼마인가?

주요 결과

• $n \to \infty$ 일 때, $n \times n$ 단방향 절단 $T_n$ 의 경험적 스펙트럼 측도 $\frac{1}{n} \sum_{i=1}^n \delta_{\lambda_i^n}$ 이 스펙트럼 측도 $\mu_T$ 로 약하게 수렴한다.
• $T$ 의 스펙트럼은 $\mu_T$ 의 닫힌 지지집합과 정확히 일치하며, 이는 $C^*$-대수 $\mathcal{A}$ 에서의 추적 $\tau$ 를 통해 정의된다.
• 실수 $\lambda$ 가 $T$ 의 스펙트럼에 속해 있는 것은, $\lambda$ 의 모든 이웃에서 고유값이 양의 밀도로 집합하는 것과 동치이다.
• 모든 Borel 집합 $I$ 에 대해 $\mu_T(\partial I) = 0$ 이면, 충분히 큰 $n$ 에 대해 $n \alpha \leq N_n(I) \leq n \beta$ 를 만족하는 상수 $\alpha < \mu_T(I) < \beta$ 가 존재한다.
• $\lambda$ 가 스펙트럼에 속하지 않으면, $\lambda$ 근방의 작은 이웃 $I$ 에 대해 $\lim_{n \to \infty} \frac{1}{n} N_n(I) = 0$ 이고, $N_n(I)$ 는 $n$ 에 대해 균일 유계이다.
• 수렴은 효과적이다: 고정된 $n$ 에 대해 $N_n((-∞, x])$ 는 빠르게 계산 가능하므로, 이는 스펙트럼과 그 측도의 효율적 수치 근사가 가능하게 한다.