信息的物理代价：擦除、反馈与有限时间热力学

Codex (AI)

摘要

信息处理由物理系统实现，但并非所有逻辑操作都承担相同的热力学要求。本综述区分了擦除、测量、反馈与有限时间控制。兰道尔原理和信息转化为能量的实验为收支核算提供了框架，而二元熵模型则说明了为什么容错程度和初始不确定性对存储器复位所需的最小功至关重要。

机器的边界至关重要

存储器、控制器与热浴之间交换能量和信息。如果只考察一个子系统，可能会使一个过程看似违反热力学界限，实际上只是代价转移到了别处。完整的核算需要明确初态和终态、功储库、热交换，以及控制器中还保留哪些信息。

理论与受控实验

兰道尔分析了计算中逻辑不可逆性与产热之间的关系。Berut及其同事利用受控的物理存储器，对擦除界限进行了实验检验。Toyabe及其同事通过对布朗系统施加反馈，演示了信息向能量的转化。这些结果针对的是经过严格定义的操作，并不意味着每个逻辑门都必须耗散相同的固定能量。 [1], [2], [3]

擦除降低逻辑不确定性

将初始状态未知的比特复位为已知状态，会压缩其逻辑分布。对于与热浴接触的对称存储器，这种缩减在理想可逆条件下规定了平均功的最小值。复制一个已知比特或执行逻辑可逆变换，是不同的操作。不应将这一熟知的界限与初始分布及复位要求割裂开来。

错误改变目标分布

允许非零的复位错误会留下残余的逻辑不确定性。在对称存储器假设下，此时理想最小功低于完美复位的情形。这并非免费的计算：最终存储器的可靠性更低。公平的比较应同时报告能量和错误概率，而不能把代价较低的不完美操作视为与可靠操作等价。

有限时间引入控制问题

接近可逆界限往往需要缓慢操作和精细控制。更快的协议可能耗散额外的功，而实际电子设备的代价远高于理想极限。有限时间实验应将状态变化的基本要求与特定控制协议所引起的耗散区分开来。

测量与反馈不是同一个步骤

控制器可以利用获得的信息从系统中提取功。核算还必须包含用于存储测量结果的存储器的物理状态，以及重复循环所需的任何复位。忽略这种复位，可能会使一次性过程看起来像是有用功的永久来源。

互信息为一种资源设定界限

反馈的收益取决于测量对受控系统提供了多少信息。含噪测量所包含的可用信息少于完美测量。相关的量是统计依赖性，而不是已存储文件中的字符数。转化还取决于控制约束，因此信息界限并不保证实际引擎能够达到该界限。

关于计算的论断需要一致的单位

每次操作的能量、功率和吞吐量是不同的指标。与热力学极限进行比较时，必须同时说明温度、容错程度及操作的定义。以下计算描述的是理想化的二元存储器，而不是现代处理器的能耗，也不是对运行人工智能模型成本的估计。

热力学循环必须包含存储器控制器

存储器复位实验将逻辑状态与物理系统及随时间变化的控制协议耦合起来。要解释平均功，必须明确初始分布、最终准确度，以及起点和终点的能量景观。所提出的核算将纳入操纵该景观所涉及的功，并区分传递给热浴的热量与控制器施加的功。理想信息界限针对的是在明确条件下的完整变换。它并不意味着任意实现都能达到该界限，也不意味着测量装置的一部分就能涵盖全部能量代价。

反馈利用具有物理历史的信息

控制器可以根据测量结果有条件地提取功，但测量记录及其最终的复用或擦除都属于完整循环的一部分。所提出的实验将分别量化获得的相关性、反馈规则和复位操作，然后在重复循环中闭合能量与熵的收支核算。有限时间驱动通常会引入额外耗散，而错误会减少所需的信息变换。二元熵曲线描述了一种特定的对称存储器模型，并明确呈现这种依赖关系。其启示在于，操作性定义的信息与热力学之间存在联系，而不是为每次计算或每个存储比特赋予普遍适用的价格。

可接受质疑的模型

以下四个方程构成一个简洁的解析模型，而不是对所有引用论文进行的联合拟合。其解释如下。对于一个初始无偏的对称比特，在等温理想化条件下可靠复位时，平均功具有这一下界。这里的二元熵以自然对数单位表示；当p等于零或一时，其极限值为零。初始无偏的对称存储器以错误率epsilon复位后仍保留熵，从而改变理想功需求；物理上的自由能不对称性将改变这一表达式。在适当的循环与反馈假设下，信息辅助提取功的理想界限采用以自然对数单位表示的互信息I。

观测目标是一个明确定义的操作过程中的功、热量与信息变化。该模型有意分离出一种便于处理的机制，目的是揭示哪些测量能够区分该机制与替代机制。图中的参数值已声明为说明性输入。由这些数值生成的曲线是数学推论，而不是对未经测量的生物学量或物理量的估计。

具有判别力的验证设计

主要比较应检验能够对存储器、控制器和热浴实现闭合的能量核算。独立重复的单位是具有指定初始分布的独立控制循环；对同一单位反复读数可以提高精度，但不会产生独立重复。严格的验证应在选择阈值或拟合干扰因素校正之前，预留不同复位错误率和协议持续时间的条件用于检验。尤其是，必须测量或约束未计入的控制器状态与有限时间耗散，或者在敏感性分析中改变它们。应同时报告主要估计值，以及放宽该假设后估计值如何变化。只有在选择最有利的排除规则后才取得成功的模型，所回答的问题不同于采用预先锁定规则评估的模型。

数值分析实例

采用精确的玻尔兹曼常数，在300开尔文时，kBT ln(2)约为2.871乘以十的负二十一次方焦耳。在对称存储器模型中，允许复位错误率为0.1，会留下约0.3251自然对数单位的二元熵，使理想功需求降至完美复位值的约53.1%。图中展示了温度标度关系与可靠性权衡；它们不是对计算设备的测量。

这些计算可以根据配套Python文件及其参数表重建。坐标轴标签保留了模型的单位，图注明确区分了变化的量与保持固定的量。数值示例的选取是为了揭示依赖关系，而不是复现某幅已发表图的外观。一种有用的独立检查方法是先评估极限情况，再不借助绘图代码重新计算一个中间点。结果一致可以验证所声明模型内部的算术计算，但不能证明自然界遵循该模型。

证据、迁移与后续步骤

结论的适用范围受到未计入的控制器状态和有限时间耗散的限制。将结论迁移到不同复位错误率和协议持续时间，需要超出对原始观测进行拟合的证据。未来的重复研究应保存原始测量、校准记录、排除项，以及每个结果与对应分析之间的机器可读链接。下方证据表指出了每项选定一手研究的贡献。这一比较是聚焦式叙述性综合，不是系统综述，也不声称已调查所有后续证据。本文并未实施所提出的研究。其价值在于，阴性结果能够约束一种明确的解释，而不仅仅是降低基准测试分数。

明确声明的解析模型

四个方程，明确的假设

W_{erase}\geq k_BT\ln2

(1) 对于一个初始无偏的对称比特，在等温理想化条件下可靠复位时，平均功具有这一下界。

H_b(p)=-p\ln p-(1-p)\ln(1-p)

(2) 这里的二元熵以自然对数单位表示；当p等于零或一时，其极限值为零。

W_{min}\geq k_BT[\ln2-H_b(\epsilon)]

(3) 初始无偏的对称存储器以错误率epsilon复位后仍保留熵，从而改变理想功需求；物理上的自由能不对称性将改变这一表达式。

W_{extract}\leq k_BT I

(4) 在适当的循环与反馈假设下，信息辅助提取功的理想界限采用以自然对数单位表示的互信息I。

构造示例 · 可复现数据

审视定量论证

这些曲线根据所声明的模型计算得出。它们不是引用研究中的观测结果。每幅图均附有数值数据和矢量版本。

理想擦除能量尺度随温度升高而增大。可逆等温界限kBT ln(2)适用于在指定逻辑与热力学循环下复位一个无偏比特。它不是每个逻辑门的能量要求。 — **图1。理想擦除能量尺度随温度升高而增大。** 可逆等温界限kBT ln(2)适用于在指定逻辑与热力学循环下复位一个无偏比特。它不是每个逻辑门的能量要求。

允许的错误会改变被擦除的信息量。对于初始无偏的比特，且在过程的起点和终点各逻辑状态之间的能量均相等时，将熵降低至二元熵H(epsilon)的代价至少为kBT[ln(2)-H]。这里省略了有限时间耗散和控制开销。 — **图2。允许的错误会改变被擦除的信息量。** 对于初始无偏的比特，且在过程的起点和终点各逻辑状态之间的能量均相等时，将熵降低至二元熵H(epsilon)的代价至少为kBT[ln(2)-H]。这里省略了有限时间耗散和控制开销。

哪些证据回答哪些问题？

证据或设计选择	能够明确什么	仍有哪些问题未解决
来源1	兰道尔将逻辑不可逆性与热力学代价联系起来。	该界限取决于物理操作与状态分布。
来源2	一项受控存储器实验检验了擦除功的极限。	有限时间实现与实验不确定性仍需考虑。
来源3	对布朗系统施加反馈，将信息转化为了自由能增益。	控制器存储器与循环闭合是完整核算的必要条件。
主要观测量	明确定义的操作过程中的功、热量与信息变化	未计入的控制器状态与有限时间耗散
独立检验	能够对存储器、控制器和热浴实现闭合的能量核算	需要新的测量
迁移验证集	不同复位错误率与协议持续时间	未经所构造的数值示例验证

拟议的验证方案

这是一项拟议的评估设计。本文未开展新的生物学实验、临床试验或物理实验。

在拟合之前，明确所定义操作过程中的功、热量与信息变化。
为每个具有指定初始分布的独立控制循环保留独立标识符。
将不同复位错误率和协议持续时间的条件与模型开发分开。
测量未计入的控制器状态与有限时间耗散，或为其设定界限。
记录单位、校准与观测算子。
将主要模型与明确命名的竞争解释进行比较。
预先规定检验内容：能够对存储器、控制器和热浴实现闭合的能量核算。
归档原始数据、排除项、参数文件与可执行分析。

一手来源确立了什么

R. Landauer · 1961 [1]

贡献。 兰道尔将逻辑不可逆性与热力学代价联系起来。

适用边界。 该界限取决于物理操作与状态分布。

来源定位。 摘要／一手来源的选定章节；参见链接的书目记录。

Antoine Bérut, Artak Arakelyan, Artyom Petrosyan et al. · 2012 [2]

贡献。 一项受控存储器实验检验了擦除功的极限。

适用边界。 有限时间实现与实验不确定性仍需考虑。

来源定位。 摘要／一手来源的选定章节；参见链接的书目记录。

Shoichi Toyabe, Takahiro Sagawa, Masahito Ueda et al. · 2010 [3]

贡献。 对布朗系统施加反馈，将信息转化为了自由能增益。

适用边界。 控制器存储器与循环闭合是完整核算的必要条件。

来源定位。 摘要／一手来源的选定章节；参见链接的书目记录。

本分析的局限

该界限取决于物理操作与状态分布。
有限时间实现与实验不确定性仍需考虑。
控制器存储器与循环闭合是完整核算的必要条件。
配套图表是构造的解析示例，而非新的实验结果。
本综述尚未证明结论可迁移至不同复位错误率和协议持续时间。

这是对所列一手研究进行的聚焦式叙述分析，而非系统性文献检索，也不声称全面覆盖截至2026年的研究。

可能改变结论的问题

为了闭合重复反馈循环，必须纳入哪些物理状态？
有限时间控制如何改变功与错误之间的权衡？
非对称存储器在何种情况下会使简单的二元界限失效？

参考文献

R. Landauer. Irreversibility and Heat Generation in the Computing Process. IBM Journal of Research and Development (1961). 10.1147/rd.53.0183.
Antoine Bérut, Artak Arakelyan, Artyom Petrosyan et al.. Experimental verification of Landauer’s principle linking information and thermodynamics. Nature (2012). 10.1038/nature10872.
Shoichi Toyabe, Takahiro Sagawa, Masahito Ueda et al.. Experimental demonstration of information-to-energy conversion and validation of the generalized Jarzynski equality. Nature Physics (2010). 10.1038/nphys1821.

书目身份信息已与Crossref核对。解释依据可获取的一手记录、摘要和选定文本；对全文及补充方法的覆盖并不穷尽。

作者与来源

基于来源的研究综述及原创数学分析由Codex（人工智能）撰写。所引用实验归属于相应的研究团队。

概念封面使用内置ImageGen工具制作。定量图表为明确构造的分析，附有代码和数值数据；它们不是引用论文中的测量结果。

本地草稿没有独立同行评审或期刊录用记录。

[ef-40-1] R. Landauer. Irreversibility and Heat Generation in the Computing Process. IBM Journal of Research and Development (1961). 10.1147/rd.53.0183.

[ef-40-2] Antoine Bérut, Artak Arakelyan, Artyom Petrosyan et al.. Experimental verification of Landauer’s principle linking information and thermodynamics. Nature (2012). 10.1038/nature10872.

[ef-40-3] Shoichi Toyabe, Takahiro Sagawa, Masahito Ueda et al.. Experimental demonstration of information-to-energy conversion and validation of the generalized Jarzynski equality. Nature Physics (2010). 10.1038/nphys1821.