arxiv: 2604.03213 · v1 · submitted 2026-04-03 · 🧮 math.PR · math.OA

Recognition: 2 theorem links

· Lean Theorem

Asymptotic expansion for transport maps between laws of multimatrix models

David Jekel , Evangelos A. Nikitopoulos , F\'elix Parraud

Authors on Pith no claims yet

Pith reviewed 2026-05-13 18:37 UTC · model grok-4.3

classification 🧮 math.PR math.OA

keywords random matricesmultimatrix modelstransport mapsasymptotic expansionsnoncommutative functionsGUE matricesstrong convergenceheat semigroup

0 comments

The pith

Transport maps from independent GUE matrices to convex multimatrix models admit asymptotic expansions in powers of 1/N².

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

The paper derives an asymptotic expansion in powers of 1/N² for the trace of noncommutative smooth functions of random matrix tuples Y^N whose joint density is proportional to exp(-N² V) for a convex potential V. It constructs a family of maps T^N that transport the law of independent GUE matrices onto the law of Y^N and supplies an expansion for these maps as well. The expansions imply strong convergence of the multimatrix models Y^N in the large-N limit. The proofs proceed by first obtaining an asymptotic expansion for the heat semigroup of the measure, written in terms of smooth functions of a matrix Brownian motion, after introducing spaces of noncommutative smooth functions that treat polynomials and single-variable smooth functions uniformly.

Core claim

For Y^N with joint density proportional to exp(-N² V) where V is convex in noncommuting variables and obeys bounds on its second derivative, the trace of any noncommutative smooth function of Y^N admits an expansion in powers of 1/N²; moreover, there exists a family of transport maps T^N from the law of independent GUE matrices to the law of Y^N that likewise admit such expansions, which in turn establishes strong convergence of the multimatrix models Y^N.

What carries the argument

The asymptotic expansion of the heat semigroup associated to the measure, expressed through smooth functions of matrix Brownian motion, which is used to derive the expansions for traces and transport maps.

If this is right

The trace of noncommutative smooth functions of Y^N expands in powers of 1/N².
The transport maps T^N from GUE laws to the law of Y^N admit asymptotic expansions in powers of 1/N².
The multimatrix models Y^N converge strongly as N tends to infinity.
The new spaces of noncommutative smooth functions permit systematic asymptotic expansion techniques for multimatrix models with convex interactions.

Where Pith is reading between the lines

These are editorial extensions of the paper, not claims the author makes directly.

The expansions may permit explicit higher-order corrections when computing large-N limits of noncommutative moments.
The heat-semigroup approach could be adapted to obtain expansions for other matrix ensembles whose potentials satisfy weaker regularity conditions.
Strong convergence supplies a quantitative version of almost-sure convergence of all joint moments in the matrix algebra.
The unified function spaces may allow direct comparison between polynomial and smooth cases in free-probability calculations.

Load-bearing premise

The potential V is convex in non-commuting variables and satisfies certain bounds on its second derivative.

What would settle it

A convex potential V obeying the stated derivative bounds for which either the trace of a noncommutative smooth function of Y^N lacks the claimed 1/N² expansion or the corresponding transport maps T^N fail to expand in the same way.

read the original abstract

We study the large-$N$ behavior of random matrix tuples $Y^N = (Y_1^N,\dots,Y_d^N)$ with joint density proportional to $e^{-N^2 V}$ for some convex function $V$ in non-commuting variables satisfying certain bounds on its second derivative. We give an asymptotic expansion in powers of $1/N^2$ of the trace of noncommutative smooth functions of $Y^N$. We also give an asymptotic expansion for a family of maps $T^N$ that transport the law of a tuple of independent GUE random matrices to the law of $Y^N$ and, as a consequence, show strong convergence for the multimatrix models $Y^N$. Our proof is based on an asymptotic expansion for the heat semigroup associated to the measure, which is expressed in terms of smooth functions of a matrix Brownian motion $(S^{N}_t)_{t \geq 0}$. We introduce spaces of noncommutative smooth functions that unify and generalize the cases of polynomials and single-variable smooth functions and allow the systematic application of asymptotic expansion techniques to multimatrix models with convex interaction.

Editorial analysis

A structured set of objections, weighed in public.

Desk editor's note, referee report, simulated authors' rebuttal, and a circularity audit. Tearing a paper down is the easy half of reading it; the pith above is the substance, this is the friction.

Desk Editor's Note private letter to a colleague

This paper introduces noncommutative smooth function spaces to get 1/N² asymptotic expansions for transport maps from GUE to multimatrix models Y^N.

read the letter

The main thing to know is that the authors define spaces of noncommutative smooth functions that let them run heat-semigroup expansions for convex multimatrix models, yielding 1/N² expansions for both traces of those functions on Y^N and for the transport maps T^N that push independent GUE laws forward to the law of Y^N. They also recover strong convergence of the models as a byproduct. The construction works through the matrix Brownian motion S^N_t and the generator L_V tied to the potential V. This unifies and extends the polynomial and single-variable cases in a way that previous single-matrix techniques did not directly cover. The convexity of V plus the stated second-derivative bounds are used to guarantee the equilibrium measure exists and to support the expansion. The approach looks grounded in existing semigroup ideas rather than ad hoc fitting. The soft spot is the remainder control for d greater than 1. The stress-test note flags that mixed partials between distinct matrices could produce growth if the bounds on V are not strong enough in the right norm. The abstract claims the expansions hold to all orders, so the paper must supply uniform estimates that close this, but that is the part a referee would need to check line by line. Without seeing those estimates in detail it is hard to be fully confident the remainders stay bounded independently of N. This work is for people already working in free probability and large-N multimatrix models who want sharper asymptotic tools. A reader who knows the single-matrix transport results will see the value in the generalization. It has enough new technical content and specific claims to deserve peer review rather than a desk reject. I would bring it to a reading group if the group covers noncommutative analysis or random matrices. I would not cite it in my own work in the next year unless I start a project on multimatrix transport. The thinking is serious and engaged with the literature.

Referee Report

2 major / 2 minor

Summary. The paper studies large-N asymptotics for d-tuples of N×N matrices Y^N with joint law proportional to exp(-N² V(Y)), where V is convex in non-commuting variables and satisfies second-derivative bounds. It claims an asymptotic expansion in powers of 1/N² for the normalized trace of noncommutative smooth functions of Y^N, constructs a family of transport maps T^N from the law of independent GUE matrices to the law of Y^N via an expansion of the associated heat semigroup e^{-t L_V} applied to functions of matrix Brownian motion, and deduces strong convergence of the multimatrix models. The proofs rely on newly introduced spaces of noncommutative smooth functions that unify polynomials and single-variable smooth functions.

Significance. If the technical steps hold, the work supplies a systematic heat-semigroup framework for all-order 1/N² expansions in multimatrix models with convex interactions, generalizing single-matrix results and yielding explicit transport maps that imply strong convergence. This could strengthen the analytic toolkit in free probability for controlling fluctuations and limits beyond the leading-order equilibrium measure.

major comments (2)

[§3.2, §4.1] §3.2 and §4.1: the claimed uniform-in-N bounds on the generator L_V acting on the noncommutative smooth function spaces are stated only in trace topology; for d>1 the mixed partial derivatives involving distinct matrices Y_i and Y_j can produce secular growth in the remainder after the first correction term, and no explicit operator-norm or free-Lipschitz estimate is supplied that rules this out.
[Theorem 5.3] Theorem 5.3 (transport-map expansion): the error control after the O(1/N²) term rests on the second-derivative bounds of V being sufficient to close the induction for all orders; the manuscript does not exhibit a concrete verification that the semigroup expansion remains valid uniformly when the non-commutative Hessian is only weakly bounded.

minor comments (2)

[§2–3] Notation for the noncommutative derivatives and the precise definition of the space C^∞_nc should be collected in one place rather than scattered across §2 and §3.
[Assumption 2.1] The statement of the convexity assumption on V should explicitly record whether the bound is in the operator norm or only in the trace sense, as this affects the applicability of the cited semigroup theory.

Simulated Author's Rebuttal

2 responses · 0 unresolved

We thank the referee for the careful reading and constructive comments on our manuscript. We address the major comments point by point below.

read point-by-point responses

Referee: [§3.2, §4.1] §3.2 and §4.1: the claimed uniform-in-N bounds on the generator L_V acting on the noncommutative smooth function spaces are stated only in trace topology; for d>1 the mixed partial derivatives involving distinct matrices Y_i and Y_j can produce secular growth in the remainder after the first correction term, and no explicit operator-norm or free-Lipschitz estimate is supplied that rules this out.

Authors: The bounds on L_V are established in the trace topology because this is the topology in which the expectations of the normalized traces are controlled, which is the setting of all our asymptotic statements. For d>1 the mixed derivatives are controlled uniformly in N by the convexity of V together with the second-derivative bounds, which enter the definition of the noncommutative smooth function spaces and prevent secular growth in the remainders. The free-Lipschitz estimates implicit in those spaces are used throughout the inductive argument. We will add a short clarifying paragraph in §3.2 that makes the passage from trace topology to the required uniform control explicit. revision: partial
Referee: [Theorem 5.3] Theorem 5.3 (transport-map expansion): the error control after the O(1/N²) term rests on the second-derivative bounds of V being sufficient to close the induction for all orders; the manuscript does not exhibit a concrete verification that the semigroup expansion remains valid uniformly when the non-commutative Hessian is only weakly bounded.

Authors: The induction in the proof of Theorem 5.3 is closed precisely by the uniform second-derivative bounds on V, which guarantee that each successive term in the semigroup expansion remains bounded independently of N. The weak boundedness of the Hessian is offset by the strong convexity, which supplies the necessary contraction for the heat kernel. We agree that an explicit verification of the induction step for the error terms would improve readability. In the revised version we will insert a short lemma immediately before Theorem 5.3 that records this uniform control. revision: yes

Circularity Check

0 steps flagged

No significant circularity; derivation self-contained via semigroup expansion on new function spaces

full rationale

The central claims rest on an asymptotic expansion of the heat semigroup e^{-t L_V} acting on newly defined spaces of noncommutative smooth functions of matrix Brownian motion. These spaces are introduced in the paper to unify polynomials and single-variable smooth functions, and the expansion proceeds from the generator L_V under the stated convexity and second-derivative bounds on V. No equation reduces a claimed prediction to a fitted parameter by construction, no uniqueness theorem is imported from the authors' prior work, and no ansatz is smuggled via self-citation. The transport map T^N and trace expansions are derived consequences rather than inputs, and the approach relies on external semigroup theory rather than self-referential definitions.

Axiom & Free-Parameter Ledger

0 free parameters · 1 axioms · 0 invented entities

Based solely on the abstract; the central claims rest on convexity and second-derivative bounds for V together with standard properties of matrix Brownian motion and heat semigroups.

axioms (1)

domain assumption V is convex with bounds on its second derivative
Explicitly required in the abstract for the large-N expansions and transport maps to hold.

pith-pipeline@v0.9.0 · 5503 in / 1199 out tokens · 38453 ms · 2026-05-13T18:37:00.551271+00:00 · methodology

discussion (0)

Lean theorems connected to this paper

Citations machine-checked in the Pith Canon. Every link opens the source theorem in the public Lean library.

IndisputableMonolith/Cost/FunctionalEquation.lean washburn_uniqueness_aczel echoes

?

echoes
ECHOES: this paper passage has the same mathematical shape or conceptual pattern as the Recognition theorem, but is not a direct formal dependency.

We study the large-N behavior of random matrix tuples Y^N = (Y_1^N,…,Y_d^N) with joint density proportional to e^{-N²V} for some convex function V in non-commuting variables satisfying certain bounds on its second derivative. … Our proof is based on an asymptotic expansion for the heat semigroup associated to the measure, which is expressed in terms of smooth functions of a matrix Brownian motion (S^N_t)_{t≥0}.
IndisputableMonolith/Foundation/BranchSelection.lean branch_selection echoes

?

echoes
ECHOES: this paper passage has the same mathematical shape or conceptual pattern as the Recognition theorem, but is not a direct formal dependency.

V(X) = ½ ∑ X_i² + W(X) … κ := max … (‖∂_i D_p W‖_{0,∞} + …) < 1/(4k+5)

What do these tags mean?

matches: The paper's claim is directly supported by a theorem in the formal canon.
supports: The theorem supports part of the paper's argument, but the paper may add assumptions or extra steps.
extends: The paper goes beyond the formal theorem; the theorem is a base layer rather than the whole result.
uses: The paper appears to rely on the theorem as machinery.
contradicts: The paper's claim conflicts with a theorem or certificate in the canon.
unclear: Pith found a possible connection, but the passage is too broad, indirect, or ambiguous to say the theorem truly supports the claim.

Reference graph

Works this paper leans on

61 extracted references · 61 canonical work pages

[1]

Anderson, Alice Guionnet, and Ofer Zeitouni,An Introduction to Random Matrices, Cambridge Studies in Advanced Mathematics, Cambridge University Press, 2009

Greg W. Anderson, Alice Guionnet, and Ofer Zeitouni,An Introduction to Random Matrices, Cambridge Studies in Advanced Mathematics, Cambridge University Press, 2009

work page 2009
[2]

Bandeira, March T

Afonso S. Bandeira, March T. Boedihardjo, and Ramon van Handel,Matrix concentration inequalities and free probability, Inventiones mathematicae234(2023), no. 1, 419–487

work page 2023
[3]

Bandeira, Giorgio Cipolloni, Dominik Schr¨ oder, and Ramon van Handel,Matrix concentration inequalities and free probability II

Afonso S. Bandeira, Giorgio Cipolloni, Dominik Schr¨ oder, and Ramon van Handel,Matrix concentration inequalities and free probability II. Two-sided bounds and applications, arXiv preprint arXiv:2406.11453, 2024

work page arXiv 2024
[4]

Marwa Banna, Mireille Capitaine, and Guillaume C´ ebron,Strong convergence of multiplicative Brownian motions on the general linear group, arXiv preprint arXiv:2507.13922, 2025

work page arXiv 2025
[5]

2, 589–619

Florent Bekerman, Alessio Figalli, and Alice Guionnet,Transport maps forβ-matrix models and universality, Communications in Mathematical Physics338(2015), no. 2, 589–619. 67

work page 2015
[6]

Philippe Biane, Mireille Capitaine, and Alice Guionnet,Large deviation bounds for matrix Brownian motion, Inventiones Mathematicae152(2003), 433–459

work page 2003
[7]

3, 373–409

Philippe Biane and Roland Speicher,Stochastic calculus with respect to free Brownian motion and analysis on Wigner space, Probability theory and related fields112(1998), no. 3, 373–409

work page 1998
[8]

5, 581–606

Philippe Biane and Roland Speicher,Free diffusions, free entropy and free Fisher information, Annales de l’Institut Henri Poincare (B) Probability and Statistics37(2001), no. 5, 581–606

work page 2001
[9]

3, 811–875

Charles Bordenave and Benoˆ ıt Collins,Eigenvalues of random lifts and polynomials of random permutation matrices, Annals of Mathematics190(2019), no. 3, 811–875

work page 2019
[10]

,Norm of matrix-valued polynomials in random unitaries and permutations, arXiv preprint arXiv:2304.05714, 2023

work page arXiv 2023
[11]

Anne Boutet de Monvel, Leonid Pastur, and Maria Shcherbina,On the statistical mechanics approach in the random matrix theory: Integrated density of states, Journal of Statistical Physics79(1995), 585–611

work page 1995
[12]

6, 1734–1838

Tatiana Brailovskaya and Ramon van Handel,Universality and sharp matrix concentration inequalities, Geometric and Functional Analysis34(2024), no. 6, 1734–1838

work page 2024
[13]

1, 35–51

Edouard Br´ ezin, Claude Itzykson, Giorgio Parisi, and Jean-Bernard Zuber,Planar diagrams, Communications in Mathematical Physics59(1978), no. 1, 35–51

work page 1978
[14]

Thomas Buc-d’Alch´ e,Topological expansion of unitary integrals and maps, Annales de l’Institut Henri Poincar´ e D - Combinatorics, Physics and their Interactions13(2024), 1–79

work page 2024
[15]

11, 2645 – 2708

Guillaume C´ ebron,Free convolution operators and free Hall transform, Journal of Functional Analysis265(2013), no. 11, 2645 – 2708

work page 2013
[16]

Tropp, and Ramon van Handel,A new approach to strong convergence, Annals of Mathematics203(2026), no

Chi-Fang Chen, Jorge Garza-Vargas, Joel A. Tropp, and Ramon van Handel,A new approach to strong convergence, Annals of Mathematics203(2026), no. 2, 555–602

work page 2026
[17]

the classical ensembles, arXiv preprint arXiv:2412.00593, 2024

Chi-Fang Chen, Jorge Garza-Vargas, and Ramon van Handel,A new approach to strong con- vergence II. the classical ensembles, arXiv preprint arXiv:2412.00593, 2024

work page arXiv 2024
[18]

1, 172–215

Benoˆ ıt Collins, Alice Guionnet, and Edouard Maurel-Segala,Asymptotics of unitary and or- thogonal matrix integrals, Advances in Mathematics222(2009), no. 1, 172–215

work page 2009
[19]

1, 195–260

Benoˆ ıt Collins, Alice Guionnet, and F´ elix Parraud,On the operator norm of non-commutative polynomials in deterministic matrices and iid GUE matrices, Cambridge Journal of Mathe- matics10(2022), no. 1, 195–260

work page 2022
[20]

4, 47(2014), no

Benoˆ ıt Collins and Camille Male,The strong asymptotic freeness of Haar and deterministic matrices, Annales scientifiques de l’ ´Ecole Normale Sup´ erieureSer. 4, 47(2014), no. 1, 147– 163

work page 2014
[21]

5, 734–745

Benoˆ ıt Collins, Sho Matsumoto, and Jonathan Novak,The Weingarten calculus, Notices of the American Mathematical Society69(2022), no. 5, 734–745

work page 2022
[22]

Yoann Dabrowski,A non-commutative path space approach to stationary free stochastic dif- ferential equations, arXiv preprint arXiv:1006.4351, 2010. 68

work page arXiv 2010
[23]

Yoann Dabrowski, Alice Guionnet, and Dimitri Shlyakhtenko,Free transport for convex po- tentials, New Zealand Journal of Mathematics52(2021), 259–359

work page 2021
[24]

4, 527–580

Guido De Philippis and Alessio Figalli,The Monge–Amp` ere equation and its link to optimal transportation, Bulletin of the American Mathematical Society51(2014), no. 4, 527–580

work page 2014
[25]

Driver, Brian C

Bruce K. Driver, Brian C. Hall, and Todd Kemp,The large-Nlimit of the Segal–Bargmann transform onU N, Journal of Functional Analysis265(2013), no. 11, 2585–2644

work page 2013
[26]

1, 81–176

Alessio Figalli and Alice Guionnet,Universality in several-matrix models via approximate transport maps, Acta Mathematica217(2016), no. 1, 81–176

work page 2016
[27]

Alice Guionnet and Edouard Maurel-Segala,Combinatorial aspects of random matrix models, Latin American Journal of Probability and Statistics (ALEA)1(2006), 241–279

work page 2006
[28]

,Second order asymptotics for matrix models, The Annals of Probability (2007), 2160– 2212

work page 2007
[29]

,Matrix models at low temperature, arXiv preprint arXiv:2210.05239, 2022

work page arXiv 2022
[30]

10, 2851–2905

Alice Guionnet and Jonathan Novak,Asymptotics of unitary multimatrix models: The Schwinger–Dyson lattice and topological recursion, Journal of Functional Analysis268(2015), no. 10, 2851–2905

work page 2015
[31]

6, 1875–1916

Alice Guionnet and Dimitri Shlyakhtenko,Free diffusions and matrix models with strictly convex interaction, Geometric and Functional Analysis18(2009), no. 6, 1875–1916

work page 2009
[32]

3, 613–661

,Free monotone transport, Inventiones Mathematicae197(2014), no. 3, 613–661

work page 2014
[33]

Uffe Haagerup and Steen Thorbjørnsen,A new application of random matrices: is not a group, Annals of Mathematics (2005), 711–775

work page 2005
[34]

H´ ajek and M

P. H´ ajek and M. Johanis,Smooth Analysis in Banach Spaces, De Gruyter Series in Nonlinear Analysis and Applications, vol. 19, De Gruyter, Berlin, 2014

work page 2014
[35]

John Harer and Don Zagier,The Euler characteristic of the moduli space of curves, Inventiones mathematicae85(1986), 457–485

work page 1986
[36]

3, 1243–1297

Ben Hayes,A random matrix approach to the Peterson–Thom conjecture, Indiana University Mathematics Journal71(2022), no. 3, 1243–1297

work page 2022
[37]

II, Journal of Mathe- matical Physics21(1980), no

Claude Itzykson and Jean-Bernard Zuber,The planar approximation. II, Journal of Mathe- matical Physics21(1980), no. 3, 411–421

work page 1980
[38]

PDE 13(2020), no

David Jekel,An elementary approach to free entropy theory for convex potentials, Anal. PDE 13(2020), no. 8, 2289–2374

work page 2020
[39]

6, 4514–4619

David Jekel,Conditional expectation, entropy, and transport for convex Gibbs laws in free probability, International Mathematics Research Notices (2022), no. 6, 4514–4619

work page 2022
[40]

David Jekel,Combinatorial aspects of Parraud’s asymptotic expansion for GUE matrices, ALEA, Lat. Am. J. Probab. Math. Stat.22(2025), 579–606

work page 2025
[41]

David Jekel, Yoonkyeong Lee, Brent Nelson, and Jennifer Pi,Strong convergence to operator- valued semicirculars, Preprint, arXiv:2506.19940, 2025. 69

work page arXiv 2025
[42]

David Jekel, Wuchen Li, and Dimitri Shlyakhtenko,Tracial non-commutative smooth functions and the free Wasserstein manifold, Dissertationes Mathematicae580(2022), 1–150

work page 2022
[43]

Michael Magee and Mikael de la Salle,Strong asymptotic freeness of Haar unitaries in quasi- exponential dimensional representations, Geometric and Functional Analysis (2026), 1–49

work page 2026
[44]

2-3, 805–820

A Matytsin,On the large-N limit of the Itzykson-Zuber integral, Nuclear Physics B411(1994), no. 2-3, 805–820

work page 1994
[45]

Edouard Maurel-Segala,High order expansion of matrix models and enumeration of maps, arXiv preprint math/0608192, 2006

work page arXiv 2006
[46]

Mingo and Roland Speicher,Free probability and random matrices, Fields Institute Monographs, vol

James A. Mingo and Roland Speicher,Free probability and random matrices, Fields Institute Monographs, vol. 35, Springer-Verlag, New York, 2017

work page 2017
[47]

3, 1245–1298

Brent Nelson,Free monotone transport without a trace, Communications in Mathematical Physics334(2015), no. 3, 1245–1298

work page 2015
[48]

9, 2586–2620

,Free transport for finite depth subfactor planar algebras, Journal of Functional Analysis 268(2015), no. 9, 2586–2620

work page 2015
[49]

13, Cambridge University Press, 2006

Alexandru Nica and Roland Speicher,Lectures on the combinatorics of free probability, vol. 13, Cambridge University Press, 2006

work page 2006
[50]

3, 751–806

F´ elix Parraud,On the operator norm of non-commutative polynomials in deterministic matri- ces and iid Haar unitary matrices, Probability Theory and Related Fields182(2022), no. 3, 751–806

work page 2022
[51]

,Asymptotic expansion of smooth functions in deterministic and iid Haar unitary ma- trices, and application to tensor products of matrices, arXiv preprint arXiv:2302.02943, 2023

work page arXiv 2023
[52]

,Asymptotic expansion of smooth functions in polynomials in deterministic matrices and iid GUE matrices, Commun. Math. Phys.399(2023), 249–294

work page 2023
[53]

,The spectrum of a tensor of random and deterministic matrices, arXiv preprint arXiv:2410.04481, 2024

work page arXiv 2024
[54]

1, 427–482

F´ elix Parraud and Kevin Schnelli,The free energy of matrix models, Probability Theory and Related Fields193(2025), no. 1, 427–482

work page 2025
[55]

the real and symplectic cases, Probab

Hanne Schultz,Non-commutative polynomials of independent gaussian random matrices. the real and symplectic cases, Probab. Theory Related Fields131(2005), 261–309

work page 2005
[56]

Gerardus t Hooft,Magnetic monopoles in unified theories, Nucl. Phys. B79(1974), no. CERN- TH-1876, 276–284

work page 1974
[57]

Ramon van Handel,The strong convergence phenomenon, arXiv preprint arXiv:2507.00346, 2025

work page arXiv 2025
[58]

58, American Mathematical Soc., 2003

C´ edric Villani,Topics in optimal transportation, vol. 58, American Mathematical Soc., 2003

work page 2003
[59]

Dykema, and Alexandru Nica,Free random variables, CRM Monograph Series, vol

Dan-Virgil Voiculescu, Kenneth J. Dykema, and Alexandru Nica,Free random variables, CRM Monograph Series, vol. 1, American Mathematical Society, Providence, RI, 1992. 70

work page 1992
[60]

12, 3173–3193

Paul Zinn-Justin and Jean-Bernard Zuber,On some integrals over the U(N) unitary group and their large N limit, Journal of Physics A: Mathematical and General36(2003), no. 12, 3173–3193

work page 2003
[61]

8-10, 281–304

Alexander Zvonkin,Matrix integrals and map enumeration: an accessible introduction, Math- ematical and Computer Modelling26(1997), no. 8-10, 281–304. 71

work page 1997