强次可加性定理的一个新证明
A New Proof of The Strong Subadditivity Theorem
摘要：
强次可加性定理对于经典系统是成立的，但要证明它对于量子系统是成立的是非常困难的。这个定理的第一个证明是由Lieb通过使用Lieb定理。本文利用矩阵分析方法中的条件，给出了这一著名定理的一个新的证明。这个新的证明是非常初等的，它只需要仔细分析一个函数的最小值。这一证明也表明，在我们以前的工作中得到的条件强于强次可加性定理。
英文摘要：
It is well known that the strong subadditivity theorem is hold for classical system, but it is very difficult to prove that it is hold for quantum system. The first proof of this theorem is due to Lieb by using the Lieb's theorem. Here we use the conditions obtained in our previous work of matrix analysis method to give a new proof of this famous theorem. This new proof is very elementary, it only needs to carefully analyse the minimal value of a function. This proof also shows that the conditions obtained in our previous work are stronger than the strong subadditivity theorem.
机构、总结、中文摘要均由AI分析而来，可能存在错误，请以论文正文为准。
