[論文レビュー] The approach to thermal equilibrium and "thermodynamic normality" --- An observation based on the works by Goldstein, Lebowitz, Mastrodonato, Tumulka, and Zanghi in 2009, and by von Neumann in 1929

Hal Tasaki|arXiv (Cornell University)|Mar 29, 2010

Advanced Thermodynamics and Statistical Mechanics参考文献 15被引用数 6

ひとこと要約

この論文は、孤立したマクロな系における熱平衡への到達を、初期状態が平衡に近いと仮定せず、'熱力学的正規性'という概念を導入することで、量子力学的基礎を確立する。この正規性は、典型的な時間発展する純粋状態が、微小状態平均に近い測定結果を示すことを保証する。主な結果は、任意のマクロなエネルギーに局在する初期状態に対して、量子力学的ダイナミクスのみを用いて熱化が厳密に正当化されることであり、これは古典的系とは異なり、量子系に特有のメカニズムである。

ABSTRACT

We treat the problem of the approach to thermal equilibrium by only resorting to quantum dynamics of an isolated macroscopic system. Inspired by the two important works in 2009 and in 1929, we have noted that a condition we call "thermodynamic normality" for a macroscopic observable guarantees the approach to equilibrium (in the sense that a measurement of the observable at time $t$ almost certainly yields a result close to the corresponding microcanonical average for a sufficiently long and typical $t$). A crucial point is that we make no assumptions on the initial state of the system, except that its energy is distributed close to a certain macroscopic value. We also present three (rather artificial) models in which the thermodynamic normality can be established, thus providing concrete examples in which the approach to equilibrium is rigorously justified. Note that this kind of results which hold for ANY initial state are never possible in classical systems. We are thus dealing with a mechanism which is peculiar to quantum systems. The present note is written in a self-contained (and hopefully readable) manner. It only requires basic knowledge in quantum physics and equilibrium statistical mechanics.

研究の動機と目的

• 初期状態が熱平衡にあると仮定せず、孤立したマクロな系における熱平衡の量子力学的根拠を提供すること。
• 時間発展する純粋状態が微小状態平均に近い測定結果を示す条件を確立すること。
• 観測可能量に特有の性質である'熱力学的正規性'が、エネルギーがマクロな値の周囲に局在する任意の初期状態に対して熱化を保証することを示すこと。
• 熱力学的正規性を厳密に証明可能な明示的モデルを提示し、具体的な状況でのメカニズムを説明すること。
• このメカニズムが量子系に特有であり、古典的統計力学では再現できないことの強調。

提案手法

• マクロな観測可能量に対して'熱力学的正規性'を定義し、これはエネルギー固有状態における観測可能量の行列要素の二乗が微小状態平均の周囲に鋭く集中することを意味する。
• 時間発展する純粋状態 $ \varphi(t) = \sum_{\alpha} c_{\alpha} e^{-iE_{\alpha}t} \psi_{\alpha} $ を用いて、長時間における観測可能量の典型的な振る舞いを分析する。
• 量子エルゴード定理の枠組みを適用し、熱力学的正規性が成立する限り、典型的な時間 $ t $ に対して期待値 $ \langle \varphi(t), \hat{A} \varphi(t) \rangle $ が微小状態平均 $ \langle \hat{A} \rangle_{\mathrm{mc}} $ に限りなく近いことを示す。
• ランダムスピン系、鎖状の自由フェルミオン、熱的に接触する同一系の二つからなる系の三つの明示的モデルを構築し、熱力学的正規性が厳密に確立されることを示す。
• トレース推定や交換関係を含む、ランダム行列理論および量子統計力学の技術を用いて行列要素を評価し、正規性を検証する。
• 非-degenerateなエネルギー準位と高次元ヒルベルト空間に依存し、測度の集中現象を活用することで、典型的な振る舞いの普遍性を保証する。

実験結果

リサーチクエスチョン

• RQ1 孤立系における純粋な量子状態が、初期状態が平衡から大きく離れていても、どのようにして熱的振る舞いを示すようになるのか。
• RQ2 初期状態がCanonicalまたは微小状態分布に近いかどうかを仮定せず、量子力学的ダイナミクスのみを用いて熱平衡への到達を厳密に正当化できるか。
• RQ3 なぜ熱力学的正規性による熱化メカニズムは量子系では可能だが、古典系では不可能なのか。
• RQ4 どのようにして熱力学的正規性が成立する明示的モデルを構築できるか。これにより、量子熱化の具体的実現が可能になる。
• RQ5 初期状態が熱的平衡に近いかどうかに依存せず、エネルギーがマクロな値の周囲に局在するすべての初期状態に対して、結果が普遍的となるか。

主な発見

• 観測可能量の熱力学的正規性は、典型的な時間 $ t $ に対して、時間発展する純粋状態における観測可能量の期待値が、微小状態平均に任意に近くなることを保証する。
• この結果は、エネルギーがマクロなエネルギー窓 $[E, E + \Delta E]$ 内に局在する任意の初期純粋状態に対して成立し、特別な準備を要しない。
• 奇数 $ L $ の離散鎖における自由フェルミオンモデルでは、数演算子 $ \hat{N}_\ell $ に対して熱力学的正規性が確立され、分散が $ O(\ell) $ のオーダーで増加することから典型的性が確認される。
• 熱的に接触する二つの同一系のモデルでは、熱力学的正規性が成立し、エネルギー交換を伴う複合系におけるメカニズムの有効性が示される。
• 本論文では、熱力学的正規性による熱化メカニズムが本質的に量子的であり、古典的系では再現不可能であることを証明している。これは、量子ヒルベルト空間の構造と高次元における測度の集中現象に起因する。
• 解析により、平衡への到達は粗視化や外部結合によるものではなく、孤立系の内在的量子ダイナミクスに起因することが確認された。