[论文解读] Shortcuts to Thermodynamic Computing: The Cost of Fast and Faithful Erasure

Alexander B. Boyd, Ayoti Patra+2 more|arXiv (Cornell University)|Dec 28, 2018

Advanced Thermodynamics and Statistical Mechanics参考文献 31被引用 4

一句话总结

本文提出了一种针对过阻尼朗之万系统的快速、精确且可靠的擦除信息的反绝热控制协议，实现了超越兰道尔极限的有限时间热力学计算。研究显示，额外所需的功（不可逆耗散）与计算速率、系统规模和信息存储鲁棒性成正比，且在有限时间内实现完美擦除是可通过有限功实现的。

ABSTRACT

Landauer's Principle states that the energy cost of information processing must exceed the product of the temperature and the change in Shannon entropy of the information-bearing degrees of freedom. However, this lower bound is achievable only for quasistatic, near-equilibrium computations -- that is, only over infinite time. In practice, information processing takes place in finite time, resulting in dissipation and potentially unreliable logical outcomes. For overdamped Langevin dynamics, we show that counterdiabatic potentials can be crafted to guide systems rapidly and accurately along desired computational paths, providing shortcuts that allows for the precise design of finite-time computations. Such shortcuts require additional work, beyond Landauer's bound, that is irretrievably dissipated into the environment. We show that this dissipated work is proportional to the computation rate as well as the square of the information-storing system's length scale. As a paradigmatic example, we design shortcuts to erase a bit of information metastably stored in a double-well potential. Though dissipated work generally increases with erasure fidelity, we show that it is possible perform perfect erasure in finite time with finite work. We also show that the robustness of information storage affects the energetic cost of erasure---specifically, the dissipated work scales as the information lifetime of the bistable system. Our analysis exposes a rich and nuanced relationship between work, speed, size of the information-bearing degrees of freedom, storage robustness, and the difference between initial and final informational statistics.

研究动机与目标

• 设计超越兰道尔原理准静态极限的有限时间协议，以实现可靠的信息处理。
• 量化在过阻尼系统中快速、精确擦除的信息能量代价，特别是超出兰道尔极限的多余功。
• 研究系统规模、存储鲁棒性（信息寿命）和擦除保真度如何影响耗散功。
• 证明在有限时间内使用反绝热势能，可通过有限非零功实现完美擦除。
• 建立偏置轨迹动力学与信息处理中耗散之间定量关联。

提出的方法

• 使用反绝热控制设计势能，使系统在有限时间内沿期望路径演化，避免绝热跃迁。
• 将绝热加速的理论框架应用于过阻尼福克-普朗克动力学，确保计算过程中无布居数泄漏。
• 通过概率密度 $ p(x) $ 和系统的漂移，推导出反绝热势能 $ V^{CD}(x,t) $ 作为时变偏置 $ b(t) $ 的函数。
• 将总反绝热功表示为 $ \big\bracevert W^{CD} \big\bracevert = f_1[p(\bullet)] \times f_2[b(\bullet)] $，将系统属性与协议动力学的依赖关系分离。
• 采用正弦偏置轨迹 $ b(t) = b_i \cos^2(t\pi/2\tau) + b_f \sin^2(t\pi/2\tau) $，确保初始和最终时刻导数为零，从而在端点实现平衡。
• 通过泛函 $ f_2[b(\bullet)] = \int_0^\tau \frac{\dot{b}^2}{b - b^2} dt $ 分析耗散功，表明其与计算速率的平方及初始与最终分布之间霍尔德距离成正比。

实验结果

研究问题

• RQ1 在有限时间内执行快速、可靠的擦除，其能量代价（超出兰道尔极限）是多少？
• RQ2 耗散功如何随计算速率和信息存储系统规模变化？
• RQ3 是否可在有限时间内以有限功实现完美擦除？何种协议可实现此目标？
• RQ4 信息存储的鲁棒性（以信息寿命衡量）如何影响擦除的能量代价？
• RQ5 最小化有限时间擦除中耗散的最优协议是什么？所选正弦偏置轨迹是否达到此最优？

主要发现

• 有限时间擦除所需的反绝热功与计算速率的平方及系统的长度尺度成正比。
• 耗散功与擦除时间 $ \tau $ 成反比，最大值与 $ \pi^2 / \tau $ 成正比，适用于完美比特翻转。
• 在有限时间内可通过有限非零功实现完美擦除，表明兰道尔极限并非速度的严格上限。
• 擦除的能量代价与双势阱系统的信息寿命成正比，将存储鲁棒性与处理代价直接关联。
• 控制耗散的泛函 $ f_2[b(\bullet)] $ 在满足欧拉-拉格朗日方程的路径下取得最小值，但所选正弦协议不满足该条件，因此为次优。
• 反绝热功可表示为两个独立因子的乘积：一个依赖于平衡势能 $ p(x) $，另一个依赖于偏置 $ b(t) $ 的时间演化，从而实现对系统与协议贡献的模块化分析。