[论文解读] 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$ 减小时，转换不可能实现。
• 使用保 identity 的完全正迹保持（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 \tilde{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\}}$，则绝热转换不可能实现，因为这与保 identity CPTP 映射下不允许熵增加的要求矛盾。
• 该结果无需假设 i.i.d. 结构或微观细节，因此对一般热力学系统具有鲁棒性。