Random vicious walks and random matrices

Jinho Baik

DOI: https://doi.org/10.48550/arXiv.math/0001022

2000-01-05

Abstract:Lock step walker model is a one-dimensional integer lattice walker model in discrete time. Suppose that initially there are infinitely many walkers on the non-negative even integer sites. At each tick of time, each walker moves either to its left or to its right with equal probability. The only constraint is that no two walkers can occupy the same site at the same time. It is proved that in the large time limit, a certain conditional probability of the displacement of the leftmost walker is identical to the limiting distribution of the properly scaled largest eigenvalue of a random GOE matrix (GOE Tracy-Widom distribution). The proof is based on the bijection between path configurations and semistandard Young tableaux established recently by Guttmann, Owczarek and Viennot. Statistics of semistandard Young tableaux is analyzed using the Hankel determinant expression for the probability from the work of Rains and the author. The asymptotics of the Hankel determinant is obtained by applying the Deift-Zhou steepest-descent method to the Riemann-Hilbert problem for the related orthogonal polynomials.

Probability,Combinatorics

What problem does this paper attempt to address?

The problem that this paper attempts to solve is: in the lock - step walker model, the relationship between the conditional probability distribution of the displacement of the leftmost walker under large - time limits and the limiting distribution of the largest eigenvalue of a random GOE matrix. Specifically, the author proves that under large - time limits, the conditional probability distribution of the displacement of the leftmost walker is the same as the limiting distribution of the largest eigenvalue of a properly scaled random GOE matrix (i.e., the GOE Tracy - Widom distribution).

### Background and Problem Description of the Paper

1. **Lock - step Walker Model**:
- The lock - step walker model is a one - dimensional integer lattice walk model in discrete time.
- Initially, there are infinitely many walkers located at non - negative even integer positions.
- Each walker can move left or right at each time step, and the probability of each move is equal.
- The constraint is that no two walkers can occupy the same position at any time.

2. **Research Objectives**:
- The author focuses on the displacement of the leftmost walker.
- Specifically, the author studies the conditional probability distribution of the number of left moves \(L_1(N, k)\) of the leftmost walker under the condition that all walkers have made a total of \(k\) left moves within \(N\) time steps.

3. **Main Results**:
- The author proves that in the large \(N\) limit, the conditional probability distribution of the displacement of the leftmost walker is the same as the limiting distribution of the largest eigenvalue of a properly scaled random GOE matrix.
- This result is represented by the following formula:

\[
\lim_{N \to \infty} P\left( \frac{L_1(N, k)-\eta(t)N}{\rho(t)N^{1/3}}\leq x\right)=F_1(x),
\]
when \(k = \frac{t^2}{1 - t^2}N^2+o(N^{4/3})\), where \(F_1(x)\) is the GOE Tracy - Widom distribution function, and \(\eta(t)\) and \(\rho(t)\) are defined as:

\[
\eta(t)=\frac{2t}{1 + t},\quad\rho(t)=\left(\frac{t(1 - t)}{1 + t}\right)^{1/3}.
\]

### Solution Methods

To prove the above results, the author uses the following methods and techniques:

1. **Bijection between Path Configurations and Semistandard Young Tableaux (SSYT)**:
- The author establishes a one - to - one correspondence between the path configurations of the lock - step walker model and semistandard Young tableaux.
- Under this correspondence, the number of left moves \(L_1(N, k)\) of the leftmost walker corresponds to the number of boxes in the first column of the semistandard Young tableau.

2. **Hankel Determinant Expressions**:
- The author uses the work of Rains to represent the probabilities of path configurations by Hankel determinants.
- The asymptotic behavior of Hankel determinants is obtained by applying the Deift - Zhou steepest descent method to solve the Riemann - Hilbert problem of related orthogonal polynomials.

3. **Random Matrix Theory**:
- The author links the statistical properties of semistandard Young tableaux with random matrix theory, especially with the GOE Tracy - Widom distribution.

### Conclusions

This paper reveals the profound relationship between the conditional probability distribution of the displacement of the leftmost walker and the limiting distribution of the largest eigenvalue of a random GOE matrix by establishing the connection between the lock - step walker model and random matrix theory. This result not only deepens the understanding of the lock - step walker model but also provides a new application scenario for random matrix theory.