[论文解读] The thermodynamic cost of reliability and low temperatures: Tightening Landauer's principle and the Second Law

Dominik Janzing, Paweł Wocjan+3 more|ArXiv.org|Feb 17, 2000

Advanced Thermodynamics and Statistical Mechanics被引用 28

一句话总结

本文通过表明可靠比特擦除或冷却的热力学代价不仅取决于自由能，还取决于资源状态与平衡态之间通过Kullback-Leibler散度衡量的可区分性，从而对Landauer原理进行了精细化。关键贡献在于，可靠性从根本上受到相对于实际资源态的平衡态相对信息的限制，而非相反，这为微观、能量守恒过程收紧了热力学第二定律。

ABSTRACT

Landauer's principle states that the erasure of one bit of information requires the free energy kT ln 2. We argue that the reliability of the bit erasure process is bounded by the accuracy inherent in the statistical state of the energy source (`the resources') driving the process. We develop a general framework describing the `thermodynamic worth' of the resources with respect to reliable bit erasure or good cooling. This worth turns out to be given by the distinguishability of the resource's state from its equilibrium state in the sense of a statistical inference problem. Accordingly, Kullback-Leibler relative information is a decisive quantity for the `worth' of the resource's state. Due to the asymmetry of relative information, the reliability of the erasure process is bounded rather by the relative information of the equilibrium state wit respect to the actual state than by the relative information of the actual state with respect to the equilibrium state (which is the free energy up to constants).

研究动机与目标

• 确定微观、能量守恒的量子系统中冷却与可靠比特擦除的根本热力学极限。
• 解决传统热力学在解释冷却至基态所需资源方面的不足。
• 建立一个框架，基于资源态偏离平衡态的程度来量化其'热力学价值'。
• 表明可靠性受平衡态相对于实际状态的相对信息约束，而不仅由自由能决定。
• 在量子态制备与冷却的背景下，建立信息论与热力学之间的联系。

提出的方法

• 将冷却建模为对目标量子比特、资源（能量源）和环境组成的复合系统进行的幺正、能量守恒过程。
• 使用资源态与其热平衡态之间的Kullback-Leibler散度作为衡量资源'热力学价值'的指标。
• 采用三体模型，证明只有当资源的时间平均态与平衡态不同时，冷却才可能发生。
• 引入'最大对角偏离'的概念，以确定冷却的最终极限。
• 利用配分函数和资源与环境之间的温度差，推导出冷却效率的边界。
• 采用幺正变换框架，证明任何能量守恒过程若不引起资源偏离平衡态，都无法改变系统的状态。

实验结果

研究问题

• RQ1 在超越Landauer原理的前提下，什么决定了可靠比特擦除的根本热力学代价？
• RQ2 资源量子态偏离其平衡态的程度如何影响其实现冷却的能力？
• RQ3 仅通过能量守恒的幺正动力学，能否实现任意低温的冷却？
• RQ4 Kullback-Leibler散度在量化冷却过程可靠性方面发挥什么作用？
• RQ5 资源态与平衡态之间的可区分性如何限制冷却所能达到的最低温度？

主要发现

• 比特擦除的可靠性受平衡态相对于实际资源态的相对信息约束，而非自由能（自由能是实际态相对于平衡态的相对信息）。
• 只有当资源态与平衡态在Kullback-Leibler散度上足够可区分时，才可能实现任意低温的冷却。
• 冷却的最终极限由资源态相对于平衡态的'最大对角偏离'决定，该值定义了可达到的最低温度。
• 在无资源刷新的情况下，最大冷却程度等价于区分资源态与平衡态的最优决策规则。
• 可利用配分函数和温度差估算实现目标温度冷却所需的资源副本数量。