文摘
Let H and be finite-dimensional Hilbert spaces, T: B(H) B() be a coarse-graining and D1, D2 be density matrices on H . In this Letter the consequences of the existence of a coarse-graining : B() B(H) satisfying T(Ds)=Ds are given. (This means that T is sufficient for D1 and D2.) It is shown that Ds= p=1r s(p) SHsH (p)RH(p) (s=1,2) should hold with pairwise orthogonal summands and with commuting factors and with some probability distributions s(p) for 1 p r (s=1,2). This decomposition allows to deduce the exact condition for equality in the strong subadditivity of the von Neumann entropy.