Werner 态的双拷贝不可提纯性：精确的偏迹不等式与有限拷贝扩展

我们解决了 Werner 态在任意局部维度下的双拷贝提纯问题。我们的主要矩阵结果是一个精确的、与维度无关的不等式：对于每个秩至多为 2 的算符，其两个偏迹的 Hilbert--Schmidt 范数平方和受限于其 Hilbert--Schmidt 范数平方的两倍加上其迹的模平方的一半。这意味着 Werner 态 $\rho_\alpha$ 是双拷贝可提纯的当且仅当 $\alpha<-1/2$。特别地，双四阶量子态 $\rho^{(4)}_{-1/2}$ 是双拷贝不可提纯的，解决了 Horodecki、Rudnicki 和 \.Zyczkowski 的问题 5。对于任意有限数目的 $k$ 个拷贝，我们给出了剩余问题的三种精确表述。在端点 $\alpha=-1/2$ 处，不可提纯性等价于端点偏迹形式在每个秩至多为 2 的算符上的非负性。我们还推导出了纯态具有最大混合量子比特边缘时等价的算符不等式层级 $H_k(\psi)\succeq0$。双拷贝证明并未在形式上进行归纳，因为偏迹可以增加秩，且 2-正性通常不被张量积保留。我们证明了两个严格的多拷贝扩展。首先，二次形式在张量因子化的见证上精确分解；对于任何此类分解，如果其可能的秩 2 因子被支撑在包含至多两个拷贝的块上，则端点不等式成立。其次，我们构造了显式常数 $\gamma_k>0$，使得 $\alpha\ge-\gamma_k$ 意味着在任意维度下的 $k$ 拷贝不可提纯性。最初的证明由 ChatGPT 5.6 Sol 生成；作者已对其进行了验证和重写，以增强可读性并提供额外的背景。