aiqbench analysis
This paper presents a rigorous mathematical disproof of a conjecture regarding contraction coefficients in quantum information theory, specifically within the three-dimensional qutrit subspace where two-dimensional cases already hold true. By constructing an explicit entanglement-breaking channel on a maximal abelian subalgebra, the authors establish new exact lower bounds for monotone Riemannian metrics that differ from Hilbert-Schmidt contractions. This work advances foundational quantum computing theory by clarifying the dimensional limits of specific metric properties essential for understanding quantum state evolution and error correction.
A minimal qutrit counterexample to Conjecture 4.9 of Lesniewski and Ruskai
arXiv:2608.15464v1 Announce Type: new Abstract: Lesniewski and Ruskai conjectured that the contraction coefficient of every monotone Riemannian metric under a unital stochastic map equals the Hilbert--Schmidt contraction on the traceless subspace. We disprove the conjecture with an explicit entanglement-breaking qutrit channel induced by a doubly stochastic $3\times3$ matrix. A faithful diagonal state and a commuting traceless tangent give, simultaneously for every normalized monotone metric, the exact lower bound $\eta^{\mathrm{Riem}}_{\kappa}(\Phi_K)\ge 8896/20007>(62+2\sqrt{61})/225=\Lambda_2(\Phi_K^{\dagger}\Phi_K)$. The counterexample is entirely classical on a maximal abelian subalgebra. A theorem of Hiai and Ruskai establishes the conjectured identity for all unital qubit maps, so dimension three is minimal among full matrix algebras.
Title:A minimal qutrit counterexample to Conjecture 4.9 of Lesniewski and Ruskai
Abstract:Lesniewski and Ruskai conjectured that the contraction coefficient of every monotone Riemannian metric under a unital stochastic map equals the Hilbert--Schmidt contraction on the traceless subspace. We disprove the conjecture with an explicit entanglement-breaking qutrit channel induced by a doubly stochastic $3\times3$ matrix. A faithful diagonal state and a commuting traceless tangent give, simultaneously for every normalized monotone metric, the exact lower bound $\eta^{\mathrm{Riem}}_{\kappa}(\Phi_K)\ge 8896/20007>(62+2\sqrt{61})/225=\Lambda_2(\Phi_K^{\dagger}\Phi_K)$. The counterexample is entirely classical on a maximal abelian subalgebra. A theorem of Hiai and Ruskai establishes the conjectured identity for all unital qubit maps, so dimension three is minimal among full matrix algebras.
6 pages. Exact qutrit counterexample; AI-use disclosure included
arXiv:2608.15464 [quant-ph]
(or arXiv:2608.15464v1 [quant-ph] for this version)
https://doi.org/10.48550/arXiv.2608.15464 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 · 209 words
Related coverage
The Ruskai-Audenaert conjecture & equipartitions of positive operators
arXiv · Jul 28, 2026
AutoGraphForge: Towards Automated Graph Theory Discovery
arXiv · Sep 5, 2026

University of Alabama Study Finds Qutrit Magic Tightens Bound to 1.561
Quantum Zeitgeist · Jul 15, 2026
On the structure of low-rank PPT entangled states violating Peres conjecture
arXiv · Oct 15, 2026