---
title: "麦克斯韦妖"
url: https://lingming.blog/labs/maxwells-demon/
date: 2026-09-05
lastmod: 2026-09-05
tags: ["热力学","信息论","麦克斯韦妖"]
description: "在浏览器里操纵一道分子闸门拉开温差，再用记忆纸带和账本看清第二定律为什么是被信息论救回来的。"
---

# 麦克斯韦妖


## 如何使用

箱子被一道隔板分成两室，中间开着一扇门。180 个分子在里面弹来弹去，速率越高颜色越暖，超过分界速率的还多一圈亮边。

按 **开门 / 关门**（或空格键）控制那扇门。你的任务和 1867 年那个"妖"一样：**把快分子放到右边，把慢分子放到左边**。做成了，右室变热、左室变冷，而你没有做任何功。

觉得手速不够，就打开 **自动妖**——算法会替你做同样的事，而且做得比人准得多。十几秒之后温差就很明显了，此后它在一个涨落的稳态附近上下浮动：180 个分子不足以让温差稳稳不动。

然后请把注意力从箱子移到下面两块面板：

- **妖的记忆纸带**。你每观测一个分子，纸带上就写下一个比特：1 是快，0 是慢。**不观测就无从判断该不该开门**，所以这笔账躲不掉。纸带写满，门就锁死了——妖再也记不住新的事，也就再也无从决定。
- **账本**。上面一根条是你从气体里整理出的有序度，下面一根是你为此写入的比特。两根条画在同一把尺子上。

写满之后按 **擦除记忆**，门重新可用。代价记在最后一行：每擦除一个比特，向环境释放 `kT ln2` 的热。

## 它展示了什么

麦克斯韦 1867 年给泰特写信提出这个设想时，本意不是宣称第二定律错了，而是要说明它是**统计性**的——不是不可能被违反，只是压倒性地不可能。那个开门的角色他自己称作"a finite being"（一个有限的存在），"妖"这个称呼是 1874 年开尔文在《自然》上给起的。

之后一百多年，物理学界都同意妖不可能真的成立，但**说不清那笔账该记在哪一栏**：

- **1929 年，西拉德**把成本记在**测量**上。他设计了单分子的"西拉德引擎"，并算出每获取一个比特要付出 `kT ln2`——数字是对的。
- **1951 年，布里渊**把成本记在**照明**上：妖得用光子去看分子，光子带着能量。
- **1961 年，兰道尔**指出前面两个位置都不对。测量原则上可以做成可逆的、不花钱；真正无法回避的是**擦除**——抹掉一个比特必然向环境释放至少 `kT ln2` 的热。
- **1982 年，贝内特**把这一步接成闭环：妖可以用可逆计算免费地测量、免费地开门，但它的记忆会满。要循环工作就必须擦除，而擦除的代价恰好抵消收益。

结论是这个项目真正想说的那句话：**第二定律不是被力学救回来的，是被信息论救回来的**。熵账里必须把妖的记忆算进去。兰道尔那句 "Information is physical" 说的就是这件事。

这不只是思想实验。2012 年 Bérut 等人用光阱里的一颗胶体粒子，在双势阱中直接测到了擦除代价确实趋近 `kT ln2` 的下限；2014 年 Koski 等人用单电子箱做出了实际运转的西拉德引擎。`kT ln2` 在 300 K 下约等于 `2.87 × 10⁻²¹` 焦耳，也就是 0.018 电子伏。它同时是今天每一次**不可逆**比特操作的能耗地板——现代芯片离这个地板还差四到五个数量级，但那是一堵物理的墙，不是工程的墙。

## 这个模型的边界

**这里的"熵"是粗粒化熵。** 它只是宏观态的函数——两室各有多少分子、各是什么温度。确定性哈密顿系统的**细粒度** Gibbs 熵由刘维尔定理保证严格不变，所以任何号称让细粒度熵下降的模拟都是算错了。妖降低的是宏观态熵，而第二定律正是对这个量陈述的。

**单位是约化的。** 玻尔兹曼常数、分子质量、初始温度都取 1，所以二维下温度就等于平均动能（二维能量均分给出 `⟨KE⟩ = kT`，没有 3/2 的系数）。读数表里唯一的真实世界数字是擦除释放的焦耳，那是独立乘上去的标度，不是从模拟单位换算来的。

**二维、硬盘、时间步进。** 碰撞是等质量弹性碰撞，用空间网格查找邻居。这套模型足以让速率分布保持麦克斯韦—玻尔兹曼形状（直方图上的曲线就是各室当前温度对应的理论分布），但它不是分子动力学，不要用它推任何定量结论。

**比特是按"观测次数"计的**，不是按开门次数。分界速率滑块会改变哪些分子算"快"，也就改变妖的判据；它不改变每次观测要付一个比特这件事。

**这个演示不是兰道尔原理的证明。** 模拟里的账本恒成立，是因为记账规则就是这么写的。真正的论证在文献里，而且**它有严肃的反对者**：Earman 与 Norton 在 "Exorcist XIV" 系列里指出，兰道尔原理本身是在假定第二定律成立的前提下推出的，再用它去证明第二定律不被违反，逻辑上是循环的。贝内特后来承认这个逻辑批评成立，但主张兰道尔原理仍然正确地描述了真实系统不违反第二定律的**机制**。Bérut 等人测到的是擦除代价的下限——这一点很硬；仍在争论的是它是否足以完整地"驱魔"。

## 延伸阅读

- Maxwell 给 Tait 的信，1867 年 12 月 11 日 — [剑桥大学数字图书馆原件](https://cudl.lib.cam.ac.uk/view/PH-CAVENDISH-P-00092/1)
- Landauer, R. (1961). Irreversibility and heat generation in the computing process. *IBM Journal of Research and Development*.
- Bennett, C. H. (1982). The thermodynamics of computation—a review. *International Journal of Theoretical Physics*.
- Earman, J. & Norton, J. D. Exorcist XIV: The Wrath of Maxwell's Demon — [Part II 全文](https://sites.pitt.edu/~jdnorton/papers/ExorcistXIV/Exorcist2.pdf)
- Bérut, A. et al. (2012). Experimental verification of Landauer's principle linking information and thermodynamics. *Nature* 483, 187–189 — [nature.com](https://www.nature.com/articles/nature10872)
- Koski, J. V. et al. (2014). Experimental realization of a Szilard engine with a single electron. *PNAS* 111(38), 13786–13789 — [pnas.org](https://www.pnas.org/doi/10.1073/pnas.1406966111)