[論文レビュー] Axiomatic Characterization of the Quantum Relative Entropy and Free Energy

Henrik Wilming, Rodrigo Gallego+1 more|arXiv (Cornell University)|Jan 1, 2017

Advanced Thermodynamics and Statistical Mechanics被引用数 1

ひとこと要約

この論文は、全ランクの第二引数をもつ有限次元量子系における量子相対エントロピーおよび自由エネルギーの公理的特徴付けを提供する。連続性、データ処理不等式、加法性、上界加法性が、定数を除いて相対エントロピーを一意に決定することを証明することで、著者らは、触媒的相関を許容するギブス保存操作の下で、自由エネルギーが一意に広義的かつ連続的な非熱平衡の尺度であることを確立する。これにより、リソース理論的熱力学が標準的熱力学的概念と結びつけられる。

ABSTRACT

Building upon work by Matsumoto, we show that the quantum relative entropy with full-rank second argument is determined by four simple axioms: (i) Continuity in the first argument; (ii) the validity of the data-processing inequality; (iii) additivity under tensor products; and (iv) super-additivity. This observation has immediate implications for quantum thermodynamics, which we discuss. Specifically, we demonstrate that, under reasonable restrictions, the free energy is singled out as a measure of athermality. In particular, we consider an extended class of Gibbs-preserving maps as free operations in a resource-theoretic framework, in which a catalyst is allowed to build up correlations with the system at hand. The free energy is the only extensive and continuous function that is monotonic under such free operations. View Full-Text

研究の動機と目的

• 有限次元系における量子相対エントロピーを一意に特徴付ける最小の公理集合を同定すること。
• 物理的に妥当なギブス保存操作のクラスの下で、自由エネルギーを非熱平衡の唯一の尺度として確立すること。
• 拡張された自由操作の下で自由エネルギーの一意性を証明することで、リソース理論的量子熱力学と標準的熱力学的記述を結びつけること。
• 自由エネルギーが、触媒的ギブス保存写像に関して単調である唯一の広義的かつ連続関数であることを示すこと。

提案手法

• 連続性（第一引数における）、データ処理不等式、テンソル積における加法性、上界加法性の4つの性質を用いて、量子相対エントロピーを公理化する。
• 松本の下漸近下半連続性に関する定理を活用し、これらの公理が定数を除いて相対エントロピーを示すことを示す。
• 触媒が系と相関を形成してもよいギブス保存写像を含む非熱平衡の資源理論を定義する。
• 4種類の触媒的操作（周辺的、相関的、完全な触媒的遷移）を導入し、それらが公理の下で等価であることを示す。
• これらの操作に関しての単調性に加え、連続性と広義的性質を組み合わせることで、自由エネルギーが非熱平衡の尺度として一意に選ばれることを証明する。
• トレースノルム収束と量子チャネルの正定値性を用いて、サポート保存性と漸近的連続性を確立する。

実験結果

リサーチクエスチョン

• RQ1 全ランクの第二引数をもつ有限次元系における、量子相対エントロピーを一意に特徴付ける最小の公理集合は何か？
• RQ2 触媒が系と相関を形成してもよいギブス保存操作の下で、自由エネルギーは、唯一の広義的かつ連続関数であり、かつ単調であるか？
• RQ3 周辺的、相関的、完全な触媒的操作の各クラスは、自由エネルギーの単調性に関してどのように関係しているか？
• RQ4 物理的に妥当な自由操作を用いて、リソース理論的原則から標準的自由エネルギーを操作的に導出できるか？
• RQ5 上界加法性は、相対エントロピーの特徴付けと熱力学的単調性との間にどのような役割を果たすか？

主な発見

• 連続性、データ処理不等式、加法性、上界加法性によって、量子相対エントロピーは正の定数を除いて一意に特徴付けられる。
• 触媒が系と相関を形成してもよいギブス保存写像の下で、自由エネルギーは、非熱平衡の唯一の広義的かつ連続的尺度である。
• 自由エネルギーの触媒的遷移に関する単調性は、加法性、上界加法性、およびデータ処理不等式の組み合わせに等しい。
• 公理の下で周辺的、相関的、完全な触媒的単調性が等価であることは、自由エネルギーが熱力学的リソース尺度としての強靭性を裏付ける。
• 証明により、4つの公理を満たす関数は相対エントロピーのみであることが示され、この枠組みにおいて他の発散度は非熱平衡の一貫した尺度として機能できない。
• 結果は、自由エネルギーが量子熱力学において操作的役割を果たす根拠を厳密に提供し、リソース理論と仮説検定とを結びつける。