Purity maxima, absolute separability, and spectral volumes of absolutely PPT states
Abstract
For m⊗ n systems with n≥ m≥3, we determine the exact maximum purity of absolutely positive partial transpose (APPT) states and the unique maximizing ordered spectrum when n≥2m2−4 for even m or n≥2m2−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≥10, 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 √n e−κm n for every fixed m≥2, with explicit κm>0.
Related
- Spectral Optimization for Absolutely PPT States: Purity, Entropy, and Volume Decay
- Maximum purity of absolutely separable and absolutely PPT states in qutrit--qudit systems
- The geometry of absolute separability and other convex matrix properties from spectrum
- q-deformed Weil-Petersson Volumes from the Spectral Edge of DSSYK and Supersymmetric Extensions
- On the absolute convergence of the spectral side of the twisted trace formula
BibTeX
@misc{tran2026purity,
title = {{Purity maxima, absolute separability, and spectral volumes of absolutely PPT states}},
author = {Anh T. Tran},
howpublished = {arXiv},
year = {2026},
month = nov,
doi = {10.48550/arxiv.2611.01492},
eprint = {2611.01492},
archivePrefix = {arXiv},
url = {https://arxiv.org/abs/2611.01492},
}
RIS
TY - UNPB
TI - Purity maxima, absolute separability, and spectral volumes of absolutely PPT states
AU - Anh T. Tran
PY - 2026
DA - 2026/11/01
PB - arXiv
DO - 10.48550/arxiv.2611.01492
UR - https://arxiv.org/abs/2611.01492
AB - For m⊗ n systems with n≥ m≥3, we determine the exact maximum purity of absolutely positive partial transpose (APPT) states and the unique maximizing ordered spectrum when n≥2m^2−4 for even m or n≥2m^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≥10, 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 √n e^−κ_m n for every fixed m≥2, with explicit κ_m>0.
ER -