[論文レビュー] Combinatorial Field Theories via Boson Normal Ordering

Paweł Błasiak, K. A. Penson+3 more|arXiv (Cornell University)|May 18, 2004

Quantum Computing Algorithms and Architecture被引用数 9

ひとこと要約

本稿では、[a,a*]=1 を満たすボソン消滅・生成演算子の関数を正規順序形式で表現する一般化された手法を開発し、ゼロ次元量子場理論におけるフェ Feynman 型グラフの正確な列挙を可能にする。正規順序表現の重ね合わせ状態における期待値は、組合せ的に定義された数列の母関数をもたらし、Kerr 型および超流動型ハミルトニアンへの応用を含む。

ABSTRACT

We give a general expression for the normally ordered form of a function F(w(a,a*)) where w is a function of boson annihilation and creation operators satisfying [a,a*]=1. The expectation value of this expression in a coherent state becomes an exact generating function of Feynman-type graphs associated with the zero-dimensional Quantum Field Theory defined by F(w). This enables one to enumerate explicitly the graphs of given order in the realm of combinatorially defined sequences. We give several examples of the use of this technique, including the applications to Kerr-type and superfluidity-type hamiltonians.

研究の動機と目的

• [a,a*]=1 を満たすボソン演算子を用いた関数 F(w(a,a*)) の正規順序形式の一般式を導出すること。
• 正規順序形式を、F(w) で定義されるゼロ次元量子場理論におけるフェ Feynman 型グラフの正確な母関数と結びつけること。
• 量子場理論的モデルから生じる組合せ的に定義された数列の明示的列挙を可能にすること。
• Kerr 型および超流動型モデルなどの物理的ハミルトニアンへの形式的応用を示すこと。

提案手法

• 本稿では、ボソン正規順序化技術を用いて、F(w(a,a*)) をすべての生成演算子が消滅演算子より左にある形に再表現する。
• 重ね合わせ状態表現を活用し、正規順序表現をフェ Feynman 型グラフの母関数に変換する。
• 演算子の順序付けの曖昧さを解消するために、[a,a*]=1 の交換関係を体系的に用いる。
• 正規順序演算子の重ね合わせ状態における期待値から母関数を導出する。
• 形式的枠組みにより、演算子関数をグラフ列挙を介して組合せ的数列にマッピングする。
• 具体的なハミルトニアンを用いた例を通じて、この手法が物理系への適用可能性を示す。

実験結果

リサーチクエスチョン

• RQ1 ボソン演算子の一般関数 F(w(a,a*)) をどのように正規順序形式に表現できるか？
• RQ2 F(w) で定義されるゼロ次元量子場理論におけるフェ Feynman 型グラフの正確な母関数は何か？
• RQ3 この母関数は、量子場理論から生じる組合せ的に定義された数列の列挙にどのように応用できるか？
• RQ4 この手法は、Kerr 型および超流動型ハミルトニアンのモデル化にどのような意味を持つか？
• RQ5 このアプローチは、量子場理論における演算子の順序付けとグラフ列挙を体系的に結びつけることができるか？

主な発見

• ボソン演算子代数を用いて、F(w(a,a*)) の正規順序形式が閉形式で導出された。
• 正規順序表現の重ね合わせ状態における期待値は、フェ Feynman 型グラフの正確な母関数をもたらす。
• 母関数は、F(w) で定義される量子場理論に関連する組合せ的に定義された数列を明示的に列挙する。
• この手法は、Kerr 型および超流動型ハミルトニアンを含む物理的モデルへも効果的に適用可能である。
• 形式的枠組みにより、演算子の順序付け、グラフ列挙、ゼロ次元の量子場理論との間の体系的リンクが確立された。
• このアプローチにより、摂動的近似を用いずに正確な組合せ的列挙が可能になった。