[論文レビュー] Quantum toroidal gl(1) and Bethe ansatz

Boris Feigin, M. Jimbo+2 more|arXiv (Cornell University)|Feb 25, 2015

Algebraic structures and combinatorial models参考文献 14被引用数 24

ひとこと要約

本稿では、量子トロイダル gl(1) 代数に関連する XXZ モデルに対して、対称関数上の乗算作用素の射影としてハミルトニアンを実現することにより、新しいベーテアンザッツ法を開発する。シャッフル代数の実現とホイール条件の制約を用いて、著者らはベーテ方程式を核条件として導出し、単純スペクトルを示す次数1の転送行列ハミルトニアンの完全なスペクトル記述を確立する。

ABSTRACT

We establish the method of Bethe ansatz for the XXZ type model obtained from the R-matrix associated to quantum toroidal gl(1). We do that by using shuffle realizations of the modules and by showing that the Hamiltonian of the model is obtained from a simple multiplication operator by taking an appropriate quotient. We expect this approach to be applicable to a wide variety of models.

研究の動機と目的

• 量子トロイダル gl(1) に由来する XXZ モデルにおけるベーテアンザッツの新しいアプローチを開発すること。標準的手法は代数的複雑性のため、効果を発揮しない。
• シャッフル代数の実現を通じて、ハミルトニアンと対称関数との間の関係を確立すること。
• ハミルトニアンが単純な乗算作用素の射影として作用することを示し、核条件によるスペクトル解析を可能にする。
• 固有ベクトルに対する必要十分条件としてベーテ方程式を導出し、単純スペクトルの場合におけるベーテアンザッツの完全性を保証すること。

提案手法

• 対称関数の空間 $ Sh_{1,n}(u) $ において、シャッフル代数を用いて量子トロイダル gl(1) 代数を実現し、モジュールを構成する。
• 評価写像 $ \rho_\lambda $ を用いて $ V_n = Sh_{1,n}(u) $ にフィルトレーションを定義し、対称関数にホイール条件を課す。
• 転送行列ハミルトニアン $ H_p $ を $ T_{\mathcal{F}(u)}(p^{d^\perp}) $ の次数1項として構成し、乗算作用素の射影として特定する。
• ホイール条件の制約を用いて、射影の核がまさにベーテ方程式の解に対応することを示す。
• 垂直方向のカレント $ e^\perp, f^\perp, \psi^{\pm,\perp} $ を用いて定義されるコプロダクトおよび $ R $-行列を用いて代数的構造を定義する。
• 各サイズ $ n $ の整数分割 $ \lambda $ に対して、低重量成分を除いた解空間が1次元であることを証明し、ベーテアンザッツの完全性を確認する。

実験結果

リサーチクエスチョン

• RQ1 標準的な非オフシェルベーテベクトル技法が不適切となる、量子トロイダル gl(1) に基づくモデルに対して、どのようにベーテアンザッツを一般化できるか？
• RQ2 ハミルトニアンが対称関数上の乗算作用素の射影として実現可能となる代数的構造は何か？
• RQ3 シャッフル代数におけるホイール条件は、どのようにしてベーテ方程式を符号化し、固有ベクトルの性質を保証するか？
• RQ4 評価写像 $ \rho_\lambda $ の核条件を用いて、転送行列ハミルトニアンのスペクトルを完全に記述できるか？
• RQ5 Fockモジュール $ \mathcal{F}(u) $ における次数1ハミルトニアンに対して、ベーテアンザッツは完全か？固有空間の次元は何か？

主な発見

• ハミルトニアン $ H_p $ は、転送行列 $ T_{\mathcal{F}(u)}(p^{d^\perp}) $ の次数1項であり、一般の $ p $ に対して単純スペクトルを示し、簡約性の問題がないことを保証する。
• 空間 $ Sh_{1,n}(u)/\left(\sum_{m=0}^{n-1} Sh_{1,m}(u) \ast Sh_{0,n-m}\right) $ は、$ n $ の整数分割の数 $ p(n) $ に等しい次元の有限次元空間であり、ベーテアンザッツの完全性を確認する。
• $ |\lambda| < n $ のとき評価写像 $ \rho_\lambda $ は $ V_{n,\lambda} $ 上で消える。また $ |\lambda| = n $ のとき $ \rho_\lambda(V_{n,\lambda}) \cong \mathbb{C} $ であるため、核条件がスカラー倍を除き固有ベクトルを一意に決定することを示す。
• ベーテ方程式は、対称関数 $ F $ が $ \rho_\lambda $ の核に属するという条件として自然に現れ、$ q_1, q_2, q_3 $ を含むホイール条件によって定義される核によって定義される。
• 本手法により、ベーテ方程式の解と $ H_p $ の固有ベクトルとの間の一対一対応が確立され、このモデルにおけるベーテアンザッツの完全性が証明される。
• 本構成は一般化可能である：シャッフル代数および乗算作用素の射影という枠組みは、量子トロイダル gl(1) を超える広範な可積分模型に適用可能であると予想される。