aiqbench analysis
This research resolves the longstanding problem of undistillable negative-partial-transpose entanglement by analyzing three-copy Werner states through new dimension-free inequalities and Plucker bivector metrics. The study establishes rigorous nonnegativity proofs for specific rank-two sectors, providing critical mathematical bounds that advance our understanding of quantum distillation limits in arbitrary finite dimensions.
Sharp Plucker Geometry for Three-Copy Werner Distillation
arXiv:2608.02647v1 Announce Type: new Abstract: Whether negative-partial-transpose entanglement can remain undistillable is a longstanding problem in quantum information theory. We analyze the first unresolved three-copy Werner endpoint using a sharp dimension-free inequality for complementary partial traces and an optimal exterior-square inequality for orthonormal tripartite vectors. The latter identifies local SWAP- parity statistics with metric data of a decomposable Plucker bivector. Together these inequalities prove endpoint nonnegativity for every positive semidefinite rank-two coefficient operator and for the complete normal rank-two sector in arbitrary finite local dimensions. For genuinely nonnormal operators, an exact crossed-Gram criterion proves nonnegativity when one local outpu-input support overlap is at most two, including every system with a qubit-sized factor, and when either support plane contains a product ray. Explicit anti-state and rank-boundary families establish optimality of the constants and the rank restriction.
Abstract:Whether negative-partial-transpose entanglement can remain undistillable is a longstanding problem in quantum information theory. We analyze the first unresolved three-copy Werner endpoint using a sharp dimension-free inequality for complementary partial traces and an optimal exterior-square inequality for orthonormal tripartite vectors. The latter identifies local SWAP- parity statistics with metric data of a decomposable Plucker bivector. Together these inequalities prove endpoint nonnegativity for every positive semidefinite rank-two coefficient operator and for the complete normal rank-two sector in arbitrary finite local dimensions. For genuinely nonnormal operators, an exact crossed-Gram criterion proves nonnegativity when one local outpu-input support overlap is at most two, including every system with a qubit-sized factor, and when either support plane contains a product ray. Explicit anti-state and rank-boundary families establish optimality of the constants and the rank restriction.
arXiv:2608.02647 [quant-ph]
(or arXiv:2608.02647v1 [quant-ph] for this version)
https://doi.org/10.48550/arXiv.2608.02647 Focus to learn more arXiv-issued DOI via DataCite
arXivLabs is a framework that allows collaborators to develop and share new arXiv features directly on our website.
Both individuals and organizations that work with arXivLabs have embraced and accepted our values of openness, community, excellence, and user data privacy. arXiv is committed to these values and only works with partners that adhere to them.
Have an idea for a project that will add value for arXiv's community? Learn more about arXivLabs.
Full text under the publisher's open licence · 219 words
Related coverage
Two-copy nondistillability of Werner states: sharp partial-trace inequalities and finite-copy extensions
arXiv · Jul 28, 2026

The Entangled Dimensions of Decision Theory
LessWrong · Jul 30, 2026

What is Quantum Error Correction? Complete 2026 Beginner’s Guide
Quantum Zeitgeist · May 29, 2026
Geometric Self-Distillation for Reasoning Generalization
arXiv · Oct 6, 2026