Length-resolved Operator Growth and Path-Entropy Obstructions to Many-Body Localization

기술적 요약: 길이 분해 연산자 성장 및 경로 엔트로피에 의한 다체 국소화(Many-Body Localization)의 장애

문제 정의
열역학적 극한에서 다체 국소화(MBL)의 존재와 안정성은 여전히 격렬한 논쟁의 대상이다. 비상호작용 계에서는 안데르슨 국소화(Anderson localization)에 대한 엄밀한 증명이 존재하지만, 상호작용하는 무질서 계에서의 MBL 안정성은 논란이 되고 있다. 주요 과제는 에르고딕(ergodic) 계가 최대치(거의 팩토리얼 수준)의 연산자 성장을 보인다는 가설과, 상호작용하는 무질서 계가 국소화 상태를 유지할 수 있다는 가능성 사이의 구조적 긴장을 구별하는 것이다. 본 논문은 최대 연산자 성장이 강력한 형태의 국소화(동역학적 국소성, dynamical locality) 및 섭동 스킴을 통해 구축된 국소적 운동의 적분(LIOMs)과 양립 가능한지를 다룬다.

방법론
저자들은 가로 및 세로 자기장이 존재하는 1차원 무질서 이징 체인(Ising chain)에 집중하며, 여기서 결합 상수와 자기장은 엄격히 양수인 분포로부터 추출된다. 본 연구는 수치적 대각화 대신 엄밀한 연산자 이론적 접근 방식을 채택한다.

1. 연산자 형식론: 저자들은 파울리 문자열 기저(Pauli string basis)를 활용하여 지지 길이(support length) $\ell$에 따라 연산자 노름(norm)을 분해한다. 이들은 해밀토니안 $H$와 국소 연산자 $A$(구체적으로 $\sigma^z_0$)의 $k$번 반복 교환자 $L_H^k(A) = [H, A]^{(k)}$를 분석한다.
2. 게이지 변환: 엄밀한 하한을 설정하기 위해, 저자들은 모든 리우빌리안(Liouvillian) 초연산자의 행렬 요소가 엄격히 양수가 되도록 보장하는 특정 게이지 변환(파울리 연산자의 기저 변경)을 도입한다. 이는 서로 다른 교환자 경로들 사이의 상쇄 간섭 가능성을 제거하여, 연산자 성장에 대한 엄격한 하한을 허용한다.
3. 경로 엔트로피 분석: 교환자 전개에서의 "스크램블링 경로(scrambling paths)"의 수를 세는 데 분석의 핵심을 둔다. 저자들은 개별 경로 진폭의 지수적 감소(무질서에 의한)와 경로의 조합론적 폭발(경로 엔트로피)을 구분한다.
4. 섭동적 구축: LIOM을 구축하는 데 사용되는 반복적 슈리퍼-볼프(Schrieffer-Wolff) 변환의 수렴성을 조사한다. 저자들은 미시적 해밀토니안을 LIOM 해밀토니안으로 매핑하는 유니터리 변환의 생성자 $T$를 분석하며, 이때 $T^{(n)}$의 지지 길이 성장을 $n$차수까지 분석한다.

주요 기여 및 결과

1. 길이 분해된 거의 팩토리얼 성장:
   저자들은 이전의 결과(Cao [1])를 확장하여 지지 길이에 따라 연산자 노름을 분해한다. 양수인 결합을 가진 무질서 이징 체인에 대해, 특정 길이 척도 $\ell_k \sim k / \ln k$에서 연산자 가중치가 다음과 같이 거의 팩토리얼(almost factorially)로 성장함을 증명한다:
   $$\|[H, \sigma^z_0]^{(k)}_{\ell_k}\|_2 \gtrsim \left(\frac{k}{\ln k}\right)^k$$
   이는 연산자 가중치가 단거리 영역에 갇혀 있지 않고 공간적으로 퍼져 나가며, 지배적인 가중치가 교환자 차수 $k$에 따라 발산하는 길이에 위치함을 의미한다.

2. 동역학적 국소성의 엄밀한 배제:
   길이 분해된 하한을 바탕으로, 본 논문은 "동역학적 국소성"(국소 연산자가 시간 진화 하에서 지수적으로 국소화된 상태를 유지하는 조건)이 이 모델에서 엄격하게 배제됨을 증명한다. 경로의 분기로 인한 엔트로피 기여가 국소화 상(phase)에서 기대되는 지수적 국소화 요인을 압도한다.

3. 유한 크기 교차 척도:
   경로 엔트로피 항(탈국소화를 유도함)과 무질서 강도 $W$ 및 결합 $J$에 의해 구동되는 지수적 국소화 항 사이의 경쟁은 다음과 같은 엄밀한 유한 크기 교차 척도를 설정한다:
   $$L \sim \left(\frac{W}{J}\right)^2$$
   시스템 크기가 $L \lesssim (W/J)^2$인 경우, 시스템은 경로 엔트로피가 아직 국소화를 압도하지 못한 "전-점근적(pre-asymptotic)" 영역에 머물러 있다. 이 영역에서 수치 연구는 겉보기에 국소화된 상태를 관찰할 수 있으나, 이는 열역학적 극한($L \to \infty$)에서 사라지는 과도적인 현상이다.

4. LIOM 구축에 대한 경로 엔트로피의 장애:
   본 논문은 LIOM의 섭동적 구축에 대한 구조적 장애를 식별한다. 많은 수의 다체 공명이나 아발란치(avalanche)가 없다고 가정하더라도, 반복적인 슈리퍼-볼프 스킴은 지지 길이에 따라 증가하는 스크램블링 경로의 수를 생성한다. 저자들은 무작위 진폭을 가진 이 거의 팩토리얼적인 경로들 사이의 파괴적 간섭을 위한 특정된(아직 확인되지 않은) 메커니즘이 없다면, 유니터리 변환의 생성자 $T$가 필연적으로 비국소적이 될 것이라고 주장한다. 이는 경로 엔트로피로 인해 LIOM의 섭동적 구축이 실패할 수 있음을 시사한다.

5. 추상적 LIOM과의 일관성:
   저자들은 최대 연산자 성장이 동역학적 국소성을 부정하더라도, 추상적 LIOM 해밀토니안의 존재 자체를 엄격하게 부정하는 것은 아님을 명확히 한다. 그들은 추상적 LIH 해밀토니안이 팩토리얼보다 더 빠른 성장을 지원할 수 있음을 보여준다. 그러나 장애물은 미시적 모델을 그러한 추상적 해밀토니안으로 매핑하는 준국소적(quasi-local) 유니터리 매핑의 구축에 있다.

의의 및 주장
본 논문은 최대 연산자 성장이 무질서한 상호작용 스핀 체인에서 일반적인 특징이며, 이것이 가장 강력한 형태의 국소화(동역학적 국소성)를 배제한다는 점을 보여줌으로써 최대 연산자 성장과 국소화 사이의 긴장을 해결한다고 주장한다.

• 수치 연구에 대하여: 이 연구는 왜 작은 시스템에 대한 수치 연구가 강한 무질서 하에서 안정적인 MBL 상을 제안하는지에 대한 엄밀한 설명을 제공한다. 저자들은 이러한 관찰이 교차 척도 $L \sim (W/J)^2$에 의해 정의되는 전-점근적 영역의 인공물(artifact)이라고 상정한다. 결과적으로, 작은 시스템에 대한 수치 시뮬레이션은 열역학적 극한에서 MBL의 안정성을 결정하기에 부적합하다.
• MBL 안정성에 대하여: 저자들은 "경로 엔트로피 장애"가 열역학적 극한에서 일반적인 무질서 상호작용 스핀 체인의 MBL을 불안정하게 만들 가능성이 높은 근본적인 메커니즘이라고 결론짓는다. MBL이 생존하기 위해서는 거의 팩토리얼적으로 많은 무질서 의존적 경로들을 체계적으로 상쇄하기 위한 매우 정교하게 조정된(fine-tuned) 메커니즘이 필요하지만, 이는 일반적이지 않다고 주장한다.
• 실시간 역학에 대하여: 본 결과는 이 시스템들의 실시간 연산자 확산이 서브-발리스틱(sub-ballistic)이나 국소화된 형태가 아니라, 로그 보정(logarithmic correction)을 포함하여 발리스틱(ballistic)하게 진행될 것임을 시사한다. 왜냐러면 서브-발리스틱 확산을 위해 필요한 체계적인 상쇄는 통계적으로 매우 희박하기 때문이다.

요약하자면, 본 논문은 연산자 내용의 조합론적 분기로 발생하는 "경로 엔트로피"가 국소화에 대한 구조적 장벽이며, 이는 무질서 효과와 독립적으로 작용하여 열역학적 극한에서의 안정적인 MBL 상의 존재에 도전한다고 주장한다.