SWhat changed
For a finite-dimensional tripartite quantum state, the von Neumann entropies satisfy S(ABC)+S(B) <= S(AB)+S(BC). The proof uses operator trace inequalities and is accompanied by convexity of negative conditional entropy; the original text develops extensions through controlled finite-dimensional approximation.
Scientific scope
For a finite-dimensional tripartite quantum state, the von Neumann entropies satisfy S(ABC)+S(B) <= S(AB)+S(BC). The proof uses operator trace inequalities and is accompanied by convexity of negative conditional entropy; the original text develops extensions through controlled finite-dimensional approximation. The displayed entropy combination is recorded where its terms are well-defined; it is not interpreted by subtracting divergent infinities in arbitrary infinite-dimensional states. This theorem is not a Shannon/Wehrl minimum-entropy conjecture, entropy-power inequality, or an equality/recovery characterization from later work.
Evidence
The linked original works support the scoped statement and contribution attribution. WRS has not independently replayed experiments or reconstructed a full mathematical proof. The displayed entropy combination is recorded where its terms are well-defined; it is not interpreted by subtracting divergent infinities in arbitrary infinite-dimensional states. This theorem is not a Shannon/Wehrl minimum-entropy conjecture, entropy-power inequality, or an equality/recovery characterization from later work.
Contributors
- The named authors in the research record · SCIENCE: Source-listed authors for the exact contribution; experimental subjects are not autonomous scientific authors. Source support and predecessor work retain separate roles. Individual effort shares and unresolved identities are not inferred.
- Barry Simon · SCIENCE: Author of the appendix on entropy convergence used for infinite-dimensional extensions
Provisional WRS assessment, edition 2026-10-23.1. Independent expert calibration is pending. This grade does not certify correctness or assign ownership.
Full scientific record · Browse contribution grades · Request a correction