REVIEW 5 minor 32 references
Finite Free Convolution: Infinitesimal Distributions
T0 review · 0 major / 5 minor · reviewed 2026-08-16 · deepseek-v4-flash
Pith's one-line read The paper derives explicit order-1/d fluctuation formulas for finite-free additive and multiplicative convolutions of real-rooted polynomials.
desk verdict Solid, genuinely new treatment of 1/d fluctuations for finite-free convolutions; the H-transform is a useful bridge to infinitesimal free probability. 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 objects are the finite-free cumulants $\kappa_n(p_d)$, which linearize finite-free additive convolution, and their $1/d$ expansion $\kappa_n(p_d)=r_n(\mu)+\frac{1}{d}\hat r_n(p)+o(1/d)$. The paper shows this expansion exists exactly when the moments admit an infinitesimal expansion, and it links the two via non-crossing partitions and annular non-crossing permutations. The new $H$-transform, defined by $H_\mu(z)=\frac{G'_\mu(z)}{G_\mu(z)}-\frac{G''_\mu(z)}{2G'_\mu(z)}$, absorbs the annular correction and turns the combinatorial formulas into functional relations for infinitesimal Cauchy transforms. In the additive case, composition with the free convolution's Cauchy transform and subordination functions yields a compact formula connecting the finite-free result to infinitesimal free convolution.
What would settle it
For a concrete family such as $p_d=(x-1)^{d-s}\prod_{k=1}^s(x-\alpha_k)$ and $q_d$ similarly, compute the moment $m_n(p_d\boxplus_d q_d)$ numerically for increasing $d$, multiply the deviation from $m_n(\mu\boxplus\nu)$ by $d$, and compare with formula (45); a systematic disagreement after extrapolating in $1/d$ would falsify the claimed infinitesimal distribution.
Extended reading notes
Core claim
If two sequences of real-rooted polynomials $p_d$ and $q_d$ have infinitesimal distributions $(\mu,\mu')$ and $(\nu,\nu')$, then the finite-free additive convolution $p_d \boxplus_d q_d$ has infinitesimal distribution $(\mu\boxplus\nu,\rho')$, with $\rho'$ given by the moment formula (45) and by the functional relation (57). The cumulant fluctuations add: $\hat r_n(p\boxplus q)=\hat r_n(p)+\hat r_n(q)$, equivalently $\hat R_{p\boxplus q}=\hat R_p+\hat R_q$. For the multiplicative convolution, the paper proves that $p_d \boxtimes_d q_d$ has infinitesimal distribution $(\mu\boxtimes\nu,\tau')$, where $\tau'$ is determined by the cumulant-fluctuation formula (48) and the functional relation (61); unlike the additive case, the multiplicative fluctuation term does not simply add, because annular non-crossing permutations contribute. In the special cases where one sequence degenerates to $\delta_0$ (additive) or $\delta_1$ (multiplicative), the finite-free infinitesimal convolution agrees with the infinitesimal free convolution, recovering known finite-rank perturbation distributions.
Load-bearing premise
Everything rests on assuming each sequence's finite-free cumulants differ from their free limit by a stable $1/d$ term (equivalently, its moments do), and the prior $1/d$ moment-cumulant expansion used in the proofs holds uniformly.
Editorial extensions
If this is right
- For additive convolution, the order-$1/d$ fluctuation term is completely determined by the two input cumulant fluctuations and the limiting free convolution; no new fluctuation data are created by the operation.
- For multiplicative convolution, even inputs with zero cumulant fluctuations produce a nontrivial fluctuation term coming from annular non-crossing partitions, so multiplicative convolution genuinely mixes fluctuations.
- When one sequence converges to $\delta_0$ (additive) or $\delta_1$ (multiplicative), the finite-free infinitesimal convolution coincides with the infinitesimal free convolution of Belinschi and Shlyakhtenko, recovering finite-rank perturbation formulas.
- Differentiating a polynomial sequence once changes the infinitesimal distribution by $\mu'\mapsto \mu'+\mu-\Xi(\mu)$, where $\Xi$ is the inverse Markov-Krein transform; repeated differentiation has an explicit transform formula.
- The results give a systematic way to compute $1/d$ corrections for concrete families such as Hermite, Bernoulli, Laguerre, and finite-rank perturbations of identity.
Reading between the lines
- The linear additivity of cumulant fluctuations suggests that, at first order, finite-free independence closely resembles infinitesimal freeness; one could test whether higher-order ($1/d^2$) terms obey a similar factorization involving genus expansions.
- The $H$-transform appears as a universal correction term, which hints that the same functional relation may control fluctuations of orthogonal and $\beta$-ensembles, where annular non-crossing permutations already play a role.
- A natural extension is to let the polynomial coefficients be random and ask whether the $1/d$ fluctuations converge in probability to the same deterministic formulas; the paper's combinatorial core would likely carry over unchanged.
- The subordination formula (60) suggests an object interpolating between free convolution and infinitesimal free convolution; inverting that relation could define an explicit finite-free counterpart to the type-B infinitesimal convolution operation.
Signed reviews
Editorial analysis
A structured set of objections, weighed in public.
Referee Report
Summary. The paper investigates the order-1/d fluctuations (infinitesimal distributions) of sequences of real-rooted polynomials under finite-free additive and multiplicative convolution. Starting from the known AGVP23 expansion (40), the authors prove in Lemma 3.1 that a sequence has infinitesimal moments of all orders if and only if its finite-free cumulants admit a matching 1/d expansion, with explicit conversion formulas (43) and (44). They then derive the infinitesimal distribution of the finite-free additive convolution (Theorem 3.4), of the multiplicative convolution (Theorems 3.5 and 3.6), and translate these combinatorial identities into functional equations involving a new H-transform (Theorems 4.6 and 4.9). A substantial part of the paper compares these formulas with infinitesimal free convolution from the Belinschi-Shlyakhtenko theory, including a subordination formula (Theorem 4.8) and special cases recovering known results. The final section contains applications to repeated differentiation, finite-rank perturbations, and Laguerre-type examples.
Significance. If correct, the paper gives a complete and explicit description of the next-to-leading-order behavior of finite-free convolutions, a topic that connects finite free probability with infinitesimal/type-B freeness and with fluctuation results for random matrices. The main strengths are the clean reduction of the fluctuation problem to cumulant fluctuations, the invertible moment-cumulant formulas, and the identification of the H-transform as the formal object separating the finite-free fluctuation from its infinitesimal-free counterpart. The paper also recovers and extends previously known examples from AGVP23 and Shlyakhtenko, and it provides many concrete signed-measure computations, which makes the theory falsifiable and usable. The results are derived from established prior theorems (AP18, AGVP23) with detailed proofs for the new combinatorial steps; the remaining reliance on the AGVP23 expansion (40) is explicit and only used for fixed n as d grows. Overall this is a valuable contribution to finite free probability and to the infinitesimal fluctuation literature.
minor comments (5)
- [Section 3.3, Eq. (46)] Equation (46) is missing the factor n/2 in the annular correction term. The displayed formula reads - sum_{...} r_sigma(μ⊠ν)/(ts), whereas Lemma 3.1 and Theorem 3.6 both require - (n/2) sum_{...} r_sigma(μ⊠ν)/(ts). The subsequent proof and Theorem 4.9 use the correct factor, so this appears to be a local typographical error, but the displayed statement should be corrected.
- [Section 4.1, proof of Lemma 4.3] In the proof of Lemma 4.3, the displayed expansion for m'_n(p) and the displayed expression for H_mu(z) omit the factor n/2 (and the definition of h_n). The statement of the lemma, equation (54), is correct, but the intermediate display should match formulas (43) and (12).
- [Equations (8) and (40)] The summation index in equations (8) and (40) is written as t,s=n in two places; this should be t+s=n. The same notational slip appears in the surrounding text.
- [Theorem 4.8 and Corollary 4.11] The statement of Theorem 4.8 (and the proof of Corollary 4.11) invokes analytic subordination functions for arbitrary probability distributions, while the rest of the paper works with formal power series. For distributions without compact support, the formal Cauchy series and the analytic Cauchy transform may not coincide in a common neighborhood of infinity. The core formulas (45), (48), (57), and (61) are independent of this analytic interpretation, but the hypotheses of Theorem 4.8 should state explicitly what regularity is assumed.
- [Throughout] There are several typographical slips that should be fixed in a final version: 'Infinitesimal dirstributions' in the introduction, 'infintesimal' in Section 2.2.3, the stray 's' in the citation in Proposition 4.1, and 'Beronulli' in Example 5.9. None of these affect the mathematics.
Circularity Check
No circularity found: the infinitesimal-convolution formulas are derived from prior published theorems and standard free probability, not from their own conclusions.
full rationale
The paper's central results (Theorems 3.4, 3.5, 3.6, 4.6, 4.9) are genuine derivations from earlier published results, principally the AGVP23 expansion (40) and the AP18 cumulant linearization, together with standard free-probability moment-cumulant relations. No parameter is fitted to a subset of data and then renamed a prediction: the cumulant fluctuations r-hat_n(p) are explicitly defined from the input sequence p in Lemma 3.1 and Definition 3.2, and the output infinitesimal moments are computed from those inputs. The additive formula (45) follows from additivity of finite-free cumulants plus Lemma 3.1; the multiplicative formulas (48) and (50) follow by substituting the assumed 1/d expansions into the prior AGVP23 expansion (37), which is an independent published theorem. The functional relations (57) and (61) are translations of these combinatorial formulas, not assumptions. The self-citations to AP18 and AGVP23 are load-bearing, but they are citations to published, parameter-free theorems with stated hypotheses that do not include the target results; they are therefore independent support under the applicable standard. Proposition 4.1 cites AGVP23 for the H-transform identity, but this is a prior proved identity, not an ansatz introduced to force the conclusions. The analytic subordination part (Theorem 4.8) assumes enough regularity for Cauchy transforms and subordination functions, which is a domain/presentation condition rather than a circular step. No equation is equivalent by construction to the claimed prediction, and no uniqueness claim is imported from the authors' own prior work to exclude alternatives. Accordingly, the derivation chain is self-contained relative to its cited external results, and no significant circularity is present.
Assumptions & free parameters
assumptions (4)
- standard math Finite-free cumulant-moment formula of AP18 (Corollary 4.6): κ_n(p_d) is expressed as a d-dependent sum over partitions with Möbius weights.
- standard math Expansion (40) from AGVP23 (Theorem 1.3): m_n(p_d) = Σ_{π∈NC(n)} κ_π(p_d) - (n/(2d)) Σ_{σ∈SNC(t,s)} κ_σ(p_d)/(ts) + o(1/d).
- standard math Free moment-cumulant formula: m_n(μ) = Σ_{π∈NC(n)} r_π(μ) for any probability measure μ with finite moments.
- domain assumption Existence and properties of subordination functions for free additive and multiplicative convolutions (Voiculescu, Biane).
invented entities (2)
-
H-transform H_μ(z)
-
Cumulant fluctuation transform ̂R_p(z)
Cite this review
Pith. "Pith review of Finite Free Convolution: Infinitesimal Distributions." pith.science (2026). https://pith.science/paper/WOV2EXCK
@misc{pith2026250501705,
author = {Pith},
title = {Pith review of: Finite Free Convolution: Infinitesimal Distributions},
year = {2026},
howpublished = {\url{https://pith.science/paper/WOV2EXCK}},
note = {Machine review of arXiv:2505.01705}
}
abstract
Finite-free additive and multiplicative convolutions are operations on the set of polynomials with real roots, introduced independently by Szeg\"{o} and Walsh in the 1920s. These operations have regained some interest, in the last decade, after being rediscovered by Marcus, Spielman, and Srivastava as the expected characteristic polynomial of randomly rotated matrices. They converge, as the degree $d$ of the polynomials increases, to the additive and multiplicative convolution of measures from free probability of Voiculescu. In this paper, we investigate the fluctuations of order $1/d$ -- also known as infinitesimal distributions -- related to these two operations and their limiting behavior, providing a detailed description of their convergence. Our approach relies on understanding the infinitesimal moment-cumulant formulas and the corresponding functional relations. We also establish several applications and examples, including instances related to the infinitesimal free convolution of Belinschi and Shlyakhtenko, as well as the computation of infinitesimal distributions after differentiation of polynomials.
Reference graph
Works this paper leans on
-
[1]
S-transform in finite free probability
Octavio Arizmendi, Katsunori Fujie, Daniel Perales, and Yuki Ueda. S-transform in finite free probability. Preprint arXiv:2408.09337 , 2024
arXiv 2024
-
[2]
Finite free cumulants: multiplicative convolutions, genus expansion and infinitesimal distributions
Octavio Arizmendi, Jorge Garza-Vargas, and Daniel Perales. Finite free cumulants: multiplicative convolutions, genus expansion and infinitesimal distributions. Transactions of the American Mathematical Society , 376(06):4383--4420, 2023
work page 2023
-
[3]
Cumulants for finite free convolution
Octavio Arizmendi and Daniel Perales. Cumulants for finite free convolution. Journal of Combinatorial Theory, Series A , 155:244--266, 2018
work page 2018
-
[4]
Non-crossing cumulants of type B
Philippe Biane, Frederick Goodman, and Alexandru Nica. Non-crossing cumulants of type B . Transactions of the American Mathematical Society , 355(6):2263--2303, 2003
work page 2003
-
[5]
Processes with free increments
Philippe Biane. Processes with free increments. Mathematische Zeitschrift , 227:143--174, 1998
work page 1998
-
[6]
Free probability of type B : analytic interpretation and applications
Serban Belinschi and Dimitri Shlyakhtenko. Free probability of type B : analytic interpretation and applications. American Journal of Mathematics , 134(1):193--234, 2012
work page 2012
-
[7]
Free convolution of measures with unbounded support
Hari Bercovici and Dan Voiculescu. Free convolution of measures with unbounded support. Indiana University Mathematics Journal , 42(3):733--773, 1993
work page 1993
-
[8]
Infinitesimal freeness for orthogonally invariant random matrices
Guillaume C \'e bron and James A Mingo. Infinitesimal freeness for orthogonally invariant random matrices. arXiv preprint arXiv:2506.05139 , 2025
Show all 32 references
-
[9]
Global spectrum fluctuations for the -hermite and -laguerre ensembles via matrix models
Ioana Dumitriu and Alan Edelman. Global spectrum fluctuations for the -hermite and -laguerre ensembles via matrix models. Journal of Mathematical Physics , 47(6), 2006
2006
-
[10]
The spectra of principal submatrices in rotationally invariant hermitian random matrices and the markov--krein correspondence
Katsunori Fujie and Takahiro Hasebe. The spectra of principal submatrices in rotationally invariant hermitian random matrices and the markov--krein correspondence. Latin American Journal of Probability and Mathematical Statistics , 19(1):109, 2022
2022
-
[11]
Infinitesimal non-crossing cumulants and free probability of type B
Maxime F \'e vrier and Alexandru Nica. Infinitesimal non-crossing cumulants and free probability of type B . Journal of Functional Analysis , 258(9):2983--3023, 2010
2010
-
[12]
Free zero bias and infinite divisibility
Larry Goldstein and Todd Kemp. Free zero bias and infinite divisibility. Preprint arXiv:2403.19860 , 2024
2024 arXiv
-
[13]
On fluctuations of eigenvalues of random hermitian matrices
Kurt Johansson. On fluctuations of eigenvalues of random hermitian matrices. Duke Math. J. , 95(1):151--204, 1998
1998
-
[14]
Interlacing measures
Sergei Kerov. Interlacing measures. American Mathematical Society Translations , pages 35--84, 1998
1998
-
[15]
Addition of freely independent random variables
Hans Maassen. Addition of freely independent random variables. Journal of functional analysis , 106(2):409--438, 1992
1992
-
[16]
Polynomial convolutions and (finite) free probability
Adam W Marcus. Polynomial convolutions and (finite) free probability. arXiv preprint arXiv:2108.07054 , 2021
2021 arXiv
-
[17]
Non-crossing annular pairings and the infinitesimal distribution of the GOE
James Mingo. Non-crossing annular pairings and the infinitesimal distribution of the GOE . Journal of the London Mathematical Society , 100(3):987--1012, 2019
2019
-
[18]
Annular noncrossing permutations and partitions, and second-order asymptotics for random matrices
James Mingo and Alexandru Nica. Annular noncrossing permutations and partitions, and second-order asymptotics for random matrices. International Mathematics Research Notices , 2004(28):1413--1460, 2004
2004
-
[19]
Second order freeness and fluctuations of random matrices: I
James Mingo and Roland Speicher. Second order freeness and fluctuations of random matrices: I . G aussian and W ishart matrices and cyclic F ock spaces. Journal of Functional Analysis , 235(1):226--270, 2006
2006
-
[20]
Free probability and random matrices , volume 35
James Mingo and Roland Speicher. Free probability and random matrices , volume 35. Springer, 2017
2017
-
[21]
Second order freeness and fluctuations of random matrices: II
James Mingo, Piotr \'S niady, and Roland Speicher. Second order freeness and fluctuations of random matrices: II . U nitary random matrices. Advances in Mathematics , 209(1):212--240, 2007
2007
-
[22]
Finite free convolutions of polynomials
Adam Marcus, Daniel Spielman, and Nikhil Srivastava. Finite free convolutions of polynomials. Probability Theory and Related Fields , 182(3):807--848, 2022
2022
-
[23]
The asymptotic infinitesimal distribution of a real wishart random matrix
James Mingo and Josu \'e V \'a zquez-Becerra. The asymptotic infinitesimal distribution of a real wishart random matrix. Journal of Mathematical Physics , 66(1), 2025
2025
-
[24]
Lectures on the combinatorics of free probability , volume 13
Alexandru Nica and Roland Speicher. Lectures on the combinatorics of free probability , volume 13. Cambridge University Press, 2006
2006
-
[25]
Free probability of type- B and asymptotics of finite-rank perturbations of random matrices
Dimitri Shlyakhtenko. Free probability of type- B and asymptotics of finite-rank perturbations of random matrices. Indiana University Mathematics Journal , 67(2):971--991, 2018
2018
-
[26]
Enumerative Combinatorics, vol 1
Richard Stanley. Enumerative Combinatorics, vol 1 . Cambridge Studies in Advanced Mathematics. Cambridge University Press, second edition, 2011
2011
-
[27]
o . Bemerkungen zu einem S atz von JH G race \
G \'a bor Szeg \"o . Bemerkungen zu einem S atz von JH G race \"u ber die W urzeln algebraischer G leichungen. Mathematische Zeitschrift , 13(1):28--55, 1922
1922
-
[28]
Addition of certain non-commuting random variables
Dan Voiculescu. Addition of certain non-commuting random variables. Journal of functional analysis , 66(3):323--346, 1986
1986
-
[29]
Multiplication of certain non-commuting random variables
Dan Voiculescu. Multiplication of certain non-commuting random variables. Journal of Operator Theory , pages 223--235, 1987
1987
-
[30]
Limit laws for random matrices and free products
Dan Voiculescu. Limit laws for random matrices and free products. Inventiones mathematicae , 104(1):201--220, 1991
1991
-
[31]
The analogues of entropy and of fisher's information measure in free probability theory, I
Dan Voiculescu. The analogues of entropy and of fisher's information measure in free probability theory, I . Communications in Mathematical Physics , 155(1):71--92, 1993
1993
-
[32]
On the location of the roots of certain types of polynomials
Joseph Walsh. On the location of the roots of certain types of polynomials. Transactions of the American Mathematical Society , 24(3):163--180, 1922
1922
Reviewed August 16, 2026 · model on record in the stance chip above.
Discussion (0). Continue with ORCID to comment.