[論文レビュー] Entropy, Divergence, and Majorization in Classical and Quantum Thermodynamics

Takahiro Sagawa|arXiv (Cornell University)|Jul 20, 2020

Advanced Thermodynamics and Statistical Mechanics被引用数 6

ひとこと要約

本稿は、情報理論的枠組みを用いて、非平衡および量子熱力学におけるエントロピー、ダイバージェンス、および主要化の厳密で自己完結的な取り扱いを提供し、それらが基礎的役割を果たすことを確立している。確率的および量子ダイナミクスの下でのダイバージェンスの主要な単調性特性が証明され、第二法則と関連付けられ、リソース理論および漸近的等確率性の性質を用いて正確かつ漸近的なシングルショット仕事の境界が導出される。

ABSTRACT

In these decades, it has been revealed that there is rich information-theoretic structure in thermodynamics of out-of-equilibrium systems in both the classical and quantum regimes. This has led to the fruitful interplay among statistical physics, quantum information theory, and mathematical theories including matrix analysis and asymptotic probability theory. The main purpose of this book is to clarify how information theory works behind thermodynamics and to shed modern light on it. We focus on both of purely information-theoretic concepts and their physical implications: We present self-contained and rigorous proofs of several fundamental properties of entropies, divergences, and majorization. We also discuss the modern formulations of thermodynamics, especially from the perspectives of stochastic thermodynamics and resource theory of thermodynamics. Resource theory is a recently-developed field as a branch of quantum information theory in order to quantify (energetically or information-theoretically) "useful resources." We show that resource theory has an intrinsic connection to various fundamental ideas of mathematics and information theory. This book is not intended to be a comprehensive review of the field, but would serve as a concise introduction to several important ingredients of the information-theoretic formulation of thermodynamics.

研究の動機と目的

• 非平衡および量子系における熱力学の情報理論的基盤を明確化すること。
• 古典的および量子系におけるエントロピー、ダイバージェンス、および主要化の厳密な数学的基盤を確立すること。
• 熱力学のリソース理論を行列解析、確率論、および量子情報理論の概念と結びつけること。
• 滑らかなダイバージェンスおよび漸近的等確率性の性質を用いて、正確かつ漸近的なシングルショット仕事の境界を導出すること。
• 情報理論的ダイバージェンスおよび主要化の観点から、古典的および量子熱力学の定式化を統一すること。

提案手法

• シャノン、フォン・ノイマン、Rényi、およびf-ダイバージェンスを含む、公理的および情報理論的定義に基づくエントロピーおよびダイバージェンスの定式化。
• 状態変換可能性の特徴付けに主要化理論を適用し、特にd-主要化および触媒的主要化を用いる。
• 情報スペクトル法および漸近的等確率性の性質（AEP）を用いて、シングルショット仕事の境界を導出する。
• 量子漸近的等確率性の性質（QAEP）を確立し、滑らかなダイバージェンスおよび仮説検定と関連付ける。
• 量子スティーンの補題を導出し、仮説検定ダイバージェンスが量子KLダイバージェンスに収束することを証明に用いる。
• バーキホフのエルゴード定理を適用し、マルコフ連鎖およびエルゴード的仮定の下で、古典的相対シャノン＝マミラン定理を証明する。

実験結果

リサーチクエスチョン

• RQ1 KLダイバージェンスやRényiダイバージェンスなどの情報理論的ダイバージェンスは、熱力学における非平衡状態変換をどのように特徴付けるか？
• RQ2 熱的操作の下での状態遷移の可能性を決定づける主要化およびd-主要化の役割は何か？
• RQ3 滑らかなダイバージェンスおよび情報スペクトルアプローチは、量子熱力学における正確かつ漸近的なシングルショット仕事の境界をどのように可能にするか？
• RQ4 量子漸近的等確率性の性質（QAEP）と仮説検定ダイバージェンスが量子KLダイバージェンスに収束する関係は何か？
• RQ5 リソース理論の観点から、量子情報理論、行列解析、統計物理学の概念がどのように統合されるか？

主な発見

• 移行不変性、エルゴード性、およびマルコフ的仮定の下で、古典的相対シャノン＝マミラン定理が証明され、正規化された対数尤度比がKLダイバージェンスにほとんど確実に収束することが示された。
• 仮説検定ダイバージェンスは、修正版のスティーンの補題の証明を用いて、漸近的極限において量子KLダイバージェンスに収束することが示された。
• 相対AEPの下で、情報スペクトルダイバージェンスおよび滑らかなダイバージェンスは同じ極限に収束し、漸近的フレームワーク間の整合性が確認された。
• 量子漸近的等確率性の性質（QAEP）が確立され、滑らかなダイバージェンスが典型部分空間および熱的状態と関連づけられた。
• リソース理論フレームワークおよび熱的操作を用いて、量子熱力学におけるシングルショット仕事の境界が正確に導出され、i.i.d.極限において第二法則と一致する漸近的境界が得られた。
• ノイズの作用およびギブス保存写像の下でのダイバージェンスの単調性が厳密に証明され、第二法則の情報理論的基盤が提供された。