[論文レビュー] Baxter Q-operators for integrable DST chain

A. E. Kovalsky, G. P. Pronko|ArXiv.org|Mar 14, 2002

Algebraic structures and combinatorial models参考文献 9被引用数 6

ひとこと要約

この論文は、2つの基本的M作用素から得られるモノドロミー行列のトレースを用いて、可積分な離散自己符号化（DST）鎖に対するバクスターレーマンQ作用素を構成する。関数的関係、特にロンスキアン型の恒等式を確立し、Q作用素の線形独立性を証明するとともに、粒子数作用素とバーンズG関数の項を含む因子を介して、高スピン移動行列と関連付ける。

ABSTRACT

Following the procedure, described in the paper nlin.SI/0003002, for the integrable DST chain we construct Baxter Q-operators as the traces of monodromy of some M-operators, that act in quantum and auxiliary spaces. Within this procedure we obtain two basic M-operators and derive some functional relations between them such as intertwining relations and wronskian-type relations between two basic Q-operators.

研究の動機と目的

• M作用素に基づく体系的な手続きを用いて、可積分DST鎖のバクスターレーマンQ作用素を構成すること。
• Q作用素と移動行列t(x)の間の関数的関係—特に相互作用関係およびロンスキアン型関係—を導出すること。
• 有限差分ロンスキアン行列式を構築することにより、2つのQ作用素の線形独立性を確立すること。
• 明示的な関数的恒等式を介して、Q作用素と高スピン移動行列を結びつけること。
• 粒子数作用素n̂とガンマ関数がロンスキアン行列式の構造に果たす役割を明確にすること。

提案手法

• Q作用素Q₁(x)とQ₂(x)を生成する2つの基本的M作用素を構築する。
• M作用素とR行列の間の相互作用関係を導出し、t(x)とQᵢ(x)の相互可換性を保証する。
• Q作用素の定義的演算子方程式として、バクスターベルジュ方程式 t(x)Q(x) = (x−i/2)^N Q(x−i) + i^N Q(x+i) を用いる。
• 線形独立性を調べるために、有限差分ロンスキアン行列式 Wₘ(x) = Q₁(x−im)Q₂(x+i) − Q₁(x+i)Q₂(x−im) を導入する。
• バクスターベルジュ方程式に基づくWₘ(x)の再帰関係を導出し、tₗ(x)とガンマ関数を含む閉形式の表現を得る。
• 参考文献[10]の手法を用いて、明示的形 W₀(x) = e^{iπn̂} Γ^N(−i(x+i/2)) を得、tₗ(x)とスピン-l移動行列を介してWₘ(x)を一般化する。

実験結果

リサーチクエスチョン

• RQ1 M作用素のモノドロミー行列トレースを用いて、可積分DST鎖のバクスターレーマンQ作用素を体系的にどのように構成できるか？
• RQ2 2つの基本的Q作用素の間にはどのような関数的関係が存在し、それらが移動行列t(x)と相互に可換であることを保証するか？
• RQ3 離散的Q作用素に対してロンスキアン型行列式をどのように定義し、それによって線形独立性を証明できるか？
• RQ4 高スピン補助空間におけるQ作用素と移動行列との間の明示的関数的関係は何か？
• RQ5 粒子数作用素n̂はロンスキアン行列式の構造およびQ作用素固有値の正規化にどのような役割を果たすか？

主な発見

• 2つの線形独立なQ作用素Q₁(x)とQ₂(x)が、2つの基本的M作用素から構築されたモノドロミー行列のトレースとして構成される。
• 導出された相互作用関係により、Q作用素は移動行列t(x)と互いに可換であり、互いに可換であることが示される。
• ロンスキアン行列式W₀(x)は明示的に W₀(x) = e^{iπn̂} Γ^N(−i(x+i/2)) であることが判明し、非ゼロの線形独立性が確認される。
• 一般化されたロンスキアン型関係が導出され、Q₁(x−im)Q₂(x+i) − Q₁(x+i)Q₂(x−im) = e^{iπn̂} (−i)^{2lN} Γ^N(−ix−1/2) tₗ(x) と表され、Q作用素と高スピン移動行列が結びつけられる。
• バクスターベルジュ方程式から再帰関係 Wₘ(x) = t(x)Wₘ₋₁(x−i) − (x−i/2)^N Wₘ₋₂(x−2i) が導かれ、ロンスキアン族が完全に決定される。
• Lax作用素 Lₗ(x) = i^{2l} e^{−il⁺φ⁺} Γ(l³−ix)/Γ(−ix−l) e^{−il⁻φ} を用いて、高スピン補助空間への一般化がなされ、l=1/2のときL(x)が回復される。