[论文解读] A Quantitative Landauer's Principle

Philippe Faist, Frédéric Dupuis+2 more|arXiv (Cornell University)|Nov 5, 2012

Probabilistic and Robust Engineering Design被引用 29

一句话总结

本文通过基于条件最大熵推导工作成本的下限，为任意热力学过程建立了定量的兰道尔原理，表明该下限在失败概率的对数项范围内是紧致的。利用λ-极大化和半定规划，本文证明工作成本取决于保留的输入-输出相关性，且该下限仅在渐近独立同分布极限下趋于零。

ABSTRACT

Landauer's Principle states that the work cost of erasure of one bit of information has a fundamental lower bound of kT ln(2). Here we prove a quantitative Landauer's principle for arbitrary processes, providing a general lower bound on their work cost. This bound is given by the minimum amount of (information theoretical) entropy that has to be dumped into the environment, as measured by the conditional max-entropy. The bound is tight up to a logarithmic term in the failure probability. Our result shows that the minimum amount of work required to carry out a given process depends on how much correlation we wish to retain between the input and the output systems, and that this dependence disappears only if we average the cost over many independent copies of the input state. Our proof is valid in a general framework that specifies the set of possible physical operations compatible with the second law of thermodynamics. We employ the technical toolbox of matrix majorization, which we extend and generalize to a new kind of majorization, called lambda-majorization. This allows us to formulate the problem as a semidefinite program and provide an optimal solution.

研究动机与目标

• 将兰道尔原理的适用范围从比特擦除推广至任意物理过程。
• 以信息论熵的形式，识别任何过程中工作成本的基本下限。
• 阐明输入-输出相关性如何影响工作成本，尤其是在有限资源场景下。
• 建立一个考虑失败概率的紧致下界，适用于第二定律相容的操作。
• 开发一种通用框架，结合矩阵极大化与半定规划，用于热力学资源理论。

提出的方法

• 作者引入一种新型极大化形式，称为λ-极大化，以建模在第二定律约束下的热力学跃迁。
• 将工作成本最小化问题表述为半定规划（SDP），从而为任意过程提供最优解。
• 工作成本的下限由系统相对于环境的条件最大熵推导得出。
• 通过在失败概率中引入对数惩罚项，该框架考虑了有限尺寸效应。
• 将矩阵极大化工具扩展至处理系统与环境之间的相关性，实现精确的熵量度。
• 该方法适用于与第二定律相容的一般物理操作，确保热力学一致性。

实验结果

研究问题

• RQ1 对于任意物理过程（而不仅仅是比特擦除），工作成本的基本下限是什么？
• RQ2 输入与输出系统之间的相关性如何影响最小工作量？
• RQ3 能否推导出一个紧致下界，以考虑热力学任务中有限的成功概率？
• RQ4 当对输入态的多个独立副本取平均时，工作成本如何变化？
• RQ5 何种数学框架最能捕捉信息处理中热力学约束的本质？

主要发现

• 任何过程的最小工作成本由系统相对于环境的条件最大熵决定，仅在失败概率的对数项范围内存在修正。
• 该下限是紧致的，即存在可实现该成本的物理过程，其误差在指定范围内。
• 工作成本明确依赖于输入-输出相关性的程度，且仅在渐近独立同分布极限下趋于零。
• 该框架揭示了系统与环境之间的相关性是降低工作成本的关键资源。
• λ-极大化能够精确刻画热力学允许的跃迁，推广了标准极大化。
• 该问题被简化为半定规划，为计算最优工作成本提供了计算上可行的方法。