Non-Perturbative Closed Form for the Typical Bipartite Mutual Information of Haar-Random States
Abstract
The average bipartite quantum mutual information of Haar-random pure states can be expressed exactly through Page's formula in terms of digamma functions. We show that this quantity admits a single non-perturbative closed form: , where is given by an explicit convergent integral over a Bose--Einstein kernel. The overall factor is exact, not merely asymptotic. The asymptotic expansion of in yields a Bernoulli-factorised series whose coefficients involve ; this series diverges, and our integral is its exact Borel sum. The integral representation also makes manifest via a scale-inversion symmetry of the kernel. Our derivation traces the mutual information's structure to an exact decomposition of Page's entropy into a diagonal (Dirichlet) contribution and a Schur-majorisation eigenvalue correction, whose assembly into the mutual information cleanly separates classical from quantum correlations.
Comments: 5 pages. This is a companion paper to our simultaneous submission with a title "Exact Geometric Typicality and Bipartite Entanglement from the Projected Central Limit Theorem on Hyperspheres"
Cite
@article{arxiv.2605.29725,
title = {Non-Perturbative Closed Form for the Typical Bipartite Mutual Information of Haar-Random States},
author = {Zhi-Wei Wang and Pei-Wen Li and Samuel L. Braunstein},
journal= {arXiv preprint arXiv:2605.29725},
year = {2026}
}