[論文レビュー] Inconsistencies of the Adiabatic Theorem and the Berry Phase

Arun Kumar Pati, A. K. Rajagopal|ArXiv.org|May 21, 2004

Graph theory and applications参考文献 2被引用数 6

ひとこと要約

この論文は、量子断熱定理における2つの矛盾を解決する。すなわち、Marzlin-Sandersのパラドックスと、厳密な断熱条件下での循環的・非循環的Berry位相の消滅である。ユニタリ演算子の分解法を導入し、断熱的進化を対角成分と非対角成分に分離することで、小さなパラメータの下限を導出し、忠実度を用いてずれを定量化する。これにより、幾何位相と断熱近似の両者に対する頑健なフレームワークが提供される。

ABSTRACT

The adiabatic theorem states that if we prepare a quantum system in one of the instantaneous eigenstates then the quantum number is an adiabatic invariant and the state at a later time is equivalent to the instantaneous eigenstate at that time apart from phase factors. Recently, Marzlin and Sanders have pointed out that this could lead to apparent violation of unitarity. We resolve the Marzlin-Sanders inconsistency within the quantum adiabatic theorem. Yet, our resolution points to another inconsistency, namely, that the cyclic as well as non-cyclic adiabatic Berry phases may vanish under strict adiabatic condition. We resolve this inconsistency and develop an unitary operator decomposition method to argue for the validity of the adiabatic approximation.

研究の動機と目的

• 時間に依存する量子系における断熱近似のユニタリティに疑問を呈するMarzlin-Sandersの不一致を解消すること。
• 循環的および非循環的Berry位相が厳密な断熱条件下で消えるというパラドックスを扱い、物理的期待と矛盾する点を解消すること。
• 断熱的進化、幾何位相、非断熱遷移を統合的に捉えるユニタリ演算子の分解法を構築すること。
• 断熱近似の有効性を規定する小さなパラメータの下限を導出すること。
• 断熱解と正確な時間発展状態との間の忠実度を用いて、断熱近似と正確な力学とのずれを定量化すること。

提案手法

• 時間に依存するハミルトニアンの即時固有基底において、ユニタリ時間発展演算子として断熱定理を定式化する。
• ユニタリ演算子を対角（断熱的）および非対角（非断熱的）成分に分解し、遷移と位相寄与を分析する。
• 動的位相および幾何的（Berry）位相寄与を含む遷移振幅の運動方程式を導出する。
• 小さなパラメータ $\langle n(t) | \dot{n}(t) \rangle / |E_n - E_m| $ を導入し、断熱性条件を定量化する。
• 忠実度 $F(t) = |\langle \psi_A(t) | \psi_E(t) \rangle|^2$ を用いて、断熱解と正確解とのずれを定量化する。
• 形式主義を2つの例に適用する：時間に依存する磁場を受ける2レベル系とSchwinger問題。ユニタリティと断熱忠実度の両方が確認される。

実験結果

リサーチクエスチョン

• RQ1 標準的な断熱定理の枠組みの中で、断熱近似がユニタリティを破るように見えるMarzlin-Sandersの不一致は、どのように解消できるか？
• RQ2 なぜ循環的および非循環的Berry位相が厳密な断熱条件下で消えるのか？この明らかなパラドックスはどのように解消できるか？
• RQ3 小さなパラメータ $\langle n(t) | \dot{n}(t) \rangle / |E_n - E_m| $ は、断熱近似の有効性を決定づける役割を果たすのか？
• RQ4 ユニタリ時間発展演算子はどのように分解され、断熱的進化、幾何位相、非断熱遷移を同時に捉えることができるか？
• RQ5 断熱解と正確解との間の忠実度は、時間に依存する系における断熱近似の精度をどの程度定量化できるか？

主な発見

• Marzlin-Sandersの不一致は、断熱近似がユニタリ時間発展の枠組み内で一貫して適用されることを認識することで解消される。これによりユニタリティが保たれる。
• 厳密な断熱条件下でBerry位相が消えるのは、小さなパラメータが小さすぎる場合に幾何位相項 $\gamma_n(t) = \int i \langle n(t) | \dot{n}(t) \rangle dt$ が無視可能になるためであるが、これは断熱領域を最適化することで解消される。
• ユニタリ演算子の分解法により、断熱的進化を対角成分と非対角成分に明確に分離でき、断熱的および非断熱的寄与を体系的に取り扱える。
• 小さなパラメータの下限が導出され、これにより断熱近似が有効であり、Berry位相がゼロでない状態を保証する。
• 忠実度 $F(t) \approx 1$ が $\omega \sin\theta / 2$ の一次の項として成り立つ。これは、小さなパラメータが十分に小さいとき、断熱近似が正確に保たれることを確認する。
• Schwinger問題において、正確な解はユニタリであり、断熱近似もユニタリ性を保ち、$\omega \sin\theta \ll 1$ のとき忠実度は1に近づく。