[論文レビュー] The spectrum of the Heisenberg ferromagnet and graph theory

Yingkai Ouyang|arXiv (Cornell University)|Jul 8, 2017

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 頂点誘導部分グラフにおける辺-等周性質の近似が多項式時間で可能であるならば、ヘイゼンベルグ強磁性体のエネルギースペクトル推定も多項式時間で可能になるか。

主な発見

• 問題を相互作用グラフ上の最小割り当て問題に還元することで、小エネルギー固有値に対する上界を多項式時間で計算するアルゴリズムが存在する。
• グラフGの対称積は、ヘイゼンベルグ強磁性体のヒルベルト空間およびエネルギースペクトルを分析する自然な枠組みを提供する。
• 頂点誘導部分グラフGの辺-等周性質を分析することで、エネルギー固有値の下界を推定できる。
• 離散ソボレフ不等式への接続により、複雑な等周問題をより単純な部分グラフレベルの解析に還元できる。
• 頂点誘導部分グラフにおける辺-等周問題が多項式時間で近似可能であるならば、エネルギー固有値推定問題全体が多項式時間で解けるようになる。
• 提案されたフレームワークは、特に対称積と一般化された直径を通じて、量子スピン模型と組合せ的グラフ理論の間に新たな橋渡しを確立する。