[論文レビュー] On Quantum - Classical Correspondence for Baker's Map

Kei Inoue, Makoto Ohya+1 more|ArXiv.org|Aug 23, 2001

Quantum Mechanics and Applications参考文献 27被引用数 11

ひとこと要約

本稿は、シュラックとキャブズの記号的形式主義を用いて、量子ベーカーズマップにおける量子古典対応の破綻を厳密に解析的導出している。量子的・古典的軌道の差異が対数的時間スケール $ t_h = \log_2(1/h) $ で生じることを示し、差異が $ h2^{m-1} $ で有界であることを証明しており、$ m \ll \log_2(1/h) $ の場合にのみ正確な対応が成立することを示している。

ABSTRACT

Quantum baker`s map is a model of chaotic system. We study quantum dynamics for the quantum baker's map. We use the Schack and Caves symbolic description of the quantum baker`s map. We find an exact expression for the expectation value of the time dependent position operator. A relation between quantum and classical trajectories is investigated. Breakdown of the quantum-classical correspondence at the logarithmic timescale is rigorously established.

研究の動機と目的

• 力学的系における量子古典対応の破綻を厳密に分析すること。
• 量子ベーカーズマップにおける量子的・古典的軌道の乖離が生じる時間スケールを特定すること。
• 量子ベーカーズマップにおける位置演算子の時間依存期待値の正確な解析的表現を確立すること。
• プランク定数 $ h $ が量子古典的乖離の発生に与える影響を調査すること。
• 量子カオス系におけるデコherenceと情報損失を理解するための定量的枠組みを提供すること。

提案手法

• シュラックとキャブズの記号的ダイナミクス形式主義を用いて、有限次元ヒルベルト空間における量子ベーカーズマップを記述する。
• $ D = 2^N $ の離散的 $ N $-キュービットヒルベルト空間を採用し、プランク定数を $ h = 2^{-N} $ とすることで、正確な計算が可能になる。
• 時間発展演算子を用いた状態の行列要素を用いて、時間 $ m $ における位置演算子 $ \langle \hat{q}_m \rangle $ の正確な閉形式表現を導出する。
• 量子期待値 $ r_m^{(N)} $ を、記号的シフト写像から導かれる古典的軌道 $ q_m $ と比較する。
• 二進展開の尾部項に対する幾何級数の推定を用いて、差 $ |r_m^{(N)} - q_m| $ に上限を設定する。
• 量子古典的乖離が顕著に現れる臨界点として、対数的時間スケール $ t_h = \log_2(1/h) $ を確立する。

実験結果

リサーチクエスチョン

• RQ1 量子ベーカーズマップにおいて、位置演算子の量子的期待値が古典的軌道から著しく逸脱し始める時間スケールは何か？
• RQ2 プランク定数 $ h $ は、カオス的系における量子古典的対応の破綻の発生にどのように影響を与えるか？
• RQ3 量子古典的対応は定量的に有界化可能か？有限な $ h $ における乖離の関数的形は何か？
• RQ4 対数的時間スケール $ t_h = \log_2(1/h) $ は、ベーカーズマップモデルにおける量子カオスの普遍的特徴であるか？
• RQ5 この厳密に解けるモデルにおける量子位置演算子の時間発展演像の正確な解析的表現は何か？

主な発見

• 時間 $ m $ における位置演算子の量子期待値の正確な式は、$ r_m^{(N)} = \sum_{k=1}^{N-m} \xi_{m+k} 2^{-k} + \frac{1}{2^{N-m+1}} $ であり、$ 0 \leq m \leq N $ で有効である。
• 量子的・古典的位置の差は、$ |r_m^{(N)} - q_m| \leq \frac{1}{2^{N-m+1}} = h 2^{m-1} $ で有界であり、特定の初期状態では等号が成立する。
• 量子古典的対応は、$ t_h = \log_2(1/h) $ の対数的時間スケールで破綻する。ここで $ h = 2^{-N} $ であり、$ m = N $ で $ h 2^{m-1} $ が $ \frac{1}{4} $ に達する。
• $ m < t_h $ の場合、差は小さく保たれる（$ \frac{1}{4} $ で有界）ため、良好な対応の領域である。
• 本結果は、カオス的系において量子古典的対応が対数的時間スケールで失敗するという予想を、このモデルで正確な解析的証明により裏付けている。
• 解析から、乖離が徐々に現れるのではなく、$ m \approx \log_2(1/h) $ で急激に現れることを示しており、量子的から古典的行動への遷移を示している。