Overcrowding asymptotics for the Sine(beta) process

Abstract

We give overcrowding estimates for the Sine(beta) process, the bulk point process limit of the Gaussian beta-ensemble. We show that the probability of having exactly n points in a fixed interval is given by e(-beta/2n2) log(n)+O(n(2)) as n -> infinity. We also identify the next order term in the exponent if the size of the interval goes to zero.