Werner态的双拷贝不可蒸馏性：精确的部分迹不等式和有限拷贝扩展
Two-copy nondistillability of Werner states: sharp partial-trace inequalities and finite-copy extensions
AI总结：
解决任意局部维度下Werner态的双拷贝可蒸馏性问题，通过精确的与维度无关不等式得出\(\alpha < -1/2\)时Werner态\(\rho_\alpha\)双拷贝可蒸馏，还给出有限拷贝问题表述及证明多拷贝扩展，解决了相关问题。
AI中文摘要：
我们解决了任意局部维度下Werner态的双拷贝可蒸馏性问题。主要矩阵结果是一个精确的、与维度无关的不等式：对于每个秩至多为二的算子，其两个部分迹的希尔伯特 - 施密特范数平方和，由其希尔伯特 - 施密特范数平方的两倍加上其迹的模平方的一半所界定。这意味着当且仅当\(\alpha < -1/2\)时，Werner态\(\rho_\alpha\)是双拷贝可蒸馏的。特别地，双量子四元态\(\rho^{(4)}_{-1/2}\)是双拷贝不可蒸馏的，解决了Horodecki、Rudnicki和Życzkowski的问题5。对于任意有限数量\(k\)的拷贝，我们给出了剩余问题的三种精确表述。在端点\(\alpha = -1/2\)处，不可蒸馏性等同于端点部分迹形式在每个秩至多为二的算子上的非负性。我们还推导了具有最大混合量子比特边缘的纯态的等价算子不等式层次\(H_k(\psi) \succeq 0\)。双拷贝证明不是形式上的归纳，因为部分迹会增加秩且张量积一般不保持\(2 -\)正性。我们证明了两个严格的多拷贝扩展。首先，二次型在张量分解的见证上精确分解；对于任何这样的分解，如果其可能的秩二因子支撑在包含至多两个拷贝的块上，则端点不等式成立。其次，我们构造了明确的常数\(\gamma_k > 0\)，使得\(\alpha \geq -\gamma_k\)意味着在每个维度下\(k -\)拷贝不可蒸馏性。最初的证明由ChatGPT 5.6 Sol生成；作者已对其进行验证和重写以提高可读性并提供更多背景信息。
英文摘要：
We solve the two-copy distillability problem for Werner states in every local dimension. Our main matrix result is a sharp, dimension-free inequality: for every rank-at-most-two operator, the sum of the squared Hilbert--Schmidt norms of its two partial traces is bounded by twice its squared Hilbert--Schmidt norm plus one half of the squared modulus of its trace. This implies that a Werner state $ρ_α$ is two-copy distillable if and only if $α<-1/2$. In particular, the two-ququart state $ρ^{(4)}_{-1/2}$ is two-copy undistillable, resolving Problem 5 of Horodecki, Rudnicki, and Życzkowski. For an arbitrary finite number $k$ of copies, we give three exact formulations of the remaining problem. At the endpoint $α=-1/2$, undistillability is equivalent to nonnegativity of the endpoint partial-trace form on every rank-at-most-two operator. We also derive an equivalent hierarchy of operator inequalities $H_k(ψ)\succeq0$ for pure states with a maximally mixed qubit marginal. The two-copy proof does not formally induct, because partial trace can increase rank and $2$-positivity is not generally preserved by tensor products. We prove two rigorous many-copy extensions. First, the quadratic form factorizes exactly on tensor-factorized witnesses; for any such decomposition, the endpoint inequality holds if its possible rank-two factor is supported on a block containing at most two copies. Second, we construct explicit constants $γ_k>0$ such that $α\ge-γ_k$ implies $k$-copy undistillability in every dimension. The initial proofs were generated by ChatGPT 5.6 Sol; the authors have verified and rewritten them to enhance readability and provide additional context.
