[论文解读] Work, entropy production, and thermodynamics of information under protocol constraints

Artemy Kolchinsky, David H. Wolpert|arXiv (Cornell University)|Aug 25, 2020

Advanced Thermodynamics and Statistical Mechanics参考文献 112被引用 46

一句话总结

本文提出了一套热力学框架，用于在协议约束下研究功的提取与熵产生，引入了‘可访问’与‘不可访问’的自由能及信息组分。研究表明，只有与可控系统变量（例如Szilard盒子中的水平位置）相关的资讯才能用于提取功，即使互信息很高也是如此，从而解决了在物理约束下麦克斯韦妖场景中长期存在的悖论。

ABSTRACT

In many real-world situations, there are constraints on the ways in which a physical system can be manipulated. We investigate the entropy production (EP) and extractable work involved in bringing a system from some initial distribution $p$ to some final distribution $p'$, given that the set of master equations available to the driving protocol obeys some constraints. We first derive general bounds on EP and extractable work, as well as a decomposition of the nonequilibrium free energy into an "accessible free energy" (which can be extracted as work, given a set of constraints) and an "inaccessible free energy" (which must be dissipated as EP). In a similar vein, we consider the thermodynamics of information in the presence of constraints, and decompose the information acquired in a measurement into "accessible" and "inaccessible" components. This decomposition allows us to consider the thermodynamic efficiency of different measurements of the same system, given a set of constraints. We use our framework to analyze protocols subject to symmetry, modularity, and coarse-grained constraints, and consider various examples including the Szilard box, the 2D Ising model, and a multi-particle flashing ratchet.

研究动机与目标

• 推导在驱动协议受限时可提取功与熵产生的更紧致界限，超越理想化的第二定律界限。
• 解决麦克斯韦妖场景中的悖论：由于控制的物理限制，即使互信息很高，也未必能实现功的提取。
• 在约束条件下，将非平衡自由能与测量信息分解为‘可访问’（可提取功）与‘不可访问’（耗散）组分。
• 形式化说明约束（如对称性、模块化、粗粒化）如何影响热力学效率与信息到功的转换。
• 为分析现实中受控受限的引擎与生物系统提供统一框架。

提出的方法

• 基于允许的主方程集合（驱动协议），将非平衡自由能分解为可访问与不可访问组分。
• 利用系统与热库状态之间的相对熵（KL散度）定义熵产生（Σ），通过时间反演与共轭轨迹推导界限。
• 对宏观态 z = ξ(x) 进行粗粒化，推导粗粒化动力学为封闭（即仅依赖于宏观态分布）的条件。
• 推导熵产生率的下界为 −∫ ∂t pZ(t) ln(pZ/πZ) dz，该结果在粗粒化动力学封闭且稳态分布具有对称性时成立。
• 引入‘可访问信息’的概念，即与可控变量相关的测量信息部分，利用受约束条件下的互信息 I(X;M) 分解。
• 使用福克-普朗克方程与主方程形式化，对连续与离散系统建模，并对对称与粗粒化约束给出显式推导。

实验结果

研究问题

• RQ1 在驱动协议存在物理限制时，这些限制如何限制非平衡转换中可提取的功与熵产生？
• RQ2 当控制仅限于某些变量（例如二维Szilard盒子中仅水平隔板运动）时，为何系统与测量之间的全部互信息无法全部转化为功？
• RQ3 在何种条件下粗粒化动力学是封闭的？这又如何影响熵产生的界限？
• RQ4 当仅能控制某些系统变量时，如何比较不同测量的热力学效率？
• RQ5 对称性与奇偶性在确定受限协议下信息与自由能可访问性方面起什么作用？

主要发现

• 只有与可控系统变量（例如二维Szilard盒子中的水平位置）相关的资讯才能用于功的提取，即使总互信息 I(X;M) 很高亦如此。
• 在具有粗粒化控制的二维Szilard盒子中，渐近可访问信息为 1/π，对应渐近效率为 1/(π ln 2) ≈ 0.441，低于理想值 1/ln 2 ≈ 0.721。
• 熵产生受粗粒化自由能变化的下界约束：˙Σ ≥ −∫ ∂t pZ(t) ln(pZ/πZ) dz，当动力学封闭且稳态分布具有奇偶性对称性时等号成立。
• 对于粗粒化系统，若转移率 ˆLp 仅依赖于宏观态而非微观态分布，则粗粒化动力学为封闭，该条件在线性粗粒化与特定对称性条件下成立。
• 在具有对称性约束的二维伊辛模型中，仅关于系统对称性破缺序参量（如磁化强度）的信息可被用于做功，而非所有测量结果。
• 该框架解决了反馈控制中的表观悖论：即使 I(X;M) = ln 2，功的提取仍受限于与可用控制协议对齐的信息子集。