analiza aiqbench
This paper derives an exact, non-perturbative closed-form integral for the average bipartite mutual information of Haar-random quantum states, resolving divergences in standard asymptotic expansions. By explicitly separating classical and quantum correlations through a decomposition of Page's entropy, the work provides a rigorous analytical tool for characterizing entanglement in high-dimensional systems. The result advances theoretical foundations in quantum information by offering a precise scale-invariant bound that holds beyond the large-N limit.
Non-Perturbative Closed Form for the Typical Bipartite Mutual Information of Haar-Random States
arXiv:2605.29725v2 Announce Type: replace Abstract: The average bipartite quantum mutual information $\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: $\langle I(A{:}B)\rangle = (d_A^2-1)(d_B^2-1)\,\mathcal{G}(d_A,d_B,d_E)$, where $\mathcal{G}$ is given by an explicit convergent integral over a Bose--Einstein kernel. The overall factor $(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 $\mathcal{G}$ in $1/N$ yields a Bernoulli-factorised series whose coefficients involve $\zeta(1{-}2k)$; this series diverges, and our integral is its exact Borel sum. The integral representation also makes $\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.
Abstract:The average bipartite quantum mutual information $\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: $\langle I(A{:}B)\rangle = (d_A^2-1)(d_B^2-1)\,\mathcal{G}(d_A,d_B,d_E)$, where $\mathcal{G}$ is given by an explicit convergent integral over a Bose--Einstein kernel. The overall factor $(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 $\mathcal{G}$ in $1/N$ yields a Bernoulli-factorised series whose coefficients involve $\zeta(1{-}2k)$; this series diverges, and our integral is its exact Borel sum. The integral representation also makes $\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.
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"
Quantum Physics (quant-ph); High Energy Physics - Theory (hep-th); Mathematical Physics (math-ph); Applications (stat.AP)
arXiv:2605.29725 [quant-ph]
(or arXiv:2605.29725v2 [quant-ph] for this version)
Text integral sub licența deschisă a publicației · 190 cuvinte
Subiecte conexe
Exact Geometric Typicality and Bipartite Entanglement from the Projected Central Limit Theorem on Hyperspheres
arXiv · 5 iun. 2026
Two Classical Answers to "What do Two Variables Share?"
LessWrong · 16 iun. 2026
Exploding variance of means of exponentials: least-squares to the rescue – Machine Learning Research Blog
francisbach.com · 27 sept. 2026
Informe de riesgos de la IA de frontera (febrero–marzo de 2026)
METR · 19 mai 2026