[論文レビュー] Algebraic Quantization of Integrable Models in Discrete Space-time

L. D. Faddeev, A. Yu. Volkov|ArXiv.org|Oct 4, 1997

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

ひとこと要約

本稿では、Liouvilleモデルを原型として、離散的1+1次元時空における可積分模型の代数的量子化フレームワークを提示する。q指数関数とアーベル＝ヤン＝バーティン方程式の新規解を用いてハイゼンベルク図式の時間発展演算子を構成することで、局所性、可積分性、代数的透明性を保った離散差分方程式の量子版が得られ、保存則は量子生成子の平方の非自明な演算子可換性から生じる。

ABSTRACT

Just like decent classical difference-difference systems define symplectic maps on suitable phase spaces, their counterparts with properly ordered noncommutative entries come as Heisenberg equations of motion for corresponding quantum discrete-discrete models. We observe how this idea applies to a difference-difference counterpart of the Liouville equation. We produce explicit forms of of its evolution operator for the two natural space-time coordinate systems. We discover that discrete-discrete models inherit crucial features of their continuous-time parents like locality and integrability while the new-found algebraic transparency promises a useful progress in some branches of Quantum Inverse Scattering Method.

研究の動機と目的

• ヒルベルト空間表現に依存しない、離散時空における可積分場理論の代数的フレームワークの構築を目的とする。
• 時間発展演算子を代数自己同型として構成することで、量子逆散乱法を離散時空に一般化することを目的とする。
• 離散量子模型が、局所性や可積分性といった連続対応物の主要特徴を、明示的な代数的構造を通じて継承することを示すこと。
• q指数関数を用いてアーベル＝ヤン＝バーティン方程式の新規解を導出し、量子格子模型における保存量の構成を可能にすること。
• 量子時間発展演算子が非可換な観測量代数上で自己同型として作用し、ハイゼンベルクの運動方程式を導くこと。

提案手法

• 古典的Liouville方程式を、座標(j,k)を持つ2次元格子上での差分-差分方程式に離散化し、スケーリング下でも元の式の構造を保存する。
• 古典的場を、q指数関数から導かれる特定の交換代数を満たす非可換演算子に置き換えることで、量子版を定義する。
• 時間発展演算子を観測量代数の自己同型として構成し、ハイゼンベルク図式における時間並進対称性を符号化する。
• q指数関数（q二対数関数）を用いて時間発展演算子を定義し、量子ヤン＝バーティング関係と整合性を保証する。
• 保存則を生成するための演算子Ω(λ)とそのフラップ順序化されたバージョンQ(λ)を導入し、Q(λ)²のみが時間発展と可換であることを示す。
• q量子化構造定数を含むアーベル＝ヤン＝バーティン方程式の新規解を用いて、Q(λ)の平方が可換であることを証明することで可積分性を検証する。

実験結果

リサーチクエスチョン

• RQ1 純粋な代数的手法を用いて、離散的1+1次元時空における量子可積分模型を一貫してどのように定式化できるか？
• RQ2 離散Liouville模型のハイゼンベルク図式における時間発展演算子の代数的構造は何か？
• RQ3 量子離散模型における保存則はどのように生じるのか？また、それらの構成における非自明な演算子順序付けの役割は何か？
• RQ4 q指数関数を用いてアーベル＝ヤン＝バーティン方程式の新規解を構成可能か？その結果、可積分性が保証されるか？
• RQ5 離散量子模型は、連続対応物の局所性と可積分性をどの程度継承するのか？

主な発見

• 時間発展演算子は非可換な観測量代数上で自己同型として作用し、ハイゼンベルクの運動方程式を導く。これは、古典的Liouville方程式の量子的・離散的アナロジーである。
• Q(λ)の平方が可換であるため、量子模型は可積分性を保つ。ただし、Q(λ)自体は可換ではないため、物理的保存則には2段階の時間発展演算子作用が必要である。
• 主な代数的要因は、q指数関数を含むアーベル＝ヤン＝バーティン方程式の新規解であり、これにより演算子代数の一貫性と保存量の可換性が保証される。
• 時間発展演算子は、実験的・光円錐座標系の両方で明示的に実現されており、異なる格子パrametrizationにおいても構成の堅牢性が示された。
• q指数関数は、時間発展演算子と代数的構造の定義において中心的役割を果たしており、量子可積分性とq特殊関数の深い関係を示唆する。
• 模型は離散的電流代数およびヴィラソロ代数の対称性を示し、量子離散設定における普遍性を示しており、連続極限においては conformal および質量付きの両極限が可能である。