Eigenvalues of Brownian Motions on
arXiv:2511.10535
Abstract
We prove that the empirical law of eigenvalues of Brownian motion on the Lie Group converges almost surely to a deterministic probability measure, characterized by a free stochastic differential equation. This fully resolves a conjecture made by Philippe Biane in 1997. Our analysis includes a family of nondegenerate diffusion processes on whose laws are invariant under unitary conjugation, with initial distributions assumed to be uniformly bounded and invertible. The crux of our analysis is a strong quantitative approximation of Brownian motion on for small by a single increment , where is an elliptic Brownian motion in the Lie algebra . Specifically, for any and , \[ \mathbb{P}\left(\|B(t)-I-W(t)\|\geq δ\right)\leq \left(C t/δ\right)^{N^{2/3}} \] for a constant . Leveraging independence of multiplicative increments of the Brownian motion then allows us to use powerful (anti-)concentration tools for Gaussian matrices to complete the Hermitization procedure for convergence of eigenvalues.