先讲个鬼故事。

1867年，麦克斯韦找来一个小妖精，差点把热力学第二定律给拆了。

事情是这样的：一个盒子，中间隔一道墙，墙上开个小门，门没摩擦，开关不费能量。盒子里装着空气分子，有的跑得快，有的跑得慢。

小妖精就守在门口，看见跑得快的分子过来，开门，让它去左边；跑得慢的，开门让它去右边。

时间一长，左边全是快分子，温度高；右边全是慢分子，温度低。

等温的一盒气体，硬是被它分成了一热一冷，而它什么能量都没花。

这就见鬼了。

热力学第二定律说，孤立系统的熵只增不减，混乱度不会自己往下掉。可小妖精往那儿一站，熵说没就没。

更气人的是，你还能拿这盒一冷一热的气体去推热机，凭空做功，永动机成了。

这个妖精，物理学家请来容易送走难，前前后后折腾了一百多年。

有人说，妖精开门、测量分子速度，总该费点能量吧？结果算来算去，测量这一步原则上可以做到几乎不花钱，这条路堵不死。

到了1929年，匈牙利物理学家齐拉德把装置砍到最简：盒子里只放一个分子，中间插个隔板。分子要么在左，要么在右，这本身就是1比特的信，左是0，右是1。

妖精看一眼分子在哪边，然后让隔板当活塞，慢慢膨胀，就能把这1比特"兑换"成功。

他算出来，这1比特，最多能从环境里捞取 kT ln2 这么多功。

这个数字先记住，后面它还会回来。

但齐拉德发动机还是没回答那个要命的问题：妖精到底在哪个环节付账？

真正的答案，要等到1961年，IBM的物理学家兰道尔才摸到门槛。

他说了一句后来被反复引用的话：信息是物理的。

什么意思？

信息不是飘在空气里的抽象符号。

你说一个比特是0还是1，它总得有个落脚的地方：磁畴的朝向、电容里有没有电荷、一颗粒子待在左边还是右边。

没有物质，就没有信息。

那"擦除"一个比特，物理上发生了什么？

不管这个比特原来是0还是1，你都把它按成一个固定值，比如0。

两条路，被硬生生合并成了一条。

用物理的话说，这个存储器的熵，减少了 kB ln2，因为从两个等概率状态，塌缩成了一个。

宇宙的账本是平的。存储器的熵敢减少，环境就得替它把熵补回来，而且只能多不能少。环境熵怎么涨？放热。

于是就有了兰道尔原理：擦除1比特，扔进环境的热量 Q ≥ kBT ln2。

kB是玻尔兹曼常数，T是环境的绝对温度，ln2约等于0.693。

这是个下限，是物理定律给"删除"这个动作定的底价，不讲价。

到了1982年，兰道尔的同事贝内特拿着这把钥匙，回头把麦克斯韦妖的案子结了。

他说，你们都搞错了重点。

妖精测量分子、获取信息，这一步可以做到逻辑可逆，不产生熵。

问题出在它的"脑子"上，它每看一个分子，就得记一笔。

想接着干活，它的小本本必须腾空，回到空白状态，不然记满了就罢工。

而腾空小本本，就是擦除信息。

擦除1比特，kT ln2 的热量跑不掉。

妖精从热机里捞到多少便宜，擦记忆的时候就得原样吐出来。算总账，一分钱便宜占不到。

热力学第二定律，守住了。

打败妖精的不是测量，是遗忘。

这个热量到底有多小？算笔账。

室温300K，kT ln2 大约是 2.9×10⁻²¹ 焦耳，小到没有直觉。

擦除1000GB数据，大概是8万亿比特，乘起来约2×10⁻⁸焦耳。

什么概念？差不多就是一只蚊子往上抬1毫米所需要的能量。

所以你清空回收站、删掉一张照片，物理上都是要放热的。

顺便说一句，电脑里"删除"很多时候只是给那块区域贴个"可用"的标签，但贴标签、改几个比特的过程，照样是真实的擦除，照样付这份钱。

那这只是理论推导，真能测出来吗？

能。

2012年，一个欧洲团队（Bérut等人）在《自然》杂志上交了作业。

他们用激光做了个"光镊"，把一颗微米级的小玻璃珠困在水里，激光给它造出两个"坑"，珠子在左坑是0，在右坑是1。

擦除，就是操控激光，把两个坑中间的坎儿先降下来、再抬起来，把珠子不管原来在哪都赶进左坑。

然后他们一遍一遍地擦，记录每一次放出的热量。

结果很有意思：擦得越快，放热越多，离下限越远；擦得越慢、越温柔，平均放热就越往 kT ln2 这条线上贴，但就是越不过去。

那条曲线，像被一只看不见的手按在地板上。

后来实验越做越精。

2014年前后，Jun等人用"反馈陷阱"，连真实的坑都不造了，直接用摄像头盯着颗粒，根据它的位置实时计算、施加电场，用一个"虚拟的坑"完成擦除，把测量精度又提了一个量级。

再后来，还有人直接在纳米磁比特上做单比特擦除，结论一样。

兰道尔原理，算是被实验钉死了。

说到这儿，肯定有人不服：读取、复制、写入，难道就不花钱？凭什么只有擦除特殊？

凭的就是熵。

读取一个比特，你只是看了一眼，比特还是那个比特，它的状态数没变；写入，是把一个本来就空白的坑填上，也没合并状态；复制更直观。

假设一个随机比特，等概率是0或1。你把它复制到5个空白存储位上，加上原比特一共6位。复制前，系统有几种可能？两种。复制后呢？六个位要么全是0，要么全是1，还是两种。

看着是从1份变成了6份，信息翻了几倍，但整个系统的可能性数目一个没多，熵没变，所以不需要环境来补偿，可以做到不放热。

这里有个小坑：那5个目标位，必须是事先格式化好、状态确定的"干净纸"。纸本身干不干净，是另一笔账。

那为什么现实中读、写、复制也都在发热？因为你的电脑不是理想机器。晶体管有电阻，电容充放电要耗能，信号在线路上跑有损耗，这些才是发热的大头，属于工程问题。

工程问题就有工程解法。

换成超导材料，这些损耗可以无限往零压。

但注意，擦除那 2.9×10⁻²¹ 焦耳的底价，超导也救不了，那是物理问题。

顺着这个思路，有人就想：那我干脆不擦除，行不行？

这就是"可逆计算"。

像弗雷德金门、托菲利门这种逻辑门，设计上保证每一步都能倒着推回去，输入能从输出完整还原，没有任何信息被丢掉。

信息不丢，理论上就没有那笔热，能量还能回收回来。

代价是，你得把中间结果全部留着，电路更复杂，相当于为了不扔垃圾，把所有垃圾都摆在家里。

值不值，是另一个话题。

但至少说明一件事：计算本身不是天生耗电的，"删除"才是。

再往大处想。信息得有地方放，那一个有限的物理系统，能塞多少信息，有没有天花板？

有。1981年，贝肯斯坦给出了著名的贝肯斯坦界限：一个半径R、能量E（对应质量m）的系统，能容纳的信息 I 有上限，大致是 I ≤ 2πER/(ħc ln2)。

质量越大、体积越大，能装的信息越多，但不管你怎么折腾，都有个顶。

对普通物质，这个上限宽松得离谱，现有技术连边都摸不到。

但有一类东西正好把它顶满，黑洞。

黑洞的熵（贝肯斯坦-霍金熵）正好正比于它的表面积，一个比特占一个极小的面积格子。这就引出了更玄的全息原理：一个区域里能装的信息，不取决于体积，而取决于它的表面积。

你看，兰道尔公式和贝肯斯坦界限，一个管"擦除要放热"，一个管"能装多少信息"，八竿子打不着的两个东西，摆在一起看，会发现它们长得几乎一样：

都是不等式，都带着 ln2，都能整理成"能量（或能量相关的量）≥ 温度（或某个常数）× 信息量"的形状。

兰道尔那里，温度是热平衡下内能对熵的导数，dE = TdS。

1比特对应 ln2 的熵，补上这份熵，代价就是 kT ln2。

所以有人半开玩笑地说：温度，本质上可能是能量和信息之间的"汇率"。

温度越高，删除一个比特的手续费越贵；想让计算便宜，就把机器降温，这也是为什么量子计算机要往极低温里塞。

当然，"汇率"这个说法目前更像一个漂亮的比喻，不是定论。

兰道尔原理和贝肯斯坦界限是不是同一条更深的定律在两个场景下的投影？信息热力学能不能把这几件事彻底统一？

这些问题，现在都还敞着。

回头看，麦克斯韦妖本来是来找茬的，结果没推翻第二定律，反而逼着物理学家把"信息"这东西从抽象的数学概念，拉进了实实在在的物理世界。

它留下的教训也很简单：天下没有免费的午餐，但更没有免费的"忘记"。