REVIEW 3 major objections 4 minor 31 references
Rates of convergence in the Free Multiplicative Central Limit Theorem
T0 review · 3 major / 4 minor · reviewed 2026-08-07 · deepseek-v4-flash
Pith's one-line read The paper proves the first quantitative convergence rates for the free multiplicative CLT: products of freely independent variables approach the free multiplicative semicircular law at explicit $n^{-\beta_1}(\log n)^{\beta_2}$ rates.
desk verdict Genuine first quantitative multiplicative free CLT rates, but Theorem 1.1 as stated overreaches its hypotheses: the normalization factor can be infinite, so the advertised unnormalized W_r rate needs a statement-level fix. 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 mechanism is a Fourier\textendash Lindeberg invariance principle run inside the $2\times 2$ matrix algebra $M_2(A)$. Expectations of functions of $|\pi|$ are rewritten through the Hermitization matrix $\begin{pmatrix}0&\pi\\\pi^\*&0\end{pmatrix}$, and the difference between the true product and a limiting-model product is expanded as a telescoping sum in which each factor $g(x_i/\sqrt{n})$ is replaced one at a time. The first-, second-, and third-order terms are controlled with operator-valued free cumulants and H\"older estimates on $g$. Fourier inversion and regularization of Zolotarev functions convert those bounds into distance estimates: for $r=1$ through Kantorovich\textendash Rubinstein duality, and for $r>1$ through Rio's inequality $W_r^r\le c_r Z_r$, with the final rates obtained by balancing truncation, mollification, and Lindeberg error terms.
What would settle it
Construct a sequence satisfying assumptions 1\textendash 4 of Theorem 1.1 with finite moments of order $6+\epsilon$ but divergent moments of order $8(1+r)$, for instance using a power-law tail, and compute the normalization factor $(1+\|\pi_n\|_{L^{8(1+r)}_\varphi})^{6/r}$; if it grows faster than the claimed $n^{\beta_1}(\log n)^{-\beta_2}$, the abstract's unnormalized rate statement fails even though the normalized theorem may hold.
Extended reading notes
Core claim
On the paper's own terms, the central discovery is a quantitative version of the free multiplicative CLT: under regularity and uniform-moment assumptions on $g$ and the free variables, the $r$-Wasserstein distance between the law of $|\pi_n^{g,n^{-1/2}x}|$ and the square root of the free multiplicative semicircular law decays like $n^{-\beta_1}(\log n)^{\beta_2}$, with $\beta_1,\beta_2$ given explicitly in Table 1. The precise statement of Theorem 1.1 normalizes the distance by $(1+\|\pi_n\|_{L^{8(1+r)}_\varphi})^{6/r}$; the unnormalized corollaries hold for identically distributed variables with bounded high moments, including the polynomial product $1+x_i/\sqrt{n}+x_i^2/(2n)$ and the exponential product $e^{x_i/\sqrt{n}}$. The paper also supplies a combinatorial proof, via $k$-equal non-crossing partitions, that identifies the limiting free cumulants and extends the multiplicative CLT to unbounded, non-identically distributed variables.
Load-bearing premise
The argument assumes that the high-moment size of the product, measured by $\|\pi_n\|_{L^{8(1+r)}_\varphi}$, is controlled well enough that the theorem's normalized rate becomes an ordinary Wasserstein rate; the moment assumptions used in Theorem 1.1 do not by themselves imply such control.
Editorial extensions
If this is right
- For products of functions of freely independent variables, the $r$-Wasserstein distance to the free multiplicative semicircular law now has explicit, moment-dependent rates for every $r\ge 1$.
- In the identically distributed bounded setting, unnormalized rates follow for concrete products such as $(1+x_i/\sqrt{n}+x_i^2/(2n))$ and $e^{x_i/\sqrt{n}}$, giving ready-to-use convergence speeds.
- Kolmogorov-distance rates follow from the $r=1$ Wasserstein bound together with the bounded density of the limiting law, doubling the tabulated exponents.
- The combinatorial proof supplies a free multiplicative CLT that extends to unbounded operators and to non-identically distributed inputs, identifying the limiting cumulants as $\frac{k^{k-1}}{k!}(|g^2|_1(0)\sigma)^{2(k-1)}e^{\frac{k}{2}|g^2|_2(0)\sigma^2}$.
Reading between the lines
- Beyond the paper's claims, a uniform bound on $\|\pi_n\|_{L^{8(1+r)}_\varphi}$ under subexponential or bounded-support hypotheses would immediately upgrade the normalized theorem into a standard unnormalized Berry\textendash Esseen bound without new Lindeberg estimates.
- The tabulated exponents are likely not optimal, since they arise from a balancing procedure that equalizes several truncation scales; a matching lower bound or a finer Fourier analysis could shift the balance, and the paper does not attempt such a lower bound.
- The explicit cumulant formula from the combinatorial proof may serve as a testable signature for random matrix products with heavy-tailed entries, where free approximation predicts the same limiting cumulants.
- Numerical algorithms for free multiplicative convolution could use the corollary rates as stopping criteria when iterating the polynomial or exponential approximation of a target product.
Editorial analysis
A structured set of objections, weighed in public.
Referee Report
Summary. The paper claims to provide the first quantitative convergence rates for the free multiplicative central limit theorem for products of the form g(x_1/√n)…g(x_n/√n), measured in r-Wasserstein distance for r≥1 and in Kolmogorov distance. The proof combines a Fourier–Lindeberg replacement argument with Hermitization, reducing the problem to estimates on 2×2 matrix ampliations, and it also contains a combinatorial proof of the multiplicative CLT (Theorem A.8) that is intended to cover unbounded variables. The main theorem states a normalized W_r rate with normalization factor (1+||π_n||_{L^{8(1+r)}})^{6/r}, and the corollaries specialize to g(t)=1+t+t²/2 and g=exp.
Significance. If the technical gap identified below is fixed, this would be a genuinely valuable contribution: it would supply the first quantitative multiplicative free CLT estimates, introduce a Fourier–Lindeberg machinery adapted to multiplicative products, and provide a combinatorial route to the unbounded multiplicative CLT. The proof is detailed and the use of Hermitization and matrix-valued free cumulants is inventive. The main limitation is that the headline theorem, as stated, is not well-posed for the class of inputs admitted by its assumptions, because the normalization factor and parts of the proof require high moments that are not assumed. Because this is a fixable statement/assumption issue rather than an irreparable flaw in the technique, the paper is best handled through major revision.
major comments (3)
- [Theorem 1.1 and §2.2] The theorem as stated is not well-posed for the class of inputs admitted by Assumption 4. Assumption 4 only fixes uniform moments of order 6+ε, but the normalization factor (1+||π_n||_{L^{8(1+r)}})^{6/r} requires, for r=2, the L^24 norm of the product, and the proof in §2.2 (Propositions 2.1–2.3 and the final display before the W_1 case) directly uses ||π_n||_{L^8}. Neither is implied by 6+ε moments of the individual x_i. For example, g(t)=1+t+t²/2 with i.i.d. free x_i satisfying P(|x_i|>t)~t^{-8} satisfies Assumption 4 for ε<1, while ||g(x_1/√n)||_{L^24}=∞ and, for r=5, the relevant moments needed for W_5 are infinite. The proof therefore establishes at most a normalized bound conditional on finiteness of the displayed L^{8(1+r)} factor, and the abstract's unqualified claim of a W_r rate is stronger than what Theorem 1.1 proves. This should be fixed either by adding a high-moment/uniform-L^p assumption on the product or by restating Theorem 1.1 as a normalized bound and deriving unnormalized W_r rates only in corollaries with appropriate moment hypotheses.
- [Corollary 1.3] The statement assumes only that the x_i are freely independent and identically distributed with variance σ², yet the proof asserts that the moments of all orders of the product (2) are uniformly bounded by 'a straightforward application of Theorem A.8'. Theorem A.8 requires, for each k, sup_i φ(x_i^{k(1+ζ)}) < ∞ (see equation (44)), which is much stronger than finite variance. Thus the corollary's assumptions are insufficient for its conclusion; it should either include the moment assumptions of Theorem 1.1/Theorem A.8 or be restricted to variables for which the requisite high moments are finite.
- [Section 2.2, rate optimization] The optimization of ε and ζ in the proof of Theorem 1.1 is presented as a sequence of case computations, but the displayed expressions such as 'ε + ζ + n^{-γ/2} ζ^{-2}ε + ...' omit the prefactors depending on ||π_n||_{L^8}, and the final rates are advertised as holding with constants depending only on moments. Until the normalization issue raised above is resolved, these prefactors are not controlled by the stated assumptions, so the rates in Table 1 cannot be read as unconditional. This is closely tied to the first major comment, but it deserves explicit statement because Table 1 is the paper's main deliverable.
minor comments (4)
- [Theorem 1.1, condition 3] Condition 3 should read |φ(g(n^{-1/2}x_i))| ≥ 1, since φ(g(...)) is complex-valued; the proof uses the modulus in equation (23).
- [Table 1] The column headers contain a typo: 'β”´' should presumably be 'β₂⁻' or similar, matching the notation (β1⁻, β2⁻) and (β1⁺, β2⁺).
- [Corollary 1.4] The limit parameter is stated as 1/2 σ², but Theorem 1.1's parameter is 1/2 |g''(0)| σ; for g=exp one has g''(0)=1, so the parameter should be σ/2. Please reconcile the notation.
- [Assumption 2 in Theorem 1.1] The notation L^{4+o}_φ and L^{2+o}_φ is informal; specifying 4+ε and 2+ε for fixed ε>0 would make the assumption checkable and would match the later use of Hölder exponents.
Circularity Check
No significant circularity: the limit law and its cumulants are external benchmarks from Ho11, BV92, and AFU24; the Lindeberg bounds and rate optimization are derived from scratch; the self-citations [ABT22, BM23] are background technique and non-load-bearing.
full rationale
The paper's derivation chain is self-contained and anchored to external benchmarks, so no step exhibits the kind of reduction-by-construction that would constitute circularity. (1) The target law is external: the free multiplicative semicircular distribution and its cumulants are taken from Ho11, BV92, and AFU24 (Section 1.4, Eq. 7), and the paper's own combinatorial proof (Theorem A.8) recovers the same cumulant formula as a limit derived from the input moments — a consistency check against an independent result, not a definitional identification. (2) The rate derivation in Section 2.2 is pure algebra over proved bounds: Propositions 2.1-2.3 are Lindeberg-type estimates proved from the hypotheses via the moment-cumulant formula (Lemmas A.2, A.4, A.7), and the rates in Table 1 are obtained by optimizing the mollifier and truncation parameters epsilon and zeta; no parameter is fitted to data and no inequality assumes the target rate. (3) The comparison process, exp(y_1^(n))...exp(y_n^(n)), is a factorized infinite-divisibility representation of the limit (BV92/Ho11), and its own convergence is handled by the standard free CLT plus the paper's Theorem A.8, which identifies the limit cumulants against AFU24. (4) The authors' self-citations [ABT22] and [BM23] are cited as the background of the Lindeberg method for additive, Boolean, and monotone CLTs, and the paper explicitly states the multiplicative argument 'cannot be reduced to adaptations of those used for the additive case,' so the self-citations are not load-bearing. The skeptical worry about Theorem 1.1 is a genuine well-definedness/correctness gap: Assumption 4 (uniform moments of order 6+epsilon) does not imply finiteness of ||pi_n||_{L^{8(1+r)}} or of W_r for arbitrary admissible unbounded inputs, so the normalized statement may be vacuous in some cases and the corollaries require stronger moment/exponential assumptions; but a missing hypothesis is a correctness risk, not a circularity, and it does not raise the circularity score. Finding: score 0, no circular steps.
Assumptions & free parameters
assumptions (5)
- domain assumption The sequence xi are freely independent self-adjoint operators in a tracial probability space with common variance sigma squared.
- domain assumption The function g lies in C^(2,gamma)(R) with g(0)=1 and g'(0)=g''(0) in R\{0}, plus integrability bounds involving Holder norms of g and g''.
- domain assumption The expectation condition phi(g(n^{-1/2} xi)) >= 1 holds for all i and n.
- standard math Rio's inequality W_r^r <= c_r Z_r holds for the extended Zolotarev metric used here.
- standard math The free multiplicative semicircular law and its cumulants are correctly described by the known formulas from BV92, Ho11, and AFU24.
Cite this review
Pith. "Pith review of Rates of convergence in the Free Multiplicative Central Limit Theorem." pith.science (2026). https://pith.science/paper/VVLDQF2A
@misc{pith2026250518348,
author = {Pith},
title = {Pith review of: Rates of convergence in the Free Multiplicative Central Limit Theorem},
year = {2026},
howpublished = {\url{https://pith.science/paper/VVLDQF2A}},
note = {Machine review of arXiv:2505.18348}
}
abstract
We provide the first quantitative estimates for the rate of convergence in the free multiplicative central limit theorem (CLT), in terms of the Kolmogorov and $r$-Wasserstein distances for $r \geq 1$. While the free additive CLT has been thoroughly studied, including convergence rates, the multiplicative setting remained open in this regard. We consider products of the form $$ \pi_n^{g,n^{-1/2}x} := g\left(\frac{x_1}{\sqrt{n}}\right) \cdots g\left(\frac{x_n}{\sqrt{n}}\right),$$ where $x_1, \dots, x_n$ are freely independent self-adjoint operators with common variance $\sigma^2$ and $g \colon \mathbb{R} \to \mathbb{C}$ satisfies certain regularity and integrability conditions. We quantify the deviation of the singular value distribution of $\pi_n^{g,x}$ from the free positive semicircular law, with bounds depending only on the moments of the underlying variables. Additionally, we present a combinatorial proof of the free multiplicative CLT that extends to the unbounded setting.
Reference graph
Works this paper leans on
-
[1]
Quantitative Estimates for Operator-Valued and Infinitesimal Boolean and Monotone Limit Theorems
Octavio Arizmendi, Marwa Banna, and Pei-Lun Tseng. Quantitative estimates for operator-valued and infinitesimal boolean and monotone limit theorems. To appear in: Indiana University Mathematics Journal. arXiv preprint arXiv:2211.08054 , 2022
work page Pith review arXiv 2022
-
[2]
Octavio Arizmendi, Katsunori Fujie, and Yuki Ueda. New combinatorial identity for the set of partitions and limit theorems in finite free probability theory. International Mathematics Research Notices , page rnae089, 2024
work page 2024
-
[3]
Products of free random variables and k -divisible non-crossing partitions
Octavio Arizmendi and Carlos Vargas. Products of free random variables and k -divisible non-crossing partitions. Electron. Commun. Probab. , 17:no. 11, 13, 2012
work page 2012
-
[4]
An explicit formula for free multiplicative brownian motions via spherical functions
Martin Auer and Michael Voit. An explicit formula for free multiplicative brownian motions via spherical functions. Indagationes Mathematicae , 2025
work page 2025
-
[5]
Weighted Z olotarev metrics and the K antorovich metric
V Bogachev, A Doledenok, and S Shaposhnikov. Weighted Z olotarev metrics and the K antorovich metric. In Doklady Mathematics , volume 95, 2017
work page 2017
-
[6]
Berry- E sseen bounds for the multivariate B -free CLT and operator-valued matrices
Marwa Banna and Tobias Mai. Berry- E sseen bounds for the multivariate B -free CLT and operator-valued matrices. Trans. Amer. Math. Soc. , 376(6):3761--3818, 2023
work page 2023
- [7]
-
[8]
Limit laws for products of free and independent random variables
Hari Bercovici and Vittorino Pata. Limit laws for products of free and independent random variables. Studia Mathematica , 1(141):43--52, 2000
work page 2000
Show all 31 references
-
[9]
L \'e vy-hin c in type theorems for multiplicative and additive free convolution
Hari Bercovici and Dan-Virgil Voiculescu. L \'e vy-hin c in type theorems for multiplicative and additive free convolution. Pacific journal of mathematics , 153(2):217--248, 1992
1992
-
[10]
Limit theorems for free multiplicative convolutions
Hari Bercovici and Jiun-Chau Wang. Limit theorems for free multiplicative convolutions. Transactions of the American Mathematical Society , 360(11):6089--6102, 2008
2008
-
[11]
G. P. Chistyakov and F. G \"o tze. Limit theorems in free probability theory. I . Ann. Probab. , 36(1):54--90, 2008
2008
-
[12]
Limit theorems in free probability theory II
Gennadiy P Chistyakov and Friedrich G \"o tze. Limit theorems in free probability theory II . Cent. Eur. J. Math , 6(1):87--117, 2008
2008
-
[13]
G. P. Chistyakov and F. G \"o tze. Asymptotic expansions in the CLT in free probability. Probab. Theory Relat. Fields , 157(1-2):107--156, 2013
2013
-
[14]
Central limit for the product of free random variables
Keang-Po Ho. Central limit for the product of free random variables. arXiv preprint arXiv:1101.5220 , 2011
2011 arXiv
-
[15]
On the supports of measures in free multiplicative convolution semigroups
Hao-Wei Huang and Ping Zhong. On the supports of measures in free multiplicative convolution semigroups. Mathematische Zeitschrift , 278(1):321--345, 2014
2014
-
[16]
Berry- E sseen for free random variables
Vladislav Kargin. Berry- E sseen for free random variables. Journal of Theoretical Probability , 20:381--395, 2007
2007
-
[17]
The norm of products of free random variables
Vladislav Kargin. The norm of products of free random variables. Probability theory and related fields , 139(3):397--413, 2007
2007
-
[18]
On asymptotic growth of the support of free multiplicative convolutions
Vladislav Kargin. On asymptotic growth of the support of free multiplicative convolutions. Electronic Communications in Probability [electronic only] , 13:415--421, 2008
2008
-
[19]
Free probability and random matrices , volume 35
James A Mingo and Roland Speicher. Free probability and random matrices , volume 35. Springer, 2017
2017
-
[20]
Rates of convergence in the free central limit theorem
Makoto Maejima and Noriyoshi Sakuma. Rates of convergence in the free central limit theorem. Stat. Probab. Lett. , 197:6, 2023. Id/No 109802
2023
-
[21]
Weighted sums and B erry- E sseen type estimates in free probability theory
Leonie Neufeld. Weighted sums and B erry- E sseen type estimates in free probability theory. Probability Theory and Related Fields , 190(3):803--879, 2024
2024
-
[22]
Lectures on the combinatorics of free probability , volume 335 of Lond
Alexandru Nica and Roland Speicher. Lectures on the combinatorics of free probability , volume 335 of Lond. Math. Soc. Lect. Note Ser. Cambridge: Cambridge University Press, 2006
2006
-
[23]
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
-
[24]
Minimal distances and ideal distances
Emmanuel Rio. Minimal distances and ideal distances. C. R. Acad. Sci., Paris, S \'e r. I, Math. , 326(9):1127--1130, 1998
1998
-
[25]
Fundamentals of S tein's method
Nathan Ross. Fundamentals of S tein's method. Probability Surveys , 8:210--293, 2011
2011
-
[26]
On the rate of convergence and B erry- E sseen type theorems for a multivariate free central limit theorem
Roland Speicher. On the rate of convergence and B erry- E sseen type theorems for a multivariate free central limit theorem. arXiv preprint arXiv:0712.2974 , 2007
2007 arXiv
-
[27]
Optimal transport: old and new , volume 338
C \'e dric Villani et al. Optimal transport: old and new , volume 338. Springer, 2008
2008
-
[28]
Free B rownian motion and free convolution semigroups: multiplicative case
Ping Zhong. Free B rownian motion and free convolution semigroups: multiplicative case. Pacific Journal of Mathematics , 269(1):219--256, 2014
2014
-
[29]
On the free convolution with a free multiplicative analogue of the normal distribution
Ping Zhong. On the free convolution with a free multiplicative analogue of the normal distribution. Journal of Theoretical Probability , 28(4):1354--1379, 2015
2015
-
[30]
V. M. Zolotarev. Ideal metrics in the problem of approximating distributions of sums of independent random variables. Theory of Probability & Its Applications , 22(3):433--449, 1978
1978
-
[31]
V. M. Zolotarev. Properties of and relations among certain types of metrics. J. Sov. Math. , 17:2218--2232, 1981
1981
Reviewed August 7, 2026 · model on record in the stance chip above.
Discussion (0). Continue with ORCID to comment.