[論文レビュー] DiracQ: A Quantum Many-Body Physics Package

John G. Wright, B. Sriram Shastry|arXiv (Cornell University)|Jan 20, 2013

Advanced Chemical Physics Studies被引用数 13

ひとこと要約

DiracQ は、ディラックの c-数/q-数形式を実装することで、量子多体系物理学の記号的計算を拡張する Mathematica ベースのソフトウェアパッケージである。非可換演算子（スピン、フェルミ、ボーズ、位置運動量演算子など）の代数的取り扱いを自動化し、ハーバード模型や 8-頂点模型などのモデルにおける交換関係の評価、複雑な式の簡略化、可積分性条件の検証を効率的に行うことができる。

ABSTRACT

We present a software package DiracQ, for use in quantum many-body Physics. It is designed for helping with typical algebraic manipulations that arise in quantum Condensed Matter Physics and Nuclear Physics problems, and also in some subareas of Chemistry. DiracQ is invoked within a Mathematica session, and extends the symbolic capabilities of Mathematica by building in standard commutation and anticommutation rules for several objects relevant in many-body Physics. It enables the user to carry out computations such as evaluating the commutators of arbitrary combinations of spin, Bose and Fermi operators defined on a discrete lattice, or the position and momentum operators in the continuum. Some examples from popular systems, such as the Hubbard model, are provided to illustrate the capabilities of the package.

研究の動機と目的

• 量子多体系物理学の問題に特化した使いやすい記号的計算環境を提供すること。
• Mathematica 内でディラックの c-数/q-数形式を実装し、非可換演算子の代数的取り扱いを簡素化すること。
• フェルミ、ボーズ、スピン、位置運動量演算子を含む式における交換関係の自動評価と式の簡略化を可能にすること。
• 可積分モデルや保存則における複雑な代数的恒等式の検証を支援すること。
• 有限系におけるハミルトニアンやスペクトル関数の構築を容易にし、その後続の数値的解析を促進すること。

提案手法

• 独自の関数（例：SimplifyQ）を用いて Mathematica に統合し、ネイティブの Mathematica 関数と区別する。
• 記号を q-数（非可換演算子）または c-数（可換スカラー）に分類し、式の成分を自動的に分離する。
• スピン、フェルミ、ボーズ、調和振動子演算子の標準的な交換関係および反交換関係を符号化する。
• Mathematica のパレットシステムを用いて、非可換記号をインタラクティブに定義・操作する。
• パッケージの拡張によりユーザー定義演算子をサポートし、ヴァイラソロ代数などの例を含む。
• 記号的計算を用いて、8-頂点模型におけるスター・トライアングル関係や 1D ハーバード模型における S-行列の一貫性など、非自明な関係を検証する。

実験結果

リサーチクエスチョン

• RQ1 非可換演算子を含む量子多体系において、記号的計算をどのように簡素化できるか？
• RQ2 ディラックの c-数/q-数形式を計算環境に効果的に実装することで、非可換演算子の代数的取り扱いを自動化できるか？
• RQ3 可積分モデル（例：8-頂点模型）における複雑な代数的恒等式を、記号的ツールを用いてどのように効率的に検証できるか？
• RQ4 DiracQ は、ハーバード模型のようなモデルにおけるスペクトル関数の正確な式を導出するのをどの程度支援できるか？
• RQ5 解析的に扱いにくい高次保存則や S-行列関係を、DiracQ を用いて検証できるか？

主な発見

• DiracQ は、ハーバード模型におけるフェルミ、スピン、ボソン的演算子の複雑な組み合わせを含む交換関係の評価を成功裏に自動化した。
• パッケージは、電子スペクトル関数の2次および3次モーメントを交換関係代数を用いて正確に計算可能である。
• ディラック形式を用いて水素原子におけるランジュ・レンツ・ラプラスベクトルの保存を検証した。
• バクスターの関係を用いて、8-頂点模型におけるスター・トライアングル関係を確認し、可積分性の証明における有効性を示した。
• 1D ハーバード模型における S-行列の一貫性条件を検証した。この関係は数百の項を含み、手作業での検証は現実的ではなかった。
• DiracQ は、最近接および2番目に近い隣接サイト間の hopping を含む 4サイトのハーバード模型など、有限クラスタ用の数値的ハミルトニアン行列を生成でき、その後続の数値的解析を可能にした。