Benign Projective Landscapes for Measured Quantum Divergences

Abstract:We study nonconvex optimization of measured quantum $f$-divergences over rank-one projective measurements. For smoothly operator-Fenchel liftable generators and faithful states, every projective local maximum and every second-order stationary point is globally optimal over all POVMs. The criterion is blockwise: a critical PVM is optimal exactly when the compressed states are proportional on each equal-score block; otherwise an explicit two-vector rotation has positive ascent curvature. Operator-convex generators admit a positive atomic curvature resolution, and the quadratic $\chi^2$ case yields two-sided residual bounds. For binary accessible information, this framework proves the known adaptive-capacity equality and shows that every nonidentical qubit ensemble has exactly two stationary projective measurements, proving conjectures of Keil and Thai--Dall'Arno. A rare-prior limit connects weighted Jensen--Shannon information to relative entropy and yields a finite counterexample to the proposed equivalence between observational-entropy and all-ensemble mutual-information orders. The landscape theorem also covers measured Rényi divergences of finite positive order and measured relative entropy.

42 pages, 2 figures. Source and reproducible assets: this https URL

arXiv:2609.27767 [quant-ph]

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

https://doi.org/10.48550/arXiv.2609.27767 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.