[논문 리뷰] The role of C*-algebras in infinite dimensional numerical linear algebra

William Arveson|ArXiv.org|1993. 06. 08.

Advanced Operator Algebra Research참고 문헌 8인용 수 19

한 줄 요약

이 논문은 분리 가능 힐버트 공간 위의 유한 연산자에 대한 본질 스펙트럼을 계산하기 위한 C*-대수적 프레임워크를 제시한다. 유한 차원 행렬 근사에 기반하여, 삼중대각 연산자와 단일 추적 상태를 활용함으로써, 유한 차원 절단의 고유값 분포가 무한 대칭 연산자의 스펙트럼 측도로 약하게 수렴함을 입증한다. 이는 본질 스펙트럼의 신뢰할 수 있는 수치적 근사 가능성을 보장한다.

ABSTRACT

This is a survey of four recent papers which deal with the relationship of simple C*-algebras to the problem of computing the spectra of self-adjoint operators in the general case, especially when the spectrum is not discrete. It is an expanded version of a talk presented at the 50 year C*-algebra celebration, held at the annual meeting of the AMS in San Antonio during January, 1993.

연구 동기 및 목표

• 무한 차원 힐버트 공간 내 자기수반 연산자의 본질 스펙트럼을 수학적으로 엄밀하게 계산하는 방법을 개발하기 위해.
• 대각형으로 주어지지 않은 연산자의 스펙트럼을 근사하는 데 있어 입증된 기법의 부족을 해결하기 위해.
• 유한 차원 절단이 올바른 스펙트럼 극한으로 수렴하는 조건을 설정하기 위해.
• C*-대수와 추적 상태가 행렬 근사의 고유값 분포 수렴에 미치는 역할을 명확히 하기 위해.

제안 방법

• 정규 직교 기저를 통한 힐버트 공간의 필터링을 정의하고, 유한 차원 부분공간 H_n 위로의 사영을 고려한다.
• 필터링에 대한 연산자의 차수 개념을 도입하여, 밴드 제한 행렬을 일반화한다.
• 합계 조건을 만족하는 유한 차수 성분으로 분해 가능한 연산자들의 바나흐 *-대수를 구성한다.
• C*-대수 A에 존재하는 유일한 추적 상태 τ를 사용하여, 리스-마르코프 정리에 의해 스펙트럼 측도 μ_T를 정의한다.
• 삼중대각 연산자 T의 n×n 절단에서의 고유값 분포가 n→∞일 때 μ_T로 약하게 수렴함을 증명한다.
• 원래 C*-대수 A와 동형 사슬을 이루는 몫 대수 A_+/K_+를 확립하여 구조적 일致성을 보장한다.

실험 결과

연구 질문

• RQ1 무한 차원 자기수반 연산자의 유한 차원 행렬 절단이 본질 스펙트럼으로 올바르게 수렴하는 조건은 무엇인가?
• RQ2 유한 절단의 고유값 분포로부터 연산자의 스펙트럼 측도를 어떻게 복원할 수 있는가?
• RQ3 C*-대수의 유일한 추적 상태가 고유값 분포 극한을 특성화하는 데 어떤 역할을 하는가?
• RQ4 본질 스펙트럼은 C*-대수적 연산자 대수의 구조에서 어떤 의미에서 보존되는가?
• RQ5 정규 직교 기저의 선택은 스펙트럼 근사의 수렴에 어떤 영향을 미치는가?

주요 결과

• 삼중대각 연산자 T의 n×n 절단에서의 고유값 분포는 C*-대수의 유일한 추적 상태와 관련된 스펙트럼 측도 μ_T로 약하게 수렴한다.
• 모든 f ∈ C₀(ℝ)에 대해, n×n 절단의 고유값에 대한 f의 평균은 n→∞일 때 ∫ f(x) dμ_T(x)로 수렴한다.
• 연산자 T의 본질 스펙트럼은 스펙트럼 측도 μ_T의 닫힌 지지와 같다.
• 만약 λ ∉ σ(T)이면, λ의 작은 이웃에서 n×n 절단의 고유값 수는 n→∞일 때 유계로 유지된다.
• 유한 차원 절단 연산자 대수 A_+를 컴팩트 연산자로 나눈 몫 대수는 원래 C*-대수 A와 동형이며, 스펙트럼 구조를 유지한다.