[논문 리뷰] The spectrum of the Heisenberg ferromagnet and graph theory

Yingkai Ouyang|arXiv (Cornell University)|2017. 07. 08.

Markov Chains and Monte Carlo Methods인용 수 1

한 줄 요약

이 논문은 그래프의 대칭 곱과 최소 배정 문제를 활용하여 임의의 그래프 위의 스핀-1/2 허미트 페로자성체에서 작은 에너지 고유값에 대한 상한을 다항시간에 계산하는 알고리즘을 제시한다. 또한 정점 유도 부분그래프의 변형 등기성 성질을 이용한 하한 추정 방법을 제안하며, 핵심 추측이 참일 경우 전체 다항시간 근사가 가능할 것으로 기대된다.

ABSTRACT

We give a polynomial-time algorithm for computing upper bounds on some of the smaller energy eigenvalues in a spin-1/2 ferromagnetic Heisenberg model with any graph $G$ for the underlying interactions. An important ingredient is the connection between Heisenberg models and the symmetric products of $G$. Our algorithms for computing upper bounds are based on generalized diameters of graphs. Computing the upper bounds amounts to solving the minimum assignment problem on $G$, which has well-known polynomial-time algorithms from the field of combinatorial optimization. We also study the possibility of computing the lower bounds on some of the smaller energy eigenvalues of Heisenberg models. This amounts to estimating the isoperimetric inequalities of the symmetric product of graphs. By using connections with discrete Sobolev inequalities, we show that this can be performed by considering just the vertex-induced subgraphs of $G$. If our conjecture for a polynomial time approximation algorithm to solve the edge-isoperimetric problem holds, then our proposed method of estimating the energy eigenvalues via approximating the edge-isoperimetric properties of vertex-induced subgraphs will yield a polynomial time algorithm for estimating the smaller energy eigenvalues of the Heisenberg ferromagnet.

연구 동기 및 목표

• 임의의 상호작용 그래프 위의 스핀-1/2 허미트 페로자성체에서 작은 에너지 고유값에 대한 상한을 계산하는 다항시간 방법을 개발하는 것.
• 허미트 모델의 스펙트럼 성질을 기반 그래프의 대칭 곱과 일반화된 그래프 지름과 연결하는 것.
• 대칭 그래프 곱의 등기성 부등식을 이용해 에너지 고유값에 대한 하한을 추정할 수 있는지 탐색하는 것.
• 정점 유도 부분그래프의 간선 등기성 성질을 다항시간에 근사할 수 있는지 조사하는 것.
• 그래프 이론적 구성요소를 통해 양자 스핀 모델과 이산 소볼레프 부등식을 연결하는 것.

제안 방법

• 방법은 상호작용 그래프 G의 대칭 곱을 사용하여 허미트 페로자성체의 힐베르트 공간 구조를 모델링한다.
• 에너지 고유값의 상한은 G에서 최소 배정 문제를 푸는 것으로 계산되며, 이는 기존에 다항시간 내에 해결 가능하다는 것이 알려져 있다.
• 이 접근법은 에너지 수준에 영향을 주는 구조적 복잡성의 척도로 일반화된 지름을 기반으로 한다.
• 하한은 G의 대칭 곱에서의 등기성 부등식, 특히 간선 등기성 성질을 분석하여 추정한다.
• 복잡한 등기성 문제를 단순한 부분그래프 수준의 분석으로 줄이기 위해 이산 소볼레프 부등식을 활용하여 하방 에너지 고유값의 추정 문제를 정점 유도 부분그래프의 연구로 환원한다.
• 정점 유도 부분그래프에서의 간선 등기성 문제의 다항시간 근사 가능성에 대한 추측을 활용하여 전체 추정 프레임워크의 다항시간 가능성에 대해 논의한다.

실험 결과

연구 질문

• RQ1 임의의 상호작용 그래프에 대해 허미트 페로자성체에서 작은 에너지 고유값에 대한 상한을 효율적으로 계산할 수 있는가?
• RQ2 허미트 모델의 스펙트럼 성질은 기저 그래프의 대칭 곱과 어떻게 관련이 있는가?
• RQ3 대칭 그래프 곱에서의 등기성 부등식을 이용해 에너지 고유값에 대한 하한을 추정할 수 있는가?
• RQ4 정점 유도 부분그래프에서의 간선 등기성 문제를 다항시간에 얼마나 잘 근사할 수 있는가?
• RQ5 정점 유도 부분그래프에서 간선 등기성 성질을 다항시간에 근사하는 알고리즘이 존재한다면, 이는 허미트 페로자성체의 에너지 스펙트럼 추정에 대해 다항시간 근사 알고리즘을 이끌어낼 수 있는가?

주요 결과

• 상호작용 그래프에서 최소 배정 문제로 문제를 환원함으로써, 스핀-1/2 허미트 페로자성체에서 작은 에너지 고유값에 대한 상한을 다항시간에 계산할 수 있는 알고리즘이 존재한다.
• 그래프 G의 대칭 곱은 허미트 페로자성체의 힐베르트 공간과 에너지 스펙트럼을 분석하는 데 자연스러운 프레임워크를 제공한다.
• 정점 유도 부분그래프의 간선 등기성 성질을 연구함으로써 에너지 고유값의 하한을 추정할 수 있다.
• 이산 소볼레프 부등식과의 연결은 복잡한 등기성 문제를 더 단순한 부분그래프 수준의 분석으로 환원할 수 있게 한다.
• 정점 유도 부분그래프에서 간선 등기성 문제에 대한 다항시간 근사가 가능하다면, 전체 에너지 고유값 추정 문제는 다항시간 내에 해결 가능해진다.
• 제안된 프레임워크는 대칭 곱과 일반화된 지름을 통해 양자 스핀 모델과 조합적 그래프 이론 사이에 새로운 다리를 구축한다.