The Widom--Dyson constant for the gap probability in random matrix theory (Q875349)

From MaRDI portal

!

This is the item page for this Wikibase entity, intended for internal use and editing purposes. Please use the normal view instead:

scientific article; zbMATH DE number 5142278
Language Label Description Also known as
default for all languages
No label defined
    English
    The Widom--Dyson constant for the gap probability in random matrix theory
    scientific article; zbMATH DE number 5142278

      Statements

      The Widom--Dyson constant for the gap probability in random matrix theory (English)
      0 references
      13 April 2007
      0 references
      An asymptotic question in the theory of the Gaussian unitary ensemble of random matrices is considered. In the bulk scaling limit, the probability that there are no eigenvalues in the interval \((0,2s)\) is given by \(P_s~=~\text{ det}(I-K_s)\), where \(K_s\) is the trace-class operator with kernel \(K_s(x,y)= \frac{\text{ sin}(x-y)}{\pi (x-y)}\) acting on \(L^2(0, 2s)\). The asymptotic behaviour of \(P_s\) as \(s \rightarrow \infty\) was determined earlier and of particular interest in an asymptotic expansion is the Widom-Dyson constant \(c_0 = \frac{\text{ 1}}{\text{ 12}}~{\ln 2} + \text{ 3}\zeta' (- \text{ 1})\), where \(\zeta(z)\) is the Riemann zeta-function. A new derivation of this constant which does not rely on certain a priory information is presented. This approach has the potential advantage of being applicable to other problems involving the computation of critical constants, where a priori information may not be available.
      0 references
      random matrices
      0 references
      asymptotic expansions
      0 references
      correlation functions
      0 references
      Riemann-Hilbert problem
      0 references
      Gaussian unitary ensemble
      0 references
      trace-class operator
      0 references
      Widom-Dyson constant
      0 references
      0 references
      0 references
      0 references
      0 references
      0 references
      0 references
      0 references
      0 references
      0 references
      0 references
      0 references
      0 references
      0 references

      Identifiers