目的如果Si （i = 1,…,n）是密度矩阵，π = { πi }i=1^n是一个概率分布，并且A（0） ≡ ∑i=1nπiiSi^1/2是可逆的，那么Tr[{∑j=1nπjSj（log S......

为了证明对于Si是2阶密度矩阵，π={πi}^ni=1是概率分布，且矩阵A（s）≡^n∑i=1πuSu^1/1＋s是可逆的，那么对任意0≤s≤1，H（x）=-xlogx，有Tr[A（s）^s......