Algebraic localization implies exponential localization in non-periodic insulators

기술 요약: 비주기적 절연체에서 대수적 국소화는 지수적 국소화를 함의한다

문제 제기
전자 구조 이론에서, 지수적으로 국소화된 워너 함수(ELWF)는 절연성 해밀토니안의 페르미 투영(Fermi projection)을 위한 중요한 기저 역할을 하며, 효과적인 타이트 바인딩 모델과 현대적 분극 이론의 구축을 용이하게 한다. 2차원 및 3차원의 주기적 절연체의 경우, ELWF의 존재는 특정 위상 불변량(Chern number)의 소멸 및 유한한 2차 모멘트를 갖는 정규 직교 기저의 존재(대수적 국소화, $s=2$)와 동치임이 잘 알려져 있다. 이는 "국소화 이분법(Localization Dichotomy)"을 형성한다.

그러나 비주기적 시스템의 경우, 대수적 국소화와 지수적 국소화 사이의 관계는 여전히 덜 이해되어 있다. 비주기적 시스템에 대한 "국소화 이분법 추측"은 대수적 국소화가 지수적 국소화(및 위상적 자명성)를 함의한다고 가정하지만, 이는 기저의 대칭성을 가정하지 않고는 엄밀하게 증명되지 않았다. 주요 과제는 블로흐-플로케 변환(Bloch-Floquet transform)에 의존하는 표준 기법들을 비주기적 시스템에 적용할 수 없다는 점이다.

방법론
저자들은 2차원 공간의 비주기적 시스템에 대해 국소화 이분법의 약한 형태를 확립한다. 핵심 전략은 페르미 투영 $P$와 가정된 대수적으로 국소화된 기저로부터 유도된 새로운 자기 수반 위치 연산자 $\hat{X}$를 구성하는 것이다. 증명은 다음과 같은 단계로 진행된다:

1. 분해 전략: 저자들은 워너 함수를 투영된 위치 연산자 $PXP$의 고유함수로 정의한 Kivelson과 Nenciu-Nenciu의 접근 방식을 일반화한다. 2차원에서 $PXP$는 일반적으로 이산 스펙트럼을 갖지 않는다. 이를 극복하기 위해, 저자들은 $P$를 효과적으로 1차원적인(선 $x = \xi_j$를 따라 국소화된) 상호 직교하는 투영자들의 가족 $\{P_j\}$로 분해하는 것을 목표로 한다. 만약 이러한 분해가 존재하고 각 투영자가 지수적으로 국소화된 커널을 가진다면, 횡방향 투영 연산자 $P_j Y P_j$의 고유함수들은 $P$에 대한 지수적으로 국소화된 기저를 형성한다.

2. $\hat{X}$의 구성: $\{P_j\}$ 분해의 존재를 보장하기 위해, 저자들은 $P\hat{X}P$가 "균일한 스펙트럼 갭(uniform spectral gaps)"을 갖도록 하는 위치 연산자 $\hat{X}$를 요구한다. 저자들은 $\hat{X}$를 두 단계로 구성한다:

   • 먼저, 가정된 $s$-국소화된 기저 $\{\psi_\alpha\}$의 중심점 $\{\mu_\alpha\}$를 기반으로 이산화된 연산자 $\tilde{X}$를 정의한다. $P$가 지수적으로 국소화된 커널을 가진다는 성질을 이용하여, 저자들은 이 중심점들이 "유계 밀도(bounded density)"를 가짐을 증명하고, 이를 정수 격자 위에 놓이도록 재라벨링할 수 있음을 보인다.
   • 다음으로, 필요한 매끄러움 조건(특히, 연산자가 스펙트럼 성질을 보존하는 방식에서 실제 위치 연산자 $X$로부터 "너무 멀리" 떨어져 있지 않아야 한다는 조건)을 만족시키기 위해, Hastings의 방식에서 영감을 얻은 필터 함수를 $\tilde{X}$에 적용한다. 이를 통해 스펙트럼 노름에서 $X$와 가깝고 특정 교환 관계(commutation bounds)를 만족하는 $\hat{X}$를 얻는다.

3. 조건 검증: 저자들은 구성된 $\hat{X}$가 핵심 보조정리(Lemma 3.1)의 가정을 충족함을 검증한다:

   • $\hat{X}$는 $X$에 가깝다 ($\|\hat{X} - X\| \leq C$).
   • $\hat{X}$는 "기울어진(tilted)" 노름의 의미에서 지수적으로 국소화되어 있다 ($\|\hat{X}_\gamma - \hat{X}\| \leq C\gamma$).
   • $P\hat{X}P$는 균일한 스펙트럼 갭을 갖는다.

주요 기여 및 결과
주요 결과(Theorem 1)는 지수적으로 국소화된 커널을 갖는 $L^2(\mathbb{R}^2)$ 상의 직교 투영 $P$에 대해 대수적 국소화와 지수적 국소화 사이의 동치성을 확립한다. 구체적으로, 본 논문은 다음을 증명한다:

• 정리: 만약 $P$의 범위에 대해 $s > 5/2$인 $s$-국소화된 정규 직교 기저(즉, $\int \langle x - \mu_\alpha \rangle^{2s} |\psi_\alpha(x)|^2 dx < \infty$)가 존재한다면, 지수적으로 국소화된 정규 직교 기저가 존재한다.
• 기술적 임계값: 증명에는 대수적 감쇠 지수가 $5/2$보다 엄격히 커야 한다는 조건이 필요하다. 저자들은 $s > 5/2$가 현재의 분석에는 충분하지만, 향후 연구에서 이 임계값이 낮아질 수 있음을 언급한다.
• 대칭 독립성: 이전의 결과들과 달리, 이 정리는 시스템의 기저 대칭성(예: 시간 역전 대칭 또는 격자 주기성)에 대한 어떠한 가정도 하지 않는다. 이는 오직 페르미 투영의 국소화 성질에만 의존한다.

의의
본 논문은 최근 Marcelli, Monaco, Moscolari, 그리고 Panati가 제안한 비주기적 시스템에 대한 국소화 이분법 추측에 대한 엄밀한 근거를 제공한다. 대수적 국소화(충분히 높은 모멘트를 가진 경우)가 위상적 불변량이나 대칭성 가정을 끌어들이지 않고도 지수적 국소화를 함의한다는 것을 보여줌으로써, 이 연구는 주기적 시스템에 대해 알려진 결과와 일반적인 비주기적 절연체의 거동 사이의 간극을 메운다.

저자들은 본 결과가 전체 이분법에 대한 "약한" 형태라고 명시적으로 밝히는데, 이는 $s=1$(또는 주기적 경우 $s=2$) 대신 $s > 5/2$를 요구하며, 비주기적 시스템에 대해 Chern 마커의 소멸(위상적 자명성)과의 동치성을 아직 확립하지 못했기 때문이다(단, 대수적-위상적 연결 문제를 다루는 Marcelli 등의 최근 연구를 인용함). 결론적으로, 본 논문에서 사용된 기법들은 귀납적 절차를 통해 고차원으로 일반화될 수 있으며, $d$ 차원에서 $s > d + 1/2$인 유사한 결과를 확립할 가능성이 있음을 시사한다.