--- title: Exceptional Hermite Polynomials (XHPs) url: https://www.emergentmind.com/topics/exceptional-hermite-polynomials-xhps type: topic --- # Exceptional Hermite Polynomials (XHPs) Exceptional Hermite polynomials (XHPs) are finite-gap deformations of the classical Hermite orthogonal polynomials in which a finite set of degrees is omitted, yet the family forms a complete orthogonal system in a weighted $L^2$ space with respect to an explicitly modified weight. XHPs arise as eigenfunctions of rational extensions of the quantum harmonic oscillator potential via repeated Darboux or Darboux–Crum transformations, and they are fundamentally connected to monodromy-free Schrödinger operators, bispectrality, special function theory, and integrable systems such as the KP hierarchy and Calogero–Moser systems. ## 1. Construction via Darboux and State-Deleting Transformations Exceptional Hermite polynomials are constructed by applying finite sequences of state-deleting Darboux transformations to the standard harmonic oscillator eigenproblem. Concretely, let $H_n(x)$ denote the classical Hermite polynomial of degree $n$, and let $X = (\lambda_1,\ldots,\lambda_\ell)$ be a partition, which determines the indices of the eigenstates to be deleted. The associated Wronskian is \[ H_X(x) = \mathrm{Wr}[H_{k_1}(x),H_{k_2}(x),\ldots,H_{k_\ell}(x)], \] where $k_i = \lambda_i + i - 1$. The rational extension of the potential is then \[ U(x) = x^2 - 2\frac{d^2}{dx^2}\log H_X(x). \] The exceptional Hermite polynomials, indexed by $n$ not in the set of deleted degrees, are defined by \[ P_{X,n}(x) = \mathrm{Wr}[H_{k_1}(x),\ldots,H_{k_\ell}(x),H_{n+\ell}(x)]. \] The corresponding eigenfunction is $\psi_n(x) = P_{X,n}(x)e^{-x^2/2}/H_X(x)$. The resulting set $\{P_{X,n}\}_{n \notin K_X}$, where $K_X$ is the finite set of deleted indices, forms an exceptional orthogonal family (XHPs), which exist only for even codimension $2m$—that is, only for partitions of $m$. ## 2. Orthogonality, Completeness, and Weight Structure The XHPs are orthogonal with respect to the weight \[ W_X(x) = \frac{e^{-x^2}}{(H_X(x))^2}, \] with orthogonality holding provided the Wronskian has no real zeros (i.e., $X$ is an “even” partition). Precisely, $P_{X,n}$ and $P_{X,m}$ are orthogonal if $n \neq m$ in the non-excluded indices, so \[ \int_{-\infty}^{\infty} P_{X,n}(x)P_{X,m}(x) W_X(x)\, dx = c_n\, \delta_{n,m}. \] The completeness of XHPs in $L^2(\mathbb{R}, W_X(x) dx)$ is established via spectral and monodromy analysis. For each partition $X$, the codimension of the XHPs is $2m = |X|$, and the missing degrees correspond precisely to the set of “exceptional” indices dictated by the Darboux seeds. An alternative proof of completeness utilizes the trivial monodromy property of the underlying rational potential: the corresponding Schrödinger operator \[ L_X = -\frac{d^2}{dx^2} + x^2 - 2\frac{d^2}{dx^2} \log H_X(x) \] is monodromy-free (every solution is meromorphic near each singularity), and this ensures that the polynomial eigenfunctions together with the weight $W_X(x)$ span a dense subset of $L^2(\mathbb{R})$ [1306.5143, 1911.10602, 2012.02354]. ## 3. Differential and Recurrence Properties Each XHP family is the set of polynomial eigenfunctions of a second-order Fuchsian differential operator \[ T_X[y](x) = y''(x) - 2 \left( x + \frac{H_X'(x)}{H_X(x)} \right) y'(x) + \lambda_n y(x), \] with $\lambda_n = 2(n - m)$ (for a codimension $2m$ partition $X$). Unlike the classical case, where Hermite polynomials satisfy a three-term recurrence, XHPs satisfy higher-order recurrences. For a partition of length $\ell$, the recurrence has order $2\ell+3$: \[ \sum_{k=-r}^{r} a_{n,k} P_{X,n+k}(x) = X(x) P_{X,n}(x), \quad r = \ell, \] where the $a_{n,k}$ are rational in $n$ [1409.4697, 1506.03651]. The minimal order of such recurrences is conjectured to be $2\ell+3$ for XHPs indexed by partitions of length $\ell$. There exists a bispectral anti-isomorphism between the ring of differential operators in $x$ and the ring of difference operators in $n$, realized via a stabilizer structure that generalizes the spectral duality of the classical Hermite system [1506.03651, 2006.10025]. ## 4. Ladder Operators, Shape Invariance, and Polynomial Heisenberg Algebras XHPs admit the construction of higher-order ladder operators closing into polynomial Heisenberg algebras (PHAs). For example, in codimension $m$, one can construct creation and annihilation operators $b^\dagger$, $b$ of (at least) order $m+1$ such that \[ [H, b^\dagger] = 2b^\dagger, \qquad b^\dagger b = Q(H), \qquad Q(H) = \prod_{j=1}^{m+1}(H - E_j), \] for certain factorization energies $E_j$ associated with the deleted states [1211.2957, 1212.3474, 2211.00327]. The appearance of multiple types of ladder operators is a signature of the SUSYQM-based construction, where different chains (Crumm, Krein–Adler) yield alternative operator sets, each associated with a specific algebraic and spectral structure. The Hamiltonians constructed via such rational extensions often inherit shape-invariance of higher order, which enables the determination of the entire spectrum algebraically. ## 5. Determinantal and Calogero–Moser Representations XHPs can be expressed via determinantal (Wronskian or Vandermonde-like) formulas: - For the $X_2$ Hermite family associated to partition $\{1,1\}$, explicit integral and determinantal formulas are given [2202.01278], for example, \[ H_{2,n}^{(\{1,1\})}(x) = x\,\frac{2^{n+3}\,n(n-1)(n-2)}{\prod_{1\le i