[論文レビュー] All Local Conserved Quantities of the One-Dimensional Hubbard Model

Kohei Fukai|PubMed|Jan 9, 2023

Quantum many-body systems参考文献 55被引用数 7

ひとこと要約

本稿では、スピン1/2 XX鎖のチャージから構成される接続図の基底を同定することにより、1次元 Hubbard模型におけるすべての局所保存量の正確な表現を提示する。高次チャージ Qk (k ≥ 6) における非自明な係数の再帰的関係を導出し、すべての局所チャージがこれらの Qk の線形結合であることを証明することで、量子可積分性分野における長年の未解決問題を解決する。

ABSTRACT

We present the exact expression for all local conserved quantities of the one-dimensional Hubbard model. We identify the operator basis constructing the local charges and find that nontrivial coefficients appear in the higher-order charges. We derive the recursion equation for these coefficients, and some of them are explicitly given. There are no other local charges independent of those we obtained.

研究の動機と目的

• 1次元 Hubbard模型におけるすべての局所保存量を特定する長年の未解決問題を解決すること。
• ブースト演算子が存在しない状況下でも、k ≥ 6 の高次局所チャージ Qk を体系的に構成すること。
• 接続図によるXX鎖チャージの組み合わせで構成された Qk を用いて、すべての局所チャージがそれらの線形結合で表されることを証明すること。
• これらのチャージの係数の再帰的方程式を導出し、Qk の体系的計算を可能にすること。

提案手法

• スピン1/2 XX鎖のユニットからなる『接続図』を用いた図式的表記を導入し、ホーピング項に対応する '+' 型と密度項に対応する '-' 型を定義する。
• サイト並進不変性を満たす、これらのユニットの積の和として定義される演算子の基底を構築し、順序と重複のない位置を制約条件とする。
• 図の分類に用いるサポート（sΨ）、二重数（dΨ）、ギャップ数（gΨ）を定義し、(s,d)-図を用いて体系的な列挙を可能にする。
• Qk における接続図の係数の再帰的関係を導出し、任意の k に対する Qk の計算を可能にする。
• すべての局所チャージが、この方法で構成された Qk によって張られることを証明し、それら以外の独立な局所チャージが存在しないことを示す。
• Qk が k = 6, 7, 8, 9, 10, 11, 12, 13 の場合に非自明な係数を有することを明示的に計算することで、手法の妥当性を検証する。

実験結果

リサーチクエスチョン

• RQ1 1次元 Hubbard模型における局所保存量の完全な代数的構造は何か？
• RQ2 ブースト演算子が存在しない状況で、高次局所チャージ Qk (k ≥ 6) はどのように体系的に構成可能か？
• RQ3 スピン1/2 XX鎖の保存チャージは、Hubbard模型の局所チャージを形成する上で果たす役割は何か？
• RQ4 最初の数項を除き、Qk の表現に非自明な係数が存在するか？
• RQ5 すべての局所チャージは有限個の Qk の線形結合として表現可能か？ もし可能であれば、その係数の再帰的関係は何か？

主な発見

• 1次元 Hubbard模型におけるすべての局所保存量は、XX鎖チャージの接続図から構成された Qk の線形結合として正確に表現可能である。
• k ≥ 6 の場合に Qk に非自明な係数が現れ、その値は導出された再帰的関係式によって決定される。
• Q6, Q7, Q8, Q9, Q10, Q11, Q12, Q13 の最初の明示的表現が計算され、さまざまな (s,d)-図構成に対する係数が表形式で提供されている。
• Qk によって構成された基底が完全であることが証明され、それ以外の独立な局所チャージは存在しないことが示された。
• 係数の再帰的関係により、任意の k に対する Qk の体系的生成が可能となり、Hubbard模型にブースト演算子が存在しないという問題を解決した。
• Qk の構造は接続図表記によって完全に特徴づけられ、サポート数、二重数、ギャップ数が主要な分類不変量として機能する。