[논문 리뷰] Spectral shift function of higher order

Denis Potapov, Anna Skripka외 1명|arXiv (Cornell University)|2009. 12. 16.

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

한 줄 요약

이 논문은 1984년 코플리엔코의 추측을 해결하여 $n$-번째 샤텐-폰 노이만 클래스 $S^n$ 내의 섭동에 대해 고차수 스펙트럼 이동 함수의 존재성과 절대연속성을 증명한다. 다중 연산자 적분에 대한 새로운 추정치를 사용하여, 저자들은 스펙트럼 이동 함수 $\eta_n$가 존재하고, 적분 가능하며, $\|\eta_n\|_{L^1} \leq c_n \|V\|_{S^n}^n$를 만족함을 확립한다. 이는 크라인과 코플리엔코의 결과를 반한 유한성 von Neumann 대수 설정 내에서 모든 $n \in \mathbb{N}$로 일반화한다.

ABSTRACT

This paper resolves affirmatively Koplienko's conjecture of 1984 on existence of higher order spectral shift measures. Moreover, the paper establishes absolute continuity of these measures and, thus, existence of the higher order spectral shift functions $η_n$. We show the higher order spectral shift function is a $L^1$-function and prove an estimate on its $L^1$-norm. Existence and summability of $η_1$ and $η_2$ were established by Krein in 1953 and Koplienko in 1984, respectively, whereas for $n > 2$ the problem was unresolved. Our method is derived from [arXiv:0904.4095]; it also applies to the general semi-finite von Neumann algebra setting of the perturbation theory.

연구 동기 및 목표

• 고차수 스펙트럼 이동 측도의 존재성에 대한 코플리엔코의 1984년 추측을 해결하기 위해, $n > 2$일 때 $V \in S^n$인 경우에 대해 고차수 스펙트럼 이동 측도 $\nu_n$의 존재성을 입증한다.
• 이러한 측도의 절대연속성을 확립하여, 고차수 스펙트럼 이동 함수 $\eta_n$의 존재성을 입증한다.
• 스펙트럼 이동 함수 이론을 일반적인 반한유한 von Neumann 대수 설정으로 확장한다.
• 트레이스 아이디얼 내에서 고차수 섭동을 분석하기 위한 다중 연산자 적분 추정치에 기반한 새로운 방법을 제공한다.

제안 방법

• 저자들은 $n$-차수 다중 연산자 적분에 대한 새로운 추정치를 도입하여, 이전의 $n=1$ 경우 결과를 고차수로 확장한다.
• 이중 연산자 적분 기법과 푸리에 분석, 보간을 조합하여 다중 연산자 적분의 노름을 제어한다.
• 증명은 연산자 값 커널을 포함하는 적분 표현을 통해 $n$-차수 문제를 $(n-1)$-차수 문제로 재귀적으로 축소하는 데 의존한다.
• 핵심 추정치는 $n$-차수 푸리에 변환이 적분 가능한 함수의 클래스인 $W_n$을 사용하여 유도되며, 수렴성과 유계성을 보장한다.
• 이 방법은 반한유한 von Neumann 대수 내에서 자기수반 연산자 $H$와 $V \in \mathcal{L}^n$ (즉, $n$-번째 샤텐-폰 노이만 이상)에 적용된다.
• 연산자 적분 노름에 대한 균일한 유계성 덕분에, $V \mapsto \tau(\Delta_{n,f}(H,V))$의 연속성이 확립된다.

실험 결과

연구 질문

• RQ1 $V \in S^n$일 때 $n > 2$인 경우 고차수 스펙트럼 이동 측도 $\nu_n$가 존재하는가?
• RQ2 스펙트럼 이동 함수 $\eta_n$는 절대연속적인가, 즉 밀도를 갖는가?
• RQ3 스펙트럼 이동 함수 $\eta_n$은 $\|V\|_{S^n}^n$에 대해 균일하게 유계인가?
• RQ4 스펙트럼 이동 함수 이론은 일반적인 반한유한 von Neumann 대수 설정으로 확장될 수 있는가?
• RQ5 다중 연산자 적분의 $n$-차수에 대한 정밀한 추정치는 무엇인가?

주요 결과

• 모든 $n \in \mathbb{N}$, 자기수반 연산자 $H$, $V \in \mathcal{L}^n$에 대해 고차수 스펙트럼 이동 함수 $\eta_n = \eta_{n,H,V}$가 존재하며, $L^1(\mathbb{R})$에 속한다.
• 스펙트럼 이동 함수는 $\|\eta_n\|_{L^1} \leq c_n \|V\|_{S^n}^n$를 만족하며, 이때 상수 $c_n$은 $n$에만 의존한다.
• 측도 $\nu_n$는 밀도 $\eta_n$를 갖는 절대연속 측도이며, 이는 코플리엔코의 추측을 긍정적으로 해결한다.
• 증명은 다중 연산자 적분의 $n$-차수에 대한 새로운 추정치에 의존하며, 이는 제1 및 제2차수 경우를 초월한 이론의 확장을 가능하게 한다.
• 이 방법은 일반적인 반한유한 von Neumann 대수 설정에 적용되며, 이는 이전의 $\eta_1$ 및 $\eta_2$ 결과를 일반화한다.
• $V \mapsto \tau(\Delta_{n,f}(H,V))$는 $\mathcal{L}^n$-노름에서 연속적이며, 이는 스펙트럼 이동이 작은 섭동에 대해 안정적임을 보장한다.