[論文レビュー] A functorial characterization of von Neumann entropy

Arthur J. Parzygnat|arXiv (Cornell University)|Sep 15, 2020

Computability, Logic, AI Algorithms参考文献 45被引用数 8

ひとこと要約

この論文は、有限次元 $C^*$-代数上の凸グロテンディック・ファイブレーションを導入することで、フォン・ノイマンエントロピーのファンクター的特徴付けを提供し、Baez, Fritz, Leinster がシャノンエントロピーに対して提示した公理に類似した公理によって、エントロピーの差が一意に定まることを示している。主な結果は、一般化されたベイズ的条件付き確率（再分配）の存在が、エントロピー差の非負性を保証することを示しており、古典的エントロピー特徴付けを量子系に拡張する際の中心的障害を解消する。

ABSTRACT

Using convex Grothendieck fibrations, we characterize the von Neumann entropy as a functor from finite-dimensional non-commutative probability spaces and state-preserving *-homomorphisms to real numbers. Our axioms reproduce those of Baez, Fritz, and Leinster characterizing the Shannon entropy difference. The existence of disintegrations for classical probability spaces plays a crucial role in our characterization.

研究の動機と目的

• シャノンエントロピーのファンクター的特徴付け（Baez, Fritz, Leinster によるものに類似）を、フォン・ノイマンエントロピーを用いて量子設定に拡張すること。
• 古典的確率論とは異なり、量子系におけるエントロピー差が負になり得るという課題に対処すること。
• 古典的状況とは異なり、量子確率空間が単一の対象によって凸的に生成されないという問題を解決すること。
• 有限次元量子系における再分配（最適仮説）の存在が、エントロピー差の非負性を保証することを示すこと。
• ファイブレッドアフィン関手と凸カテゴリを用いて、フォン・ノイマンエントロピーの完全なファンクター的枠組みを提供すること。

提案手法

• 論文は、状態を保存する $*$-準同型写像を伴う有限次元 $C^*$-代数の間で、凸グロテンディック・ファイブレーションを導入する。
• 有限次元ユニタル $C^*$-代数の圏上のファイブレーションを定義し、ファイバーは量子確率空間からなる。
• フォン・ノイマンエントロピーは、圏 $\mathbf{NCFinProb}$ から圏 $\mathbb{B}\mathbb{R}_{\geq 0}$ へのファイブレッドアフィン関手として特徴付けられる。ここで、射は非負実数の加法で与えられる。
• 公理には連続性、正規化、および古典的エントロピーの鎖則を一般化する直交アフィン条件が含まれる。
• 再分配（最適仮説）の存在を用いて、エントロピー差の非負性を強制し、BFLの特徴付けにおける古典的仮定と類似した構造を再現する。
• この枠組みにより、$*$-同型写像および部分等長写像の埋め込みに関して不変性が保証され、フォン・ノイマンエントロピーの標準的不変性が公理の結果として回復される。

実験結果

リサーチクエスチョン

• RQ1 フォン・ノイマンエントロピーは、有限次元非可換確率空間から非負実数へのファンクターとして一意に特徴付けられるか。これは、Baez-Fritz-Leinster によるシャノンエントロピーの特徴付けに類似する。
• RQ2 ファンクター的枠組みの中で、量子系におけるエントロピー差の符号の曖昧さはどのように解消できるか。
• RQ3 再分配（最適仮説）は、量子系におけるエントロピー差の非負性を保証するために果たす役割は何か。
• RQ4 なぜ古典的確率空間の凸的分解は量子設定では成立しないのか。この問題はカテゴリカルな枠組みの中でどのように克服できるか。
• RQ5 ファイブレッドアフィン関手と凸グロテンディック・ファイブレーションは、量子エントロピーの一貫性のある特徴付けをどのように可能にするか。

主な発見

• フォン・ノイマンエントロピーは、$\mathbf{NCFinProb}$ から $\mathbb{B}\mathbb{R}_{\geq 0}$ への連続的・アフィン的・直交加法的ファンクターとして、非負定数の定数倍を除き一意に特徴付けられる。
• 有限次元量子系における再分配の存在は、エントロピー差の非負性を意味し、古典的特徴付けを量子系に拡張する際の主要な障害を解消する。
• 公理により、$*$-同型写像および部分等長写像の埋め込みに関して不変性が保証され、フォン・ノイマンエントロピーの標準的不変性が回復される。
• この枠組みは、古典的 BFL 特徴付けを、有限次元非可換確率空間の圏 $\mathbf{NCFinProb}$ に置き換えることで一般化する。
• この特徴付けは、可換部分代数上でシャノンエントロピーの公式を仮定しない。代わりに、公理と再分配の存在からその公式が導かれる。
• この手法により、量子系におけるランドアウアーの原理のカテゴリカルな基礎が提供され、再分配が存在する場合、エントロピーの増加が決定論的ダイナミクスと両立可能であることが示される。