A Two-HCIZ Gaussian Matrix Model for Non-intersecting Brownian Bridges
Maksim Kosmakov
TL;DR
The paper constructs a two-HCIZ dressed Gaussian matrix model for non-intersecting Brownian bridges with multiple starts and ends and proves that, at fixed $n$ and time $t$, its eigenvalue density exactly matches the Karlin–McGregor law. A key advance is the single-HCIZ collapse, which factorizes the partition function into an explicit $t$-dependent prefactor and a single HCIZ integral, identifying the partition function as a $2$D-Toda $\tau$-function in Miwa variables and yielding Virasoro (Schwinger–Dyson) constraints. The work also analyzes reductions: in $(p,q)=(1,1)$ it recovers a centered GUE, while in $(p,q)=(2,1)$ the spectral law matches the external-field ensemble but with Haar-distributed eigenvectors, highlighting distinct angular statistics. Overall, the matrix-model formulation provides a unifying origin for the mixed-type MOP/RHP description and enables exact finite-$n identities and large-$n$ asymptotics, linking spectral data to integrable hierarchies and Virasoro symmetries.
Abstract
We construct a one-matrix model for non-intersecting Brownian bridges with multiple starts and ends: it is a Gaussian Hermitian ensemble 'dressed' by two Harish-Chandra-Itzykson-Zuber (HCIZ) integrals encoding the boundary data. We prove that, at finite $n$ (including confluent multiplicities), its eigenvalue law coincides with the Karlin-McGregor distribution. A structural "single-HCIZ collapse" of the partition function, with an explicit $t$-dependent prefactor, identifies it as a $2$D-Toda $τ$-function in Miwa variables and leads to Virasoro constraints via Schwinger-Dyson equations. In the reduction $(p,q)=(2,1)$, the model matches the external-field ensemble spectrally while exhibiting distinct angular statistics (Haar-distributed eigenvectors). These results provide the matrix-integral origin for the mixed-type multiple orthogonal polynomial/Riemann-Hilbert description and enable direct finite-$n$ identities and large-$n$ asymptotics.
