Lower Bounds on Spectral Gaps of Parent Hamiltonians via Tensor Networks

기술 요약: 텐서 네트워크를 통한 부모 해밀토니안의 스펙트럼 갭 하한선

문제 정의
스펙트럼 갭(spectral gap)—시스템 크기에 독립적인, 바닥 상태 매니폴드와 첫 번째 들뜬 상태 사이의 에너지 차이에 대한 균등한 하한선—의 존재는 양자 다체 물리학에서 근본적인 성질이다. 이는 상관관계의 지수적 감소, 위상적 질서(topological order)의 안정성, 그리고 준-단열 진화(quasi-adiabatic evolution)의 실현 가능성을 결정한다. 그러나 간극의 존재를 엄밀하게 증명하고, 더 결정적으로 상호작용하는 해밀토니안에 대해 명시적인 정량적 하한선을 얻는 것은 매우 어려운 일이다. 유한 크기 기준(Knabe, Gosset-Mozgunov)이나 마팅게일 방법(Fannes, Nachtergaele, Werner - FNW)과 같은 방법들이 존재하지만, 이들은 종종 약한 하한선을 제공하거나 특정 영역에서 하한을 제공하지 못한다. 특히, FNW 방법은 행렬 곱 상태(Matrix Product State, MPS) 부모 해밀토니안의 갭 존재를 증명할 수는 있지만, 국소 바닥 공간들의 중첩(overlap)을 추정하는 방식이 최적의 정량적 하한을 제공하지 못한다는 한계가 있다.

방법론
저자들은 강하고 엄밀한 스펙트럼 갭 하한선을 계산하기 위한 도구를 만들기 위해 마팅게일 방법을 재검토하고 개선하였다. 이 접근 방식은 두 가지 주요 단계로 구성된다:

1. 해밀토니안 블로킹 및 리셔플링(Hamiltonian Blocking and Reshuffling):
   원래의 번역 불변(translation-invariant) 해밀토니안 $H_N$은 사이트들을 크기가 $p$와 $q$인 슈퍼-사이트(super-site)로 그룹화함으로써 "블록화된" 해밀토니안 $\tilde{H}_M$으로 변환된다. 원래 해밀토니안의 항들은 특정 가중치($\lambda_\omega$)와 함께 재배치되어, 크기가 $2p+q$인 겹치는 블록들에 작용하는 새로운 국소 항 $\tilde{h}_{\tilde{\imath}}$를 형성한다.

• 저자들은 교대하는 블록 크기와 최적화된 가중치를 허용하는 정교한 블로킹 체계(Lemma 1 및 Lemma 2)를 도입한다.
• 이 단계는 원래 시스템의 갭과 블록화된 시스템의 갭 사이의 관계 $\Delta(H_N) \geq \Delta(\tilde{H}_M)$를 설정하며, 동시에 블록화된 시스템이 frustration-free 상태를 유지하고 그 바닥 공간이 동일한 MPS에 의해 매개되도록 보장한다.

2. 텐서 네트워크를 이용한 국소 갭 추정:
   블록화된 해밀토니안의 갭은 인접한 블록들의 바닥 공간의 상대적 정렬과 관련된 국소 조건에 의해 제한된다. 이 조건은 다음 부등식에 의해 정의되는 파라미터 $\gamma_{p,q}$에 의존한다:
   $$QR + RQ + \gamma_{p,q}(Q + R) \geq 0$$
   여기서 $Q$와 $R$은 인접한 블록들의 바닥 공간의 직교 보공간(orthogonal complements)으로의 투영 연산자이다.

• 핵심 혁신: 저자들은 $\gamma_{p,q}$를 정확하고 효율적으로 계산하는 기술(Theorem 4)을 개발하였다. 블록 크기에 따라 지수적으로 증가하는 힐베르트 공간에서의 연산자 대각화를 수행하는 대신, 이 문제를 고정된 차원 $D^4$를 갖는 행렬 $\Xi$의 두 번째로 큰 고윳값을 찾는 문제로 매핑한다 (여기서 $D$는 MPS의 본드 차원이다).
• 행렬 $\Xi$는 MPS 텐서의 전이 행렬(transfer matrices)로부터 구성되며, 구체적으로 $T_p$, $T_{p+q}$, 그리고 의사 역행렬 $T_{2p+q}^{-1}$와 관련된 항들을 포함한다.
• 최종적인 하한선은 $\Delta(H_N) \geq (1 - 2\gamma_{p,q})\Delta(\tilde{h}_{\tilde{\imath}})$로 주어진다.

주요 기여

• 중첩의 정확하고 효율적인 계산: 본 논문은 마팅게일 방법의 핵심 양(국소 바닥 공간의 중첩)을 정확하게 계산하는 방법을 제공한다. 이는 문제를 고정된 차원 $D^4$의 고윳값 문제로 환원함으로써 달성되었으며, 이는 블록 크기에 대해서는 선형적으로, 본드 차원에 대해서는 다항식적으로 스케일링된다. 이는 기존의 접근 방식들이 느슨한 하한을 제공하거나 지수적인 자원을 요구했던 것과 대조된다.
• 정교한 블로킹 체계: 저자들은 교대하는 블록 크기($p$와 $q$) 및 최적화된 가중치를 포함하도록 블로킹 절차를 일반화하여, 하한을 조여 제어할 수 있는 능력을 높였다.
• 통합된 갭 존재 증명: 이 방법은 "잘 정의된"(normal 또는 block-normal) MPS의 부모 해밀토니안이 갭을 가진다는 통합되고 단순화된 증명을 제공한다. 관련 연산자 $\Xi$가 고정된 유한 차원 공간 내에 존재하기 때문에, 블록 크기가 증가함에 따라 하한이 0이 아닌 값으로 수렴하는 과정을 엄밀하게 분석할 수 있다.
• 퇴화된 바닥 상태에 대한 적용성: 이 프레임워크는 수정 없이도 퇴화된 바닥 공간(예: 위상적 상 또는 대칭성 깨짐 상)을 다루는 block-normal MPS로 자연스럽게 확장된다.

결과
이 방법은 AKLT 모델, $Z_3$-XY 모델, SU(3) Valence Bond Solids 모델에 대해 기존의 FNW 방법, Nachterleage의 마팅게일 방법, 그리고 유한 크기 기준(Knabe, Gosset-Mozgunov)과 벤치마킹되었다:

• AKLT 모델: 이 방법은 열린 경계 조건(OBC)과 주기적 경계 조건(PBC) 모두에서 FNW 방법보다 훨씬 더 타이트한 하한선을 생성하였다. PBC의 경우 $\Delta \geq 0.2827$, OBC의 경우 $\Delta \geq 0.2497$의 하한을 얻었다. 매우 큰 블록 크기에서는 유한 크기 기준이 이 방법보다 우수했으나, 텐서 네트워크 접근법은 더 적은 계산 비용으로 더 우수한 하한을 제공했으며 다른 방법들이 갭을 감지하지 못한 영역에서도 성공하였다.
• $Z_3$-XY 모델: 이 방법은 Knabe 기준이 갭을 감지하지 못한 파라미터 영역(특히 작은 변형 파라미터 $t$에 대해)에서 정량적 하한을 제공하였다. 또한 넓은 파라미터 범위에 걸쳐 표준 마팅게일 방법과 Knabe 기준보다 우수한 성능을 보였다.
• SU(3) Valence Bond Solids: 이 방법은 SU(3) 대칭 모델에 적용되어, 이들이 갭을 가짐을 증명하고 명시적인 하한선을 제공하였다.

의의
본 논문은 수치적으로 동기화된 접근 방식이 두 가지 주요 목표를 달백한다고 주장한다:

1. 정량적 개선: 기존의 기술들보다 MPS 부모 해밀토니안의 스펙트럼 갭에 대해 실질적으로 더 강력한 하한선을 제공하며, 특정 영역에서는 유한 크기 기준을 능가하기도 한다.
2. 개념적 단순화: 일반적인(normal 및 block-normal) MPS의 부모 해밀토니안이 갭을 가진다는 것을 보여주는 간결하고 엄밀한 증명을 제공한다. 갭 분석을 고정 차원의 고윳값 문제로 환원함으로써, 이 증명은 이전 논의들의 복잡성을 피하고 고유한 바닥 상태와 퇴화된 바닥 상태 모두에 균일하게 적용된다.

저자들은 이 방법이 자기 완결적(self-contained)이며, 바닥 공간이 MPS에 의해 매개될 수 있는 일반적인 frustration-free 해밀토니안에 적용 가능하다는 점을 강조하며, 이를 통해 양자 다체 시스템의 스펙트럼 갭을 분석하는 다재다능한 도구임을 밝히고 있다.