aiqbench analysis
This paper provides a rigorous mathematical proof establishing the optimal constant for the small incremental mixing conjecture in quantum dynamics. By leveraging the operator layer cake theorem, the author derives sharp, dimension-independent bounds on how rapidly unitary evolution alters the von Neumann entropy of binary quantum ensembles. These results refine our theoretical understanding of entangling rates and correct previous conjectures regarding general ensemble mixing.
Sharp Quantum Entropy Mixing Rates and the Operator Layer Cake Theorem
arXiv:2609.39814v1 Announce Type: new Abstract: At what rate does the von Neumann entropy of an ensemble of quantum states change under Hamiltonian evolution of its constituents? Bravyi proposed the small incremental mixing conjecture controlling the mixing rate of a binary ensemble $\{(1\!-\!p,\rho_1),(p,\rho_2)\}$ by $c\,\|{H}\|h_{2}(p)$ (with the binary entropy $h_{2}$). The proof of Bravyi's conjecture was subsequently reduced to the matrix inequality $\|[A,\log B]\|_{1}\!\leq\! c\,h_{2}(p)$ for positive trace-class operators $A\!\leq\! B$ with $\text{Tr} A\!=\!p$ and $\text{Tr} B\!=\!1$ on separable Hilbert spaces by Mari\"en, Audenaert, Van Acoleyen, and Verstraete, and they conjectured the optimal constant to be $c\!=\!1$. Here, I prove the latter conjecture using an exact integral representation of the commutator $[A,\log B]$ obtained from the operator layer cake theorem, due to Cheng and Liu. The result gives a sharp dimension-independent limit on how rapidly unitary evolution of one component can change the entropy of a binary quantum ensemble. It follows that mixing rates satisfy small incremental mixing with the optimal constant, and entangling rates of bipartite Hamiltonians are bounded by $(2\log d\!+\!1)\|H\|$. Moreover, the result corrects a conjecture by Lieb and Vershynina for mixing rates of general ensembles.
Abstract:At what rate does the von Neumann entropy of an ensemble of quantum states change under Hamiltonian evolution of its constituents? Bravyi proposed the small incremental mixing conjecture controlling the mixing rate of a binary ensemble $\{(1\!-\!p,\rho_1),(p,\rho_2)\}$ by $c\,\|{H}\|h_{2}(p)$ (with the binary entropy $h_{2}$). The proof of Bravyi's conjecture was subsequently reduced to the matrix inequality $\|[A,\log B]\|_{1}\!\leq\! c\,h_{2}(p)$ for positive trace-class operators $A\!\leq\! B$ with $\text{Tr} A\!=\!p$ and $\text{Tr} B\!=\!1$ on separable Hilbert spaces by Mariën, Audenaert, Van Acoleyen, and Verstraete, and they conjectured the optimal constant to be $c\!=\!1$. Here, I prove the latter conjecture using an exact integral representation of the commutator $[A,\log B]$ obtained from the operator layer cake theorem, due to Cheng and Liu. The result gives a sharp dimension-independent limit on how rapidly unitary evolution of one component can change the entropy of a binary quantum ensemble. It follows that mixing rates satisfy small incremental mixing with the optimal constant, and entangling rates of bipartite Hamiltonians are bounded by $(2\log d\!+\!1)\|H\|$. Moreover, the result corrects a conjecture by Lieb and Vershynina for mixing rates of general ensembles.
4+1 pages, comments welcome!
Quantum Physics (quant-ph); Mathematical Physics (math-ph); Operator Algebras (math.OA)
arXiv:2609.39814 [quant-ph]
(or arXiv:2609.39814v1 [quant-ph] for this version)
https://doi.org/10.48550/arXiv.2609.39814 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 · 287 words
Related coverage

News
Quantum Computing Report · Jun 7, 2026
Synthesis Superintelligence: from Semiconductors to Superconductors — Periodic Labs’ Liam Fedus and Ekin Dogus Cubuk
Latent Space · Oct 8, 2026

Donald Knuth, The Man Who Made Algorithms Count
Quantum Zeitgeist · Aug 7, 2026
Exact exponents for smoothing the max-relative entropy and quantum information decoupling in von Neumann algebras
arXiv · Sep 18, 2026