[論文レビュー] On the Initial-Value Problem to the Quantum Dual BBGKY Hierarchy

G. Borgioli, V. I. Gerasimenko|arXiv (Cornell University)|Jun 5, 2008

Cold Atom Physics and Bose-Einstein Condensates参考文献 23被引用数 9

ひとこと要約

本稿では、有限粒子系の時間発展演算子の双対積率（双対半不変量）に基づく、量子双対BBGKY階層の初期値問題に対する厳密な解を、粒子クラスタの展開として構成することにより、解の存在と一意性を確立した。主な貢献は、有界作用素の列の空間における解の存在と一意性の定理の証明であり、収束性は1パラメータの自己同型群と双対積率形式主義を用いて確立された。

ABSTRACT

We develop a rigorous formalism for the description of the evolution of observables in quantum systems of particles. We construct a solution of the initial-value problem to the quantum dual BBGKY hierarchy of equations as an expansion over particle clusters whose evolution are governed by the corresponding-order dual cumulant (dual semi-invariant) of the evolution operators of finitely many particles. For initial data from the space of sequences of bounded operators the existence and uniqueness theorem is proved.

研究の動機と目的

• 量子多粒子系における観測量の時間発展を厳密に形式化すること。
• ハイゼンベルク図式における量子双対BBGKY階層の初期値問題を解くこと。
• 有界作用素の列の空間における初期データに対して、解の存在と一意性を確立すること。
• 解のクラスタベース展開の核心的メカニズムとして、時間発展演算子の双対積率（双対半不変量）を導入し、その分析を行うこと。
• 無限粒子系における観測量の平均値関数の存在を示すこと。

提案手法

• 解は、各クラスタの時間発展が有限粒子系の時間発展演算子に対応する高次双対積率に従う、粒子クラスタの級数展開として構成される。
• 時間発展演算子群の双対積率が定義され、その性質が解構造の基盤となるように調査された。
• 有界作用素の列の空間に、1パラメータの自己同型群を導入し、観測量の時間発展を記述した。
• 自己同型群の構造と双対積率の性質を用いて、古典的および一般化された解の存在と一意性が証明された。
• 関連するデュハメル型公式と作用素ノルムの推定を用いて、解が双対BBGKY階層を満たすことが検証された。
• 平均値関数が定義され、その存在が条件 α = γ⁻¹ > e を満たす場合に保証され、トレース級数の収束が保証された。

実験結果

リサーチクエスチョン

• RQ1 ハイゼンベルク図式において、量子双対BBGKY階層の初期値問題をどのように厳密に解くことができるか？
• RQ2 双対積率は、量子多体時間発展方程式の解を構成する際に果たす役割は何か？
• RQ3 有界作用素の列の空間において、双対BBGKY階層の解が存在し、一意的であるための条件は何か？
• RQ4 無限粒子系において、観測量の平均値関数をどのように定義し、適切に定義されていることを示せるか？
• RQ5 双対作用素群とBBGKY階層の強連続群との間にはどのような関係があるか？

主な発見

• 量子双対BBGKY階層の初期値問題の解が、各クラスタが対応する有限粒子系時間発展演算子の双対積率に従って進化する粒子クラスタの級数展開として構成された。
• 有界作用素の列の空間における初期データに対して、古典的および一般化された解の存在と一意性が厳密に証明され、解写像は1パラメータの自己同型群を形成することが示された。
• 双対積率形式主義は、観測量の時間発展を、徐々に小さくなるサイズのクラスタへの寄与に分解する体系的な枠組みを提供し、統計力学における積率展開に類似している。
• 条件 α = γ⁻¹ > e の下で、平均値関数 ⟨G(t)|F(0)⟩ が存在し、有界であることが示された。その推定式は |⟨G(t)|F(0)⟩| ≤ e²(1 − γe)⁻¹‖G(0)‖ₗᵧ‖F(0)‖ₗ₁ᵧ⁻¹ である。
• 空間 ℒᵧ(ℱₕ) 上で定義された群 {U⁺(t)} は C₀*-群であり、ℒ₁ₐ(ℱₕ) 上で定義されたBBGKY階層の強連続群 {U(t)} に対して双対的である。生成作用素 ℬ⁺ は ∗-弱位相における稠密な定義域上で定義される。
• 生成作用素 ℬ⁺ の定義域を特定することは、未解決の問題として同定され、今後の研究の重要な方向性として強調された。