4 problems

Consider the real counterpart of the joint probability density function in the paper's equation (matrixpdf), with the same parameters and scalings as in Theorem (hardlimits). Real…

Hard-edge gap-ratio asymptotic conjecture. As $s\to\infty$,

Forrester's conjecture. As $s\to\infty$,

Let $E_\beta^{\rm hard}(0;(0,s);a)$ denote the hard-edge probability that $(0,s)$ contains no eigenvalues, with hard-edge parameter $a$. Chen–Manning's conjecture. … This predictio…