arXiv ScienceSearch

arXiv subjects

Felix Parraud

Publications and source records attributed to Felix Parraud.

2 recordsLinked to original sources

Matrix Random Walks and the Lima Bean Law

A matrix random walk is a stochastic process of the form $B_k = (I+A_1)\cdots(I+A_k)$ where $A_j$ are independent ``step'' matrices in $\mathrm{M}_N(\mathbb{C})$. With the right entry-covariance, a rescaled matrix random walk converges to Brownian motion $B(t)$ on a matrix Lie group. In this paper, we study the eigenvalues of such rescaled matrix random walks, as $N\to\infty$ and $k\to\infty$. The standard Brownian motion $W(t)$ on $\mathrm{M}_N(\mathbb{C})$ has independent Gaussian entries at each $t$. It is bi-invariant: mutiplying on the left or right by a unitary does not change the distribution. We prove that the empirical eigenvalue distribution of any matrix random walk $B_k$ with bi-invariant steps $A_j$ and initial distribution converges (for fixed $k$ as $N\to\infty$) to a probability measure on $\mathbb{C}$: the Brown measure of the free probability $\ast$-distribution limit $b_k$ of the random walk. If the steps $A_j$ are identically distributed with normalized Hilbert--Schmidt norm $\|A_j\|_2 = t$, the limit law of eigenvalues is supported on a compact ``lima bean'' shaped region. We explicitly compute the limit measure and region, and characterize their phase transitions as $t$ evolves. We prove that the Brown measure of $b_k$ converges as $k\to\infty$, to the Brown measure of the free multiplicative Brownian motion, assuming only that the steps are bi-invariant and normalized in Hilbert--Schmidt norm. Thus the Brownian motion is the universal limit of rescaled matrix random walks, under very general assumptions on the distribution of steps.

math.PR

Asymptotic expansion of smooth functions in polynomials in deterministic matrices and iid GUE matrices

Let $X^N$ be a family of $N\times N$ independent GUE random matrices, $Z^N$ a family of deterministic matrices, $P$ a self-adjoint non-commutative polynomial, that is for any $N$, $P(X^N)$ is self-adjoint, $f$ a smooth function. We prove that for any $k$, if $f$ is smooth enough, there exist deterministic constants $\alpha_i^P(f,Z^N)$ such that $$ \mathbb{E}\left[\frac{1}{N}\text{Tr}\left( f(P(X^N,Z^N)) \right)\right]\ =\ \sum_{i=0}^k \frac{\alpha_i^P(f,Z^N)}{N^{2i}}\ +\ \mathcal{O}(N^{-2k-2}) .$$ Besides the constants $\alpha_i^P(f,Z^N)$ are built explicitly with the help of free probability. In particular, if $x$ is a free semicircular system, then when the support of $f$ and the spectrum of $P(x,Z^N)$ are disjoint, for all $i$, $\alpha_i^P(f,Z^N)=0$. As a corollary, we prove that given $\alpha<1/2$, for $N$ large enough, every eigenvalue of $P(X^N,Z^N)$ is $N^{-\alpha}$-close from the spectrum of $P(x,Z^N)$.

math.PR