[논문 리뷰] Weyl sums and the Lyapunov exponent for the skew-shift Schrödinger cocycle

Rui Han, Marius Lemm외 1명|arXiv (Cornell University)|2018. 06. 30.

Spectral Theory in Mathematical Physics참고 문헌 2인용 수 3

한 줄 요약

이 논문은 편미분 방법을 통해 비틀림 이동 스트레스 슈뢰딩거 연산자에 대한 영에너지 리아프누프 지수 $ L(\lambda) $ 를 분석한다. 잠재력은 $ 2\lambda\cos(2\pi(\binom{j}{2}\omega + jy + x)) $ 로 주어진다. 이는 $ \lambda $ 에 대해 두 번째 차수까지의 상한선이 $ \lambda \to 0 $ 일 때 $ L(\lambda) \sim C\lambda^2 $ 와 일치함을 보여주며, 임의로 작은 $ \lambda > 0 $ 에서 앤더슨 국소화의 추측을 지지한다. 또한 이 분석에 핵심적인 이차 와일 합에 대한 새로운 하한선을 증명한다.

ABSTRACT

We study the one-dimensional discrete Schrödinger operator with the skew-shift potential $2λ\cos\left(2π\left(\binom{j}{2} ω+jy+x ight) ight)$. This potential is long conjectured to behave like a random one, i.e., it is expected to produce Anderson localization for arbitrarily small coupling constants $λ>0$. In this paper, we introduce a novel perturbative approach for studying the zero-energy Lyapunov exponent $L(λ)$ at small $λ$. Our main results establish that, to second order in perturbation theory, a natural upper bound on $L(λ)$ is fully consistent with $L(λ)$ being positive and satisfying the usual Figotin-Pastur type asymptotics $L(λ)\sim Cλ^2$ as $λ o 0$. The analogous quantity behaves completely differently in the Almost-Mathieu model, whose zero-energy Lyapunov exponent vanishes for $λ<1$. The main technical work consists in establishing good lower bounds on the exponential sums (quadratic Weyl sums) that appear in our perturbation series.

연구 동기 및 목표

• 비틀림 이동 슈뢰딩거 연산자가 임의로 작은 결합 상수 $ \lambda > 0 $ 에서도 앤더슨 국소화를 보이는지 조사하는 것.
• 작은 $ \lambda $ 영역에서 새로운 편미분 방법을 사용하여 영에너지 리아프누프 지수 $ L(\lambda) $ 를 분석하는 것.
• $ L(\lambda) $ 의 편미분 전개에서 나타나는 이차 와일 합에 대해 엄밀한 하한선을 확립하여 리아프누프 지수를 제어하는 데 필수적인 것.
• 비틀림 이동 모델과 애매한-마티외 모델 간의 행동을 대조하여, 특히 작은 $ \lambda $ 에서의 영에너지 리아프누프 지수에서의 차이를 부각하는 것.

제안 방법

• 스체로딩거 코시클의 전달 행렬 형식을 사용하여 영에너지 리아프누프 지수 $ L(\lambda) $ 의 편미분 전개를 $ \lambda $ 의 두 번째 차수까지 개발한다.
• 이 방법은 이차 항 계수를 분석하는 데 의존하며, 이는 $ \sum_{j=1}^{n} e[\omega(j^2 - j)] $ 형태의 지수 합으로 표현되며, 이는 이차 와일 합으로 알려져 있다.
• 삼각함수 항등식과 지수 합의 성질을 활용하여, $ n $ 에 종속되지 않는 $ \tilde{\alpha}_2 $ 의 비트리비어 상한선을 유도한다.
• 와일 합 $ S_n = \sum_{j=1}^n e[\omega(j^2 - j)] $ 에 대한 핵심적인 하한선을 확립하여, $ L(\lambda) $ 가 작은 $ \lambda $ 에서도 양수임을 증명하는 데 필수적이다.
• 특히 동차 동역학 기법을 활용하여, 와일 합에 대한 불변 원리와 [CelMar]의 밀도 결과를 유리수 사례 $ c_1 = -1 $ 에까지 확장한다.
• 시간에 대해 정규화하고 보간한 확률 과정 $ X_n(t) $ 를 정의하여 와일 합의 경로적 행동을 유크 공간에서 연구하고, 약한 수렴 논증을 가능하게 한다.

실험 결과

연구 질문

• RQ1 비틀림 이동 슈뢰딩거 연산자에 대한 영에너지 리아프누프 지수 $ L(\lambda) $ 는 임의로 작은 $ \lambda > 0 $ 에서도 양수로 유지되는가? 이는 앤더슨 국소화를 의미한다.
• RQ2 $ \lambda $ 의 두 번째 차수까지의 편미분 전개를 통해 $ \lambda \to 0 $ 일 때의 점근적 행동 $ L(\lambda) \sim C\lambda^2 $ 가 확인될 수 있는가?
• RQ3 편미분 급수에서 나타나는 와일 합 $ \sum_{j=1}^n e[\omega(j^2 - j)] $ 의 행동은 어떠한가? 그리고 이러한 합에 대해 어떤 하한선을 확립할 수 있는가?
• RQ4 비틀림 이동 모델의 행동은 애매한-마티외 모델과 어떻게 다를까? 특히 작은 $ \lambda $ 에서의 영에너지 리아프누프 지수에서의 차이점은 무엇인가?

주요 결과

• 이차 항 편미분 계수 $ \tilde{\alpha}_2 $ 는 $ \frac{2}{\cos^2(\pi\omega)} $ 이하로 유계이며, 이는 $ n $ 에 종속되지 않아 편미분 급수 제어에 매우 중요하다.
• 편미분 전개로부터 유도된 $ L(\lambda) $ 의 상한선이 $ \lambda \to 0 $ 일 때 점근적 행동 $ L(\lambda) \sim C\lambda^2 $ 와 완전히 일치함을 확인하였다.
• 와일 합 $ S_n = \sum_{j=1}^n e[\omega(j^2 - j)] $ 는 비트리비어 하한선을 만족하여, 편미분 급수가 0으로 붕괴하지 않음을 보장하며, 이는 $ L(\lambda) $ 가 양수임을 지지한다.
• 정규화되고 보간된 와일 합의 경로인 확률 과정 $ X_n(t) $ 는 유크 공간에서 전준비성(프리콤팩트성)을 가지며, 이는 약한 수렴에 의한 극한 과정 $ X_0 $ 가 존재함을 의미한다.
• 과정 $ X_n $ 의 밀도 결과는 $ c_1 = -1 $ 인 유리수 사례로도 확장되며, [CelMar]의 전체 균등분포 결과가 적용되지 않음에도 불구하고, 이는 방법의 강건성을 나타낸다.
• 결과적으로 비틀림 이동 퍼텐셜이 작은 결합 상수에서 국소화를 유도한다는 강력한 증거를 제공한다. 이는 애매한-마티외 모델과 대조되며, $ \lambda < 1 $ 일 때 $ L(\lambda,0) = 0 $ 이기 때문이다.