A Topos Theoretic Notion of Entropy
arXiv:2006.03139
Abstract
In the topos approach to quantum theory, the spectral presheaf plays the role of the state space of a quantum system. We show how a notion of entropy can be defined within the topos formalism using the equivalence between states and measures on the spectral presheaf. We show how this construction unifies Shannon and von Neumann entropy as well as classical and quantum Renyi entropies. The main result is that from the knowledge of the contextual entropy of a quantum state of a finite-dimensional system, one can (mathematically) reconstruct the quantum state, i.e., the density matrix, if the Hilbert space is of dimension or greater. We present an explicit algorithm for this state reconstruction and relate our result to Gleason's theorem.
25 pages, 2 figures
References in corpus (4)
- Quantum Mechanics as Quantum Information (and only a little more)
- A Topos Foundation for Theories of Physics: I. Formal Languages for Physics
- A Topos Foundation for Theories of Physics: II. Daseinisation and the Liberation of Quantum Theory
- An infinite dimensional Schur-Horn theorem and majorization theory with applications to operator ideals