[논문 리뷰] On the abominable properties of the almost Mathieu operator with well approximated frequencies

Artur Avila, Yoram Last외 2명|arXiv (Cornell University)|2021. 10. 15.

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

한 줄 요약

이 논문은 분수로 잘 근사되는 주파수를 가진 거의 마티외 연산자가 1차원 슈뢰딩거 연산자 중에서 가장 병리적인 스펙트럼 성질을 띌 수 있음을 보여준다. 임계 결합($\lambda=1$)일 때 스펙트럼의 하우스도르프 측도가 로그보다 더 빠르게 감소하는 게이지 함수에 대해 0이 될 수 있으며, 통합 밀도 상태와 리아푸노프 지수의 연속성 모듈러스는 임의로 열악해질 수 있으며, 스펙트럼은 동질성과 파르로-위도프 조건을 모두 위반할 수 있다.

ABSTRACT

We show that some spectral properties of the almost Mathieu operator with frequency well approximated by rationals can be as poor as at all possible in the class of all one-dimensional discrete Schroedinger operators. For the class of critical coupling, we show that the Hausdorff measure of the spectrum may vanish (for appropriately chosen frequencies) whenever the gauge function tends to zero faster than logarithmically. For arbitrary coupling, we show that modulus of continuity of the integrated density of states can be arbitrary close to logarithmic; we also prove a similar result for the Lyapunov exponent as a function of the spectral parameter. Finally, we show that (for any coupling) there exist frequencies for which the spectrum is not homogeneous in the sense of Carleson, and, moreover, fails the Parreau-Widom condition. The frequencies for which these properties hold are explicitly described in terms of the growth of the denominators of the convergents.

연구 동기 및 목표

• 분수로 매우 잘 근사되는 경우에 거의 마티외 연산자의 극단적인 스펙트럼 행동을 조사하는 것.
• 이러한 산술 조건 하에서 스펙트럼 성질의 규칙성의 한계를 규명하는 것—예를 들어 하우스도르프 측도, 통합 밀도 상태의 연속성, 리아푸노프 지수의 성질을 포함하여.
• 스펙트럼이 동질성과 파르로-위도프 조건을 위반하는 주파수의 집합을 특성화하고, 이러한 성질이 1차원 슈뢰딩거 연산자 전반에서 가능한 한 최악임을 보여주는 것.

제안 방법

• 저자들은 주파수 $\alpha$의 산술적 구조, 특히 그 수렴근 $q_n$의 분모의 증가율을 이용하여 거의 마티외 연산자 $H_{\alpha,\lambda,\theta}$의 스펙트럼을 분석한다.
• 주기적 근사자 $H_{p_n/q_n,\lambda,\theta}$의 스펙트럼 간극과 밴드 폭에 대한 추정을 적용하여, $\lambda > 1$일 때 밴드가 어떤 거듭제곱 법칙보다도 더 빠르게 수축함을 보인다.
• 핵심 기법은 $\theta$-평균 밀도 상태 $\overline{\rho}_{p_n/q_n,\lambda}$를 사용하고, 무라카미-유사 추론의 정량적 버전을 활용하여 무리수 $\alpha$에 대해 진짜 밀도 $\rho_{\alpha,\lambda}$와 비교하는 편미분 기반 접근이다.
• 구간의 밀도와 길이에 기반한 커버링 추론을 사용하여 주어진 간격 내의 스펙트럼 밴드 수를 근사하며, 이는 간격의 수가 총 측도와 밀도와 관련된 주장에 의존한다.
• 게이지 함수 $\omega_t(s) = 1/\log^t(1/es)$ 및 $\widetilde{\omega}_t(s) = s^t$를 사용하여 하우스도르프 측도의 감쇠를 정량화하며, 특정한 $\alpha$에 대해 이 함수가 매우 빠르게 감소할 경우 측도가 0이 됨을 보여준다.
• 작은 간격에서 이 함수들의 변화를 추정하여 통합 밀도 상태와 리아푸노프 지수의 연속성 모듈러스가 로그에 매우 가까워질 수 있음을 입증한다.

실험 결과

연구 질문

• RQ1 임계 결합($\lambda=1$)일 때, 하우스도르프 측도가 로그보다 더 빠르게 감소하는 게이지 함수에 대해 거의 마티외 연산자의 스펙트럼 측도가 0이 될 수 있는가?
• RQ2 분수로 잘 근사되는 주파수에 대해 통합 밀도 상태와 리아푸노프 지수는 얼마나 규칙적일 수 있는가? 그 연속성 모듈러스가 로그에 매우 가까워질 수 있는가?
• RQ3 분수로 잘 근사되는 특정 주파수에 대해 거의 마티외 연산자의 스펙트럼이 카를레슨의 의미에서 동질성이 없을 수 있는가?
• RQ4 분수로 매우 잘 근사되는 주파수일 때, 어떤 결합 $\lambda$에 대해서라도 스펙트럼이 파르로-위도프 조건을 위반할 수 있는가?
• RQ5 연속 분수의 분모 $q_n$에 대해 어떤 명시적 산술 조건이 이러한 극단적인 스펙트럼 성질이 발생하는 주파수를 특성화하는가?

주요 결과

• 모든 $t>2$에 대해 $\beta(\alpha)>0$ 이면 $\lambda=1$일 때 $\mathcal{H}^{\omega_t}(S(\alpha,1))=0$이 되며, 이는 게이지 함수가 $1/\log^2(1/es)$보다 더 빠르게 감소할 경우 스펙트럼의 하우스도르프 측도가 0임을 의미한다.
• 모든 게이지 함수 $\omega$에 대해 $\lim_{s\to 0^+} \omega(s) \log(1/s) = 0$를 만족할 경우, $G_\delta$-稠밀한 무리수 $\alpha$의 집합이 존재하여 $\mathcal{H}^\omega(S(\alpha,1))=0$임을 보여주며, 이는 로그보다 더 빠르게 감소하는 게이지 함수에 대해 스펙트럼의 측도가 0일 수 있음을 의미한다.
• 임의의 결합 $\lambda$에 대해 통합 밀도 상태의 연속성 모듈러스는 로그에 매우 가까워질 수 있으며, 이는 그것이 가능한 한 불규칙해질 수 있음을 의미한다.
• 유사하게, 스펙트럼 매개변수에 대한 리아푸노프 지수의 연속성 모듈러스도 로그에 매우 가까워질 수 있으며, 이는 극도로 불규칙함을 나타낸다.
• 카를레슨의 의미에서 동질성이 없고 파르로-위도프 조건을 위반하는 주파수 $\alpha$가 존재하며, 이는 임의의 $\lambda > 0$에 대해서도 성립한다. 이는 기하학적 의미에서 스펙트럼이 가능한 한 불규칙해질 수 있음을 보여준다.
• 이러한 극단적 성질이 발생하는 주파수는 연속 분수의 수렴근 분모의 증가율에 의해 명시적으로 특성화되며, $q_{n+1} \gg \lambda^{q_n}$를 만족함으로써 매우 빠른 유리수 근사가 가능하다.