[論文レビュー] Dependence of dissipation on the initial distribution over states

Artemy Kolchinsky, David H. Wolpert|arXiv (Cornell University)|Jul 4, 2016

Advanced Thermodynamics and Statistical Mechanics被引用数 5

ひとこと要約

この論文は、非平衡熱力学的プロセスにおける散逸が、初期状態分布に依存することを確立している。その依存関係は、単純な情報理論的公式によって記述される：非最適な初期分布が使用された場合の余剰散逸は、プロセスの開始時から終了時にかけて、初期分布と最適分布間のカルバック・ライブラー（KL）ダイバージェンスの減少に等しい。重要かつ本質的な点として、この余剰散逸はプロセスの詳細に依存せず、初期状態分布と最終状態分布にのみ依存する。この性質により、マクスウェルの悪魔から計算装置に至るまで、さまざまな系における非最適な初期化に伴う熱力学的コストを一般化して定量化するための強力なツールが得られる。

ABSTRACT

We analyze how the amount of work dissipated by a fixed nonequilibrium process depends on the initial distribution over states. Specifically, we compare the amount of dissipation when the process is used with some specified initial distribution to the minimal amount of dissipation possible for any initial distribution. We show that the difference between those two amounts of dissipation is given by a simple information-theoretic function that depends only on the initial and final state distributions. Crucially, this difference is independent of the details of the process relating those distributions. We then consider how dissipation depends on the initial distribution for a 'computer', i.e., a nonequilibrium process whose dynamics over coarse-grained macrostates implement some desired input-output map. We show that our results still apply when stated in terms of distributions over the computer's coarse-grained macrostates. This can be viewed as a novel thermodynamic cost of computation, reflecting changes in the distribution over inputs rather than the logical dynamics of the computation.

研究の動機と目的

• 固定された非平衡プロセスにおける、状態上での初期分布の変化に伴う散逸量の変化の仕組みを理解すること。
• 与えられたプロセスに対して可能な最小の散逸を特定し、非最適な初期分布がもたらす余剰散逸を同定すること。
• 粗粒度化されたマクロ状態上で入出力写像を実装する動的プロセス（「コンピュータ」）にこの分析を拡張すること。
• 非最適な初期化に起因する余剰散逸が、純粋に情報理論的であり、プロセスの具体的なダイナミクスとは独立していることを示すこと。

提案手法

• 著者たちは、与えられたプロセス $ \mathcal{P} $ に対して散逸を最小化する初期分布 $ q_0 $ を最適初期分布と定義する。
• 任意の初期分布 $ r_0 $ と $ q_0 $ 間の散逸差は、初期時から最終時までの $ r_0 $ と $ q_0 $ 間のKLダイバージェンスの減少に等しいことを導出する。
• 導出には、詳細なフラクチュエーション定理と、時間非可逆的ダイナミクス下でのカルバック・ライブラー（KL）ダイバージェンスの性質が用いられる。
• この分析は、粗粒度化されたマクロ状態を持つ系へと拡張され、関連する確率分布としてこれらのマクロ状態上の初期および最終分布が取り扱われる。
• プロセス写像が非可逆である場合、任意の非最適初期分布に対して散逸が厳密に大きくなることを背理法を用いて示す。
• 結果が中間のダイナミクスに依存しないこと、すなわち初期状態分布と最終状態分布、およびプロセスの遷移確率にのみ依存することを示す。

実験結果

リサーチクエスチョン

• RQ1 固定された非平衡プロセスにおける散逸は、初期状態分布の選択にどのように依存するか？
• RQ2 最小散逸が達成可能な状況と比較して、非最適な初期分布がもたらす最大の追加散逸はどれくらいか？
• RQ3 非最適な初期化に起因する余剰散逸を情報理論的量で表現できるか？
• RQ4 計算装置のように粗粒度化されたマクロ状態で系を捉えた場合、この結果は成り立つか？
• RQ5 余剰散逸はプロセスの具体的なダイナミクスに依存するのか、それとも中間の詳細に依存するのか？

主な発見

• 非最適な初期分布 $ r_0 $ を使用した場合の余剰散逸は、初期時から最終時までの $ r_0 $ と $ q_0 $ 間のカルバック・ライブラー（KL）ダイバージェンスの減少に等しい。
• この余剰散逸はプロセスの具体的なダイナミクスに依存せず、初期状態分布と最終状態分布にのみ依存する。
• 非可逆プロセスでは、常に $ r_0 \neq q_0 $ である初期分布が存在し、それによって正の余剰散逸が生じる。
• この結果は、計算装置のような粗粒度化されたマクロ状態を持つ系に対しても適用可能であり、マクロ状態の分布を対象とした分析が有効である。
• この枠組みにより、プロセスが最適でない場合でも、与えられたプロセスと初期分布に対して散逸仕事の正確な定量が可能になる。
• 導出により、最小散逸は初期分布が最適な $ q_0 $ と一致する場合にのみ達成され、その他のすべての偏差は、予測可能で情報理論的な方法で散逸を増加させることが確認された。