[Paper Review] Spectral analysis of the free orthogonal matrix

Teodor Banica, Benoı̂t Collins+1 more|ArXiv.org|Jan 14, 2009

Random Matrices and Applications6 references3 citations

TL;DR

This paper computes the spectral measure of the standard generators $u_{ij}$ in Wang's free orthogonal quantum group $A_o(n)$, proving the measure has support $[-2/\sqrt{n+2}, 2/\sqrt{n+2}]$ and no atoms. Using a representation of $SU^q_2$ and orthogonal polynomial techniques, the authors derive explicit formulas for the moments and a generating function for the rescaled variable $w = \sqrt{n+2}\,u_{ij}$, revealing a free analog of the hyperspherical law with a non-trivial density on the unit circle via $z \mapsto z + z^{-1}$.

ABSTRACT

We compute the spectral measure of the standard generators $u_{ij}$ of the Wang algebra $A_o(n)$. We show in particular that this measure has support $[-2/\sqrt{n+2},2/\sqrt{n+2}]$, and that it has no atoms. The computation is done by using various techniques, involving the general Wang algebra $A_o(F)$, a representation of $SU^q_2$ due to Woronowicz, and several calculations with orthogonal polynomials.

Motivation & Objective

• To compute the spectral measure of the standard generators $u_{ij}$ in the free orthogonal quantum group $A_o(n)$, a fundamental problem in free probability and quantum group theory.
• To resolve the lack of analytic tools for computing fine spectral properties (e.g., support, atoms) of $A_o(n)$ generators for fixed $n$, despite known moment formulas via Weingarten calculus.
• To establish a precise connection between the spectral law of $u_{ij}$ and a free analog of the classical hyperspherical law, using a novel representation-theoretic and orthogonal polynomial approach.

Proposed method

• Utilizes a representation of the quantum group $SU^q_2$ due to Woronowicz to model elements of $A_o(n)$, enabling spectral analysis via known $SU^q_2$ structures.
• Applies techniques from orthogonal polynomial theory to compute moments of the normalized generator $w = \sqrt{n+2}\,u_{ij}$, particularly focusing on even moments.
• Derives a generating function for the spectral measure by pulling back the law of $w$ onto the unit circle via the map $z \mapsto z + z^{-1}$, yielding a Laurent series in $z$.
• Establishes a link between the spectral measure and the parameter $q \in (-1,0)$ defined by $q + q^{-1} = -n$, which parametrizes the free orthogonal group.
• Employs the Weingarten calculus framework for $A_o(n)$, but reformulates it via combinatorial identities and orthogonal polynomials to obtain closed-form moment expressions.
• Validates results by comparing derived moment formulas with earlier, computationally limited Weingarten-based formulas, showing agreement and demonstrating superior computational efficiency.

Experimental results

Research questions

• RQ1 What is the exact spectral measure of the standard generators $u_{ij}$ in the free orthogonal quantum group $A_o(n)$ for fixed $n > 2$?
• RQ2 Does the spectral measure of $u_{ij}$ have atoms, and what is its support on the real line?
• RQ3 Can the moments of the normalized generator $w = \sqrt{n+2}\,u_{ij}$ be computed in closed form, and how do they relate to known orthogonal polynomials or quantum group representations?
• RQ4 How does the spectral law of $u_{ij} \in A_o(n)$ relate to the classical hyperspherical law on $O_n$, especially in the context of Voiculescu’s free probability theory?
• RQ5 Can the moment formulas derived from the Weingarten calculus be simplified and made analytically effective for higher-order computations?

Key findings

• The spectral measure of $u_{ij} \in A_o(n)$ has support exactly $[-2/\sqrt{n+2}, 2/\sqrt{n+2}]$, providing a sharp bound on the spectrum of the generators.
• The spectral measure has no atoms, implying the distribution is continuous and absolutely continuous with respect to Lebesgue measure.
• The even moments of the rescaled variable $w = \sqrt{n+2}\,u_{ij}$ are given by a closed-form formula involving binomial coefficients and a rational function in $q$, where $q + q^{-1} = -n$, with $q \in (-1,0)$.
• The density of $w$ pulled back to the unit circle via $z \mapsto z + z^{-1}$ is given by a Laurent series $F(z) = \sum_{r=-\infty}^{\infty} (-1)^r \frac{q^{r-1}(1+q)^2}{(1+q^{r+1})(1+q^{r-1})} z^{2r}$, which encodes the full spectral law.
• The moment computation via the new formula has linear complexity, in contrast to the exponential complexity of the original Weingarten-based approach, enabling efficient computation of high-order moments.
• The results are consistent with earlier moment formulas from the Weingarten calculus, and the agreement confirms the validity of the new method, even for $n$ approaching 2, where the parameter $q \to -1$.