Search arXivSearch

arXiv · math/9708207

Brownian Motion in a Weyl Chamber, Non-Colliding Particles, and Random Matrices

Abstract

Let $n$ particles move in standard Brownian motion in one dimension, with the process terminating if two particles collide. This is a specific case of Brownian motion constrained to stay inside a Weyl chamber; the Weyl group for this chamber is $A_{n-1}$, the symmetric group. For any starting positions, we compute a determinant formula for the density function for the particles to be at specified positions at time $t$ without having collided by time $t$. We show that the probability that there will be no collision up to time $t$ is asymptotic to a constant multiple of $t^{-n(n-1)/4}$ as $t$ goes to infinity, and compute the constant as a polynomial of the starting positions. We have analogous results for the other classical Weyl groups; for example, the hyperoctahedral group $B_n$ gives a model of $n$ independent particles with a wall at $x=0$. We can define Brownian motion on a Lie algebra, viewing it as a vector space; the eigenvalues of a point in the Lie algebra correspond to a point in the Weyl chamber, giving a Brownian motion conditioned never to exit the chamber. If there are $m$ roots in $n$ dimensions, this shows that the radial part of the conditioned process is the same as the $n+2m$-dimensional Bessel process. The conditioned process also gives physical models, generalizing Dyson's model for $A_{n-1}$ corresponding to ${\mathfrak s}{\mathfrak u}_n$ of $n$ particles moving in a diffusion with a repelling force between two particles proportional to the inverse of the distance between them.

Explore related subjects

Keep this discovery

Explore connections, maps & timelines

BibTeXRIS

David J. Grabiner. 1997-08-21. Brownian Motion in a Weyl Chamber, Non-Colliding Particles, and Random Matrices. https://arxiv.org/abs/math/9708207

Cite the original work for its findings. Save a collection to share your selection of sources.

KEEP EXPLORING

Related papers

A local relative trace formula for F*\SL(2,F)

In this note, we derive explicitly the local relative trace formula for the symmetric space F*\SL(2,F) at the level of Lie algebras, where F is a p-adic field of residue characteristic greater than two and F* is the set of invertible elements in F. This is perhaps one of the simplest non-trivial analogs of the trace formula, and also a motivating example for the author's work (in preparation) on the relative trace formula.

math.RT

Semi-infinite parabolic IC-sheaf

Let G be a connected reductive group, P its parabolic subgroup. We consider the parabolic semi-infinite category of sheaves on the affine Grassmanian of G and construct the parabolic version of the semi-infinite IC-sheaf of each orbit. We establish some of its properties and relate it to sheaves on the Drinfeld compactification of the moduli stack Bun_P of P-torsors on a curve. We also relate the parabolic semi-infinite IC-sheaf with the dual baby Verma object on the spectral side.

math.RT

The Grothendieck group of an extriangulated category

In this paper, we investigate the split Grothendieck group $K^{\rm sp}_{0}(\mathcal{M})$ of a $d$-rigid subcategory $\mathcal{M}$ in an extriangulated category $\mathscr{C}$. As applications, we prove the following results: (1) If $\mathcal{M}$ is a silting subcategory, then the Grothendieck group $K_{0}(\mathscr{C})$ is isomorphic to $K_{0}^{\rm sp}(\mathcal{M})$; (2) If $\mathcal{M}$ is a $d$-cluster tilting subcategory, then $K_{0}(\mathscr{C})$ is isomorphic to the index Grothendieck group $K_{0}^{\rm in}(\mathcal{M})$; (3) Let $\mathcal{C}_{A_{n}}^{d}$ be the $d$-cluster category of type $A_n$. If $d$ is even, then $K_0(\mathcal{C}_{A_{n}}^{d})\cong \mathbb{Z}/(n+1)\mathbb{Z}$. If $d$ is odd, then $K_0(\mathcal{C}_{A_{n}}^{d})\cong \mathbb{Z}$ if $n$ is odd; $K_0(\mathcal{C}_{A_{n}}^{d})\cong 0$ if $n$ is even.

math.RT