任意两量子比特态的形成纠缠

一对量子系统纯态的纠缠定义为该对中任一成员的熵。混合态的形成纠缠定义为表示给定混合态的纯态系综的最小平均纠缠。早前论文 [Phys. Rev. Lett. 78, 5022 (1997)] 猜想了两二进制量子客体（量子比特）对的形成纠缠作为其密度矩阵显式函数的一个公式，并证明该公式对一类特殊混合态成立。本文将该证明推广至该系统的任意态，并展示了如何构造纠缠最小化的纯态分解。