[論文レビュー] 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) $ と系のドリフトを用いて、時間に依存するバイアス $ b(t) $ の関数としてカウンタダイアバティックポテンシャル $ V^{CD}(x,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) $ の時間発展に依存する要因の積として表現され、系とプロトコルの寄与を独立して分析可能となる。