[论文解读] Maxwell's demon and the thermodynamics of computation

Jeffrey Bub|ArXiv.org|Mar 5, 2002

Advanced Thermodynamics and Statistical Mechanics参考文献 8被引用 4

一句话总结

本文捍卫了既定观点：通过测量获取信息不会产生根本性的熵成本，而信息擦除——将计算机内存重置为零——必然向环境散发热量，每比特的最小熵成本为 $k\log 2$。作者通过证明可逆测量无需熵成本，但不可逆擦除在热力学上不可避免，从而反驳了伊尔曼和诺顿的挑战，维护了麦克斯韦妖与计算背景下热力学第二定律的成立。

ABSTRACT

It is generally accepted, following Landauer and Bennett, that the process of measurement involves no minimum entropy cost, but the erasure of information in resetting the memory register of a computer to zero requires dissipating heat into the environment. This thesis has been challenged recently in a two-part article by Earman and Norton. I review some relevant observations in the thermodynamics of computation and argue that Earman and Norton are mistaken: there is in principle no entropy cost to the acquisition of information, but the destruction of information does involve an irreducible entropy cost.

研究动机与目标

• 通过澄清信息处理的热力学成本，解决麦克斯韦妖的悖论。
• 挑战伊尔曼和诺顿的主张，即在计算机化的妖中，测量与擦除均可无熵成本。
• 确立只有信息擦除而非获取，才涉及不可约的熵成本。
• 证明计算机化的妖若不违反内存重置的热力学不可逆性，便无法规避热力学第二定律。

提出的方法

• 通过兰道尔和贝内特的原理分析计算的热力学，重点研究内存寄存器的操作。
• 应用统计力学，将计算机内存建模为具有离散状态（如自旋系统）的物理系统。
• 使用相空间压缩的概念，表明重置内存寄存器会减少可访问状态，从而需要散发热量。
• 对比可逆测量（无熵成本）与逻辑不可逆擦除（每比特熵成本为 $k\log 2$）。
• 通过兰道尔的思想实验，利用自旋阵列说明重置过程中的熵减少及其对环境的热量成本。
• 通过揭示伊尔曼和诺顿的妖模型依赖于特定状态、非通用的重置操作，从而逃避核心热力学约束，对其模型提出批评。

实验结果

研究问题

• RQ1 根据西拉德和布里渊的观点，通过测量获取信息是否必然产生不可约的熵成本？
• RQ2 根据兰道尔和贝内特的观点，计算机内存寄存器中信息的擦除是否在热力学上不可避免？
• RQ3 如果测量是可逆的且避免了擦除，计算机化的麦克斯韦妖是否能作为第二类永动机运行？
• RQ4 根据热力学原理，妖无法将热量转化为功的原因是测量还是内存重置？
• RQ5 正如伊尔曼和诺顿所建议的那样，使用状态特定重置操作的妖是否能够规避擦除的熵成本？

主要发现

• 测量作为一种复制过程，原则上可以可逆地进行且不产生任何熵成本，这与西拉德原理相反。
• 通过将内存寄存器重置为确定状态（例如全为1）来擦除信息，会减少系统的相空间，从而降低其熵，因此必须向环境散发热量。
• 根据兰道尔原理，擦除1比特信息的最小熵成本为 $k\log 2$，且这一成本对于任何逻辑不可逆操作都是不可避免的。
• 若事先知晓输入状态，可采用针对初始状态的重置操作（例如仅从0重置为1）来降低熵成本。
• 伊尔曼和诺顿的妖未能解决核心问题，因为它依赖于非通用的、状态相关的操作，从而逃避了基本的热力学约束。
• 热力学第二定律之所以得以维持，并非由于信息获取，而是由于内存寄存器中信息的不可逆擦除，这确保了宇宙总熵的净增加。