Joint Continuity and Selberg--ODE Equivalence for the $\mathrm{Sine}_β$ Pair Correlation Function

Abstract

We address two questions posed by Qu and Valkó in their study of the pair correlation function of the $\mathrm{Sine}_β$ process. First, we prove that the pair correlation function admits a jointly continuous version in the inverse-temperature and spatial parameters on $(0,\infty)\times\mathbb{R}$, removing the restriction $β>2$ in their joint-continuity result. The argument uses a general observation: separate weak continuity of a family of probability laws, together with stochastic monotonicity in one parameter, implies joint weak continuity. Applied to the terminal value of the Qu--Valkó diffusion, their Palm-density formula then gives the result without differentiating the Fourier expansion. Second, for $β=2n$ we give a direct proof that the Qu--Valkó matrix-recursion power series agrees with the Selberg-integral representation recorded by Forrester. A Krawtchouk transform converts the Qu--Valkó system into a $(2n+1)$-dimensional differential system with parameter $-(n+1)$, while a centered Aomoto--Selberg trace system has parameter $n+1$. An explicit triangular differential intertwiner reflects the parameter $η\mapsto-η$. Matching the unique Frobenius branch of exponent $2$ gives exactly the Selberg normalization. As a consequence, every coefficient of the Qu--Valkó recursion is identified with an even centered moment of the corresponding Jacobi--Selberg trace statistic.