Entropy Stability and Spectral Concentration under Convex Block Constraints
Hassan Nasreddine
TL;DR
This work establishes a general, dimension-free stability principle for entropy minimizers under convex block-diagonal constraints. By decomposing entropy into classical and internal components, the authors prove a sharp quadratic lower bound: a state with entropy within ε of the constrained minimum lies within O(√ε) in trace norm of the minimizers, and this exponent is optimal. The results hold for finite-dimensional Hilbert spaces with purely geometric assumptions on the block structure and constraint sets, without requiring dynamics or spectral gaps. An explicit constrained Gibbs-ensemble application demonstrates the practicality of the bound, and the work connects to majorization, Pinsker-type inequalities, and convex-geometry perspectives on entropy. Overall, the paper provides a robust, intrinsic stability mechanism for entropy minimization under structured linear spectral constraints, with broad implications for quantum information and statistical mechanics.
Abstract
We investigate entropy minimization problems for quantum states subject to convex block-diagonal constraints. Our principal result is a quantitative stability theorem: if a state has entropy within epsilon of the minimum possible value under a fixed block constraint, then it must lie within O(epsilon^{1/2}) in trace norm of the manifold of entropy minimizers. We show that this rate is optimal. The analysis is entirely finite-dimensional and relies on a precise decomposition of entropy into classical and internal components, together with sharp relative entropy inequalities. As an application, we study finite additive operators whose spectral decomposition induces natural block constraints. In this setting, the stability theorem yields quantitative non-concentration bounds for induced spectral measures. The framework is abstract and independent of arithmetic input. It provides a general stability principle for entropy minimizers under linear spectral constraints.
