It follows by substituting (2.10) into the general formula

where denotes the probability of an interval being free of eigenvalues in the ensemble (2.9), that

Since in the case b=1 (2.9) is precisely the eigenvalue probability density function of the GUE with an eigenvalue fixed at the origin, the result (2.4) follows.
Annotation Form Interface

          Your name: 
     E-Mail address: 
 Annotation Subject: 
        Related URL: