TWO-COPY NONDISTILLABILITY OF WERNER STATES: SHARP PARTIAL-TRACE INEQUALITIES AND FINITE-COPY EXTENSIONS

Entanglement distillation is the process of extracting high-quality entangled pairs from multiple copies of noisy bipartite states. A central question in quantum information theory is whether all states with a negative partial transpose (NPT) are distillable. The Werner states, a family of symmetric states parameterized by alpha, serve as the canonical test case for this problem. This paper addresses the two-copy distillability of these states and provides extensions for the general k-copy case.

The authors derive a sharp, dimension-free matrix inequality: for any operator C with rank at most two, 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. They use this inequality to determine the exact threshold for two-copy distillability. For the k-copy case, the authors reformulate the problem into a hierarchy of operator inequalities involving a maximally mixed qubit marginal, and they construct explicit constants to bound the undistillability range for any finite number of copies.

The primary result is that a Werner state is two-copy distillable if and only if alpha < -1/2. This resolves Problem 5 from the list of Horodecki, Rudnicki, and Życzkowski, confirming that the two-ququart state at alpha = -1/2 is two-copy undistillable. Furthermore, the authors provide a rigorous tensorization theorem for structured witnesses and identify a sequence of constants that characterize the k-copy undistillability range, providing a systematic framework for exploring the many-copy limit.

This work provides a definitive solution to the two-copy distillability problem for Werner states, which has been a significant challenge in quantum information. By establishing sharp inequalities and a clear hierarchy for k-copy scenarios, the paper advances the understanding of the limits of entanglement distillation and provides a robust mathematical foundation for future research into the NPT-distillability conjecture.