守门人与两本账

寓言

早年间，村子被一条窄巷分成东、西两段。窄巷正中开了一扇小门，门不大，刚好容得下一只萤虫穿过。两边各住着一户养萤虫的人家，他们家夜里都点灯，飞出来的萤虫在半空中混作一团，分不清谁家的。

谁家都说不清：自家萤虫是飞得快还是飞得慢。快慢这种事，肉眼根本看不出来。村里一直就这样——两边的萤虫各有各的脾气，温度也差不到哪儿去，偶尔有人嘀咕"东边稍微凉一点，西边稍微暖一点"，但也拿不出证据。

直到有一天，村里来了个年轻的守门人。

他眼睛极好。他不点灯，只是蹲在小门边上，眼睛盯着半空。每见一只萤虫飞过来，他便眯一下眼，看一眼虫翅扇动的快慢。快的那只，他让门开着，请它往西边去；慢的那只，他让门开着，请它往东边去。一夜下来，他累得眼睛发酸，但第二天清早，村里人惊讶地发现——东边真的凉下来了，西边真的暖起来了。

有人递来热毛巾给守门人暖手，有人从东边端来凉茶给他解渴。大家说：守门人真神。

守门人自己也觉得神。夜里他不再点灯，靠自己的眼睛，能让全村两半边的温度差越拉越大。西边的萤虫越飞越快，东边的越飞越慢，村里的水井也越来越有规律——井口冒出的热气飘向西头，井壁上的凉意聚向东头。

可怪事也来了。守门人每判别一只萤虫，脑中就要多记一笔：这一只算"快"，那一只算"慢"。一年下来，他记了几万笔。白天他还要擦炉子、扫院子、做别的事，可脑子里那些"快"和"慢"的字眼越堆越满，挤得他记不住今天该买几斤米。

更怪的是，他发现自己想新事情的本事越来越差。夜里他还能凭眼睛看清虫翅的快慢，可白天他常常分不清该先扫地还是先擦炉子。

他去看村里的老账房。账房说："你记的太多了，又不肯擦掉，脑子里没地方装新事。"守门人问："那擦掉可不可以？"账房说："可以，但你一擦就晓得。"

守门人拿了一本小账簿，回到门口。当晚他判完最后一只萤虫，便拿起笔在自己脑子里把今天的"快慢"二字抹掉，让那些格子重新变成空白。

就在他抹掉第一笔的瞬间，他鼻尖出了一层细汗。

他没在意，又抹第二笔，第三笔。每抹一笔，鼻尖就细汗一层。手心也跟着发热。他以为是夜里太凉、身体发紧，并未深想。

第二天清早，他发现——东边和西边的温度差，没有前一天大了。又过了几天，萤虫飞行的快慢又混作一团，村里又回到了那种说不清的状态。

守门人坐在门口，盯着自己那本擦过的小账簿。他想起账房的话，又想起自己鼻尖的汗。他终于明白：他每擦掉一笔"快慢"，就得赔出一份看不见的热；而他赔出去的热，比他夜里替村子整理萤虫省下的那点温度差，还要多。

无论他守多久的门，无论他的眼睛多灵，只要他晚上继续判别、白天继续抹账，村子的两半边就只能越走越混、越走越糊。萤虫不会自己回位，热气不会自己聚拢。

他终于把账簿合上。

村里再没人守那扇门。两边的萤虫夜里照常飞作一团，东边西边也再分不出谁凉谁热。井口的雾气散了，井壁的凉意也淡了。一切看上去，似乎比有守门人时还乱。

可奇怪的是——村里反而再没出过怪事。没有人发汗，没有人记错几斤米，没有人觉得脑子挤。萤虫虽然乱，乱得诚实；热气虽然散，散得公平。

村里的孩子后来问老账房："守门人哪里去了？"老账房说："他还在村里，只是想明白了——有些忙，帮了反而多；有些账，记完就得自己擦；擦了，就别怪手心发烫。"

孩子又问："那萤虫为什么再也不分开了？"老账房说："分开是要付代价的，不付代价的事情，本来就不长久。"

箴言：分拣必有记，记满必擦，擦必发热；账不可乱抹，事不可白分。

概念解释

这则寓言讲的是热力学第二定律与"麦克斯韦妖"思想实验，并触及兰道尔原理的核心直觉：在一个封闭系统里，"整理"（降低熵）不是免费的——任何整理都需要先记录，记录满了需要擦除，而擦除信息本身会产生不小于 kT ln 2 的热。系统总熵永远不会因此降低。

寓言 ↔ 概念对照表

核心公式

$$ S = k_B \ln W $$

$$ \Delta S_{\text{erasure}} \geq k_B \ln 2 \quad \text{（每擦除 1 bit）} $$

$$ W_{\min} = k_B T \ln 2 \quad \text{（兰道尔极限，对应擦除 1 bit 的最小散热）} $$

$$ \langle v \rangle_{\text{快腔}} > \langle v \rangle_{\text{慢腔}} \;\;\Rightarrow\;\; \Delta S_{\text{气体}} < 0,\;\;\Delta S_{\text{擦除}} \geq k_B \ln 2 $$

最后一行揭示了"妖"做不到的真正原因：擦除带来的熵增，永远不小于分拣气体所减少的熵，因此孤立系统总熵不减。

关键要点

• 热力学第二定律的统计表述：孤立系统的熵永不自发减小，等价于"系统趋向微观状态数最多的宏观态"。
• 麦克斯韦妖（1867，Maxwell）是一个思想实验：能"看见"每个分子速度的小生灵，仅靠观察与开门就让 A、B 两腔出现温差，看似违反第二定律。
• 关键破解来自兰道尔（Landauer, 1961）与贝内特（Bennett, 1982）：获取信息可以不耗能，但擦除信息是热力学不可逆过程，至少产生 kT ln 2 的散热。
• 兰道尔极限（kT ln 2 / bit）已由 Lutz 等人在 2012 年的单比特实验中验证。
• 妖的"记忆有限"是关键：妖必须擦账才能继续工作，而每一次擦账都在系统中留下等量或更多的熵。
• 这一原理直接决定了现代计算的能量下界：擦得越快、越小，散热越逼近物理极限；这是量子计算与可逆计算被反复研究的根因。

参考文献

• Maxwell, J. C. (1871/1872). Theory of Heat. Longmans, Green, and Co. —— 思想实验公开出版的源头。
• Thomson, W. (1874). "Kinetic Theory of the Dissipation of Energy." Nature, 9, 441–444. —— 首次用 "demon" 一词描述 Maxwell 的设想。
• Szilárd, L. (1929). "Über die Entropieverminderung in einem thermodynamischen System bei Eingriffen intelligenter Wesen." Zeitschrift für Physik, 53, 840–856. —— 首次指出"获取信息需要付出代价"。
• Landauer, R. (1961). "Irreversibility and Heat Generation in the Computing Process." IBM Journal of Research and Development, 5(3), 183–191. —— 擦除 1 bit 至少耗 kT ln 2 的奠基论文。
• Bennett, C. H. (1982). "The Thermodynamics of Computation—A Review." International Journal of Theoretical Physics, 21, 905–940. —— 把"妖必须擦除记忆"补完的关键一环。
• Lutz, E., et al. (2012). "Information: From Maxwell's Demon to Landauer." Nature Physics, 8, 213–215. —— 实验验证兰道尔极限。
• Leff, H. S. & Rex, A. F. (Eds.). (2003/2014). Maxwell's Demon: Entropy, Information, Computing. Princeton University Press. —— 思想实验的标准文献集。
• 集智百科. 什么是麦克斯韦妖. swarma.org. —— 中文综述，整理了从 Szilárd 到 Bennett 的完整论证链。
• 返朴. 熵与信息（三）：麦克斯韦妖的百年纠葛. thepaper.cn. —— 中文长文版，含 Landauer 公式的物理来源推导。