  The gap probability generating function has as its coefficients theprobability of an interval containing exactly $k$ eigenvalues. For scaledrandom matrices with orthogonal symmetry, and the interval at the hard or softspectrum edge, the gap probability generating functions have the specialproperty that they can be evaluated in terms of Painlev\'e transcendents. Thederivation of these results makes use of formulas for the same generatingfunction in certain scaled, superimposed ensembles expressed in terms of itscorrelation functions. It is shown that by a judicious choice of thesuperimposed ensembles, the scaled limit necessary to derive these formulas canbe rigorously justified by a straight forward analysis.
The derivation of these results makes use of formulas for the same generating function in certain scaled, superimposed ensembles expressed in terms of its correlation functions. It is shown that by a judicious choice of the superimposed ensembles, the scaled limit necessary to derive these formulas can be rigorously justified by a straightforward analysis.