A functorial characterization of von Neumann entropy

Arthur J. Parzygnat
DOI: https://doi.org/10.48550/arXiv.2009.07125
2021-05-13
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.
Quantum Physics,Information Theory,Category Theory,Operator Algebras
What problem does this paper attempt to address?