Homequant-pharXiv:2605.29725

Non-Perturbative Closed Form for the Typical Bipartite Mutual Information of Haar-Random States

quant-phhep-thmath-phmath.MPstat.AP2026-05v1license

Abstract

The average bipartite quantum mutual information I(A:B)\langle I(A{:}B)\rangle 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: I(A:B)=(dA21)(dB21)G(dA,dB,dE)\langle I(A{:}B)\rangle = (d_A^2-1)(d_B^2-1)\,\mathcal{G}(d_A,d_B,d_E), where G\mathcal{G} is given by an explicit convergent integral over a Bose--Einstein kernel. The overall factor (dA21)(dB21)=dim[su(dA)]dim[su(dB)](d_A^2-1)(d_B^2-1)=\dim[\mathfrak{su}(d_A)]\cdot\dim[\mathfrak{su}(d_B)] is exact, not merely asymptotic. The asymptotic expansion of G\mathcal{G} in 1/N1/N yields a Bernoulli-factorised series whose coefficients involve ζ(12k)\zeta(1{-}2k); this series diverges, and our integral is its exact Borel sum. The integral representation also makes I<(dA21)(dB21)/(2N)\langle I\rangle < (d_A^2{-}1)(d_B^2{-}1)/(2N) 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}
}