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 An−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 Bn gives a model of n independent particles with a wall at x = 0. We can define Brownian motion on a semisimple Lie algebra, viewing it as a vector space with the Killing form. Since the Killing form is invariant under the adjoint, the motion induces a process in the Weyl chamber of the Lie algebra, 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 An−1 corresponding to un of n particles moving in a diffusion with a repelling force between two particles proportional to the inverse of the distance between them.

[1]  A. Unwin,et al.  Collision times and exit times from cones: a duality , 1992 .

[2]  Doron Zeilberger Andre's reflection proof generalized to the many-candidate ballot problem , 1983, Discret. Math..

[3]  P. Biane Permutation model for semi-circular systems and quantum random walks , 1995 .

[4]  P. Biane Quelques proprietes du mouvement Brownien dans un cone , 1994 .

[5]  F. Dyson A Brownian‐Motion Model for the Eigenvalues of a Random Matrix , 1962 .

[6]  Philippe Biane MINUSCULE WEIGHTS AND RANDOM WALKS ON LATTICES , 1992 .

[7]  Jim Pitman ONE-DIMENSIONAL BROWNIAN MOTION AND THE THREE-DIMENSIONAL BESSEL PROCESS , 1974 .

[8]  T. Watanabe,et al.  On an inclusion-exclusion formula based on the reflection principle , 1987, Discret. Math..

[9]  I. Gessel,et al.  Random walk in a Weyl chamber , 1992 .

[10]  David J. Grabiner,et al.  Random Walks in Weyl Chambers and the Decomposition of Tensor Powers , 1993 .

[11]  D. Freedman Brownian motion and diffusion , 1971 .

[12]  J. Humphreys Introduction to Lie Algebras and Representation Theory , 1973 .

[13]  W. Ledermann INTRODUCTION TO LIE ALGEBRAS AND REPRESENTATION THEORY , 1974 .

[14]  Wendelin Werner,et al.  Non-Colliding Brownian Motions on the Circle , 1996 .

[15]  D. Burkholder Exit times of Brownian motion, harmonic majorization, and Hardy spaces☆ , 1977 .

[16]  S. Karlin,et al.  A second course in stochastic processes , 1981 .

[17]  I. G. MacDonald,et al.  Some Conjectures for Root Systems , 1982 .

[18]  David M. Williams Path Decomposition and Continuity of Local Time for One‐Dimensional Diffusions, I , 1974 .

[19]  I. G. MacDonald,et al.  Symmetric functions and Hall polynomials , 1979 .

[20]  Robert A. Proctor Reflection and Algorithm Proofs of Some More Lie Group Dual Pair Identities , 1993, J. Comb. Theory, Ser. A.

[21]  J. Doob Classical potential theory and its probabilistic counterpart , 1984 .

[22]  J. Harrison,et al.  Brownian motion and stochastic flow systems , 1986 .

[23]  P. Bérard,et al.  Spectres et groupes cristallographiques. II : domaines sphériques , 1980 .

[24]  R. D. D. Blassie,et al.  Remark on exit times from cones in $$\mathbb{R}^n $$ of Brownian motion , 1988 .

[25]  R. DeBlassie,et al.  Exit times from cones in ℝn of Brownian motion , 1987 .

[26]  Nicolas Bourbaki,et al.  Groupes et algèbres de Lie , 1971 .

[27]  W. Hsiang,et al.  Lectures on Lie Groups , 1998 .

[28]  R. Durrett Brownian motion and martingales in analysis , 1984 .