Observational entropy, coarse-grained states, and the Petz recovery map: information-theoretic properties and bounds

Abstract

Observational entropy provides a general notion of quantum entropy that appropriately interpolates between Boltzmann's and Gibbs' entropies, and has recently been argued to provide a useful measure of out-of-equilibrium thermodynamic entropy. Here we study the mathematical properties of observational entropy from an information-theoretic viewpoint, making use of recently strengthened forms of the monotonicity property of quantum relative entropy. We present new bounds on observational entropy applying in general, as well as bounds and identities related to sequential and post-processed measurements. A central role in this work is played by what we call the ``coarse-grained'' state, which emerges from the measurement's statistics by Bayesian retrodiction, without presuming any knowledge about the ``true'' underlying state being measured. The degree of distinguishability between such a coarse-grained state and the true (but generally unobservable) one is shown to provide upper and lower bounds on the difference between observational and von Neumann entropies.

Continuity bounds on observational entropy and measured relative entropies

“…[1][2][3][4] in studies of non-equilibrium statistical mechanics as a useful unifying framework to describe coarse-grained entropy in classical and quantum systems, [5][6][7] with applications across thermodynamics and quantum information theory. [8][9][10][11][12][13][14][15][16][17][18][19][20][21][22][23][24][25][26][27] In the quantum case, for any measurement described by a positive operator valued measures (POVM) M = (Mi)i ∈ I , (Mi ≥ 0, ∑ i Mi = 𝟙), and quantum state described by a density matrix ρ, observational entropy…”