[论文解读] Above and Beyond the Landauer Bound: Thermodynamics of Modularity

Alexander B. Boyd, Dibyendu Mandal+1 more|arXiv (Cornell University)|Aug 9, 2017

Advanced Thermodynamics and Statistical Mechanics参考文献 48被引用 19

一句话总结

本文識別出一種新的熱力學代價——模塊化耗散（modularity dissipation）——其來源於局部化、模塊化的計算，即使單個邏輯閘運行效率很高，仍會超過Landauer的界限。研究表明，當資訊整流器（information ratchets）透過預測性或反向推斷的隱藏狀態儲存全局相關性時，可實現最佳效率，從而使模塊化系統的熱力學效率與全局協調計算相當。

ABSTRACT

Information processing typically occurs via the composition of modular units, such as universal logic gates. The benefit of modular information processing, in contrast to globally integrated information processing, is that complex global computations are more easily and flexibly implemented via a series of simpler, localized information processing operations which only control and change local degrees of freedom. We show that, despite these benefits, there are unavoidable thermodynamic costs to modularity---costs that arise directly from the operation of localized processing and that go beyond Landauer's dissipation bound for erasing information. Integrated computations can achieve Landauer's bound, however, when they globally coordinate the control of all of an information reservoir's degrees of freedom. Unfortunately, global correlations among the information-bearing degrees of freedom are easily lost by modular implementations. This is costly since such correlations are a thermodynamic fuel. We quantify the minimum irretrievable dissipation of modular computations in terms of the difference between the change in global nonequilibrium free energy, which captures these global correlations, and the local (marginal) change in nonequilibrium free energy, which bounds modular work production. This modularity dissipation is proportional to the amount of additional work required to perform the computational task modularly. It has immediate consequences for physically embedded transducers, known as information ratchets. We show how to circumvent modularity dissipation by designing internal ratchet states that capture the global correlations and patterns in the ratchet's information reservoir. Designed in this way, information ratchets match the optimum thermodynamic efficiency of globally integrated computations.

研究动机与目标

• 識別並量化一種新的熱力學代價——模塊化耗散（modularity dissipation）——其來源於使用模塊化資訊處理，即使單個閘運作接近Landauer極限。
• 解釋為何模塊化計算本質上會在環境中遺失全局相關性，而這些相關性是熱力學上有價值的資源，進而導致額外的不可逆耗散。
• 建立模塊化系統（如資訊整流器）實現全局整合計算最小熱力學代價的條件。
• 連結資訊整流器的效率與其透過預測性或反向推斷隱藏狀態儲存全局相關性的能力。

提出的方法

• 使用隨機熱力學與資訊理論，推導出局部處理操作中耗散的精確表達式。
• 定義模塊化耗散為全局非平衡自由能變化（捕捉全局相關性）與局部（邊際）自由能變化之間的差異。
• 應用資訊圖式形式化方法，分解互資訊，並隔離遺失相關性對不可逆性的貢獻。
• 將資訊整流器分析為物理轉換裝置，將環境中的相關性轉化為功，顯示最佳效率要求隱藏狀態具備預測性（對提取器）或反向推斷性（對發電機）。
• 使用遞歸資訊理論論證，證明零熵產生等價於整流器的預測性或反向推斷行為。
• 展示透過設計整流器狀態以捕捉全局模式，可完全消除模塊化耗散，從而達成熱力學最佳狀態。

实验结果

研究问题

• RQ1 模塊化計算所超出Landauer界限的熱力學代價是什麼？其成因為何？
• RQ2 為何模塊化計算本質上會遺失全局相關性？此遺失如何導致額外耗散？
• RQ3 在何種條件下，模塊化系統（如資訊整流器）可達成全局協調計算的熱力學效率？
• RQ4 整流器中預測性與反向推斷隱藏狀態與零熵產生及最小耗散之間有何關聯？
• RQ5 能否透過設計整流器內部狀態以儲存全局環境相關性，來消除模塊化耗散？

主要发现

• 模塊化耗散源於局部處理過程中全局相關性的遺失，與Landauer界限不同，代表額外的熱力學代價。
• 模塊化計算的最小耗散可量化為全局與局部非平衡自由能變化的差異，此差異捕捉了可用相關性能量的損失。
• 對於從結構化輸入中提取功的資訊整流器，最小耗散要求隱藏狀態能預測輸入序列。
• 對於產生結構化輸出的整流器，最小耗散要求隱藏狀態能反向推斷過去的輸出序列。
• 整流器中零熵產生等價於整流器具備預測性（對提取器）或反向推斷性（對發電機），確立了資訊結構與熱力學效率之間的直接關聯。
• 透過設計整流器狀態以儲存全局相關性，模塊化耗散可被完全消除，使整流器達到與全局協調計算相當的熱力學效率。