v5: 128 pages, some corrections are made about the volume of a compact Lie group, and refs are also included. This review article is just pedagogical. arXiv admin note: text overlap with arXiv:quant-ph/0302197 by other authors
The matrix integral has many applications in diverse fields. This review article begins by presenting detailed key background knowledge about matrix integral. Then the volumes of orthogonal groups and unitary groups are computed, respectively. As a unification, we present Mcdonald's volume formula for a compact Lie group. With this volume formula, one can easily derives the volumes of orthogonal groups and unitary groups. Applications are also presented as well. Specifically, The volume of the set of mixed quantum states is computed by using the volume of unitary group. The volume of a metric ball in unitary group is also computed as well.
There are no new results in this article, but only detailed and elementary proofs of existing results. The purpose of the article is pedagogical, and to collect in one place many, if not all, of the quantum information applications of the volumes of orthogonal and unitary groups.
We study bipartite unitary operators which stay invariant under the local actions of diagonal unitary and orthogonal groups. We investigate structural properties of these operators, arguing that the diagonal symmetry makes them suitable for analytical study. As a first application, we construct large new families of dual unitary gates in arbitrary finite dimensions, which are important toy models for entanglement spreading in quantum circuits. We then analyze the non-local nature of these invariant operators, both in discrete (operator Schmidt rank) and continuous (entangling power) settings. …
We analyze bipartite matrices and linear maps between matrix algebras, which are respectively, invariant and covariant, under the diagonal unitary and orthogonal groups' actions. By presenting an expansive list of examples from the literature, which includes notable entries like the Diagonal Symmetric states and the Choi-type maps, we show that this class of matrices (and maps) encompasses a wide variety of scenarios, thereby unifying their study. We examine their linear algebraic structure and investigate different notions of positivity through their convex conic manifestations. In particular…
We study self-duality for interacting particle systems, where the particles move as continuous time random walkers having either exclusion interaction or inclusion interaction. We show that orthogonal self-dualities arise from unitary symmetries of the Markov generator. For these symmetries we provide two equivalent expressions that are related by the Baker-Campbell-Hausdorff formula. The first expression is the exponential of an anti Hermitian operator and thus is unitary by inspection; the second expression is factorized into three terms and is proved to be unitary by using generating functi…
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.
A parametrization of 3x3 unitary matrices is presented. This mathematical approach is inspired on polarization algebra and is formulated through the identification of a set of three orthonormal three-dimensional Jones vectors representing the respective pure polarization states. This approach leads to the representation of a 3x3 unitary matrix as an orthogonal similarity transformation of a particular type of unitary matrix that depends on six independent parameters, while the remaining three parameters correspond to the orthogonal matrix of the said transformation. The results obtained are ap…
The permanent of unitary matrices and their blocks has attracted increasing attention in quantum physics and quantum computation because of connections with the Hong-Ou-Mandel effect and the Boson Sampling problem. In that context, it would be useful to know the distribution of the permanent or other immanants for random matrices, but that seems a difficult problem.We advance this program by calculating the average of the squared modulus of a generic immanant for blocks from random matrices in the unitary group, in the orthogonal group and in the circular orthogonal ensemble. In the case of th…
We consider the Hankel determinant generated by the Gaussian weight with two jump discontinuities. Utilizing the results of [C. Min and Y. Chen, Math. Meth. Appl. Sci. {\bf 42} (2019), 301--321] where a second order PDE was deduced for the log derivative of the Hankel determinant by using the ladder operators adapted to orthogonal polynomials, we derive the coupled Painlevé IV system which was established in [X. Wu and S. Xu, arXiv: 2002.11240v2] by a study of the Riemann-Hilbert problem for orthogonal polynomials. Under double scaling, we show that, as $n\rightarrow\infty$, the log derivative…
The ratio of two consecutive level spacings has emerged as a very useful metric in investigating universal features exhibited by complex spectra. It does not require the knowledge of density of states and is therefore quite convenient to compute in analyzing the spectrum of a general system. The Wigner-surmise-like results for the ratio distribution are known for the invariant classes of Gaussian random matrices. However, for the crossover ensembles, which are useful in modeling systems with partially broken symmetries, corresponding results have remained unavailable so far. In this work, we d…
Let $H$ be a complex Hilbert space and let ${\mathcal G}_{k}(H)$ be the Grassmannian formed by $k$-dimensional subspaces of $H$. Suppose that $\dim H>2k$ and $f$ is an orthogonality preserving injective transformation of ${\mathcal G}_{k}(H)$, i.e. for any orthogonal $X,Y\in {\mathcal G}_{k}(H)$ the images $f(X),f(Y)$ are orthogonal. If $\dim H=n$ is finite, then $n=mk+i$ for some integers $m\ge 2$ and $i\in \{0,1,\dots,k-1\}$ (for $i=0$ we have $m\ge 3$). We show that $f$ is a bijection induced by a unitary or anti-unitary operator if $i\in \{0,1,2,3\}$ or $m\ge i+1\ge 5$; in particular, the …
