-
The spectrum of a tensor of random and deterministic matrices
Authors:
Félix Parraud
Abstract:
We consider operator-valued polynomials in Gaussian Unitary Ensemble random matrices and we show that its $L^p$-norm can be upper bounded, up to an asymptotically small error, by the operator norm of the same polynomial evaluated in free semicircular variables as long as $p=o(N^{2/3})$. As a consequence, if the coefficients are $M$-dimensional matrices with $M=\exp(o(N^{2/3}))$, then the operator…
▽ More
We consider operator-valued polynomials in Gaussian Unitary Ensemble random matrices and we show that its $L^p$-norm can be upper bounded, up to an asymptotically small error, by the operator norm of the same polynomial evaluated in free semicircular variables as long as $p=o(N^{2/3})$. As a consequence, if the coefficients are $M$-dimensional matrices with $M=\exp(o(N^{2/3}))$, then the operator norm of this polynomial converges towards the one of its free counterpart. In particular this provides another proof of the Peterson-Thom conjecture thanks to the result of Ben Hayes. We also obtain similar results for polynomials in random and deterministic matrices.
The approach that we take in this paper is based on an asymptotic expansion obtained by the same author in a previous paper combined with a new result of independent interest on the norm of the composition of the multiplication operator and a permutation operator acting on a tensor of $\mathcal{C}^*$-algebras.
△ Less
Submitted 29 October, 2024; v1 submitted 6 October, 2024;
originally announced October 2024.
-
The free energy of matrix models
Authors:
Félix Parraud,
Kevin Schnelli
Abstract:
In this paper we study multi-matrix models whose potentials are small perturbations of the quadratic potential associated with independent GUE random matrices. More precisely, we compute the free energy and the expectation of the trace of polynomials evaluated in those matrices. We prove an asymptotic expansion in the inverse of the matrix dimension to any order. Out of this result we deduce new f…
▽ More
In this paper we study multi-matrix models whose potentials are small perturbations of the quadratic potential associated with independent GUE random matrices. More precisely, we compute the free energy and the expectation of the trace of polynomials evaluated in those matrices. We prove an asymptotic expansion in the inverse of the matrix dimension to any order. Out of this result we deduce new formulas for map enumeration and the microstates free entropy. The approach that we take is based on the interpolation method between random matrices and free operators developed in [8,29].
△ Less
Submitted 14 December, 2023; v1 submitted 19 October, 2023;
originally announced October 2023.
-
Asymptotic expansion of smooth functions in deterministic and iid Haar unitary matrices, and application to tensor products of matrices
Authors:
Félix Parraud
Abstract:
Let $U^N$ be a family of $N\times N$ independent Haar unitary random matrices and their adjoints, $Z^N$ a family of deterministic matrices, $P$ a self-adjoint noncommutative polynomial, i.e. such that for any $N$, $P(U^N,Z^N)$ is self-adjoint, $f$ a smooth function. We prove that for any $k$, if $f$ is smooth enough, there exist deterministic constants $α_i^P(f,Z^N)$ such that…
▽ More
Let $U^N$ be a family of $N\times N$ independent Haar unitary random matrices and their adjoints, $Z^N$ a family of deterministic matrices, $P$ a self-adjoint noncommutative polynomial, i.e. such that for any $N$, $P(U^N,Z^N)$ is self-adjoint, $f$ a smooth function. We prove that for any $k$, if $f$ is smooth enough, there exist deterministic constants $α_i^P(f,Z^N)$ such that $$ \mathbb{E}\left[\frac{1}{N}\text{Tr}\left( f(P(U^N,Z^N)) \right)\right]\ =\ \sum_{i=0}^k \frac{α_i^P(f,Z^N)}{N^{2i}}\ +\ \mathcal{O}(N^{-2k-2}) .$$ Besides the constants $α_i^P(f,Z^N)$ are built explicitly with the help of free probability. As a corollary, we prove that given $α<1/2$, for $N$ large enough, every eigenvalue of $P(U^N,Z^N)$ is $N^{-α}$-close to the spectrum of $P(u,Z^N)$ where $u$ is a $d$-tuple of free Haar unitaries. We also prove the convergence of the norm of any polynomial $P(U^N\otimes I_M, I_N\otimes Y^M)$ as long as the family $Y^M$ converges strongly and that $M\ll N \ln^{-5/2}(N)$.
△ Less
Submitted 6 February, 2023;
originally announced February 2023.
-
Asymptotic freeness through unitaries generated by polynomials of Wigner matrices
Authors:
Félix Parraud,
Kevin Schnelli
Abstract:
We study products of functions evaluated at self-adjoint polynomials in deterministic matrices and independent Wigner matrices; we compute the deterministic approximations of such products and control the fluctuations. We focus on minimizing the assumption of smoothness on those functions while optimizing the error term with respect to $N$, the size of the matrices. As an application, we build on…
▽ More
We study products of functions evaluated at self-adjoint polynomials in deterministic matrices and independent Wigner matrices; we compute the deterministic approximations of such products and control the fluctuations. We focus on minimizing the assumption of smoothness on those functions while optimizing the error term with respect to $N$, the size of the matrices. As an application, we build on the idea that the long-time Heisenberg evolution associated to Wigner matrices generates asymptotic freeness as first shown in $[9]$. More precisely given $P$ a self-adjoint non-commutative polynomial and $Y^N$ a $d$-tuple of independent Wigner matrices, we prove that the quantum evolution associated to the operator $P(Y^N)$ yields asymptotic freeness for large times.
△ Less
Submitted 15 March, 2024; v1 submitted 3 August, 2022;
originally announced August 2022.
-
Convergence for noncommutative rational functions evaluated in random matrices
Authors:
Benoît Collins,
Tobias Mai,
Akihiro Miyagawa,
Félix Parraud,
Sheng Yin
Abstract:
One of the main applications of free probability is to show that for appropriately chosen independent copies of $d$ random matrix models, any noncommutative polynomial in these $d$ variables has a spectral distribution that converges asymptotically and can be described with the help of free probability. This paper aims to show that this can be extended to noncommutative rational functions, answeri…
▽ More
One of the main applications of free probability is to show that for appropriately chosen independent copies of $d$ random matrix models, any noncommutative polynomial in these $d$ variables has a spectral distribution that converges asymptotically and can be described with the help of free probability. This paper aims to show that this can be extended to noncommutative rational functions, answering an open question by Roland Speicher. This paper also provides a noncommutative probability approach to approximating the free field. At the algebraic level, its construction relies on the approximation by generic matrices. On the other hand, it admits many embeddings in the algebra of operators affiliated with a $II_1$ factor. A consequence of our result is that, as soon as the generators admit a random matrix model, the approximation of any self-adjoint noncommutative rational function by generic matrices can be upgraded at the level of convergence in distribution.
△ Less
Submitted 15 November, 2022; v1 submitted 10 March, 2021;
originally announced March 2021.
-
Concentration estimates for random subspaces of a tensor product, and application to Quantum Information Theory
Authors:
Benoît Collins,
Félix Parraud
Abstract:
Given a random subspace $H_n$ chosen uniformly in a tensor product of Hilbert spaces $V_n\otimes W$, we consider the collection $K_n$ of all singular values of all norm one elements of $H_n$ with respect to the tensor structure. A law of large numbers has been obtained for this random set in the context of $W$ fixed and the dimension of $H_n$ and $V_n$ tending to infinity at the same speed in a pa…
▽ More
Given a random subspace $H_n$ chosen uniformly in a tensor product of Hilbert spaces $V_n\otimes W$, we consider the collection $K_n$ of all singular values of all norm one elements of $H_n$ with respect to the tensor structure. A law of large numbers has been obtained for this random set in the context of $W$ fixed and the dimension of $H_n$ and $V_n$ tending to infinity at the same speed in a paper of Belinschi, Collins and Nechita. In this paper, we provide measure concentration estimates in this context. The probabilistic study of $K_n$ was motivated by important questions in Quantum Information Theory, and allowed to provide the smallest known dimension (184) for the dimension an an ancilla space allowing Minimum Output Entropy (MOE) violation. With our estimates, we are able, as an application, to provide actual bounds for the dimension of spaces where violation of MOE occurs.
△ Less
Submitted 30 September, 2021; v1 submitted 30 November, 2020;
originally announced December 2020.
-
Asymptotic expansion of smooth functions in polynomials in deterministic matrices and iid GUE matrices
Authors:
Felix Parraud
Abstract:
Let $X^N$ be a family of $N\times N$ independent GUE random matrices, $Z^N$ a family of deterministic matrices, $P$ a self-adjoint non-commutative polynomial, that is for any $N$, $P(X^N)$ is self-adjoint, $f$ a smooth function. We prove that for any $k$, if $f$ is smooth enough, there exist deterministic constants $α_i^P(f,Z^N)$ such that…
▽ More
Let $X^N$ be a family of $N\times N$ independent GUE random matrices, $Z^N$ a family of deterministic matrices, $P$ a self-adjoint non-commutative polynomial, that is for any $N$, $P(X^N)$ is self-adjoint, $f$ a smooth function. We prove that for any $k$, if $f$ is smooth enough, there exist deterministic constants $α_i^P(f,Z^N)$ such that $$ \mathbb{E}\left[\frac{1}{N}\text{Tr}\left( f(P(X^N,Z^N)) \right)\right]\ =\ \sum_{i=0}^k \frac{α_i^P(f,Z^N)}{N^{2i}}\ +\ \mathcal{O}(N^{-2k-2}) .$$ Besides the constants $α_i^P(f,Z^N)$ are built explicitly with the help of free probability. In particular, if $x$ is a free semicircular system, then when the support of $f$ and the spectrum of $P(x,Z^N)$ are disjoint, for all $i$, $α_i^P(f,Z^N)=0$. As a corollary, we prove that given $α<1/2$, for $N$ large enough, every eigenvalue of $P(X^N,Z^N)$ is $N^{-α}$-close from the spectrum of $P(x,Z^N)$.
△ Less
Submitted 7 December, 2022; v1 submitted 8 November, 2020;
originally announced November 2020.
-
On the operator norm of non-commutative polynomials in deterministic matrices and iid Haar unitary matrices
Authors:
Félix Parraud
Abstract:
Let $U^N = (U_1^N,\dots, U^N_p)$ be a d-tuple of $N\times N$ independent Haar unitary matrices and $Z^{NM}$ be any family of deterministic matrices in $\mathbb{M}_N(\mathbb{C})\otimes \mathbb{M}_M(\mathbb{C})$. Let $P$ be a self-adjoint non-commutative polynomial. In 1998, Voiculescu showed that the empirical measure of the eigenvalues of this polynomial evaluated in Haar unitary matrices and dete…
▽ More
Let $U^N = (U_1^N,\dots, U^N_p)$ be a d-tuple of $N\times N$ independent Haar unitary matrices and $Z^{NM}$ be any family of deterministic matrices in $\mathbb{M}_N(\mathbb{C})\otimes \mathbb{M}_M(\mathbb{C})$. Let $P$ be a self-adjoint non-commutative polynomial. In 1998, Voiculescu showed that the empirical measure of the eigenvalues of this polynomial evaluated in Haar unitary matrices and deterministic matrices converges towards a deterministic measure defined thanks to free probability theory. Let now $f$ be a smooth function, the main technical result of this paper is a precise bound of the difference between the expectation of $$ \frac{1}{MN} \text{Tr}\left( f(P(U^N\otimes I_M,Z^{NM})) \right) , $$ and its limit when $N$ goes to infinity. If $f$ is seven times differentiable, we show that it is bounded by $M^2 \left\Vert f\right\Vert_{\mathcal{C}^7} N^{-2}$. As a corollary we obtain a new proof with quantitative bounds of a result of Collins and Male which gives sufficient conditions for the operator norm of a polynomial evaluated in Haar unitary matrices and deterministic matrices to converge almost surely towards its free limit. Actually we show that if $U^N$ and $Y^{M_N}$ are independent and $M_N = o(N^{1/3})$, then almost surely, the norm of any polynomial in $(U^N\otimes I_{M_N}, I_N\otimes Y^{M_N})$ converges almost surely towards its free limit.
△ Less
Submitted 30 September, 2021; v1 submitted 28 May, 2020;
originally announced May 2020.
-
On the operator norm of non-commutative polynomials in deterministic matrices and iid GUE matrices
Authors:
Benoît Collins,
Alice Guionnet,
Félix Parraud
Abstract:
Let $X^N = (X_1^N,\dots, X^N_d)$ be a d-tuple of $N\times N$ independent GUE random matrices and $Z^{NM}$ be any family of deterministic matrices in $\mathbb{M}_N(\mathbb{C})\otimes \mathbb{M}_M(\mathbb{C})$. Let $P$ be a self-adjoint non-commutative polynomial. A seminal work of Voiculescu shows that the empirical measure of the eigenvalues of $P(X^N)$ converges towards a deterministic measure de…
▽ More
Let $X^N = (X_1^N,\dots, X^N_d)$ be a d-tuple of $N\times N$ independent GUE random matrices and $Z^{NM}$ be any family of deterministic matrices in $\mathbb{M}_N(\mathbb{C})\otimes \mathbb{M}_M(\mathbb{C})$. Let $P$ be a self-adjoint non-commutative polynomial. A seminal work of Voiculescu shows that the empirical measure of the eigenvalues of $P(X^N)$ converges towards a deterministic measure defined thanks to free probability theory. Let now $f$ be a smooth function, the main technical result of this paper is a precise bound of the difference between the expectation of $$\frac{1}{MN}\text{Tr}\left( f(P(X^N\otimes I_M,Z^{NM})) \right)$$ and its limit when $N$ goes to infinity. If $f$ is six times differentiable, we show that it is bounded by $M^2\left\Vert f\right\Vert_{\mathcal{C}^6}N^{-2}$. As a corollary we obtain a new proof of a result of Haagerup and Thorbjørnsen, later developed by Male, which gives sufficient conditions for the operator norm of a polynomial evaluated in $(X^N,Z^{NM},{Z^{NM}}^*)$ to converge almost surely towards its free limit. Restricting ourselves to polynomials in independent GUE matrices, we give concentration estimates on the largest eingenvalue of these polynomials around their free limit. A direct consequence of these inequalities is that there exists some $β>0$ such that for any $\varepsilon_1<3+β)^{-1}$ and $\varepsilon_2<1/4$, almost surely for $N$ large enough, $$-\frac{1}{N^{\varepsilon_1}}\ \leq \| P(X^N)\| - \left\Vert P(x)\right\Vert \leq\ \frac{1}{N^{\varepsilon_2}}.$$ Finally if $X^N$ and $Y^{M_N}$ are independent and $M_N = o(N^{1/3})$, then almost surely, the norm of any polynomial in $(X^N\otimes I_{M_N},I_N\otimes Y^{M_N})$ converges almost surely towards its free limit. This result is an improvement of a Theorem of Pisier, who was himself using estimates from Haagerup and Thorbjørnsen, where $M_N$ had size $o(N^{1/4})$.
△ Less
Submitted 10 December, 2019;
originally announced December 2019.
