[論文レビュー] Regularized Boltzmann entropy determines macroscopic adiabatic accessibility

Hiroyasu Tajima, Eyuri Wakakuwa|arXiv (Cornell University)|Jan 4, 2016

Advanced Thermodynamics and Statistical Mechanics被引用数 3

ひとこと要約

この論文は、スケーリングされたボルツマンエントロピーの熱力学的極限として導かれる正則化ボルツマンエントロピー $\tilde{S}_B$ が、熱力学的系におけるマクロな断熱的到達可能性の必要十分条件を提供することを確立している。量子操作の粗粒化フレームワークを導入することで、著者らは $\tilde{S}_B$ が、エントロピー関数の凸性と単調性の最小限の仮定のもとで、ある平衡状態から別の平衡状態へのマクロな断熱的変換が可能かどうかを完全に決定することを証明した。

ABSTRACT

How the thermodynamic entropy $S_{TD}$ is related to the Boltzmann entropy $S_{B}$ has been one of the central issues since the beginning of statistical mechanics. Today, it is believed that the thermodynamic entropy $S_{TD}$ is equal to a function $ ilde{S}_{B}$ that is defined by regularizing the Boltzman entropy in order to ensure extensivity. However, it is not known whether $ ilde{S}_{B}$ completely determines the possibility of a macroscopic adiabatic transformation in the same way as $S_{TD}$ does. In this paper, by formulating the possibility of a macroscopic adiabatic transformations in terms of "coarse-graining" of quantum operations, we prove that $ ilde{S}_{B}$ provides a necessary and sufficient condition for the possibility of a macroscopic adiabatic transformation.

研究の動機と目的

• 正則化ボルツマンエントロピー $\tilde{S}_B$ が、熱力学的エントロピー $S_{TD}$ が果たすのと同様に、マクロな断熱的到達可能性を完全に決定するかどうかという長年の未解決問題を解消すること。
• 従来の研究におけるギャップを埋めるために、正則化エントロピーの存在と凸性のみを仮定して、断熱的到達可能性条件の逆方向の含意を厳密に証明すること。
• i.i.d. や微視的詳細のような強い仮定を避けて、粗粒化量子操作の観点から断熱的変換を定式化すること。
• 微視的量子状態変換の条件とは明確に異なる、マクロ的でパラメータのみに依存する断熱遷移の基準を確立すること。

提案手法

• 大規模な熱力学的プロセスをモデル化するため、量子操作の粗粒化アプローチを用いてマクロな断熱的到達可能性を形式化する。
• 正則化ボルツマンエントロピー $\tilde{S}_B[U,V,N] := \lim_{X\to\infty} \frac{S_B[UX,VX,NX]}{X}$ を定義し、スケーリング不変性を保証する。
• 系のサイズあたりのエントロピーのゆらぎを制御するため、漸近的エントロピーの下界 $\underline{s}_{\vec{a},\{\delta_X\}}$ と上界 $\overline{s}_{\vec{a},\{\delta_X\}}$ を導入する。
• 演算子単調性とトレースノルムの推定を用いて、次元 $D^{(X)}_{\vec{a},\delta_X}$ の対数を評価し、$\frac{1}{X}S(\hat{\pi}^{(X)}_{\vec{a},\delta_X})$ を介してエントロピーと結びつける。
• 誤差項 $\gamma_{X}$ の減少に基づく背理法を用いて、$\tilde{S}_B$ が減少する場合には変換が不可能であることを証明する。
• 断熱的プロセスを、ユニタルな完全正則なトレース保存（CPTP）写像としてモデル化することで、粗粒化フレームワーク下でもエントロピーの純増加がないことを保証する。

実験結果

リサーチクエスチョン

• RQ1 正則化ボルツマンエントロピー $\tilde{S}_B$ は、$S_{TD}$ が果たすのと同様に、マクロな断熱的到達可能性の必要十分条件を提供するか？
• RQ2 i.i.d. や微視的制御のような強い仮定を用いずに、断熱的到達可能性条件 $\vec{a} \prec_{ad} \vec{a}' \Leftrightarrow \tilde{S}_B[\vec{a}] \leq \tilde{S}_B[\vec{a}']$ の逆方向含意を厳密に証明できるか？
• RQ3 量子操作の粗粒化を用いて、正則化ボルツマンエントロピーのみからマクロな熱力学的到達可能性を導出できるか？
• RQ4 系のサイズあたりのエントロピーのゆらぎは、熱力学的極限における断熱的遷移の可能性にどのように影響するか？

主な発見

• 正則化ボルツマンエントロピー $\tilde{S}_B$ は、マクロな断熱的到達可能性の必要十分条件を提供する。すなわち、$\vec{a} \prec_{ad} \vec{a}' \Leftrightarrow \tilde{S}_B[\vec{a}] \leq \imath{S}_B[\vec{a}']$。
• 証明は最小限の仮定のもとで成立する：極限の存在（2）、$\tilde{S}_B$ が $U$、$V$、$N$ に関して凸かつ厳密に単調増加であること。
• 著者らは、$\lim_{X\to\infty} \overline{\gamma}_{\vec{a},\{\delta_X\},X} = \lim_{X\to\infty} \underline{\gamma}_{\vec{a},\{\delta_X\},X} = 0$ を確立し、系のサイズあたりのエントロピーの収束を保証した。
• 十分に大きな任意の $X$ に対して、$\frac{1}{X}\log D^{(X)}_{\vec{a}^\prime,\delta_X^\prime} - \frac{1}{X}\log D^{(X)}_{\vec{a},\delta_X}$ の差は、$\underline{s}_{\vec{a}^\prime,\{\delta_X^\prime\}} - \overline{s}_{\vec{a},\{\delta_X\}} - \tilde{\gamma}_X$ で下から抑えられ、これが $\tilde{S}_B$ の減少する場合には負になる。
• もし $\underline{s}_{\vec{a}^\prime,\{\delta_X^\prime\}} > \overline{s}_{\vec{a},\{\delta_X\}}$ であれば、ユニタルCPTP写像の下でエントロピー増加がないという要件に矛盾するため、断熱的変換は不可能である。
• i.i.d. 構造や微視的詳細の仮定を一切用いずに結果が成立するため、一般の熱力学的系に対しても頑健である。