aiqbench analysis
This study resolves long-standing open problems regarding the distillability conjecture for two-copy four-by-four Werner states by proving that equality conditions necessitate a specific two-by-two block-diagonal matrix structure. By combining manifold optimization with rigorous proofs, the authors demonstrate that these saturation points are critical points of the objective function, effectively unifying various partial results under a single structural framework. The work advances fundamental quantum information theory by clarifying the precise mathematical boundaries where conjectured inequalities become equalities.
On the saturated cases of the distillability conjecture
arXiv:2606.03561v1 Announce Type: new Abstract: The distillability conjecture for two-copy four-by-four Werner states has been an open problem in quantum information for years. We investigate the conditions under which the conjectured inequality becomes an equality. For all known cases where the conjecture has been verified, we characterize the saturation conditions and show that equality forces the matrices $A$ and $B$ to be two-by-two block-diagonal. In particular, several previously obtained partial results, including the cases of one normal matrix, unitary similarity between $B$ and $-A$ or $-A^T$, and anti-diagonal block structures, are reduced to this common block-diagonal structure. We also employ a manifold optimization method, which provides numerical evidence that the two-by-two block-diagonal structure is essential for saturating the inequality. Furthermore, we prove that the identified saturation points are critical points of the objective function on the constraint manifold.
Abstract:The distillability conjecture for two-copy four-by-four Werner states has been an open problem in quantum information for years. We investigate the conditions under which the conjectured inequality becomes an equality. For all known cases where the conjecture has been verified, we characterize the saturation conditions and show that equality forces the matrices $A$ and $B$ to be two-by-two block-diagonal. In particular, several previously obtained partial results, including the cases of one normal matrix, unitary similarity between $B$ and $-A$ or $-A^T$, and anti-diagonal block structures, are reduced to this common block-diagonal structure. We also employ a manifold optimization method, which provides numerical evidence that the two-by-two block-diagonal structure is essential for saturating the inequality. Furthermore, we prove that the identified saturation points are critical points of the objective function on the constraint manifold.
arXiv:2606.03561 [quant-ph]
(or arXiv:2606.03561v1 [quant-ph] for this version)
https://doi.org/10.48550/arXiv.2606.03561 Focus to learn more arXiv-issued DOI via DataCite (pending registration)
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 · 224 words
Related coverage

[AINews] OpenAI reports Navier-Stokes singularity find in 88 hours using Astra-next, roughly 10,000 agents and 130B tokens (>$40M), a contender for second ever Millennium Prize awarded
Latent Space · Sep 9, 2026

LiveLaw Supreme Court Half-Yearly Digest: January - June 2026 [Part 2]
livelaw.in · Sep 13, 2026

How Much Memory Does Your Agent Actually Need?
Hugging Face · Aug 18, 2026

[AINews] Quasi-Riemann-Hypothesis: OpenAI publishes 722 math papers solving 90 of the top 500 open math problems; “the most significant moment” in >100 years of mathematics
Latent Space · Oct 7, 2026