[논문 리뷰] Critical almost Mathieu operator: hidden singularity, gap continuity, and the Hausdorff dimension of the spectrum

Svetlana Jitomirskaya, Igor Krasovsky|arXiv (Cornell University)|2019. 09. 10.

Spectral Theory in Mathematical Physics참고 문헌 34인용 수 14

한 줄 요약

이 논문은 임의의 무리수 주파수에 대해 임계 거의 마티외 연산자의 스펙트럼의 하우스도르프 차원이 1/2 이하임을 증명하며, 오랫동안 남아있던 추측을 해결한다. 연장자 성분 변환을 통해 연산자의 표현에서 숨겨진 특이성을 드러내어, 특이한 임의의 주기적 아티제비 매트릭스에 대해 스펙트럼의 거의 리프시츠 연속성을 확립함으로써, 커버링 추론과 주기적 근사자들을 통한 직접 증명을 가능하게 하였다. 이는 영차원 르베그 측도와 차원 상한을 도출한다.

ABSTRACT

We prove almost Lipshitz continuity of spectra of singular quasiperiodic Jacobi matrices and obtain a representation of the critical almost Mathieu family that has a singularity. This allows us to prove that the Hausdorff dimension of its spectrum is not larger than 1/2 for all irrational frequencies, solving a long-standing problem. Other corollaries include two very elementary proofs of zero measure of the spectrum (Problem 5 in [41]) and a similar Hausdorff dimension result for the quantum graph graphene.

연구 동기 및 목표

• 모든 무리수 주파수에 대해 임계 거의 마티외 연산자의 스펙트럼의 하우스도르프 차원이 1/2 이하임을 증명하는 것.
• 모든 무리수 주파수에 대해 문제 5를 [42]에서 해결하는 단순한 비역학적 접근을 통해 스펙트럼의 영차원 르베그 측도를 통합적으로 증명하는 것.
• 특이한 임의의 주기적 아티제비 매트릭스에 대해 스펙트럼의 거의 리프시츠 연속성을 확립하여, 차원 추정을 가능하게 하는 것.
• 유사한 스펙트럼 분석을 통해 양자 그래프 그래핀 모델로 결과를 확장하는 것.

제안 방법

• 임계 거의 마티외 연산자를 특정 점들에서 대각성분이 0이 되는 특이한 임의의 주기적 아티제비 매트릭스로 재표현하는 연장자 성분 변환을 도입한다.
• 특이한 구조를 이용해 스펙트럼이 총 측도가 $ \mathcal{O}(\ln q_n / q_n) $ 로 감소하는 간격들의 합집합에 포함됨을 보이며, 영차원 르베그 측도를 유도한다.
• 주기적 근사자와 스펙트럼 포함 경계를 통해 특이한 임의의 주기적 아티제비 매트릭스에 대해 스펙트럼의 거의 리프시츠 연속성을 확립한다.
• 스펙트럼 간격에 헬더 유형의 커버링 추정을 적용하여 $ t $-차원 하우스도르프 측도를 유계로 만들며, $ t > 1/2 $ 에서는 그 값이 0이 됨을 보인다.
• 가우스 사상의 측도론적 성질과 연속분수 근사자들을 활용하여 모든 무리수 주파수에 걸쳐 결과를 균일하게 확장한다.
• 연장자 성분에서의 표현 $ \widehat{H}_{\alpha,\theta} $ 를 사용하여 스펙트럼 포함 관계를 유도하고, $ \theta $-평균 측도를 통해 스펙트럼 간격을 제어한다.

실험 결과

연구 질문

• RQ1 모든 무리수 주파수에 대해 임계 거의 마티외 연산자의 스펙트럼의 하우스도르프 차원이 1/2 이하로 유계인지 여부?
• RQ2 모든 무리수 주파수에 대해 단순하고 비역학적 접근을 통해 스펙트럼의 영차원 측도 성질을 균일하게 증명할 수 있는가?
• RQ3 특이한 임의의 주기적 아티제비 매트릭스의 스펙트럼 연속성은 디오판틴 성질에 무관한 차원 추정을 가능하게 하는가?
• RQ4 연장자 성분 변환은 임계 거의 마티외 연산자의 스펙트럼 분석을 단순화하는 숨겨진 특이성을 드러내는가?
• RQ5 스펙트럼 차원은 $ \alpha $ 의 연속분수 전개의 尾(꼬리)에만 의존하는가, 벨리산드의 추측에 따라?

주요 결과

• 모든 무리수 주파수 $ \alpha $ 에 대해 임계 거의 마티외 연산자의 스펙트럼의 하우스도르프 차원은 최대 $ 1/2 $ 이며, 이는 정리 1.1을 증명한다.
• 모든 무리수 $ \alpha $ 에 대해 스펙트럼은 영차원 르베그 측도를 가지며, [42]의 문제 5를 완전히 해결하고 아비라-크리코리안의 결과를 더 단순한 추론으로 복원한다.
• 저자들은 특이한 임의의 주기적 아티제비 매트릭스에 대해 스펙트럼의 거의 리프시츠 연속성을 확립하였으며, 이는 차원 추정의 기초가 되는 일반적 결과이다.
• 임계 거의 마티외 연산자의 스펙트럼 측도는 모든 $ t > 1/2 $ 에 대해 $ \mathrm{meas}_t(\sigma(H_{\alpha,\theta})) = 0 $ 를 만족하며, 하우스도르프 차원에 대한 상한을 확인한다.
• 결과는 양자 그래프 그래핀 모델로도 확장되며, 동일한 하우스도르프 차원 상한 $ 1/2 $ 이 성립한다.
• 연장자 성분 변환은 연산자 내에 숨겨진 특이성을 드러내어, 그 스펙트럼 성질을 더 쉽게 분석할 수 있도록 특이한 아티제비 매트릭스로 변환한다.