[논문 리뷰] Fine properties of the integrated density of states and a quantitative separation property of the Dirichlet eigenvalues

Michael Goldstein, Wilhelm Schlag|arXiv (Cornell University)|2005. 01. 02.

Spectral Theory in Mathematical Physics참고 문헌 24인용 수 5

한 줄 요약

이 논문은 해석적 퍼텐셜이 삼각다항식에 가까운 1차원 준주기 슈뢰딩거 연산자의 통합 밀도 상태( IDS )에 대한 날카운 하올더 연속성 추정을 수립한다. 유한체적 스펙트럼 분석과 복소화된 위상 방법을 사용하여, 양의 리아풀로프 지수와 디오판틴 주파수 조건 하에서 IDS가 거의 모든 ω에 대해 하올더 연속이며 지수 $\frac{1}{2k_0} - \kappa$ 를 가지며, 절댓값 연속임을 증명한다.

ABSTRACT

We develop some non-perturbative methods for studying the IDS in almost Mathieu and related models. Assuming positive Lyapunov exponents, and assuming that the potential function is a trigonometric polynomial of degree k, we show that the Holder exponent of the IDS is almost 1/2k. We also show that this is stable under small perturbations of the potential (e.g., potentials which are close to that of almost Mathieu again give rise to almost 1/2 Holder continuous IDS). Moreover, off a set of Hausdorff dimension zero the IDS is Lipschitz. We further deduce from these properties that the IDS is absolutely continuous for almost every shift angle. The proof is based on large deviation theorems for the entries of the transfer matrices in combination with the avalanche principle for non-unimodular matrices. These two are combined to yield a multiscale approach to counting zeros of determinants which fall into small disks. In addition, we develop a new mechanism of eliminating resonant phases, and use it to obtain lower bounds on the gap between Dirichlet eigenvalues. The latter also uses the exponential localization of the eigenfunctions.

연구 동기 및 목표

• 1차원 차분 슈뢰딩거 연산자에 대한 해석적 퍼텐셜을 가진 통합 밀도 상태( IDS )의 정밀한 연속성 성질을 수립하기 위해.
• 디오판틴 주파수와 양의 리아풀로프 지수 조건 하에서 유한구간에서의 딜리클레 고유값의 분리 정도를 정량화하기 위해.
• 특성 행렬식의 영점 분포를 복소 환형에서 분석하여 스펙트럼 변동성을 제어하기 위해.
• 작은 에너지 간격 내 고유값 수에 대한 정량적 경계를 도출하여 IDS의 정규성 추정을 이끌어내기 위해.
• 거의 모든 주파수 $\omega$ 에 대해 IDS가 절댓값 연속이며, 지수 $\frac{1}{2k_0} - \kappa$ 를 가진 하올더 연속임을 보여주기 위해.

제안 방법

• 유한구간 $[1,N]$ 에서 경계 조건이 0인 슈뢰딩거 연산자 $H(x,\omega)$ 의 딜리클레 고유값을 분석한다.
• 유한체적 스펙트럼 경계를 사용: $ \eta \asymp N^{-1 + \delta} $ 인 경우, $ (E - \eta, E + \eta) $ 내 평균 고유값 수는 $ N \eta^{\frac{1}{2k_0} - \kappa} $ 이하로 유계이다. 여기서 $ \kappa > 0 $ 이다.
• 특성 행렬식 $ f_N(z, \omega, E) $ 의 영점을 복소 환형 $ \mathcal{A}_\rho = \{ z \in \mathbb{C} : 1 - \rho < |z| < 1 + \rho \} $ 에서 연구함으로써 복소화된 위상 분석을 수행한다.
• 이 영점들이 $ \mathcal{A}_\rho $ 에 등분포되어 있음을 증명하고, 임의의 반경 $ \exp(-(\log N)^A) $ 인 원판에 최대 $ 2k_0 $ 개의 영점이 존재하지 않음을 보인다. 여기서 $ A \gg 1 $ 이다.
• 하위해석 함수 기법과 지수 감쇠 추정을 적용하여 예외적인 주파수 및 에너지 집합을 제어한다.
• 스펙트럼 변동성을 제어하기 위해 측도 및 복잡도 경계를 갖는 중첩된 집합 $ \Omega^{(s)} $, $ \mathcal{E}^{(s)} $ 의 재귀적 구성 기법을 사용한다.

실험 결과

연구 질문

• RQ1 해석적 퍼텐셜이 삼각다항식에 가까운 준주기 슈뢰딩거 연산자에 대해 통합 밀도 상태의 최적 하올더 연속성은 무엇인가?
• RQ2 유한구간에서의 딜리클레 고유값은 에너지 영역에서 어떻게 분포하며, 그들 사이의 최소 분리는 무엇인가?
• RQ3 복소화된 위상 분석은 고유값 및 스펙트럼 측도의 분포를 제어하는 데 어떤 역할을 하는가?
• RQ4 작은 에너지 간격 내 고유값 수에 대한 정량적 경계를 확보할 수 있으며, 이는 IDS의 정규성에 어떤 영향을 미치는가?
• RQ5 언제 IDS가 절댓값 연속이며, 이는 주파수 $\omega$ 의 디오판틴 성질과 어떻게 관련되는가?

주요 결과

• 통합 밀도 상태 $ \mathcal{N}(E) $ 는 임의의 $ \kappa > 0 $ 에 대해 지수 $\frac{1}{2k_0} - \kappa$ 를 가지며 하올더 연속이다. 여기서 $ k_0 $ 는 기저 삼각다항식의 차수이다.
• 거의 모든 $ \omega $ 에 대해 IDS는 절댓값 연속이며, 이는 유한구간에서의 스펙트럼 경계의 결과이다.
• 구간 $[1,N]$ 에서 $ (E - \eta, E + \eta) $ 내 평균 딜리클레 고유값 수는 $ N \eta^{\frac{1}{2k_0} - \kappa} $ 이하로 유계이며, $ \eta \asymp N^{-1 + \delta} $, $ \delta \ll 1 $ 이다.
• 모든 $ \omega \notin \Omega(\varepsilon) $, $ \text{mes}\, \Omega(\varepsilon) < \varepsilon $, 그리고 $ E \notin \mathcal{E}_\omega(\varepsilon) $, $ \text{mes}\, \mathcal{E}_\omega(\varepsilon) < \varepsilon $ 인 경우, $ (E - \eta, E + \eta) $ 내 고유값 수는 $ \exp\left((\log \varepsilon^{-1})^A\right) \eta N $ 이하로 유계이다. 여기서 $ \eta > N^{-1 + b} $, $ b > 0 $ 이다.
• 모든 $ E \notin \mathcal{E}_\omega(\varepsilon) $ 에 대해 $ \mathcal{N}(E + \eta) - \mathcal{N}(E - \eta) \leq \exp\left((\log \varepsilon^{-1})^A\right) \eta $ 를 만족하며, 이는 예외 집합을 제외한 영역에서 강력한 정규성을 의미한다.
• 모든 $ \delta > 0 $ 에 대해, 소량의 예외적인 에너지 집합을 제거한 후, $[0,N]$ 에서 딜리클레 고유값 간의 분리 거리는 $ e^{-N^\delta} $ 이상으로 유도된다.