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 freeness of Haar-distributed orthogonal and symplectic random matrices, as well as the convergence of integrals of the Itzykson-Zuber type.
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 adopt the concept of the composite parameterization of the unitary group U(d) to the special unitary group SU(d). Furthermore, we also consider the Haar measure in terms of the introduced parameters. We show that the well-defined structure of the parameterization leads to a concise formula for the normalized Haar measure on U(d) and SU(d). With regard to possible applications of our results, we consider the computation of high-order integrals over unitary groups.
Random unitary matrices find a number of applications in quantum information science, and are central to the recently defined boson sampling algorithm for photons in linear optics. We describe an operationally simple method to directly implement Haar random unitary matrices in optical circuits, with no requirement for prior or explicit matrix calculations. Our physically-motivated and compact representation directly maps independent probability density functions for parameters in Haar random unitary matrices, to optical circuit components. We go on to extend the results to the case of random u…
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…
We apply symmetric function theory to study random processes formed by singular values of products of truncations of Haar distributed symplectic and orthogonal matrices. These product matrix processes are degenerations of Macdonald processes introduced by Borodin and Corwin. Through this connection, we obtain explicit formulae for the distribution of singular values of a deterministic matrix multiplied by a truncated Haar orthogonal or symplectic matrix under conditions where the latter factor acts as a rank $1$ perturbation. Consequently, we generalize the recent Kieburg-Kuijlaars-Stivigny fo…
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.
We study the scrambling of quantum information in local random unitary circuits by focusing on the tripartite information proposed by Hosur et al. We provide exact results for the averaged Rényi-$2$ tripartite information in two cases: (i) the local gates are Haar random and (ii) the local gates are dual-unitary and randomly sampled from a single-site Haar-invariant measure. We show that the latter case defines a one-parameter family of circuits, and prove that for a "maximally chaotic" subset of this family quantum information is scrambled faster than in the Haar-random case. Our approach is …
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…
Consider fixed and bounded trace Gaussian orthogonal, unitary and symplectic ensembles, closely related to Gaussian ensembles without any constraint. For three restricted trace Gaussian ensembles, we prove universal limits of correlation functions at zero and at the edge of the spectrum edge. In addition, by using the universal result in the bulk for fixed trace Gaussian unitary ensemble, which has been obtained by G$\ddot{o}$tze and Gordin, we also prove universal limits of correlation functions for bounded trace Gaussian unitary ensemble.
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…
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…
Recently, the supersymmetry method was extended from Gaussian ensembles to arbitrary unitarily invariant matrix ensembles by generalizing the Hubbard-Stratonovich transformation. Here, we complete this extension by including arbitrary orthogonally and unitary-symplectically invariant matrix ensembles. The results are equivalent to, but the approach is different from the superbosonization formula. We express our results in a unifying way. We also give explicit expressions for all one-point functions and discuss features of the higher order correlations.
The applications of random quantum circuits range from quantum computing and quantum many-body systems to the physics of black holes. Many of these applications are related to the generation of quantum pseudorandomness: Random quantum circuits are known to approximate unitary $t$-designs. Unitary $t$-designs are probability distributions that mimic Haar randomness up to $t$th moments. In a seminal paper, Brandão, Harrow and Horodecki prove that random quantum circuits on qubits in a brickwork architecture of depth $O(n t^{10.5})$ are approximate unitary $t$-designs. In this work, we revisit th…
Orthogonal - unitary and symplectic - unitary crossover ensembles of random matrices are relevant in many contexts, especially in the study of time reversal symmetry breaking in quantum chaotic systems. Using skew-orthogonal polynomials we show that the same generic form of n-level correlation functions are obtained for the Jacobi family of crossover ensembles, including the Laguerre and Gaussian cases. For large matrices we find universal forms of unfolded correlation functions when expressed in terms of a rescaled transition parameter with arbitrary initial level density.
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 consider an infinite dimensional generalization of Metaplectic representations (Weil representations) for the (double covering of) symplectic group. Given quasifree states of an infinite dimensional CCR algebra, projective unitary representations of the infinite dimensional symplectic group are constructed via unitary implementors of Bogoliubov automorphisms. Complete classification of these representations up to quasi-equivalence is obtained.
Here we give brief account of hermitian symplectic spaces, showing that they are intimately connected to symmetric as well as self-adjoint extensions of a symmetric operator. Furthermore we find an explicit parameterisation of the Lagrange Grassmannian in terms of the unitary matrices $\U (n)$. This allows us to explicitly describe all self-adjoint boundary conditions for the Schroedinger operator on the graph in terms of a unitary matrix. We show that the asymptotics of the scattering matrix can be simply expressed in terms of this unitary matrix.
A Herman-Avila-Bochi type formula is obtained for the average sum of the top d Lyapunov exponents over a one-parameter family of G-cocycles, where G is the group that leaves a certain, non-degenerate hermitian form of signature (c,d) invariant. The generic example of such a group is the pseudo-unitary group U(c,d) or in the case c=d, the hermitian-symplectic group HSp(2d) which naturally appears for cocycles related to Schrödinger operators. In the case d=1, the formula for HSp(2d) cocycles reduces to the Herman-Avila-Bochi formula for SL(2,R) cocycles.
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 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,…
The phase point operator $Δ(q,p)$ is the quantum mechanical counterpart of the classical phase point $(q,p)$. The discrete form of $Δ(q,p)$ was formulated for an odd number of lattice points by Cohendet et al. and for an even number of lattice points by Leonhardt. Both versions have symplectic covariance, which is of fundamental importance in quantum mechanics. However, an explicit form of the projective representation of the symplectic group that appears in the covariance relation is not yet known. We show in this paper the existence and uniqueness of the representation, and describe a method…
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 prove universality at the edge of the spectrum for unitary (beta=2), orthogonal (beta=1) and symplectic (beta=4) ensembles of random matrices in the scaling limit for a class of weights w(x)=exp(-V(x)) where V is a polynomial, V(x)=kappa_{2m}x^{2m}+..., kappa_{2m}>0. The precise statement of our results is given in Theorem 1.1 and Corollaries 1.2, 1.3 below. For a proof of universality in the bulk of the spectrum, for the same class of weights, for unitary ensembles see [DKMVZ2], and for orthogonal and symplectic ensembles see [DG]. Our starting point in the unitary case is [DKMVZ2], and fo…
We prove the existence of a 1/N expansion in unitary multimatrix models which are Gibbs perturbations of the Haar measure, and express the expansion coefficients recursively in terms of the unique solution of a noncommutative initial value problem. The recursion obtained is closely related to the "topological recursion" which underlies the asymptotics of many random matrix ensembles and appears in diverse enumerative geometry problems, but has not previously appeared in the context of random unitary matrices. Our approach consists of two main ingredients: an asymptotic study of the Schwinger-D…
In a recent study we have obtained correction terms to the large N asymptotic expansions of the eigenvalue density for the Gaussian unitary and Laguerre unitary ensembles of random N by N matrices, both in the bulk and at the soft edge of the spectrum. In the present study these results are used to similarly analyze the eigenvalue density for Gaussian and Laguerre random matrix ensembles with orthogonal and symplectic symmetry. As in the case of unitary symmetry, a matching is exhibited between the asymptotic expansion of the bulk density, expanded about the edge, and the asymptotic expansion …
We introduce a new family of probability distributions on the set of pure states of a finite dimensional quantum system. Without any a priori assumptions, the most natural measure on the set of pure state is the uniform (or Haar) measure. Our family of measures is indexed by a time parameter $t$ and interpolates between a deterministic measure ($t=0$) and the uniform measure ($t=\infty$). The measures are constructed using a Brownian motion on the unitary group $\mathcal U_N$. Remarkably, these measures have a $\mathcal U_{N-1}$ invariance, whereas the usual uniform measure has a $\mathcal U_N…
It has recently been emphasized that all known exact evaluations of gap probabilities for classical unitary matrix ensembles are in fact $τ$-functions for certain Painlevé systems. We show that all exact evaluations of gap probabilities for classical orthogonal matrix ensembles, either known or derivable from the existing literature, are likewise $τ$-functions for certain Painlevé systems. In the case of symplectic matrix ensembles all exact evaluations, either known or derivable from the existing literature, are identified as the mean of two $τ$-functions, both of which correspond to Hamilton…
Correlation functions for matrix ensembles with orthogonal and unitarysymplectic rotation symmetry are more complicated to calculate than in the unitary case. The supersymmetry method and the orthogonal polynomials are two techniques to tackle this task. Recently, we presented a new method to average ratios of characteristic polynomials over matrix ensembles invariant under the unitary group. Here, we extend this approach to ensembles with orthogonal and unitary-symplectic rotation symmetry. We show that Pfaffian structures can be derived for a wide class of orthogonal and unitary-symplectic r…
Integrals for the product of unitary-matrix elements over the U(n) group will be discussed. A group-theoretical formula is available to convert them into a multiple sum, but unfortunately the sums are often tedious to compute. In this paper, we develop an alternative method in which these sums are avoided, and group theory is rendered unnecessary. Only unitarity and the invariance of the Haar measure are required for the computation. The method can also be used to get a closed expression for the simpler integral of monomials over a hypersphere.
A symmetry in quantum mechanics is described by the projective representations of a Lie symmetry group that transforms between physical quantum states such that the square of the modulus of the states is invariant. The Heisenberg commutation relations, that are fundamental to quantum mechanics, must be valid in all of these physical states. This paper shows that the maximal quantum symmetry group, whose projective representations preserve the Heisenberg commutation relations in this manner, is the inhomogeneous symplectic group. The projective representations are equivalent to the unitary repr…
We investigate the statistical properties of $C=uvu^{-1}v^{-1}$, when $u$ and $v$ are independent random matrices, uniformly distributed with respect to the Haar measure of the groups $U(N)$ and $O(N)$. An exact formula is derived for the average value of power sum symmetric functions of $C$, and also for products of the matrix elements of $C$, similar to Weingarten functions. The density of eigenvalues of $C$ is shown to become constant in the large-$N$ limit, and the first $N^{-1}$ correction is found.
In this paper we use the canonical complex structure $\mathbb{J}$ on $\mathbb{R}^{2n}$ to introduce a twist of the symplectic Dirac operator. As a matter of fact, these operators can be interpreted as the bosonic analogues of the Dirac operators on a Hermitian manifold. Moreover, we prove that the algebra of these symplectic Dirac operators is isomorphic to the Lie algebra $\mathfrak{su}(1,2)$ which leads to the Howe dual pair $(\mathsf{U}(n),\mathfrak{su}(1,2))$.
We consider pseudo-unitary quantum systems and discuss various properties of pseudo-unitary operators. In particular we prove a characterization theorem for block-diagonalizable pseudo-unitary operators with finite-dimensional diagonal blocks. Furthermore, we show that every pseudo-unitary matrix is the exponential of $i=\sqrt{-1}$ times a pseudo-Hermitian matrix, and determine the structure of the Lie groups consisting of pseudo-unitary matrices. In particular, we present a thorough treatment of $2\times 2$ pseudo-unitary matrices and discuss an example of a quantum system with a $2\times 2$ …
We analyse certain Haar systems associated to groupoids obtained by certain natural equivalence relations of dynamical nature on sets like $\{1,2,...,d\}^\mathbb{Z}$, $\{1,2,...,d\}^\mathbb{N}$, $S^1\times S^1$, or $(S^1)^\mathbb{N}$, where $S^1$ is the unitary circle. We also describe properties of transverse functions, quasi-invariant probabilities and KMS states for some examples of von Neumann algebras (and also $C^*$-Algebras) associated to these groupoids. We relate some of these KMS states with Gibbs states of Thermodynamic Formalism. While presenting new results, we will also describe …
