Pith. sign in

REVIEW 4 major objections 4 minor 38 references

Skewness of von Neumann entropy over Bures-Hall random states

T0 review · 4 major / 4 minor · reviewed 2026-08-07 · deepseek-v4-flash

Challenge this review Re-run · record.json Download PDF Read on arXiv ↗

Pith's one-line read The paper derives an exact closed-form expression for the third cumulant (skewness) of von Neumann entanglement entropy over the Bures-Hall ensemble of random quantum states.

desk verdict A genuinely new third-cumulant result for Bures-Hall entropy, with a credible numerical check, but the load-bearing appendix of summation identities needs real verification before the closed form is trusted. read the letter →

arxiv 2506.06663 v1 pith:JSO6FNG7 submitted 2025-06-07 math-ph cs.ITmath.ITmath.MPquant-ph

Linfeng Wei , Youyi Huang , Lu Wei This is my paper
classification math-phcs.ITmath.ITmath.MPquant-ph MSC 15B5260B2033B1581P40
keywords vonNeumannentropyBures-Hallensembleskewnessthirdcumulantrandommatrixtheorypolygammafunctionssummationidentitiesentanglement
verification ladder T0 review T1 audit T2 compute T3 formal

The pith

A machine-rendered reading of the paper's core claim, the machinery that carries it, and where it could break.

The reading

The paper establishes an exact closed-form expression for the third cumulant of von Neumann entanglement entropy over the Bures-Hall ensemble of random quantum states. Earlier work had closed forms for the mean and variance; this paper supplies the skewness, showing that standardized entropy has skewness of order $\Theta(1/n)$ as both subsystem dimensions grow with fixed ratio. The exact third cumulant feeds a skewness-corrected Edgeworth approximation to the entropy distribution, which matches simulations more closely than the plain Gaussian. This provides further quantitative evidence toward the conjecture that the standardized entropy converges to a standard normal.

What carries the argument

The argument runs on the Bures-Hall measure's Pfaffian point-process structure, inherited from the Cauchy-Laguerre biorthogonal ensemble. Cumulants of the linear statistic $S$ are expressed through the three-point correlation functions of this Pfaffian process, and the integrals are evaluated via Meijer G-function kernel representations and Mellin transforms. The load-bearing combinatorial step is a set of twelve new summation identities (A.13)--(A.27) that relate finite sums of products of polygamma functions; these identities transform all unsimplifiable single sums ('anomalies') into a small set of basic sums that cancel exactly, leaving the compact closed form. The re-summation technique, which recasts a finite sum by iterating a difference recurrence, is the systematic tool used to derive the identities.

What would settle it

Evaluate the twelve identities (A.13)--(A.27) by direct numerical summation for several small integer values of $m$ and parameters $a, b, c$; any mismatch disproves the cancellation. Independently, simulate Bures-Hall random states for a few pairs $(m,n)$ at high precision and compare the sample third cumulant against Proposition 1.

Watch

Extended reading notes

Core claim

The central discovery is a summation-free closed form for the third cumulant, given in Proposition 1: $\kappa_3 = \psi_2\left(mn - \frac{m^2}{2} + 1\right) + a_1 \psi_2\left(\frac{n+1}{2}\right) + a_2 \psi_1\left(\frac{n+1}{2}\right)$, with rational coefficients $a_1, a_2$ displayed in equations (16)--(17). The formula is proven by computing the three-point correlation integrals of the Pfaffian point process associated with the Bures-Hall measure, converting the moment to a large collection of nested finite sums, and then showing that all 'anomalous' single sums cancel exactly once twelve new summation identities are applied. The result implies skewness $\gamma_1 = \kappa_3 / \kappa_2^{3/2}$ and, in the limit $m, n \to \infty$ with $m/n = c \in (0,1]$, yields $\kappa_3^{(X)} = \Theta(1/n)$, consistent with the Gaussianity conjecture.

Load-bearing premise

The derivation stands on the correctness of all twelve new summation identities in Appendix A; if any one of them is wrong, the cancellation of anomalies fails and the closed-form third cumulant is not established.

Editorial extensions

If this is right

  • Skewness of Bures-Hall von Neumann entropy is exactly computable for any subsystem dimensions $m \le n$, enabling precise Edgeworth approximation of the entropy distribution.
  • In the thermodynamic limit with $m/n = c$, the standardized third cumulant vanishes as $\Theta(1/n)$, reinforcing the Gaussianity conjecture for Bures-Hall entanglement entropy.
  • The closed form provides a quantitative benchmark against which numerical sampling of random Bures-Hall states can be tested.
  • The twelve summation identities extend the library of polygamma finite-sum relations available for cumulant calculations in random matrix ensembles.

Reading between the lines

Editorial extensions of the paper, not claims the author makes directly.

  • Inference: The same summation-and-cancellation scheme likely extends to the fourth cumulant (kurtosis), though the number of anomalies will grow further; the techniques here may accelerate that computation.
  • Inference: The twelve identities (A.13)--(A.27) may be of independent combinatorial interest, as closed-form evaluations of families of harmonic-type sums with polygamma products.
  • Inference: The Edgeworth approximation with the exact skewness could be used as a statistical test for whether a measured bipartite state is typical of the Bures-Hall ensemble.
  • Inference: The $\Theta(1/n)$ skewness decay, combined with known variance decay, suggests the rate of convergence to Gaussianity is driven by the same dimension parameter, which may persist for higher cumulants.
Share X Bluesky LinkedIn Reddit HN

Editorial analysis

A structured set of objections, weighed in public.

Desk editor's note, referee report, and a circularity audit.

Referee Report

4 major / 4 minor

Summary. The paper derives an exact closed-form expression for the third cumulant (skewness) of the von Neumann entropy of bipartite pure states drawn from the Bures-Hall ensemble. The main result, Proposition 1, Eq. (15), expresses kappa_3 as a combination of polygamma functions with rational coefficients given in Eqs. (16)-(17). The derivation proceeds through a moment-cumulant conversion from the unconstrained Bures-Hall ensemble, Pfaffian correlation functions, Mellin transforms of Meijer G-functions, and a systematic cancellation of finite polygamma sums, with twelve new summation identities stated in Appendix A. The paper also provides the corresponding Edgeworth approximation (21), numerical comparisons for m = 3 to 12, and an asymptotic analysis showing kappa_3 / kappa_2^{3/2} = Theta(1/n), which supports the Gaussianity conjecture for the entropy distribution in the limit (23).

Significance. If Proposition 1 is correct, the result is a substantive exact contribution to random matrix theory and quantum information: it provides the first exact skewness formula for Bures-Hall entanglement entropy, improves the normal approximation to the entropy distribution, and gives concrete asymptotic evidence for the conjectured Gaussian limit. The derivation is parameter-free and builds on established kernel representations and previously derived first and second cumulants, which are strong points. The numerical agreement for m = 3 to 12 is encouraging. However, the central claim rests on twelve new summation identities, of which only one is derived in detail and none are independently machine-checked; because a single error in any of these identities would invalidate the cancellation leading to Eq. (111) and hence Eq. (15), this is the key point requiring verification.

major comments (4)
  1. [Appendix A, Eq. (A.3)] The identity (A.3) as printed is corrupted: its right-hand side contains a parameter a that does not appear on the left-hand side, and the term psi_0(c+1) psi_0(c+1) should almost certainly be psi_0(c+1) psi_0(b+1) by symmetry. Since (A.3) is used in Section 3.3, e.g., in transforming the sums in Eqs. (104)-(107), this typo must be corrected and the corrected identity verified.
  2. [Section 3.3 and Appendix A] Only identity (A.19) is derived in detail; the other new identities (A.13)-(A.18), (A.20)-(A.21), (A.24), and (A.26)-(A.27) are asserted to follow by analogous re-summation or differentiation. Because the cancellation of all anomalies leading to (111), and hence the main result (15), depends on all of these identities, the authors should provide either complete derivations for all of them or an independent machine-verifiable proof, such as symbolic verification with m kept symbolic.
  3. [Appendix A, parameter conditions before (A.1)] The stated condition 'a > m for (A.13)-(A.21)' is incompatible with the paper's own numerical checks: for n = m, one has alpha = -1/2 and the parameter values a = alpha + m = m - 1/2 and a = 2alpha + m = m - 1 are both less than m. No analytic continuation or special-case treatment is provided for these values, so the derivation as written does not cover the n = m cases displayed in Figure 2. Please supply the missing argument, even if the final rational formula extends by analyticity.
  4. [Eqs. (57)-(58)] The definitions of I_B^(3) and I_B^(4) are printed with identical integrands, both f^2(x) f(y) K_00(x,y) K_11(x,y) dxdy. The subsequent computation using B_{3,4} in Eqs. (89)-(92), with different derivative orders in beta_1 and beta_2, treats these two integrals as different, namely with f^2(x) f(y) versus f(x) f^2(y) (or an analogous kernel-argument swap). Please correct the definition of I_B^(4), because I_B enters the cumulant expression (50).
minor comments (4)
  1. [Section 3.2, Eq. (90)] The quadruple-sum expression for B_{3,4}(beta_1,beta_2) would be easier to check if the summation ranges and Gamma-function arguments were typeset with the same level of clarity as the surrounding equations; currently the long inline fractions make verification difficult.
  2. [Appendix A, Eq. (A.4)] The condition for (A.4) is stated as a >= m, but the identity is later used in derivations where a may equal m; please confirm whether the stated condition is necessary or whether the identity also holds at a = m by continuity.
  3. [Figure 2] The vertical axis is described as a log-linear plot, but the caption and text do not specify whether the ordinate is log |kappa_3| or log kappa_3; since kappa_3 appears to be negative in the plotted regime, please clarify the scale and the sign convention.
  4. [References] Reference [15] is cited as an arXiv preprint (2502.05371); since it is used for the 'summation-free framework' and the anomaly terminology, please update the reference if a journal version has appeared by the time of publication.

Circularity Check

0 steps flagged · score 0.0 of 10

No significant circularity: the third-cumulant derivation is parameter-free and uses prior mean/variance results as external inputs, not as fitted targets.

full rationale

The paper's central claim, Proposition 1, is an exact closed form for the third cumulant of von Neumann entropy over the Bures-Hall ensemble. Its derivation chain is: express the constrained-ensemble moment E_f[S^3] in terms of the unconstrained moment E_h[T^3] and the already-known first two moments (13)-(14) via the moment conversion (40); compute E_h[T^3] from the Pfaffian correlation functions and the cumulant integrals (50); simplify the resulting nested summations using the summation identities in Appendix A; then convert moments to cumulants via (49). None of these steps fits a parameter to the target quantity. The mean (13) and variance (14) are previously published results [34,35] that do not contain the third cumulant, so using them as inputs is not circular. The new summation identities (A.13)-(A.27) are auxiliary algebraic lemmas: they are not derived from Proposition 1, nor is Proposition 1 used to prove them. The paper's reliance on the authors' earlier work for the re-summation technique and for the Bures-Hall kernel representations is external, published, and parameter-free support, not a self-citation chain that forces the result. The skeptical concerns about under-verified summation identities and the apparent transcription issue in (A.3) are correctness and verification risks, not circularity: if an identity is wrong, the result may fail, but it does not make the argument equivalent to its inputs. The numerical comparison in Figure 2 is a simulation check, not a fit. There is no fitted input renamed as prediction, no uniqueness theorem imported from the authors, and no ansatz smuggled in via citation that carries the conclusion. Overall, the derivation is self-contained given the cited external kernel and cumulant results, and the circularity score is 0.

Assumptions & free parameters 0 free parameters · 4 assumptions · 0 invented entities

The central claim rests on the Bures-Hall measure, established Pfaffian kernel results, and standard special-function tools. No new free parameters or entities are introduced. The originality is in the summation identities, not in the model.

assumptions (4)
  • domain assumption The Bures-Hall measure (4) governs the eigenvalues of the reduced density matrix, with α = n - m - 1/2.
    This is the defining ensemble of the paper, imported from prior works such as [8,10,27,28,38]. The entire calculation is performed with respect to this measure; if it were not the correct generic-state ensemble, the result would not describe random states.
  • standard math The Cauchy-Laguerre biorthogonal ensemble correlation functions (46)-(48) and kernel representations (78)-(88) hold.
    These are proved results from [2,8,17,34] that the paper invokes to compute moments of linear statistics. The paper does not re-derive them.
  • domain assumption α takes half-integer values, Eq. (3), which is used in the finite-sum representations and Mellin-transform evaluations.
    The derivation uses specific expansions and limiting arguments appropriate for half-integer α. If α were continuous, the finite-sum formulas (11)-(12) and some kernel simplifications would need modification.
  • standard math The Gamma-function residue expansions (93) for polygamma functions with negative arguments.
    These expansions resolve indeterminate forms in the integrals; they are standard and documented in [34,36].

how reviews work

0 comments
Cite this review

Pith. "Pith review of Skewness of von Neumann entropy over Bures-Hall random states." pith.science (2026). https://pith.science/paper/JSO6FNG7

@misc{pith2026250606663,
  author       = {Pith},
  title        = {Pith review of: Skewness of von Neumann entropy over Bures-Hall random states},
  year         = {2026},
  howpublished = {\url{https://pith.science/paper/JSO6FNG7}},
  note         = {Machine review of arXiv:2506.06663}
}
read the original abstract

We study the degree of entanglement, as measured by von Neumann entropy, of bipartite systems over the Bures-Hall ensemble. Closed-form expressions of the first two cumulants of von Neumann entropy over the ensemble have been recently derived in the literature. In this paper, we focus on its skewness by calculating the third cumulant that describes the degree of asymmetry of the distribution. The main result is an exact closed-form formula of the third cumulant, which leads to a more accurate approximation to the distribution of von Neumann entropy. The key to obtaining the result lies on finding a dozen of new summation identities in simplifying a large number of finite summations involving polygamma functions.

Discussion (0). Sign in to comment.

Reference graph

Works this paper leans on

38 extracted references · 37 canonical work pages

  1. [1]

    Bertola, M., Gekhtman, M., Szmigielski, J.: Cauchy biorthogonal polynomials. J. Ap- prox. Theory162, 832–867 (2010)

    work page 2010

  2. [2]

    Bertola, M., Gekhtman, M., Szmigielski, J.: Cauchy–Laguerre two-matrix model and the Meijer-G random point field. Commun. Math. Phys.326, 111–144 (2014)

    work page 2014

  3. [3]

    Bianchi, E., Hackl, L., Kieburg, M.: Page curve for fermionic Gaussian states. Phys. Rev. B103, L241118 (2021)

    work page 2021

  4. [4]

    PRX Quantum3, 030201 (2022)

    Bianchi, E., Hackl, L., Kieburg, M., Rigol, M., Vidmar, L.: Volume-law entanglement entropy of typical pure quantum states. PRX Quantum3, 030201 (2022)

    work page 2022

  5. [5]

    Borot, G., Nadal, C.: Purity distribution for generalized random Bures mixed states. J. Phys. A: Math. Theor.45, 075209 (2012)

    work page 2012

  6. [6]

    Foong, S.K., Kanno, S.: Proof of Page’s conjecture on the average entropy of a subsys- tem. Phys. Rev. Lett.72, 1148–1151 (1994)

    work page 1994

  7. [7]

    Princeton University Press (2010) 32 Linfeng Wei et al

    Forrester, P.J.: Log-gases and random matrices. Princeton University Press (2010) 32 Linfeng Wei et al

    work page 2010

  8. [8]

    Forrester, P.J., Kieburg, M.: Relating the Bures measure to the Cauchy two-matrix model. Commun. Math. Phys.342, 151–187 (2016)

    work page 2016

Show all 38 references
  1. [9]

    Giraud, O.: Distribution of bipartite entanglement for random pure states. J. Phys. A: Math. Theor.40, 2793 (2007)

    2007

  2. [10]

    Hall, M.J.: Random quantum correlations and density operator distributions. Phys. Lett. A242, 123–129 (1998)

    1998

  3. [11]

    Hayden, P., Leung, D.W., Winter, A.: Aspects of generic entanglement. Commun. Math. Phys.265, 95–117 (2006)

    2006

  4. [12]

    Huang, Y., Wei, L.: Second-order statistics of fermionic Gaussian states. J. Phys. A: Math. Theor.55, 105201 (2022)

    2022

  5. [13]

    Huang, Y., Wei, L.: Entropy fluctuation formulas of fermionic Gaussian states. Ann. Henri Poincaré24, 4283–4342 (2023)

    2023

  6. [14]

    In: 2023 IEEE Int

    Huang, Y., Wei, L.: Exact variances of von Neumann entropy over fermionic Gaussian states. In: 2023 IEEE Int. Symp. Inf. Theory (ISIT), pp. 1914–1918 (2023)

    2023

  7. [15]

    arXiv:2502.05371

    Huang, Y., Wei, L.: Cumulant structures of entanglement entropy (2025). arXiv:2502.05371

    2025 arXiv

  8. [16]

    Huang, Y., Wei, L., Collaku, B.: Kurtosis of von Neumann entanglement entropy. J. Phys. A: Math. Theor.54, 504003 (2021)

    2021

  9. [17]

    Li, S.H., Wei, L.: Moments of quantum purity and biorthogonal polynomial recurrence. J. Phys. A: Math. Theor.54, 445204 (2021)

    2021

  10. [18]

    Lubkin, E.: Entropy of an n-system from its correlation with a k-reservoir. J. Math. Phys.19, 1028–1031 (1978)

    1978

  11. [19]

    Łydżba, P., Rigol, M., Vidmar, L.: Eigenstate entanglement entropy in random quadratic hamiltonians. Phys. Rev. Lett.125, 180604 (2020)

    2020

  12. [20]

    Łydżba, P., Rigol, M., Vidmar, L.: Entanglement in many-body eigenstates of quantum- chaotic quadratic hamiltonians. Phys. Rev. B103, 104206 (2021)

    2021

  13. [21]

    Malacarne, L., Mendes, R., Lenzi, E.: Average entropy of a subsystem from its average tsallis entropy. Phys. Rev. E65, 046131 (2002)

    2002

  14. [22]

    Onuma-Kalu, M., Grimmer, D., Mann, R.B., Martín-Martínez, E.: A classification of markovian fermionic Gaussian master equations. J. Phys. A: Math. Theor.52, 435302 (2019)

    2019

  15. [23]

    Osipov, V., Sommers, H.J., Życzkowski, K.: Random Bures mixed states and the dis- tribution of their purity. J. Phys. A: Math. Theor.43, 055302 (2010)

    2010

  16. [24]

    Page, D.N.: Average entropy of a subsystem. Phys. Rev. Lett.71, 1291–1294 (1993)

    1993

  17. [25]

    Integrals and Series, Volume 3

    Prudnikov, A.P., Brychkov, Y.A., Marichev, O.I.: Integrals and Series: More special functions. Integrals and Series, Volume 3. Gordon and Breach Science Publishers, Lon- don (1986)

    1986

  18. [26]

    Sánchez-Ruiz, J.: Simple proof of Page’s conjecture on the average entropy of a subsys- tem. Phys. Rev. E52, 5653–5655 (1995)

    1995

  19. [27]

    Sarkar, A., Kumar, S.: Bures-Hall ensemble: Spectral densities and average entropies. J. Phys. A: Math. Theor.52(2019)

    2019

  20. [28]

    Sommers, H.J., Życzkowski, K.: Bures volume of the set of mixed quantum states. J. Phys. A: Math. Gen.36,10 083–10 100(2003)

    2003

  21. [29]

    Sommers, H.J., Życzkowski, K.: Statistical properties of random density matrices. J. Phys. A: Math. Gen.37, 8457–8466 (2004)

    2004

  22. [30]

    SciPost Phys

    Surace, J., Tagliacozzo, L.: Fermionic Gaussian states: An introduction to numerical approaches. SciPost Phys. Lect. Notes54, 1 (2022)

    2022

  23. [31]

    Vivo, P., Pato, M.P., Oshanin, G.: Random pure states: Quantifying bipartite entangle- ment beyond the linear statistics. Phys. Rev. E93, 052106 (2016)

    2016

  24. [32]

    Wei, L.: Proof of Vivo-Pato-Oshanin’s conjecture on the fluctuation of von neumann entropy. Phys. Rev. E96, 022106 (2017)

    2017

  25. [33]

    Entropy21, 539 (2019)

    Wei, L.: On the exact variance of Tsallis entanglement entropy in a random pure state. Entropy21, 539 (2019)

    2019

  26. [34]

    Wei, L.: Exact variance of von neumann entanglement entropy over the Bures-Hall measure. Phys. Rev. E102, 062128 (2020)

    2020

  27. [35]

    Wei, L.: Proof of Sarkar–Kumar’s conjectures on average entanglement entropies over the Bures–Hall ensemble. J. Phys. A: Math. Theor.53, 235203 (2020)

    2020

  28. [36]

    Wei, L.: Skewness of von Neumann entanglement entropy. J. Phys. A: Math. Theor. 53, 075302 (2020) Skewness of von Neumann Entropy over Bures-Hall Random States 33

    2020

  29. [37]

    Wei, L.: Average capacity of quantum entanglement. J. Phys. A: Math. Theor.56, 015302 (2023)

    2023

  30. [38]

    Życzkowski, K., Sommers, H.J.: Induced measures in the space of mixed quantum states. J. Phys. A: Math. Gen.34, 7111–7125 (2001)

    2001

Pith tools

Reviewed August 7, 2026 · model on record in the stance chip above.