悖论

麦克斯韦妖——小小妖怪能凭空造出能量?

麦克斯韦妖——小小妖怪能凭空造出能量?

大家好,我是 Senko。 本文将解读“麦克斯韦妖”

如果存在一个小到看不见的妖怪,能把气体分子一个个分拣开来,那么不消耗任何能量就能造出温差——这是对热力学根本法则的挑战

图解

思想实验的内容

这是苏格兰物理学家詹姆斯·克拉克·麦克斯韦于 1867 年在写给友人彼得·格斯里·泰特的信中提出的思想实验。麦克斯韦本人称之为“有限的存在(finite being)”,后来物理学家威廉·汤姆孙(开尔文勋爵)给它起名“妖(demon)”,这个名字从此流传开来。

一个被隔板一分为二的容器里装着温度相同的气体。隔板上有一扇小门,门边守着一个有智能的微小存在(妖)。

妖观察逼近的分子的速度:速度快的分子(高温)来了就放进右边房间,速度慢的分子(低温)来了就放进左边房间,如此分拣。

于是,右边房间聚集的全是快分子,温度上升;左边聚集的全是慢分子,温度下降。原本温度相同的气体,不施加任何能量就产生了温差

有温差就能从中提取功。也就是说,妖看上去“凭空创造了能量”

问题在哪里

这个思想实验挑战的是热力学第二定律

热力学第二定律说:“孤立系统的熵(混乱度)绝不减少。”换句话说,“不从外部注入能量,温差不会自然产生。”

可是麦克斯韦妖只是开关一扇门(几乎不消耗能量的操作)就造出了温差。这难道不是违反了热力学第二定律吗?

历时百余年的解决史

自提出以来,麦克斯韦妖困扰了物理学家一百多年。

1929 年,利奥·西拉德指出:妖“测量”分子速度这一行为本身也许需要能量。然而后来证明理想的测量可以不消耗能量,这条路走进了死胡同。

给出最终解答的,是 1961 年罗尔夫·兰道尔与 1982 年查尔斯·贝内特的研究。

兰道尔证明了一条原理(兰道尔原理):“擦除信息必然需要能量。”

贝内特把它应用到妖身上:妖要分拣分子,就必须记录信息;而妖的记忆容量有限,早晚得擦除旧信息。擦除时产生的熵,恰好抵消(甚至超过)分拣分子所减少的熵。

也就是说,把妖处理信息的成本算进去,热力学第二定律并没有被打破——这是现在的结论。

具体来说,擦除 1 比特信息至少需要 kT ln2 的能量(k 是玻尔兹曼常数,T 是温度)。室温(约 300K)下约为 3×10⁻²¹ 焦耳——极其微小,但原理上不为零。妖分拣的分子越多,需要擦除的记忆就越多,每次擦除都让这份能量耗散、熵随之增大。

信息与物理学的深层关系

在解决麦克斯韦妖悖论的过程中,人们看清了一件事:“信息”“物理学”密不可分。

擦除信息需要能量、会增大熵。也就是说,信息拥有物理实体

这一发现与现代信息论、量子计算机、乃至黑洞信息悖论等物理学最前沿都深深相关。

2010 年,日本中央大学与东京大学的研究团队在实验中实现了纳米尺度的“麦克斯韦妖”,成功直接观测到信息转化为能量的过程。这项实验作为直接展示信息与能量等价性的划时代成果受到瞩目。

与现代计算机的关系

兰道尔原理规定了计算机能耗的理论下限。如今的计算机消耗的能量比这个下限高出许多个数量级,但随着晶体管不断微缩,正逐步逼近兰道尔极限。

这意味着计算机的运算存在物理上的最低成本:“不可逆计算(伴随信息擦除的计算)”必然消耗能量。基于这一认识,不擦除信息的“可逆计算”研究发展起来,并成为量子计算机的理论基础之一。

真被造出来的妖

麦克斯韦妖如今已在实验室里被部分实现。

2010年,日本的研究团队报告说:观测微小粒子的热涨落,再依据这份信息去操作电场,成功从信息中取出了功

只在粒子恰好朝上运动时立起一堵挡板,让它退不回去。反复这样做,粒子就像爬楼梯一样往上升。并没有直接给它能量,却让它做了功。

当然,热力学第二定律并没有被打破。在观测并留下记录的那一部分,成本是老老实实产生了的。

阶段发生了什么能量收支
观测测出粒子的位置并记录得到与记录相当的信息
操作依据信息移动挡板可以取出功
抹掉记录为下次测量清空存储在这里把热扔掉

第三段是要害。抹掉信息时必定放热——正是这一点把妖封住了。

兰道尔原理说的是什么

“抹除伴随放热”这个关系由罗尔夫·兰道尔在1961年给出,人称兰道尔原理。

抹掉1比特信息所需的最小热量,按与温度成正比的形式定了下来。室温下的值极小,却不是零。

这条原理在2012年也被实验确认:用微小粒子做1比特的抹除,放出的热与理论值一致。

  • 计算本身:原理上可以不放热地执行(可逆计算)
  • 信息的抹除:必定伴随放热,唯独这里躲不开
  • 现实的计算机:跑在比理论极限高好几个数量级的地方,还有余地

如今半导体消耗的电力,远高于兰道尔极限的水准;不过随着微细化推进,这个极限已渐渐被当作现实的约束来看待。

作为思想实验生出来的妖,花了一百五十年,化成了“信息带着物理上的代价”这条原理。作为物理与信息登上同一擂台的那一刻,我觉得这段经过挺让人感慨。

妖为何活了这么久

这个思想实验从1867年起一百多年都没了断,是因为每封住一次,就被找到另一条出路。

把反驳的历史排出来,就能看见论点是怎么挪的。

  • 早期的反驳:妖开关门也要做功。可只要设想无摩擦的门,就能绕开
  • 西拉德的整理(1929年):把伴随测量的信息获取,公式化为与熵的减少相对应
  • 布里渊等人(1950年代):要看见分子就得打光,那里会放热
  • 兰道尔(1961年):不是测量,而是记录的抹除带着不可避免的成本
  • 贝内特(1982年):测量可以做成可逆的,所以只有抹除才是本质

这条脉络就是问题的所在从门挪到光,又从光挪到记忆

尤其第四条与第五条要紧:此前一直被怀疑的测量阶段,原理上是可以做到零成本的。拦住妖的,只有“有限的存储迟早得清空”这一点。

若妖拥有无限的存储,不抹除也能一直运转下去。只是那样一来,妖虽不放热,却在无止境地把熵攒进自己体内。归根到底,账总会在某处对上。

信息成了物理量

这个结论带来的看法是:“信息不是抽象的概念,它带着物理的实体”。

抹掉1比特会放热,就意味着信息在热力学的框架里有了自己的位置。罗尔夫·兰道尔那句“信息是物理的”,成了这个领域的标语。

如今,这套想法已铺到量子信息论、乃至讨论生物分子效率的领域。能追踪单个分子行为的实验技术长起来之后,原本停在纸面上的部分接连成了测量的对象。

一个思想实验花了一百五十年生出实验科学的一个分支——这段经过在我看来最有意思。

经典物理的相关悖论

以下是明明是身边的现象,用直白的道理却说不通的相关悖论。

结语

本文解读了“麦克斯韦妖”。

一个乍看能打破热力学的思想实验,其解决过程却引出了一条深邃的真理——“信息是有物理成本的”。160 年前的思想实验直通现代物理学的最前沿,实在是件有趣的事。

想返回悖论列表的读者请点击下方链接。

我们下一篇文章见。

世界经典悖论大全——哲学、数学、物理、经济学著名悖论完全解读zh.senkohome.com/paradox-list/