Lauritz van Luijk, Alexander Stottmeister, Henrik Wilming (Aug 07 2025).
Abstract: We give a new proof of the operator extension of the strong subadditivity of von Neumann entropy
ρAB⊗σC−1≤ρA⊗σBC−1 by identifying the mathematical structure behind it as Connes' theory of spatial derivatives. This immediately generalizes the inequality to arbitrary inclusions of von Neumann algebras. In the case of standard representations, it reduces to the monotonicity of the relative modular operator.