We study states on the universal noncommutative *-algebra generated by the coefficients of a unitary matrix, or equivalently states on the unitary dual group. Its structure of dual group in the sense of Voiculescu allows to define five natural convolutions. We prove that there exists no Haar state for those convolutions. However, we prove that there exists a weaker form of absorbing state, that we call Haar trace, for the free and the tensor convolutions. We show that the free Haar trace is the limit in distribution of the blocks of a Haar unitary matrix when the dimension tends to infinity. Finally, we study a particular class of free Lévy processes on the unitary dual group which are also the limit of the blocks of random matrices on the classical unitary group when the dimension tends to infinity.
We consider the effect of a partial transpose on the limit $*$-distribution of a Haar distributed random unitary matrix. If we fix, $b$, the number of blocks, we show that the partial transpose can be decomposed into a sum of $b$ matrices which are asymptotically free and identically distributed. We then consider the joint effect of different block decompositions and show that under some mild assumptions we also get asymptotic freeness.
We study Haar unitary random matrices with permuted entries. For a sequence of permutations $\left(σ_N\right)_N$, where $σ_N$ acts on $N\times N$ matrices we identify conditions under which the $\ast$--distribution of permuted Haar unitary matrices $U_N^{σ_N}$ is asymptotically circular and free from the unpermuted sequence $U_N$. We show that this convergence takes place in the almost sure sense. Moreover we show that our conditions on the sequence of permutations are generic in the sense that are almost surely satisfied by a sequence of random permutations.
Let $U_n$ be an $n \times n$ Haar unitary matrix. In this paper, the asymptotic normality and independence of $\Tr U_n, \Tr U_n^2, ..., \Tr U_n^k$ are shown by using elementary methods. More generally, it is shown that the renormalized truncated Haar unitaries converge to a Gaussian random matrix in distribution.
Let $A_m^{(1)},\ldots, A_m^{(k)}$ be $m\times m$ left-uppermost blocks of $k$ independent $n\times n$ Haar unitary matrices where $\frac{n}{m}\to α$ as $m\to \infty$, with $1<α<\infty$. Using free probability and Brown measure techniques, we find the limiting spectral distribution of $A_m^{(1)}\cdots A_m^{(k)}$.
Let $U_m$ be an $m \times m$ Haar unitary matrix and $U_{[m,n]}$ be its $n \times n$ truncation. In this paper the large deviation is proven for the empirical eigenvalue density of $U_{[m,n]}$ as $m/n \to λ$ and $n \to \infty$. The rate function and the limit distribution are given explicitly. $U_{[m,n]}$ is the random matrix model of $quq$, where $u$ is a Haar unitary in a finite von Neumann algebra, $q$ is a certain projection and they are free. The limit distribution coincides with the Brown measure of the operator $quq$.
We provide an elementary proof for a theorem due to Petz and Réffy which states that for a random $n\times n$ unitary matrix with distribution given by the Haar measure on the unitary group U(n), the upper left (or any other) $k\times k$ submatrix converges in distribution, after multiplying by a normalization factor $\sqrt{n}$ and as $n\to\infty$, to a matrix of independent complex Gaussian random variables with mean 0 and variance 1.
We address the local spectral behavior of the random matrix $Π_1 U^{\otimes k} Π_2 U^{\otimes k *} Π_1$, where $U$ is a Haar distributed unitary matrix of size $n\times n$, the factor $k$ is at most $c_0\log n$ for a small constant $c_0>0$, and $Π_1,Π_2$ are arbitrary projections on $\ell_2^{n^k}$ of ranks proportional to $n^k$. We prove that in this setting the $k$-fold Kronecker product behaves similarly to the well-studied case when $k=1$.
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 …
We revisit the work of the first named author and using simpler algebraic arguments we calculate integrals of polynomial functions with respect to the Haar measure on the unitary group U(d). The previous result provided exact formulas only for 2d bigger than the degree of the integrated polynomial and we show that these formulas remain valid for all values of d. Also, we consider the integrals of polynomial functions on the orthogonal group O(d) and the symplectic group Sp(d). We obtain an exact character expansion and the asymptotic behavior for large d. Thus we can show the asymptotic freene…
We show that the empirical eigenvalue measure for sum of $d$ independent Haar distributed $n$-dimensional unitary matrices, converge for $n \to \infty$ to the Brown measure of the free sum of $d$ Haar unitary operators. The same applies for independent Haar distributed $n$-dimensional orthogonal matrices. As a byproduct of our approach, we relax the requirement of uniformly bounded imaginary part of Stieltjes transform of $T_n$ that is made in [Guionnet, Krishnapur, Zeitouni; Theorem 1].
Consider the space $C$ of conjugacy classes of a unitary group $U(n+m)$ with respect to a smaller unitary group $U(m)$. It is known that for any element of the space $C$ we can assign canonically a matrix-valued rational function on the Riemann sphere (a Livshits characteristic function). In the paper we write an explicit expression for the natural measure on $C$ obtained as the pushforward of the Haar measure of the group $U(n+m)$ in the terms of characteristic functions.
We discuss some natural maps from a unitary group U(n) to a smaller group U(n-m) (these maps are versions of the Livshic characteristic function). We calculate explicitly the direct images of the Haar measure under some maps. We evaluate some matrix integrals over classical groups and some symmetric spaces (values of the integrals are products of Gamma-functions). These integrals generalize Hua Loo Keng integrals. We construct inverse limits of unitary groups equipped with analogues of the Haar measure and evaluate some integrals over these inverse limits.
Let U be a Haar distributed unitary matrix in U(n)or O(n). We show that after centering the double index process $$ W^{(n)} (s,t) = \sum_{i \leq \lfloor ns \rfloor, j \leq \lfloor nt\rfloor} |U_{ij}|^2 $$ converges in distribution to the bivariate tied-down Brownian bridge. The proof relies on the notion of second order freeness.
We provide a computer algebra package called Random Tensor Network Integrator (RTNI). It allows to compute averages of tensor networks containing multiple Haar-distributed random unitary matrices and deterministic symbolic tensors. Such tensor networks are represented as multigraphs, with vertices corresponding to tensors or random unitaries and edges corresponding to tensor contractions. Input and output spaces of random unitaries may be subdivided into arbitrary tensor factors, with dimensions treated symbolically. The algorithm implements the graphical Weingarten calculus and produces a wei…
This note presents some equalities in law for $Z_N:=\det(\Id-G)$, where $G$ is an element of a subgroup of the set of unitary matrices of size $N$, endowed with its unique probability Haar measure. Indeed, under some general conditions, $Z_N$ can be decomposed as a product of independent random variables, whose laws are explicitly known. Our results can be obtained in two ways : either by a recursive decomposition of the Haar measure or by previous results by Killip and Nenciu on orthogonal polynomials with respect to some measure on the unit circle. This latter method leads naturally to a stu…
We study joint free cumulants of u_t and u_t^{*}, where u_t is a free unitary Brownian motion at time t. We determine explicitly some special families of such cumulants. On the other hand, for a general joint cumulant of u_t and u_t^{*}, we "calculate the derivative" for t going to infinity, when u_t approaches a Haar unitary. In connection to the latter calculation we put into evidence an "infinitesimal determining sequence" which naturally accompanies an arbitrary R-diagonal element in a tracial *-probability space.
We consider the problem of computing the integral $$ \int_{\mathcal{U}(d)} u_{i_1j_1}\cdots u_{i_nj_n} \bar{u}_{i'_1j'_1} \cdots \bar{u}_{i'_{n'}j'_{n'}} dU, $$ where the integration takes place with respect to the probability Haar measure on the unitary group $\mathcal{U}(d)$, and the $u_{ij}$ denotes the $ij$-th entry of a unitary matrix $U$. We present a unified approach connecting classical results, the explicit formula for the integral given by B. Collins and P. Sniady and subsequent works of various authors providing different points of view. Finally we are able to provide an explicit fo…
We consider the sum of two large Hermitian matrices $A$ and $B$ with a Haar unitary conjugation bringing them into a general relative position. We prove that the eigenvalue density on the scale slightly above the local eigenvalue spacing is asymptotically given by the free convolution of the laws of $A$ and $B$ as the dimension of the matrix increases. This implies optimal rigidity of the eigenvalues and optimal rate of convergence in Voiculescu's theorem. Our previous works [3,4] established these results in the bulk spectrum, the current paper completely settles the problem at the spectral e…
In this paper, we are concerned with the large N limit of linear combinations of the entries of a Brownian motion on the group of N by N unitary matrices. We prove that the process of such a linear combination converges to a Gaussian one. Various scales of time and various initial distribution are concerned, giving rise to various limit processes, related to the geometric construction of the unitary Brownian motion. As an application, we propose a quite short proof of the asymptotic Gaussian feature of the linear combinations of the entries of Haar distributed random unitary matrices, a result…
We give a probabilistic proof of the Weyl integration formula on U(n), the unitary group with dimension $n$. This relies on a suitable definition of Haar measures conditioned to the existence of a stable subspace with any given dimension $p$. The developed method leads to the following result: for this conditional measure, writing $Z_U^{(p)}$ for the first nonzero derivative of the characteristic polynomial at 1, \[\frac{Z_U^{(p)}}{p!}\stackrel{\mathrm{law}}{=}\prod_{\ell =1}^{n-p}(1-X_{\ell}),\] the $X_{\ell}$'s being explicit independent random variables. This implies a central limit theorem…
We study the characteristic polynomial of Haar distributed random unitary matrices. We show that after a suitable normalization, as one increases the size of the matrix, powers of the absolute value of the characteristic polynomial as well as powers of the exponential of its argument converge in law to a Gaussian multiplicative chaos measure for small enough real powers. This establishes a connection between random matrix theory and the theory of Gaussian multiplicative chaos.
In this paper, we study Markov dynamics on unitary duals of compact quantum groups. We construct such dynamics from characters of quantum groups. Then we show that the dynamics have generators, and we give an explicit formula of the generators using the representation theory. Moreover, we construct Markov dynamics on the unitary dual of an inductive limit of compact quantum groups.
In this note, we show that the Lyapunov exponents of mixed products of random truncated Haar unitary and complex Ginibre matrices are asymptotically given by equally spaced `picket-fence' statistics. We discuss how these statistics should originate from the connection between random matrix products and multiplicative Brownian motion on $\operatorname{GL}_n(\mathbb{C})$, analogous to the connection between discrete random walks and ordinary Brownian motion. Our methods are based on contour integral formulas for products of classical matrix ensembles from integrable probability.
We prove that the squared singular values of a fixed matrix multiplied with a truncation of a Haar distributed unitary matrix are distributed by a polynomial ensemble. This result is applied to a multiplication of a truncated unitary matrix with a random matrix. We show that the structure of polynomial ensembles and of certain Pfaffian ensembles is preserved. Furthermore we derive the joint singular value density of a product of truncated unitary matrices and its corresponding correlation kernel which can be written as a double contour integral. This leads to hard edge scaling limits that also…
We consider random matrices of the form $H_N=A_N+U_N B_N U^*_N$, where $A_N$, $B_N$ are two $N$ by $N$ deterministic Hermitian matrices and $U_N$ is a Haar distributed random unitary matrix. We establish a universal Central Limit Theorem for the linear eigenvalue statistics of $H_N$ on all mesoscopic scales inside the regular bulk of the spectrum. The proof is based on studying the characteristic function of the linear eigenvalue statistics, and consists of two main steps: (1) generating Ward identities using the left-translation-invariance of the Haar measure, along with a local law for the r…
Consider a symmetric unitary random matrix $V=(v_{ij})_{1 \le i,j \le N}$ from a circular orthogonal ensemble. In this paper, we study moments of a single entry $v_{ij}$. For a diagonal entry $v_{ii}$ we give the explicit values of the moments, and for an off-diagonal entry $v_{ij}$ we give leading and subleading terms in the asymptotic expansion with respect to a large matrix size $N$. Our technique is to apply the Weingarten calculus for a Haar-distributed unitary matrix.
