arXiv · 2609.12547
Relative entropy representations via tracial joint spectral measures
Abstract
We show that for positive semidefinite $A$ and $B$ the relative entropy can be written as $D(A\|B)=2\int a\log(a/b)\,\mathrm{d}μ_{A,B}(a,b)$, where $μ_{A,B}$ denotes Heinävaara's tracial joint spectral measure. This allows us to obtain a unified derivation of several known integral representations of relative entropy from scalar equalities. Scalar inequalities can be used in the same way to derive Pinsker-type bounds. We further show that the testing curve $t\mapsto \mathrm{tr}[A-tB]_+$ is piecewise affine exactly when $A$ and $B$ commute, which is equivalent to their testing region being a polygon. This gives a characterization of noncommutativity through the curvature. As further applications, we derive inequalities for relative entropy variance and the loss of relative entropy under positive trace-preserving maps.
Explore related subjects
Keep this discovery
Explore connections, maps & timelines
Lukas Schmitt. 2026-09-11. Relative entropy representations via tracial joint spectral measures. https://arxiv.org/abs/2609.12547
Cite the original work for its findings. Save a collection to share your selection of sources.