Towards a functorial description of quantum relative entropy
arXiv:2105.04059 · doi:10.1007/978-3-030-80209-7_60
Abstract
A Bayesian functorial characterization of the classical relative entropy (KL divergence) of finite probabilities was recently obtained by Baez and Fritz. This was then generalized to standard Borel spaces by Gagné and Panangaden. Here, we provide preliminary calculations suggesting that the finite-dimensional quantum (Umegaki) relative entropy might be characterized in a similar way. Namely, we explicitly prove that it defines an affine functor in the special case where the relative entropy is finite. A recent non-commutative disintegration theorem provides a key ingredient in this proof.
arXiv comment8 pages, submission to GSI'21 (post-print)
References in corpus (5)
- Recoverability in quantum information theory
- A Characterization of Entropy in Terms of Information Loss
- From Kleisli Categories to Commutative C*-algebras: Probabilistic Gelfand Duality
- Inverses, disintegrations, and Bayesian inversion in quantum Markov categories
- A functorial characterization of von Neumann entropy