[论文解读] Identifying quantum subsystems using Clausius' second law of thermodynamics

Adam Stokes, Prasenjit Deb+1 more|arXiv (Cornell University)|Feb 12, 2016

Advanced Thermodynamics and Statistical Mechanics参考文献 29被引用 5

一句话总结

本文提出将克劳修斯对热力学第二定律的表述作为标准，以识别复合量子系统中物理上合理的量子子系统分解。通过要求总哈密顿量 $H$ 与相互作用哈密顿量 $V$ 对易（即 $[H,V] = 0$），该框架确保了热传递的热力学一致性，防止出现热量从冷源流向热源等非物理情景，从而解决了希尔伯特空间不同张量积分解下子系统定义的模糊性。

ABSTRACT

There are many ways to decompose the Hilbert space H of a composite quantum system into tensor product subspaces. Different subsystem decompositions generally imply different interaction Hamiltonians V, and therefore different expectation values for subsystem observables. This means that thE uniqueness of physical predictions is not guaranteed, despite the uniqueness of the total Hamiltonian H and the total Hilbert space. Here we use Clausius' version of the second law of thermodynamics (CSL) and standard identifications of thermodynamic quantities to identify possible subsystem decompositions. It is shown that agreement with the CSL is obtained, whenever the total Hamiltonian and the subsystem-dependent interaction Hamiltonian commute (i.e. [H,V]=0). Not imposing this constraint can result in the transfer of heat from a cooler to a hotter subsystem, in conflict with thermodynamics. We also investigate the status of the CSL with respect to non- standard definitions of thermodynamic quantities and quantum subsystems.

研究动机与目标

• 解决由于希尔伯特空间存在多种可能的张量积分解而导致量子子系统定义模糊的问题。
• 解决不同子系统分解虽基于唯一总哈密顿量，却导致可观测量时间演化预测不同的问题。
• 建立一个基于克劳修斯热力学第二定律的热力学准则，以选择物理上可行的子系统分解。
• 表明 $H$ 与 $V$ 不对易时，可能导致热力学一致性被破坏，例如出现热量从冷到热的传递。
• 评估非标准的热力学量定义是否改变基于标准热力学框架得出的结论。

提出的方法

• 通过使用标准热力学定义识别热量和功，将克劳修斯的热力学第二定律版本（CSL）应用于量子子系统。
• 推导出 $[H, V] = 0$ 是热力学一致性的必要条件，确保热量仅从热子系统流向冷子系统。
• 利用幺正变换关联不同的子系统分解，并分析可观测量与哈密顿量在这些变换下的变换行为。
• 通过线性耦合的双振子模型，测试在不同子系统定义下热力学一致性的表现。
• 考虑近期文献中提出的热、功和熵的非标准定义，以检验 $[H,V] = 0$ 准则的鲁棒性。
• 采用初始密度矩阵的谱表示与迹运算，计算有效能量通量并验证热力学一致性。

实验结果

研究问题

• RQ1 在何种条件下，量子子系统之间的热量传递遵守克劳修斯热力学第二定律？
• RQ2 不同的希尔伯特空间张量积分解是否会导致物理上不一致的预测，例如热量从较冷子系统流向较热子系统？
• RQ3 $[H, V] = 0$ 条件是否足以且必要以确保量子子系统分解中的热力学一致性？
• RQ4 若采用基于 $H_a$ 或 $H_a'$ 的本征基等非标准热力学量定义，是否会改变 $[H,V] = 0$ 是热力学一致性所必需的结论？
• RQ5 子系统分解的选择是否会导致非物理的能量累积（如原子-场系统中的裸能量），以及如何排除此类情况？

主要发现

• $[H, V] = 0$ 是确保量子子系统之间热量传递遵守克劳修斯热力学第二定律的必要且充分条件，可防止热量从冷源流向热源的非物理情形。
• 当 $[H, V] \neq 0$ 时，克劳修斯表述将被违反，导致热量可能从较冷子系统流向较热子系统，这在热力学上是不可能的。
• 即使采用 $H_a$ 或 $H_a'$ 的本征基作为 LEMBAS（子系统哈密顿量的局部本征基），当 $[H, V] \neq 0$ 时仍无法避免对 CSL 的违反，从而确认了对易子条件的核心作用。
• 即使在非标准的热量和功定义下（如 Weimer 等人，2008 年提出的定义），$[H,V] = 0$ 是热力学一致性的必要条件这一结论依然不变。
• 在使用 $H_a$ 的本征基作为 LEMBAS 的线性耦合振子模型中，有效能量通量 $H_a^{\rm eff}$ 恰好为零，证实其与标准热力学框架的一致性。
• 该框架提供了一个物理准则，可排除非物理的子系统分解，确保子系统可观测量的唯一且一致的预测。