[논문 리뷰] Energy gaps of Hamiltonians from graph Laplacians

Abbas Al-Shimary, Jiannis K. Pachos|arXiv (Cornell University)|2010. 10. 20.

Graph theory and applications참고 문헌 5인용 수 6

한 줄 요약

이 논문은 스토쿠라스티크 하미르토니안(비음성 외진성 원소를 가진 하미르토니안)의 스펙트럴 갭을 엄밀하게 경계하기 위해 일반화된 체거 부등식 프레임워크를 도입한다. 이는 그들의 기본 상태로부터 유도된 가중 그래프와 연관시켜 수행된다. 감소된 그래프를 구성하고 그의 체거 상수를 최적화함으로써, 이 방법은 열역학적 극한에서도 유한한 값을 유지하는 스케일러블하고 기하학적인 하한을 제공한다. 이는 이징 체인 및 스핀-1/2 시스템과 같은 모델들에서 기존 방법이 실패하는 상황에서도 갭이 있는 상을 성공적으로 증명한다.

ABSTRACT

The Cheeger inequalities give an upper and lower bound on the spectral gap of discrete Laplacians defined on a graph in terms of the geometric characteristics of the graph. We generalise this approach and we employ it to determine if a given discrete Hamiltonian with non-positive elements is gapped or not in the thermodynamic limit. First, we define the graph that corresponds to such a generic Hamiltonian. Then we present a suitable generalisation of the Cheeger inequalities that overcomes scaling deficiencies of the original version. By employing simple examples we illustrate how the generalised Cheeger inequalities can successfully identify gapped or gapless phases and we comment on the computational complexity of this approach.

연구 동기 및 목표

• 다체 양자 시스템에서 스펙트럴 갭에 대한 효율적인 하한이 부족한 문제를 다루기 위해, 특히 열역학적 극한에서의 문제를 해결한다.
• 기본 상태로부터 유도된 그래프 라플라시안을 구성함으로써 고전적 체거 부등식을 스토쿠라스티크 하미르토니안으로 확장한다.
• 기존의 체거 부등식의 스케일링 한계를 극복하기 위해 감소된 그래프를 도입함으로써 에너지 갭에 대한 하한을 최적화한다.
• 완전한 대각화 없이 하미르토니안이 갭이 있는지 여부를 이론적으로도 수치적으로도 다룰 수 있는 방법을 제공한다.

제안 방법

• 기본 상태를 통해 유사성 변환을 이용하여 스토쿠라스티크 하미르토니안을 비대칭 그래프 라플라시안과 연관시킨다.
• 모서리 가중치가 하미르토니안 행렬 원소와 기본 상태 진폭에서 유도된 가중 그래프를 정의한다.
• 감소된 그래프 $\tilde{G}$ 를 도입하여 스펙트럴 갭에 대한 하한을 최적화함으로써, 체거 상수와 최대 차수를 제어할 수 있다.
• 일반화된 체거 부등식 유도: $\triangle(H) \triangleq \triangle(L) \triangleq \tilde{\rho}^2 / (2c)$, 여기서 $\tilde{\rho}$ 는 감소된 그래프의 체거 상수이고 $c$ 는 그 최대 차수이다.
• 최대 유량과 최소 컷 간의 이중성을 사용하여 하한을 확립함으로써 기하학적 제약 조건을 효율적으로 계산할 수 있다.
• 이 방법을 이징 체인 및 초입방체 기반 스핀 모델과 같은 모델 시스템에 적용하여 갭이 있는 상과 갭이 없는 상을 식별하는 데의 효과를 시험한다.

실험 결과

연구 질문

• RQ1 열역학적 극한에서 스토쿠라스티크 하미르토니안의 스펙트럴 갭에 대해 기하학적이고 그래프 이론적인 방법이 비자명한 하한을 제공할 수 있는가?
• RQ2 특히 체계 크기 증가에 따라 악화되는 고전적 체거 부등식의 한계는 어떻게 극복할 수 있는가?
• RQ3 감소된 그래프 구성은 원래 그래프에 비해 에너지 갭에 대한 하한을 체계적으로 향상시킬 수 있는가?
• RQ4 일차원 이징 모델에 대해 횡방향 자기장이 존재할 경우 일반화된 체거 부등식이 갭이 있는 상을 성공적으로 식별할 수 있는가?
• RQ5 이 방법은 갭이 없는지 증명되지 않은 복잡한 물리적 시스템, 예를 들어 2D AKLT 모델과 같이 적용 가능한 정도는 어느 정도인가?

주요 결과

• 일반화된 체거 부등식은 스토쿠라스티크 하미르토니안의 스펙트럴 갭에 대한 하한을 제공한다: $\triangle(H) \triangleq \tilde{\rho}^2 / (2c)$, 여기서 $\tilde{\rho}$ 는 감소된 그래프의 체거 상수이고 $c$ 는 그 최대 차수이다.
• 횡방향 자기장이 있는 일차원 이징 모델에서 일반화된 하한은 시스템 크기 $n$ 이 증가함에 따라 여전히 유한하고 영이 아닌 값을 유지하지만, 기존의 체거 하한은 감소한다.
• $Q_4$ 초입방체 모델에서는 체거 컷 모서리만 유지하는 감소된 그래프를 선택함으로써, 시스템 크기와 무관하게 하한이 $B/2$ 가 되며, 이는 갭이 있는 상임을 증명한다.
• 이 방법은 기존의 체거 부등식이 스케일링이 열악하여 실패하는 스핀-1/2 모델에서 갭이 있는 상을 성공적으로 식별한다.
• 이 접근법은 스펙트럴 갭 추정이라는 어려운 문제를 그래프 위의 기하학적 최적화 문제로 변환한다. 이 문제는 NP-완전이지만 근사화 및 히우리스틱 기법을 적용할 수 있다.
• 이 프레임워크는 완전한 대각화 없이도 엄밀한 갭 분석을 가능하게 하며, 양자 다체 시스템에서 갭 행동을 연구하기 위한 스케일러블한 대안을 제공한다.