[論文レビュー] The analytic quantum information manifold

R. F. Streater|ArXiv.org|Oct 22, 1999

Quantum Information and Cryptography参考文献 7被引用数 11

ひとこと要約

本稿では、自己随伴作用素 H と Kato-有界な対称摂動 V に対して、log Tr[exp(−H + xV)] が x = 0 の近傍で実解析的であることを確立する。さらに、H + xV によって生成されるギブズ状態の集合が、実解析的バナッハ多様体をなすことを証明し、微小摂動下における量子統計系の厳密な微分幾何的構造を提供する。

ABSTRACT

Let H be a self-adjoint operator such that exp(-aH) is of trace class for some a<1. Let V be a symmetric operator, Kato bounded relative to H. We show that log Tr[exp(-H+xV)] is a real analytic function of x in a hood of x=0. We show that the Gibbs states of H+xV form a real analytic Banach manifold. This work has been extended in math-ph/9910031.

研究の動機と目的

• 統計力学における量子分配関数の摂動パラメータ依存性の解析的性を確立すること。
• 微小摂動下における量子ギブズ状態の微分幾何的構造を調査すること。
• 分配関数の解析的性結果をギブズ状態の多様体へ拡張すること。
• 摂動ハミルトニアンの文脈における量子情報幾何の厳密な関数解析的基盤を提供すること。
• 自由エネルギーの解析的領域および収束半径を作用素論的条件の観点から明確化すること。

提案手法

• ある a < 1 に対して exp(−aH) がトレースクラスであるという条件を用いて、分配関数におけるトレースの収束を保証する。
• Katoの相対有界性理論を用いて、H に対する摂動 V の制御を行う。
• 自己随伴作用素の関数計算および解析的摂動論を適用する。
• そのべき級数の収束を示すことにより、トレース指数の対数が x = 0 の近傍で実解析的であることを証明する。
• 密度行列がパrameter x に関して解析的であることを利用し、ギブズ状態の多様体を実解析的バナッハ多様体として構成する。
• 陰関数定理およびバナッハ空間構造に依拠して、多様体性を確立する。

実験結果

リサーチクエスチョン

• RQ1 log Tr[exp(−H + xV)] が x = 0 の近傍で実解析的となる条件は何か？
• RQ2 ハミルトニアンの微小摂動下でギブズ状態の多様体はどのように振る舞うか？
• RQ3 H に対する V の Kato-有界性が解析的性を保証するために果たす役割は何か？
• RQ4 これらの条件下で、自由エネルギーは x = 0 の近傍で収束するべき級数として表現可能か？
• RQ5 H + xV のギブズ状態の集合はパrameter x に関して実解析的バナッハ多様体か？

主な発見

• 与えられた条件下で、関数 log Tr[exp(−H + xV)] は x = 0 の近傍で実解析的である。
• 分配関数は正の収束半径を有するべき級数展開をもつ。
• 自由エネルギー（分配関数の対数として定義される）は、実軸の近傍で実解析的である。
• ギブズ状態の集合 {ρ_x = exp(−H − xV)/Tr[exp(−H − xV)]} は、パrameter x でパラメトライズされた実解析的バナッハ多様体をなす。
• 多様体構造は、密度行列が摂動パrameter x に関して解析的であることから確立される。
• 結果は元のバージョンから拡張されており、分配関数のべき級数の収束についての明確化がなされている。