English

Matrix Random Walks and the Lima Bean Law

Probability 2025-10-14 v1

Abstract

A matrix random walk is a stochastic process of the form Bk=(I+A1)(I+Ak)B_k = (I+A_1)\cdots(I+A_k) where AjA_j are independent ``step'' matrices in MN(C)\mathrm{M}_N(\mathbb{C}). With the right entry-covariance, a rescaled matrix random walk converges to Brownian motion B(t)B(t) on a matrix Lie group. In this paper, we study the eigenvalues of such rescaled matrix random walks, as NN\to\infty and kk\to\infty. The standard Brownian motion W(t)W(t) on MN(C)\mathrm{M}_N(\mathbb{C}) has independent Gaussian entries at each tt. 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 BkB_k with bi-invariant steps AjA_j and initial distribution converges (for fixed kk as NN\to\infty) to a probability measure on C\mathbb{C}: the Brown measure of the free probability \ast-distribution limit bkb_k of the random walk. If the steps AjA_j are identically distributed with normalized Hilbert--Schmidt norm Aj2=t\|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 tt evolves. We prove that the Brown measure of bkb_k converges as kk\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.

Keywords

Cite

@article{arxiv.2510.10712,
  title  = {Matrix Random Walks and the Lima Bean Law},
  author = {Bruce K. Driver and Brian C. Hall and Ching Wei Ho and Todd Kemp and Yuriy Nemish and Evangelos A. Nikitopoulos and Felix Parraud},
  journal= {arXiv preprint arXiv:2510.10712},
  year   = {2025}
}

Comments

109 pages, 5 figures

R2 v1 2026-07-01T06:32:29.960Z