REVIEW 3 major objections 4 minor 2 cited by
Asymptotics of Harish-Chandra transform and infinitesimal freeness
T0 review · 3 major / 4 minor · reviewed 2026-08-11 · deepseek-v4-flash
Pith's one-line read The 1/N correction to the empirical spectral measure of a unitarily invariant random matrix is determined by an explicit moment formula from the two leading terms of its averaged Harish-Chandra transform.
desk verdict The general theorems are a genuine extension of the BG toolbox and the proofs hold up; the applications lean on asserted analytic inputs and at least one omitted computation, so referee time is justified but the examples need checking. read the letter →
The pith
A machine-rendered reading of the paper's core claim, the machinery that carries it, and where it could break.
The reading
What carries the argument
The load-bearing object is the averaged Harish-Chandra transform $f_N(x_1,\ldots,x_N)=\mathbb{E}\int_{U(N)}e^{\operatorname{Tr}(AUBU^*)}\,dU$ together with the differential operator $D_kf=(\prod_{i<j}(x_i-x_j))^{-1}\sum_i\partial_i^k\big(\prod_{i<j}(x_i-x_j)f\big)$, for which $D_kf_N|_{x=0}=\mathbb{E}[\operatorname{Tr}(A^k)]$. Writing $f_N=\exp(N\cdot\frac1N\log f_N)$, the chain rule and a symmetrization lemma show that, after taking $x_i=i\varepsilon\to0$, only certain derivatives of $\frac1N\log f_N$ survive; assumption (79) then converts those derivatives into derivatives of $\Psi$ and $\Phi$, producing formula (81). The discrete analogue uses the operator $(u_i\partial_i)^k$ on Schur generating functions around $u_i=1$, which yields the quantized infinitesimal cumulants.
What would settle it
Take the explicit model $A=N\cdot\mathrm{GUE}+N\theta E_{11}$ with fixed $\theta$, as in Example 4, compute the limit $N\big(N^{-(k+1)}\mathbb{E}[\sum_i\lambda_i^k]-\mu_k\big)$ for $k=1,2,3$ by exact diagonalization, and compare with formula (96); any mismatch would falsify Theorem 12, while agreement at several $k$ would support the claimed correction mechanism.
Extended reading notes
Core claim
On the paper's own terms, the discovery is Theorem 12: under uniform convergence of $N\big(\frac{1}{N}\log \mathbb{E}[\mathrm{HC}(x_1,\ldots,x_r,0^{N-r};\lambda_1(A),\ldots,\lambda_N(A))]-\sum_{i=1}^r\Psi(x_i)\big)\to\sum_{i=1}^r\Phi(x_i)$ in a complex neighborhood of $0^r$ for every fixed $r$, the $1/N$ correction of the averaged empirical measure of $N^{-1}A$ has moments $\mu'_k=\sum_{m=0}^{k-1}\frac{k!}{m!(m+1)!(k-m-1)!}\frac{d^m}{dx^m}\big((\Psi'(x))^{k-m-1}\Phi'(x)\big)\big|_{x=0}$. The leading moments are the same expression with $\Phi$ absent, and $\Psi'$ is the $R$-transform of the limiting measure, so $\Phi'$ supplies the infinitesimal free cumulants. With the replacement $\Phi'(x)\mapsto \Phi'(x)-\frac{1}{2x}$ and evaluation at $x=1$, the same theorem holds for Schur generating functions, and iterating the machinery yields explicit second- and higher-order formulas.
Load-bearing premise
The whole chain of explicit correction formulas rests on one analytic input that the paper does not prove: the averaged Harish-Chandra transform (or Schur generating function) must have the stated two-term asymptotic expansion uniformly near the zero vector (or, in the discrete case, near the all-ones vector) for every fixed number of nonzero arguments.
Editorial extensions
If this is right
- For any ensemble whose log-averaged Harish-Chandra transform satisfies (79), the full first-order correction to the empirical spectral measure is computable from $\Psi'$ and $\Phi'$ without knowing the transform otherwise.
- The correction moments coincide with infinitesimal free cumulants $\kappa'_n=\Phi^{(n)}(0)/(n-1)!$, so the theorem places finite-rank perturbations of unitarily invariant ensembles inside infinitesimal free probability.
- In the Schur generating function setting, the analogous theorem gives quantized infinitesimal cumulants and predicts outliers at threshold values; concretely, it yields a discrete BBP phase transition in representation-theoretic models and in a perturbed Aztec diamond tiling model.
- Under the stronger $N^2$-scale expansion with an additional function $T$, the $1/N^2$ correction is explicit and splits into a second-order infinitesimal freeness term plus a model-specific term, with similar formulas for all higher orders on the $N^{n\varepsilon}$ scale.
Reading between the lines
- Editorial inference: the moment formula is effectively a Taylor-coefficient machine: models whose log Harish-Chandra transform is analytic in the scaling parameter can be fed directly into the Stieltjes-transform reduction of Remark 5, giving explicit signed densities for corrections without moment-by-moment computation.
- Editorial inference: if the authors' belief that all odd terms in the $1/N$ expansion vanish is correct, then this class of models has a parity gap in its correction expansion; checking the third $1/N^3$ term in a concrete ensemble would test that belief directly.
- Editorial inference: the quantized infinitesimal cumulants introduced for Schur generating functions should linearize the $1/N$ correction to tensor-product operations in the same way the quantized $R$-transform linearizes the leading-order quantized free convolution; this is testable by expanding characters of tensor products of large $U(N)$ representations.
Editorial analysis
A structured set of objections, weighed in public.
Referee Report
Summary. The paper develops a general asymptotic calculus for averaged Harish-Chandra transforms and Schur generating functions. Its main results are conditional theorems: if the logarithm of the averaged transform admits a prescribed multi-term expansion in a complex neighborhood of the origin (or of 1^r), uniformly in r, then the moments of the averaged empirical measure have explicit expansions, with correction terms expressed through derivatives of the functions Ψ and Φ. Theorem 12 gives the first-order correction, Theorem 14 its Schur-generating analog, Theorems 16 and 17 extend to second and higher order corrections, and Theorem 11 covers an intermediate scaling regime. The paper also connects the correction formulas to infinitesimal free cumulants, introduces quantized infinitesimal cumulants, and applies the results to finite-rank perturbations of random matrices and to a perturbed Aztec diamond tiling model, where it exhibits BBP-type phase transitions.
Significance. If the main theorems are correct, they provide a useful general toolbox: a parameter-free formula for the 1/N correction of averaged empirical measures from two-term Harish-Chandra asymptotics, a quantized analog for Schur generating functions, and explicit higher-order corrections. The proofs are detailed and largely self-contained, built on differential operators and symmetrization arguments, and the connections to infinitesimal freeness are explicit and concrete. The paper also gives credit to prior work and reproduces known results such as Shlyakhtenko's correction measure for finite-rank perturbations, which lends credibility to the method. The advertised applications, including the Aztec-diamond outlier effect, are potentially significant if the underlying asymptotic assumptions are fully justified.
major comments (3)
- [Section 5, eq. (96) and Examples 4–5] The application to finite-rank perturbations assumes that for B = A + Σ_i N θ_i E_{i,i} the averaged Harish-Chandra transform satisfies the two-term asymptotic (79) with the required uniformity in a complex neighborhood of 0^r. The paper proves that (79) implies the moment formula (80), and Lemma 6 provides the asymptotic for the deterministic rank-one term, but it never verifies the combined condition (79) for the average over A. In particular, the uniformity in a complex neighborhood of 0^r is not established, and the possible non-commutativity of taking logarithms and averaging is not addressed. Since the BBP-type formulas (96) in Examples 4 and 5 rest on this unproved input, the advertised phase transition for finite-rank perturbations is not fully derived. The authors should either prove the required expansion for B from the standing assumptions on A or state as a separate lemma the precise analytic conditions under which (96) holds.
- [Example 7, eq. (123)] The explicit correction measure for the Aztec-diamond perturbation is stated after 'somewhat lengthy computations (we omit them for brevity)'. This is one of the two new applications advertised in the introduction, and formula (123) contains several nontrivial ingredients: a delta measure with a critical threshold, a sign change at α = (A+1)^2/(2(A^2+1)), and a rational density inside the arctic circle. Because the computation is omitted, the claim (17)–(19) is not verifiable from the manuscript. The authors should include the computation, or at least a detailed outline sufficient for an expert to reproduce it independently.
- [Theorem 17, eq. (141)] The statement of Theorem 17 is not well-formed as written. In the Harish-Chandra transform on the left-hand side of (141), the second argument is written as (λ_1(A), ..., λ_n(A)); it should be the full N-tuple of eigenvalues, presumably λ_1(A), ..., λ_N(A). Also, the inner sum over i is written as running from i = 0 to r, but the terms Ψ_j(x_i) are evaluated at the r variables, so the sum should run from i = 1 to r. The condition on ε should also be clarified: the proof and the intended scaling require 0 < ε < n^{-1}, and the printed '0 < ε < n−1' is ambiguous. These are notational typos, but they affect a central theorem statement and must be corrected.
minor comments (4)
- [Eq. (7) and eq. (54)] There are stray '− −' artifacts in the displayed evaluation notation, e.g., '((Ψ′(x))^{n−m}) − − x=0'; these should read '|_{x=0}' for clarity.
- [Example 3, eq. (94)] The limit condition 'M,N→∞, M−λN→0' should presumably be 'M/N → λ'; as written, the condition involving M−λN is dimensionally inconsistent with the notation.
- [Example 7, paragraph after eq. (123)] The variable y in (123) is not explicitly defined; the introduction formula (19) uses t, and the geometric discussion later introduces y˜ = α y. The authors should define the coordinate y used in the correction measure.
- [Example 7] There is a typo 'normaizing constant' in the description of the perturbed Aztec diamond measure; it should be 'normalizing constant'.
Circularity Check
No significant circularity: the central theorems are explicit conditional implications from stated log-Harish-Chandra asymptotics to moment formulas, with derivations performed inside the paper; the only self-citations are prior tools, not the target claims.
full rationale
The paper's main results (Theorems 8, 12, 14, 16 and 17) are conditional implications: from a uniform asymptotic expansion of (1/N) log E[HC(...)] or (1/N) log S^{U(N)}_rho(...), the authors derive explicit formulas for the leading moments and their 1/N, 1/N^2, or 1/N^{n epsilon} corrections. These formulas are obtained by applying the differential operators D_k and D^{U(N)}_k, using Proposition 1/Proposition 2, Lemma 3, and chain-rule computations, and they are not assumed in the hypotheses. For example, Theorem 12 assumes the two-term expansion (79) of the log Harish-Chandra transform and proves formula (81) for mu'_k; the proof algebraically identifies the N-correction of the D_k evaluation, including the nontrivial verification that the M_{1,N} term vanishes. There are no fitted parameters renamed as predictions, and the examples compute the needed Psi, Phi from explicit generating functions and then extract correction measures by contour integrals, so the concrete claims are not forced by the theorems' inputs. The paper does cite prior work by an overlapping author, notably [BG] for the base Law of Large Numbers in the Schur-function setting (Theorem 13), and [OV] for Lemma 6 on finite-rank perturbations; these are acknowledged external tools rather than the paper's new claims, and the matrix-side version Theorem 8 is in fact reproved with technical improvements. Example 7 omits lengthy computations and Theorem 15's proof is introduced by saying the authors were unable to prove a discrete analog directly and therefore reprove Theorem 14 via a deformed Schur generating function; these are gaps in exposition or derivation detail, not circular reductions. No equation in the paper is equivalent to its own hypothesis by construction, so the appropriate finding is low, essentially non-circular despite minor reliance on self-citations as prior scaffolding.
Assumptions & free parameters
assumptions (7)
- standard math Harish-Chandra/Itzykson-Zuber integral equals a determinant ratio (eq. 34)
- standard math Weyl character (rational Schur function) formula for U(N) (eq. 100)
- standard math Moment-cumulant relations over non-crossing partitions (Speicher)
- standard math Voiculescu's theorem on asymptotic free independence of Haar unitarily invariant matrices
- domain assumption Uniform asymptotic expansion of the log Harish-Chandra/Schur generating function in a complex neighborhood
- domain assumption Random matrix model with Haar-distributed eigenvector integration in the Harish-Chandra transform (eq. (1))
- domain assumption Smoothness (or analyticity) of Ψ, Φ, T in a neighborhood of 0 or 1
invented entities (1)
-
Quantized infinitesimal free cumulants
independent evidence
Cite this review
Pith. "Pith review of Asymptotics of Harish-Chandra transform and infinitesimal freeness." pith.science (2026). https://pith.science/paper/ZCJO7TOY
@misc{pith2026241209290,
author = {Pith},
title = {Pith review of: Asymptotics of Harish-Chandra transform and infinitesimal freeness},
year = {2026},
howpublished = {\url{https://pith.science/paper/ZCJO7TOY}},
note = {Machine review of arXiv:2412.09290}
}
read the original abstract
In the last ten years a technique of Schur generating functions and Harish-Chandra transforms was developed for the study of the asymptotic behavior of discrete particle systems and random matrices. In the current paper we extend this toolbox in several directions. We establish general results which allow to access not only the Law of Large Numbers, but also next terms of the asymptotic expansion of averaged empirical measures. In particular, this allows to obtain an analog of a discrete Baik-Ben Arous-Peche phase transition. A connection with infinitesimal free probability is shown and a quantized version of infinitesimal free probability is introduced. Also, we establish the Law of Large Numbers for several new regimes of growth of a Harish-Chandra transform.
Figures
Forward citations
Cited by 2 Pith papers
-
Domino Tilings of the Aztec Diamond in Random Environment and Schur Generating Functions
For Aztec diamond tilings with i.i.d. one-periodic edge weights, height function fluctuations are, in the critical regime, GFF plus independent Brownian motion, and in the fixed-variance regime, Brownian motion alone ...
-
$q$-deformed Perelomov-Popov measures and quantized free probability
A q-deformed family of Perelomov-Popov measures is introduced and its large-N limits, free cumulants, 1/N corrections, and Markov-Krein relations are computed for all q in [-1,1].
Reference graph
Works this paper leans on
-
[1]
Aggarwal, Arctic boundaries of the ice model on three-bundle domains
A. Aggarwal, Arctic boundaries of the ice model on three-bundle domains. Inventiones mathematicae, 220(2), 611, (2019). arXiv:1812.03847
arXiv 2019
-
[2]
G. W. Anderson, A. Guionnet, and O. Zeitouni, An introduction to random matrices, Cambridge University Press, 2010
work page 2010
-
[3]
Finite-rank perturbations of random band matrices via infinitesimal free probability
B. Au, Finite-rank perturbations of random band matrices via infinitesimal free probability, Comm. Pure Appl. Math. 74 (2021), no. 9, 1855--1895, arXiv:1906.10268
work page Pith review arXiv 2021
-
[4]
J. Baik, G. Ben Arous, S. Peche. Phase transition of the largest eigenvalue for nonnull complex sample covariance matrices, Ann. Probab. 33(5): 1643-1697 (2005)
work page 2005
-
[5]
S.T. Belinschi, D. Shlyakhtenko. Free probability of type B: analytic aspects and applications, American Journal of Mathematics 134 (2012), 193-234
work page 2012
-
[6]
Non-crossing cumulants of type B
P.Biane, F. Goodman, A. Nica, Non-crossing cumulants of type B, Transactions of the AMS, Vol. 355, N. 6, 2263--2303, arXiv:math/0206167
-
[7]
P. Biane, Representations of Symmetric Groups and Free Probability, Advances in Mathematics, 138, no.\ 1, (1998), 126--181
work page 1998
-
[8]
P. Biane, Approximate factorization and concentration for characters of symmetric groups, International Mathematics Research Notices, 2001, no.\ 4, (2001), 179--192
work page 2001
Show all 49 references
-
[9]
Borodin, A
A. Borodin, A. Bufetov, G. Olshanski, Limit shapes for growing extreme characters of U( ) . Ann.\ Appl.\ Probab., 25, no.\ 4 (2015), 2339--2381. arXiv:1311.5697
2015 arXiv
-
[10]
Borot, S
G. Borot, S. Charbonnier, E. Garcia-Failde, F. Leix, S. Shadrin. Functional relations for higher order free cumulants, arXiv:2112.12184
-
[11]
Boutillier, Z
C. Boutillier, Z. Li, Limit shape and height fluctuations of random perfect matchings on square-hexagon lattices, arXiv:1709.09801
-
[12]
Bufetov, V
A. Bufetov, V. Gorin. Representations of classical Lie groups and quantized free convolution, Geom. Funct. Anal., Vol. 25 (2015) 763-814. arXiv:1311.5780
2015 arXiv
-
[13]
Bufetov, V
A. Bufetov, V. Gorin. Fluctuations of particle systems determined by Schur generating functions, Advances in Mathematics 338, no.\ 7 (2018), 702--781. arXiv:1604.01110
2018 arXiv
-
[14]
Bufetov, V
A. Bufetov, V. Gorin. Fourier transform on high-dimensional unitary groups with applications to random tilings, Duke Math. J. 168(13): 2559-2649 (2019)
2019
-
[15]
Bufetov, A
A. Bufetov, A. Knizel, Asymptotics of random domino tilings of rectangular Aztec diamonds, Ann. Inst. H. Poincare Probab. Statist. 54, no.\ 3 (2018), 1250--1290. arXiv:1604.01491
2018 arXiv
-
[16]
Chhita, K
S. Chhita, K. Johansson, B. Young, Asymptotic domino statistics in the Aztec diamond, Annals of Applied Probability, 25, no.\ 3 (2015), 1232--1278. arXiv:1212.5414
2015 arXiv
-
[17]
H. Cohn, R. Kenyon, J. Propp, A variational principle for domino tilings, Journal of the AMS 14 (2001), 297--346. arXiv:math/0008220
2001 arXiv
-
[18]
Collins, J
B. Collins, J. Novak, P. \' S niady, Semiclassical asymptotics of GL_N( C) tensor products and quantum random matrices, Sel. Math. New Ser. (2018) 24: 2571. arXiv:1611.01892
2018 arXiv
-
[19]
Colomo and A
F. Colomo and A. Sportiello, Arctic Curves of the Six-Vertex Model on Generic Domains: The Tangent Method, J. Stat. Phys. 164, 1488-1523, 2016. arXiv:1605.01388
2016 arXiv
-
[20]
Di Francesco, E
P. Di Francesco, E. Guitter. Arctic curves for paths with arbitrary starting points: a tangent method approach, J. Phys. A: Math. Theor. 51 355201 (2018)
2018
-
[21]
Di Francesco, E
P. Di Francesco, E. Guitter. The Arctic curve for Aztec rectangles with defects via the Tangent Method, J Stat Phys 176, 639-678, (2019)
2019
-
[22]
Edrei, On the generation function of a doubly infinite, totally positive sequence
A. Edrei, On the generation function of a doubly infinite, totally positive sequence. Trans. Amer. Math. Soc. 74, (1953), 367--383
1953
-
[23]
Fevrier, Higher Order Infinitesimal Freeness, Indiana University Mathematics Journal, Vol
M. Fevrier, Higher Order Infinitesimal Freeness, Indiana University Mathematics Journal, Vol. 61, No. 1 (2012), pp. 249-295 (47 pages)
2012
-
[24]
Fevrier, A
M. Fevrier, A. Nica. Infinitesimal non-crossing cumulants and free probability of type B, Journal of Functional Analysis 258(9):2983-3023
-
[25]
Gorin, G
V. Gorin, G. Panova, Asymptotics of symmetric polynomials with applications to statistical mechanics and representation theory, Annals of Probability, 43, no.\ 6, (2015) 3052--3132. arXiv:1301.0634
2015 arXiv
-
[26]
Gorin, Y
V. Gorin, Y. Sun. Gaussian fluctuations for products of random matrices. American Journal of Mathematics, vol. 144 no. 2, 2022, p. 287-393
2022
-
[27]
Guionnet, M
A. Guionnet, M. Ma\" da, A Fourier view on the R-transform and related asymptotics of spherical integrals, Journal of Functional Analysis, 222 (2005), no. 2, 435--490. arXiv:math/0406121
2005 arXiv
-
[28]
Fourier transforms on a semisimple Lie algebra
Harish-Chandra. Fourier transforms on a semisimple Lie algebra. I. Amer. J. Math. 79 (1957), 193-257
1957
-
[29]
Huang, Law of large numbers and central limit theorems through Jack generating functions, Advances in Mathematics, Vol
J. Huang, Law of large numbers and central limit theorems through Jack generating functions, Advances in Mathematics, Vol. 380, 2021, 107545
2021
-
[30]
Jockusch, J
W. Jockusch, J. Propp, P. Shor. Random Domino Tilings and the Arctic Circle Theorem, arXiv:math/9801068
-
[31]
Johansson, The arctic circle boundary and the Airy process
K. Johansson, The arctic circle boundary and the Airy process. Annals of Probability, 33:1--30, 2005
2005
-
[32]
Kemmeter, B
J. Kemmeter, B. Debin, P. Ruelle. Arctic curves of the 6V model with partial DWBC and double Aztec rectangles, J. Phys. A: Math. Theor., 55, 305004
-
[33]
Kenyon, A
R. Kenyon, A. Okounkov, Limit shapes and the complex Burgers equation, Acta Math (2007) 199: 263. arXiv:math-ph/0507007
2007 arXiv
-
[34]
Matsumoto, J
S. Matsumoto, J. Novak, A Moment Method for Invariant Ensembles, Electron. Res. Announc. Math. Sci. 25 (2018) 60-71
2018
-
[35]
Mingo, Non-crossing Annular Pairings and The Infinitesimal Distribution of the GOE, J
J. Mingo, Non-crossing Annular Pairings and The Infinitesimal Distribution of the GOE, J. London Math. Soc., 100: 987--1012, arXiv:1808.02100
-
[36]
Nica and R
A. Nica and R. Speicher, Lectures on the Combinatorics of Free Probability, Cambridge University Press, 2006
2006
-
[37]
Olshanski, A
G. Olshanski, A. Vershik, Ergodic unitarily invariant measures of infinite Hermitian matrices, Contemp. Mathematical Physics (R. R. A. Minlos, M. A. Shubin, and A. M. Vershik, eds.), Amer. Math. 175, 137-175, A. M. S., Providence
-
[38]
F. Parraud, Asymptotic expansion of smooth functions in polynomials in deterministic matrices and iid GUE matrices, Communications in Mathematical Physics (2023), 399(1), 249--294, arXiv:2011.04146
2023 arXiv
-
[39]
Petrov, Asymptotics of Random Lozenge Tilings via Gelfand-Tsetlin Schemes
L. Petrov, Asymptotics of Random Lozenge Tilings via Gelfand-Tsetlin Schemes. Probability Theory and Related Fields, 160, no.\ 3 (2014), 429--487. arXiv:1202.3901
2014 arXiv
-
[40]
Pickrell
D. Pickrell. Mackey analysis of infinite classical motion groups, Pacific J. Math. 150 (1991), 139–166
1991
-
[41]
P. Ruelle. Double tangent method for two-periodic Aztec diamonds, J. Stat. Mech. (2022), 123103
2022
- [42]
-
[43]
Shlyakhtenko
D. Shlyakhtenko. Free probability of type B and asymptotics of finite-rank perturbations of random matrices, Indiana University Mathematics Journal 67 (2018), 971-991
2018
-
[44]
Sniady, Gaussian fluctuations of characters of symmetric groups and of Young diagrams
P. Sniady, Gaussian fluctuations of characters of symmetric groups and of Young diagrams. Probability Theory and Related Fields, 136, no.\ 2 (2006), 263--297
2006
-
[45]
Speicher
R. Speicher. Multiplicative functions on the lattice of non-crossing partitions and free convolution, Mathematische Annalen 298 (1994), 611-628
1994
-
[46]
Voiculescu, Addition of certain non-commuting random variables, J
D. Voiculescu, Addition of certain non-commuting random variables, J. Funct. Anal., 66 (1986), 323-346
1986
-
[47]
Voiculescu, Limit laws for random matrices and free products, Invent
D. Voiculescu, Limit laws for random matrices and free products, Invent. Math., 104 (1991), 201-220
1991
-
[48]
Voiculescu, Representations factorielles de type II_1 de U( )
D. Voiculescu, Representations factorielles de type II_1 de U( ) . J. Math. Pures Appl. (9) 55, (1976), 1--20
1976
-
[49]
Weyl, The Classical Groups: Their Invariants and Representations
H. Weyl, The Classical Groups: Their Invariants and Representations. Princeton, University Press, 1939
1939
Reviewed August 11, 2026 · model on record in the stance chip above.
Discussion (0). Continue with ORCID to comment.