Abstract
Several local statistics of interacting particle systems can be predicted by the behaviour of eigenvalues of large random matrices. These eigenvalues form, in turn, a determinantal point process, and their statistical behaviour when the size of the matrix grows is governed by the asymptotic behaviour of their correlation kernel. On the other hand, such kernels are asymptotically described…