Skip to content
aiqbench takeQuantum Computing

aiqbench analysis

This is a pure-mathematics paper on the structure of entangled quantum states. It sharpens bounds on how pure, and how separable, high-dimensional bipartite states can be, and it disproves parts of a conjecture by Ahiable, Kothakonda, and Winter. For quantum readers, the value lies in clearer theoretical limits on entanglement resources, which underpin quantum information processing, though it has no direct engineering or product implications yet.
Sources coveringarXiv, LessWrong, AWS, METR

Purity maxima, absolute separability, and spectral volumes of absolutely PPT states

arXiv3 min read

arXiv:2611.01492v1 Announce Type: new Abstract: For $m\otimes n$ systems with $n\ge m\ge3$, we determine the exact maximum purity of absolutely positive partial transpose (APPT) states and the unique maximizing ordered spectrum when $n\ge2m^2-4$ for even $m$ or $n\ge2m^2-m-4$ for odd $m$. Under these dimension assumptions, absolutely separable states have the same maximum purity, attained at the same unique ordered spectrum. The proof uses an outer polytope defined by two linear head--tail inequalities, each comparing a sum of the largest eigenvalues with a sum of the smallest. Under explicit multiplicity assumptions, we derive an exact matrix criterion for APPT membership of full-rank spectra with three distinct eigenvalues. For every $m\ge10$, this criterion gives explicit APPT boundary spectra at $n=4m-2$ and $n=4m$ that disprove both cases of the maximum purity conjecture of Ahiable, Kothakonda, and Winter. We also determine the exact completely absolutely separable (CAS) purity maximum and its unique maximizing ordered spectrum in every bipartite dimension. We prove that the inner APPT polytope consists entirely of absolutely separable spectra. The resulting linear sufficient condition for absolute separability strictly improves the reduction-map and eigenvalue-ratio tests. Finally, we compute the exact relative volumes of the CAS set and an outer polytope defined by a single head--tail inequality. Under the uniform measure on spectra, the CAS, absolutely separable, and APPT volumes have the same asymptotic order $\sqrt n\,e^{-\kappa_m n}$ for every fixed $m\ge2$, with explicit $\kappa_m>0$.

Abstract:For $m\otimes n$ systems with $n\ge m\ge3$, we determine the exact maximum purity of absolutely positive partial transpose (APPT) states and the unique maximizing ordered spectrum when $n\ge2m^2-4$ for even $m$ or $n\ge2m^2-m-4$ for odd $m$. Under these dimension assumptions, absolutely separable states have the same maximum purity, attained at the same unique ordered spectrum. The proof uses an outer polytope defined by two linear head--tail inequalities, each comparing a sum of the largest eigenvalues with a sum of the smallest. Under explicit multiplicity assumptions, we derive an exact matrix criterion for APPT membership of full-rank spectra with three distinct eigenvalues. For every $m\ge10$, this criterion gives explicit APPT boundary spectra at $n=4m-2$ and $n=4m$ that disprove both cases of the maximum purity conjecture of Ahiable, Kothakonda, and Winter. We also determine the exact completely absolutely separable (CAS) purity maximum and its unique maximizing ordered spectrum in every bipartite dimension. We prove that the inner APPT polytope consists entirely of absolutely separable spectra. The resulting linear sufficient condition for absolute separability strictly improves the reduction-map and eigenvalue-ratio tests. Finally, we compute the exact relative volumes of the CAS set and an outer polytope defined by a single head--tail inequality. Under the uniform measure on spectra, the CAS, absolutely separable, and APPT volumes have the same asymptotic order $\sqrt n\,e^{-\kappa_m n}$ for every fixed $m\ge2$, with explicit $\kappa_m>0$.

arXiv:2611.01492 [quant-ph]

(or arXiv:2611.01492v1 [quant-ph] for this version)

https://doi.org/10.48550/arXiv.2611.01492 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 · 318 words

Related coverage