Skip to content
Preprint

Geometric Dyson Brownian Motions and the Free Log-Normal Limit for a Non-Square Gaussian Matrix Product

Jun 2026 · 0 citations · 91 references
Mathematics

Abstract

We study the squared singular value spectrum of a non-square product of independent real Gaussian matrices, equivalently the feature covariance spectrum of a deep linear neural network at initialization. Starting from the fixed-$m$ covariance diffusion previously obtained in the proportional depth-width limit, we record an equivalent matrix realization, describe its affine invariance, and derive the interacting diffusion satisfied by its eigenvalues. We then take a second limit, sending $m\to\infty$ on the accelerated spectral clock $\tau=mt$, which corresponds in this sequential construction to the relation $dm/n\to\bar\tau$. We establish convergence of the empirical spectral measure path to a deterministic mean-field limit and derive a closed Burgers equation for its $T$-transform. Together with the proportional depth-width limit, these results give a rigorous sequential route from the deep non-square Gaussian product to the free log-normal limit of its feature covariance spectrum; for more general initial laws, the transform yields a free multiplicative convolution form. We further analyze the support of the free log-normal law, give a fixed point iteration for numerical evaluation and a formal Marchenko--Pastur approximation at small time, and use the limiting spectrum to predict the risk in a toy random feature model.

View source

Similar papers

Preprint Aug 2026

Sharp Wasserstein Convergence Rates for Empirical Path Laws of It\^o Processes

We establish the sharp logarithmic order $(\log N)^{-1/2}$ for the expected $p$-Wasserstein distance, induced by the supremum norm, between the empirical law of $N$ independent copies of a continuous It\^o process and their common path law. We only assume that the initial condition and the drift and diffusion integrands are controlled by a time-uniform random upper bound with a finite $\rho$-moment for some $\rho>p\geq1$. Under this assumption, we use an adaptive random time interval partition argument, which leads to a $(\log n)^{-1/2}$ functional quantization rate. A general transfer principle then converts the quantization estimate into a mean estimate and nonasymptotic deviation bounds for equal-weight empirical laws. Applications include empirical path-law estimates for path-dependent SDEs and a path-space propagation-of-chaos estimate for path-dependent McKean--Vlasov interacting particle systems.

Xihao He, Fengyi Yuan · 0 citations
Preprint Aug 2026

Spectral Simplicity and Joint Eigenvalue Densities for a Non-Gaussian Brownian Time Change

We study a Brownian time change on the unit square whose speed measure is constructed from a Dirichlet eigenfunction expansion with independent non-Gaussian coefficients. For $0<\gamma<\sqrt2$, the measure is obtained by a second-moment martingale argument. Finite coefficient translations induce coherent exponential tilts of the speed measure, and conditioning on the complementary coefficients gives positive Lebesgue densities on every finite-dimensional orbit. Unitary transport along these orbits gives a common-domain analytic family and explicit first-order cluster derivatives. A first-order splitting argument proves almost-sure simplicity, while the local eigenfunction-square identity and a Vandermonde argument give joint densities for all finite vectors of ordered positive eigenvalues.

Chunhao Cai · 0 citations
Preprint Jul 2026

Mirror Langevin diffusions: Convergence rates and Markov chain approximations

Given a strongly convex function $u$, equip $R^d$ with a Riemannian metric given by the Hessian $\nabla^2 u$. This is a so-called Hessian manifold. Given a probability density $\mu$ one may run a Langevin diffusion intrinsic to the manifold with stationary distribution $\mu$. Such (Hessian) manifold-valued Langevin diffusions are called Mirror Langevin diffusions (MLD) which have recently become popular. One of the questions we explore is whether, given $\mu$, one can choose $u$ to get an exponential convergence to equilibrium for the MLD, especially if $\mu$ is not strongly log-concave. Our results are based on Lyapunov function methods and give sufficient conditions for a Poincar\'e or a log-Sobolev inequality to hold for the MLD. These, in turn, imply exponential convergence. We also introduce a Markov chain approximation to the MLD given by a two step Gibbs sampler with stationary distribution $\mu$. This Markov chain is a variant of the Sinkhorn Markov chain introduced in arXiv:2307.16421 that is conjectured to converge to a time-inhomogeneous generalization of the MLD. Under suitable assumptions, we prove that the Markov chain has a guaranteed convergence rate in $\chi^2$ that is consistent with the diffusion time scale. Our proofs are based on ideas from entropic optimal transport and strong data processing inequalities.

Benjamin Capdeville, Young-Heon Kim, Soumik Pal · 0 citations
Preprint Aug 2026

Completely Positive Entropy and Fourier Central Limit Theorems for Stationary Random Measures

We prove an almost-everywhere Fourier central limit theorem for stationary random measures on $\bR^d$ with local second moments whose translation action is essentially free and has completely positive entropy. For the resulting almost-everywhere defined Bartlett density $s_\eta$, we show that there is a single $\lambda_d$-conull set of frequencies, independent of the test functions, on which finite collections of normalized smooth-window Fourier transforms converge jointly to proper complex Gaussian limits with covariance determined by $s_\eta$. No quantitative mixing, correlation-decay, or cumulant-summability assumption is imposed. For stationary point processes of positive intensity, the same good-frequency set yields Gaussian limits for ball-window Fourier transforms and exponential limits for their squared moduli. We also construct a stationary ergodic zero-entropy random measure with bounded continuous Bartlett density, positive $\lambda_1$-almost everywhere, for which the Fourier central limit theorem fails.

Michael Björklund · 0 citations
Preprint Aug 2026

Non-Gaussian fluctuations for traces of squared sample correlation matrices in high dimensions

We provide limit theory for the trace of the squared sample correlation matrix $\mathbf R$, constructed from $n$ observations of a $p$-dimensional random vector with iid components. If the entries have finite fourth moment and $p$ and $n$ grow proportionally, it is known that $\operatorname{tr}({\mathbf R}^2)$ satisfies a central limit theorem (CLT) and the centering and scaling sequences are universal in the sense that they do not depend on the entry distribution. Under symmetry and regular variation assumption with index $\alpha$ and any growth rate of the dimension, we prove that the universal CLT remains valid for $\alpha>3$. For $\alpha<3$, we identify a critical dimension growth at which the fluctuations of $\operatorname{tr}({\mathbf R}^2)$ become non-Gaussian. Moreover, if the dimension $p$ grows faster and $\alpha\le 3$ we establish a non-universal CLT with norming sequences depending on the value of $\alpha$. Our findings are illustrated in a simulation study.

J. Heiny, Xuechun Hu, Felix J. Seo · 0 citations
Preprint Jul 2026

Local structure at the maximum and sharp persistence asymptotics of rough fractional Brownian motion

We consider a fractional Brownian motion $B$ with Hurst index $0<H<1/2$, and its maximiser $\tau$ on $[0,1]$. We show that the rescaled process $a^H(B_{\tau+\,\cdot\,/a}-B_\tau)$ converges in $C_{\mathrm{loc}}(\mathbb R)$ to a limiting tangent law that is $H$-self-similar, supported on nonpositive paths pinned at zero, and rerooting-rescaling invariant: rerooting the limit process at its maximum on any fixed compact interval separated from zero and rescaling again asymptotically reproduces the same law. We also identify the tangent law as the limit of two-sided finite-grid hard-wall laws as the mesh vanishes and both horizons diverge, which can informally be interpreted as conditioning fractional Brownian motion on a nonpositive path. As an application, we consider persistence probabilities for fractional Brownian motion: a tilted variant of $B$ yields a different tangent law with a finite left horizon and an infinite right horizon and we show that \[ \mathbb P(B_t\leq1\text{ for all }0\leq t\leq T) = \big(C+o(1)\big)\,T^{-(1-H)},\quad \text{as }T\to\infty, \] where the leading order coefficient $C\in(0,\infty)$ has an explicit representation in terms of the expected maximum and the tilted tangent law.

Christian Mönch · 0 citations