关于形成纠缠的强超可加性

我们采用凸分析的基本形式体系来展示形成纠缠 $E_F$ 与纠缠函数 $E(\rho)=S(\trace_A\rho)$ 的共轭函数 $E^*$ 之间的简单关系。然后我们考虑形成纠缠的强超可加性猜想 $E_F(\rho) \ge E_F(\rho_I)+E_F(\rho_{II})$，其中 $\rho_I$ 和 $\rho_{II}$ 是 $\rho$ 在不同希尔伯特空间副本上的约化，并证明它与 $E^*$ 的次可加性等价。作为一个应用，我们表明，当纯度由 Schatten $p$-范数（$p$ 趋于 1）度量时，强超可加性将遵循所有非迹保持量子信道的最大信道输出纯度的乘法性。