[論文レビュー] 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

ひとこと要約

本稿は、個々のゲートが効率的に動作しても、局所的でモジュラーな計算によって生じる新たな熱力学的コスト「モularity散逸」を特定し、Landauerの限界を超えるものである。また、情報ラチェットが予測的または後知的隠れ状態を用いてグローバルな相関を記憶することで、グローバルに調整された計算と同等の熱力学的効率を達成できることを示している。

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.

研究の動機と目的

• 個々のゲートがLandauerの限界に近い性能で動作しても、モジュラー情報処理を用いることによって生じる新たな熱力学的コスト「モularity散逸」を特定・定量化すること。
• モジュラー計算が本質的に環境中にグローバル相関を失う理由を説明し、それが熱力学的に価値あるリソースとしての相関エネルギーの損失を引き起こし、追加の不可逆的散逸を生じることを明らかにすること。
• 情報ラチェッドのようなモジュラー系が、グローバルに統合された計算の最小熱力学的コストに達する条件を確立すること。
• 情報ラチェッドの効率と、予測的または後知的隠れ状態を介したグローバル相関の記憶能力との関連を結びつけること。

提案手法

• 確率的熱力学と情報理論を用いて、局所的処理操作における散逸の正確な式を導出する。
• モularity散逸を、グローバルな非平衡自由エネルギーの変化（グローバル相関を捉える）と、局所的（周辺的）自由エネルギーの変化との差として定義する。
• 情報図式形式を用いて相互情報量を分解し、失われた相関の寄与を不可逆性に分離する。
• 情報ラチェッドを環境の相関を仕事に変換する物理的変換器として分析し、最適効率を達成するには隠れ状態が予測的（抽出器の場合）または後知的（生成器の場合）でなければならないことを示す。
• 再帰的情報理論的議論を用いて、ゼロエントロピー生成がラチェッドにおいて予測的または後知的行動と等価であることを証明する。
• ラチェッドの内部状態を設計してグローバルパターンを記憶させることで、モularity散逸を完全に排除でき、グローバルに統合された計算と同等の熱力学的最適性に達できることを示す。

実験結果

リサーチクエスチョン

• RQ1 モジュラー計算がLandauerの限界を超える熱力学的コストは何か？ その原因は何か？
• RQ2 なぜモジュラー計算は本質的にグローバル相関を失い、その損失が追加の散逸を引き起こすのか？
• RQ3 情報ラチェッドのようなモジュラー系が、グローバルに調整された計算の熱力学的効率に達する条件は何か？
• RQ4 ラチェッドにおける予測的・後知的隠れ状態は、ゼロエントロピー生成および最小散逸とどのように関連しているか？
• RQ5 グローバル環境相関をラチェッドの内部状態に記憶させることで、モularity散逸を排除できるか？

主な発見

• モularity散逸は、局所的処理中にグローバル相関が失われるため生じる。これはLandauerの限界とは別個の新たな熱力学的コストであり、追加の散逸を意味する。
• モジュラー計算における最小散逸は、グローバル自由エネルギーの変化と局所的自由エネルギーの変化の差として定量化され、利用可能な相関エネルギーの損失を捉えている。
• 構造化された入力を用いて仕事を抽出する情報ラチェッドでは、最小散逸を達成するには隠れ状態が入力系列を予測する必要がある。
• 構造化された出力を生成するラチェッドでは、最小散逸を達成するには隠れ状態が過去の出力系列を後知的に推定する必要がある。
• ラチェッドにおけるゼロエントロピー生成は、ラチェッドが予測的（抽出器の場合）または後知的（生成器の場合）であることに等しい。これにより、情報構造と熱力学的効率との直接的な関連が確立される。
• ラチェッドの状態を設計してグローバル相関を記憶させることで、モularity散逸を完全に排除でき、グローバルに統合された計算と同等の熱力学的効率に達することが可能になる。