海湾守潮人
在北方一处被灰色海墙围成半圆形的小海湾里，住着一位守潮人。
海湾被一道石墙隔成东、西两半。石墙中央开着一扇小闸，刚好够一滴海水通过。涨潮时，东西两半的温度一样，浪花拍打石墙的节奏一样，咸味一样。没有人觉得这片海有什么特别。
守潮人是位安静的中年人，每日清晨在沙上记录潮水的涨落。哪些浪高，哪些浪低，哪些只是远处漂来的浮沫。沙是柔软的，痕迹能留一整天；到了夜里涨潮，海水就把所有痕迹带走，沙面又是平整的。
一日早晨，东海湾有人来求助：渔船出海总缺一阵暖风。他希望守潮人帮忙，让东边的水永远比西边热一些。守潮人想了一会儿，便答应下来。
他在石墙闸口处站定。
每一滴朝闸门飞来的海水，他都用眼睛观察它的飞溅——飞得高的是「急」，飞得矮的是「缓」。急的去东，缓的去西。东边的水越来越烫手，西边的水渐渐凉下来。渔船得了暖风，东海湾的人在沙滩上欢呼。
守潮人看着这一切，没有说什么。他只是蹲下来，把每一滴海水的「急 / 缓」写在沙上。
两天。三天。十天。
沙上的记录越来越多，整片海滩被细密的笔迹盖满。这位守潮人夜里睡得很短，因为他得在潮水抹平沙地之前，把昨夜所有的判断重新誊抄一份——沙地太小，旧的痕迹必须让位给新的判断。这是他愿意付出的代价。
到了第三十天清晨，奇怪的事发生了。
守潮人把最后一笔写完时，他的笔尖忽然停住。他盯着沙面看了很久。
「你以为东海湾变暖，是小闸在替你做事吗？」他对来访的渔民说。
渔民愣住了。
「不。是这片沙。」
守潮人指向脚下。整片海滩已经被誊写过无数遍，每一笔都是判断，每一次誊写都是抹除。每一次抹除，海风都要吹平一次沙面，每一次吹平，海风都要跑掉一程。渔民在东海湾捕到的暖风，恰好是守潮人在沙地上磨损出来的余温。
渔民不解：我们捕到的鱼是真的暖。
守潮人把笔放下，走到海墙前，听了一会儿海。
「暖是真的。但你若把海墙、闸、沙地、我和这三十天的笔迹全看成一整座海湾——它什么都没有变暖。它只是，把东海湾原本整齐的温度乱度，借由我笔下的磨损，悄悄地堆到了别处。」
从那天起，守潮人不再替任何海湾挑选潮水。他依旧每天来沙边坐坐，记录一些什么。但那些痕迹被夜里涨起的潮水带走时，他只是远远地听着，不再补誊。
海湾依旧。两端依旧等温。一切都回到原本的样子。
笼子守得再好，笼外必有人替你喘气。
它究竟说了什么
「麦克斯韦妖」是詹姆斯·克拉克·麦克斯韦于 1867 年提出的一个思想实验：把一个绝热容器用隔板分成 A、B 两半，隔板上有一扇小门，由一个能识别分子速度的「妖精」把守，只放高速分子从 A 流向 B、慢速分子反向流，从而无需做功就让 B 室升温、A 室降温，似乎违反了热力学第二定律。后续的 Szilárd、Brillouin、Landauer、Bennett 等人的工作逐渐表明：妖精必须测量并记住每个分子的状态，擦除这些记忆时（Landauer 原理，在室温下每 bit 至少消耗 kT ln2 的能量）产生的熵增，恰好抵消了气体侧减少的熵。这个思想实验把「信息」首次明确地拉进了物理学的版图，并奠定了信息热力学的方向。
元素对照
| 思想实验中的元素 | 寓言中的对应 |
|---|---|
| 绝热封闭容器 | 被灰色海墙围成的海湾 |
| A / B 两个等温腔 | 海湾的东、西两半，初始温度相同 |
| 气体分子 | 不断拍打石墙的海滴和浪花 |
| 分子速度（动能） | 海滴飞溅的高度 |
| 隔板上的小门 | 石墙中央的小闸 |
| 能识别分子速度的「妖精」 | 蹲在闸口的守潮人 |
| 妖精的测量与记忆 | 守潮人在沙上记录「急 / 缓」 |
| 信息擦除（Landauer） | 涨潮抹平沙面，风吹跑沙痕 |
| 第二定律的熵增趋势 | 海湾回归两端等温的自然趋势 |
核心公式
热力学第二定律（克劳修斯表述）的熵增形式：
$$\Delta S_{\text{universe}} \geq 0$$
Landauer 原理指出：在温度 $T$ 下擦除 1 bit 信息所消耗的最小能量为
$$E_{\min} = k_{\mathrm{B}} T \ln 2$$
其中 $k_{\mathrm{B}} \approx 1.38 \times 10^{-23}\,\mathrm{J/K}$ 是玻尔兹曼常数。守潮人每擦除一笔所消耗的「海风」，正是这一公式的真实代价。
关键要点
- 思想实验最早见于麦克斯韦 1867 年 12 月 11 日给泰特的信，公开于其 1871 年的《热的理论》。
- 「妖精」一词由开尔文勋爵于 1874 年首次使用，麦克斯韦本人称之为「有限的存在」。
- 真正违反直觉的核心：妖精看似「无代价」对气体分选，但必须为每一条分子的状态付出测量与记忆的成本。
- 1929 年 Szilárd 指出测量需要耗能；1961 年 Landauer 进一步指出耗能发生在「擦除」步骤而非「存储」步骤。
- 1982 年 Bennett 把这一切整合：妖精的内存终究有限，必须擦除旧记忆，而擦除是不可逆过程，会以熵增的形式偿付热二定律。
- Landauer 原理给出了现代计算的物理下限：每一次擦除一比特，理论最小能耗为 $k_{\mathrm{B}} T \ln 2$，因此计算有不可逾越的热力学代价。
参考文献
- Maxwell, J. C. Theory of Heat. London: Longmans, Green, and Co., 1871.
- Thomson, W. (Lord Kelvin). "The Sorting Demons of Maxwell." Nature, 17, 1874.
- Szilárd, L. "Über die Entropieverminderung in einem thermodynamischen System bei Eingriffen intelligenter Wesen." Zeitschrift für Physik, 53, 1929.
- Brillouin, L. Science and Information Theory. Academic Press, 1956.
- Landauer, R. "Irreversibility and Heat Generation in the Computing Process." IBM Journal of Research and Development, 5(3), 1961.
- Bennett, C. H. "The Thermodynamics of Computation—a Review." International Journal of Theoretical Physics, 21, 1982.
- 集智百科，「麦克斯韦妖」条目（swarma.org）。
- 百度百科，「麦克斯韦妖」条目。
- Wikipedia, "Maxwell's demon."
- APS News, "June 1871: Maxwell and His Demon" (June 2002).