ON THE TWO-COPY DISTILLABILITY OF WERNER STATES AND A NEW PARTIAL TRACE INEQUALITY

This paper addresses a fundamental question in quantum information theory: whether the two-ququart Werner state, denoted as rho(4, -1/2), is two-copy distillable. Distillability refers to the ability to extract pure entangled states from multiple copies of a noisy mixed state using local operations and classical communication (LOCC). While it was known that this state is not one-copy distillable, its status regarding two-copy distillation remained an open problem (Problem 5 in the list of Five Open Problems in Quantum Information Theory).

The authors resolve this by deriving a new, general partial trace inequality. They show that for any matrix C of rank at most r, the sum of the squared Frobenius norms of its partial traces is bounded by a function of the Frobenius norm of C and its trace. By applying this inequality at rank r=2, they demonstrate that the Werner state rho(4, -1/2) satisfies the condition for two-copy undistillability. The proof utilizes a balanced rank-r decomposition, which allows the authors to decompose the matrix C into a sum of rank-one operators with specific properties, facilitating the application of the new inequality.

The primary contribution is the proof that the two-ququart Werner state is not two-copy distillable. Furthermore, the authors generalize this result to show that for any dimension d >= 2, the Werner state rho(d, alpha) is two-copy undistillable if and only if alpha >= -1/2. This implies that the regions of one-copy and two-copy distillability for Werner states coincide, providing a complete characterization for this class of states.

This work settles a significant open problem that has persisted in quantum information theory. By providing a rigorous proof for the undistillability of these states, the paper clarifies the boundaries of entanglement distillation. The newly derived partial trace inequality is a powerful mathematical tool that may find further applications in analyzing the entanglement properties of other quantum states and in broader problems involving partial traces and matrix ranks.