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$.
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_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.
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$.
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].
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 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.
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. F…
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…
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.
The asymptotic law of the truncated $S\times S$ random submatrix of a Haar random matrix in $\mathrm{GL}_N(\mathbb{Z}_m)$ as $N$ goes to infinity is obtained. The same result is also obtained when $\mathbb{Z}_m$ is replaced by any commutative compact local ring whose maximal ideal is topologically closed.
We study the overlaps between right and left eigenvectors for random matrices of the spherical and truncated unitary ensembles. Conditionally on all eigenvalues, diagonal overlaps are shown to be distributed as a product of independent random variables. This enables us to prove that the scaled diagonal overlaps, conditionally on one eigenvalue, converge in distribution to a heavy-tail limit, namely, the inverse of a $γ_2$ distribution. These results are analogous to what is known for the complex Ginibre ensemble. We also provide formulae for the conditional expectation of diagonal and off-diag…
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 …
Limiting distributions of the rightmost eigenvalue of the truncated circular Unitary ensemble across all truncation regimes
School of Mathematical Sciences \& Laboratory of Mathematics；Complex Systems of Ministry of Education, Beijing Normal University, 100875 Beijing, China.
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.
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 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.
A truncation of a Haar distributed orthogonal random matrix gives rise to a matrix whose eigenvalues are either real or complex conjugate pairs, and are supported within the closed unit disk. This is also true for a product $P_m$ of $m$ independent truncated orthogonal random matrices. One of most basic questions for such asymmetric matrices is to ask for the number of real eigenvalues. In this paper, we will exploit the fact that the eigenvalues of $P_m$ form a Pfaffian point process to obtain an explicit determinant expression for the probability of finding any given number of real eigenvalu…
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 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…
This paper is concerned with complex eigenvalues of truncated unitary quaternion matrices equipped with the Haar measure. The joint eigenvalue probability density function is obtained for truncations of any size. We also obtain the spectral density and the eigenvalue correlation functions in various scaling limits. In the limit of strong non-unitarity the universal complex Ginibre form of the correlation functions is recovered in the spectral bulk off the real line after unfolding the spectrum. In the limit of weak non-unitarity we obtain the spectral density and eigenvalue correlation functio…
Based on the multivariate saddle point method we study the asymptotic behavior of the characteristic polynomials associated to Wishart type random matrices that are formed as products consisting of independent standard complex Gaussian and a truncated Haar distributed unitary random matrix. These polynomials form a general class of hypergeometric functions of type \(_2 F_r\). We describe the oscillatory behavior on the asymptotic interval of zeros by means of formulae of Plancherel-Rotach type and subsequently use it to obtain the limiting distribution of the suitably rescaled zeros. Moreover,…
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.
Consider a truncated circular unitary matrix which is a $p_n$ by $p_n$ submatrix of an $n$ by $n$ circular unitary matrix after deleting the last $n-p_n$ columns and rows. Jiang and Qi \cite{JiangQi2017} and Gui and Qi \cite{GQ2018} study the limiting distributions of the maximum absolute value of the eigenvalues (known as spectral radius) of the truncated matrix. Some limiting distributions for the spectral radius for the truncated circular unitary matrix have been obtained under the following conditions: (1). $p_n/n$ is bounded away from $0$ and $1$; (2). $p_n\to\infty$ and $p_n/n\to 0$ as $…
Recently, the joint probability density functions of complex eigenvalues for products of independent complex Ginibre matrices have been explicitly derived as determinantal point processes. We express truncated series coming from the correlation kernels as multivariate integrals with singularity and investigate saddle point method for such a type of integrals. As an application, we prove that the eigenvalue correlation functions have the same scaling limits as those of the single complex Ginibre ensemble, both in the bulk and at the edge of the spectrum. We also prove that the similar results h…
We study the densities of limiting distributions of squared singular values of high-dimensional matrix products composed of independent complex Gaussian (complex Ginibre) and truncated unitary matrices which are taken from Haar distributed unitary matrices with appropriate dimensional growth. In the general case we develop a new approach to obtain complex integral representations for densities of measures whose Stieltjes transforms satisfy algebraic equations of a certain type. In the special cases in which at most one factor of the product is a complex Gaussian we derive elementary expression…
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…
Consider a truncated circular unitary matrix which is a $p_n$ by $p_n$ submatrix of an $n$ by $n$ circular unitary matrix by deleting the last $n-p_n$ columns and rows. Jiang and Qi (2017) proved that the maximum absolute value of the eigenvalues (known as spectral radius) of the truncated matrix, after properly normalized, converges in distribution to the Gumbel distribution if $p_n/n$ is bounded away from $0$ and $1$. In this paper we investigate the limiting distribution of the spectral radius under one of the following four conditions: (1). $p_n\to\infty$ and $p_n/n\to 0$ as $n\to\infty$; …
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…
In this paper, we are interested in sequences of q-tuple of N-by-N random matrices having a strong limiting distribution (i.e. given any non-commutative polynomial in the matrices and their conjugate transpose, its normalized trace and its norm converge). We start with such a sequence having this property, and we show that this property pertains if the q-tuple is enlarged with independent unitary Haar distributed random matrices. Besides, the limit of norms and traces in non-commutative polynomials in the enlarged family can be computed with reduced free product construction. This extends resu…
We establish formulae for the moments of the moments of the characteristic polynomials of random orthogonal and symplectic matrices in terms of certain lattice point count problems. This allows us to establish asymptotic formulae when the matrix-size tends to infinity in terms of the volumes of certain regions involving continuous Gelfand-Tsetlin patterns with constraints. The results we find differ from those in the unitary case considered previously
We consider the empirical eigenvalue distribution of an $m\times m$ principle submatrix of an $n\times n$ random unitary matrix distributed according to Haar measure. Earlier work of Petz and Réffy identified the limiting spectral measure if $\frac{m}{n}\toα$, as $n\to\infty$; under suitable scaling, the family $\{μ_α\}_{α\in(0,1)}$ of limiting measures interpolates between uniform measure on the unit disc (for small $α$) and uniform measure on the unit circle (as $α\to1$). In this note, we prove an explicit concentration inequality which shows that for fixed $n$ and $m$, the bounded-Lipschitz…
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…
The zeros of the random Laurent series $1/μ- \sum_{j=1}^\infty c_j/z^j$, where each $c_j$ is an independent standard complex Gaussian, is known to correspond to the scaled eigenvalues of a particular additive rank 1 perturbation of a standard complex Gaussian matrix. For the corresponding random Maclaurin series obtained by the replacement $z \mapsto 1/z$, we show that these same zeros correspond to the scaled eigenvalues of a particular multiplicative rank 1 perturbation of a random unitary matrix. Since the correlation functions of the latter are known, by taking an appropriate limit the cor…
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…
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 show that Lyapunov exponents and stability exponents are equal in the case of product of $i.i.d$ isotropic(also known as bi-unitarily invariant) random matrices. We also derive aysmptotic distribution of singular values and eigenvalues of these product random matrices. Moreover, Lyapunov exponents are distinct, unless the random matrices are random scalar multiples of Haar unitary matrices or orthogonal matrices. As a corollary of above result, we show probability that product of $n$ $i.i.d$ real isotropic random matrices has all eigenvalues real goes to one as $n \to \infty$. Also, in the …
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.
We apply the operation of random independent thinning on the eigenvalues of $n\times n$ Haar distributed unitary random matrices. We study gap probabilities for the thinned eigenvalues, and we study the statistics of the eigenvalues of random unitary matrices which are conditioned such that there are no thinned eigenvalues on a given arc of the unit circle. Various probabilistic quantities can be expressed in terms of Toeplitz determinants and orthogonal polynomials on the unit circle, and we use these expressions to obtain asymptotics as $n\to\infty$.
In this note we give a combinatorial and non-computational proof of the asymptotics of the integer moments of the moments of the characteristic polynomials of Haar distributed unitary matrices as the size of the matrix goes to infinity. This is achieved by relating these quantities to a lattice point count problem. Our main result is a new explicit expression for the leading order coefficient in the asymptotic as a volume of a certain region involving continuous Gelfand-Tsetlin patterns with constraints.
We extend the relation between random matrices and free probability theory from the level of expectations to the level of fluctuations. We show how the concept of "second order freeness", which was introduced in Part I, allows one to understand global fluctuations of Haar distributed unitary random matrices. In particular, independence between the unitary ensemble and another ensemble goes in the large $N$ limit over into asymptotic second order freeness. Two important consequences of our general theory are: (i) we obtain a natural generalization of a theorem of Diaconis and Shahshahani to the…
We consider the empirical eigenvalue distribution of an $m\times m$ principal submatrix of an $n\times n$ random unitary matrix distributed according to Haar measure. For $n$ and $m$ large with $\frac{m}{n}=α$, the empirical spectral measure is well-approximated by a deterministic measure $μ_α$ supported on the unit disc. In earlier work, we showed that for fixed $n$ and $m$, the bounded-Lipschitz distance between the empirical spectral measure and the corresponding $μ_α$ is typically of order $\sqrt{\frac{\log(m)}{m}}$ or smaller. In this paper, we consider eigenvalues on a microscopic scale,…
A fundamental result of free probability theory due to Voiculescu and subsequently refined by many authors states that conjugation by independent Haar-distributed random unitary matrices delivers asymptotic freeness. In this paper we exhibit many other systems of random unitary matrices that, when used for conjugation, lead to freeness. We do so by first proving a general result asserting "asymptotic liberation" under quite mild conditions, and then we explain how to specialize these general results in a striking way by exploiting Hadamard matrices. In particular, we recover and generalize res…
The eigenvalue distribution of the sum of two large Hermitian matrices, when one of them is conjugated by a Haar distributed unitary matrix, is asymptotically given by the free convolution of their spectral distributions. We prove that this convergence also holds locally in the bulk of the spectrum, down to the optimal scales larger than the eigenvalue spacing. The corresponding eigenvectors are fully delocalized. Similar results hold for the sum of two real symmetric matrices, when one is conjugated by a Haar orthogonal matrix.
Let $X$ be a random matrix whose squared singular value density is a polynomial ensemble. We derive double contour integral formulas for the correlation kernels of the squared singular values of $GX$ and $TX$, where $G$ is a complex Ginibre matrix and $T$ is a truncated unitary matrix. We also consider the product of $X$ and several complex Ginibre/truncated unitary matrices. As an application, we derive the precise condition for the squared singular values of the product of several truncated unitary matrices to follow a polynomial ensemble. We also consider the sum $H + M$ where $H$ is a GUE …
