We show that the exceptional orthogonal polynomials can be viewed as confluent limits of the generalized Schur polynomials introduced by Sergeev and Veselov.
A new recurrence relation for exceptional orthogonal polynomials is proposed, which holds for type 1, 2 and 3. As concrete examples, the recurrence relations are given for Xj-Hermite, Laguerre and Jacobi polynomials in j = 1,2 case.
We propose a new property of the zeros of exceptional orthogonal polynomials. It has been known that exceptional orthogonal polynomials (XOP) have both real and complex zeros. By fixing m variables at the imaginary parts of the complex zeros of XOP, we find that in some cases the modulus of the energy function of a many-particle system attains its maximum at the zeros of XOP. We give a sufficient condition for this result with respect to the denominators of the weight function of XOP.
We show, using either Fock space techniques or Macdonald difference operators, that certain symplectic and orthogonal analogues of Okounkov's Schur measure are determinantal with kernels given by explicit double contour integrals. We give two applications: one equates certain Toeplitz+Hankel determinants of random matrix theory with appropriate Fredholm determinants and computes Szegő asymptotics for the former; another finds that the simplest examples of said measures exhibit discrete sine kernel asymptotics in the bulk and Airy 2 to 1 kernel---along with a certain dual---asymptotics at the e…
Exceptional orthogonal polynomial systems (X-OPS) arise as eigenfunctions of Sturm-Liouville problems and generalize in this sense the classical families of Hermite, Laguerre and Jacobi. They also generalize the family of CPRS orthogonal polynomials. We formulate the following conjecture: every exceptional orthogonal polynomial system is related to a classical system by a Darboux-Crum transformation. We give a proof of this conjecture for codimension 2 exceptional orthogonal polynomials (X2-OPs). As a by-product of this analysis, we prove a Bochner-type theorem classifying all possible X2-OPS.…
We consider Casimir elements for the orthogonal and symplectic Lie algebras constructed with the use of the Brauer algebra. We calculate the images of these elements under the Harish-Chandra isomorphism and thus show that they (together with the Pfaffian-type element in the even orthogonal case) are algebraically independent generators of the centers of the corresponding universal enveloping algebras.
It has been recently discovered that exceptional families of Sturm-Liouville orthogonal polynomials exist, that generalize in some sense the classical polynomials of Hermite, Laguerre and Jacobi. In this paper we show how new families of exceptional orthogonal polynomials can be constructed by means of multiple-step algebraic Darboux transformations. The construction is illustrated with an example of a 2-step Darboux transformation of the classical Laguerre polynomials, which gives rise to a new orthogonal polynomial system indexed by two integer parameters. For particular values of these para…
We construct energy-dependent potentials for which the Schroedinger equations admit solu- tions in terms of exceptional orthogonal polynomials. Our method of construction is based on certain point transformations, applied to the equations of exceptional Hermite, Jacobi and Laguerre polynomials. We present several examples of boundary-value problems with energy-dependent potentials that admit a discrete spectrum and the corresponding normalizable solutions in closed form.
The Bochner Classification Theorem (1929) characterizes the polynomial sequences $\p_{n}\}_{n=0}^{\infty}$, with $\text{deg}\,p_{n}=n$ that simultaneously form a complete set of eigenstates for a second-order differential operator and are orthogonal with respect to a positive Borel measure having finite moments of all orders. Indeed, up to a complex linear change of variable, only the classical Hermite, Laguerre, and Jacobi polynomials satisfy these conditions. In 2009, Gómez-Ullate, Kamran, and Milson found that for sequences $\{p_{n}\}_{n=1}^{\infty}$, $\text{deg}\,p_{n}=n$ (without the cons…
Some exactly solvable potentials in the position dependent mass background are generated whose bound states are given in terms of Laguerre- or Jacobi-type $X_1$ exceptional orthogonal polynomials. These potentials are shown to be shape invariant and isospectral to the potentials whose bound state solutions involve classical Laguerre or Jacobi polynomials.
A formulation is given for the spectral transformation of the generalized eigenvalue problem through the decomposition of the second-order differential operators. This allows us to construct some Laurent biorthogonal polynomial systems with gaps in the degree of the polynomial sequence. These correspond to an exceptional-type extension of the orthogonal polynomials, as an extension of the Laurent biorthogonal polynomials. Specifically, we construct the exceptional extension of the Hendriksen-van Rossum polynomials, which are biorthogonal analogs of the classical orthogonal polynomials. Similar…
These are the lecture notes for a course on exceptional polynomials taught at the \textit{AIMS-Volkswagen Stiftung Workshop on Introduction to Orthogonal Polynomials and Applications} that took place in Douala (Cameroon) from October 5-12, 2018. They summarize the basic results and construction of exceptional poynomials, developed over the past ten years. In addition, some new results are presented on the construction of rational solutions to Painlevé equation PIV and its higher order generalizations that belong to the $A_{2n}^{(1)}$-Painlevé hierarchy. The construction is based on dressing ch…
This thesis deals with some $(1+1)$-dimensional lattice path models from the KPZ universality class: the directed random polymer with inverse-gamma weights (known as log-gamma polymer) and its zero temperature degeneration, i.e. the last passage percolation model, with geometric or exponential waiting times. We consider three path geometries: point-to-line, point-to-half-line, and point-to-line with paths restricted to stay in a half-plane. Through exact formulas, we establish new connections between integrable probabilistic models and the ubiquitous Whittaker and Schur functions. More in deta…
We adapt the notion of the Darboux transformation to the context of polynomial Sturm-Liouville problems. As an application, we characterize the recently described $X_m$ Laguerre polynomials in terms of an isospectral Darboux transformation. We also show that the shape-invariance of these new polynomial families is a direct consequence of the permutability property of the Darboux-Crum transformation.
We discuss the exceptional Laguerre and the exceptional Jacobi orthogonal polynomials in the framework of the supersymmetric quantum mechanics (SUSYQM). We express the differential equations for the Jacobi and the Laguerre exceptional orthogonal polynomials (EOP) as the eigenvalue equations and make an analogy with the time independent Schrödinger equation to define "Hamiltonians" enables us to study the EOPs in the framework of the SUSYQM and to realize the underlying shape invariance associated with such systems. We show that the underlying shape invariance symmetry is responsible for the so…
We introduce a method for constructing Darboux (or supersymmetric) pairs of pseudoscalar and scalar Dirac potentials that are associated with exceptional orthogonal polynomials. Properties of the transformed potentials and regularity conditions are discussed. As an application, we consider a pseudoscalar Dirac potential related to the Schroeodinger model for the rationally extended radial oscillator. The pseudoscalar partner potentials are constructed under first- and second-order Darboux transformations.
Exactly solvable rationally-extended radial oscillator potentials, whose wavefunctions can be expressed in terms of Laguerre-type exceptional orthogonal polynomials, are constructed in the framework of $k$th-order supersymmetric quantum mechanics, with special emphasis on $k=2$. It is shown that for $μ=1$, 2, and 3, there exist exactly $μ$ distinct potentials of $μ$th type and associated families of exceptional orthogonal polynomials, where $μ$ denotes the degree of the polynomial $g_μ$ arising in the denominator of the potentials.
Exceptional orthogonal polynomials are families of orthogonal polynomials that arise as solutions of Sturm-Liouville eigenvalue problems. They generalize the classical families of Hermite, Laguerre, and Jacobi polynomials by allowing for polynomial sequences that miss a finite number of "exceptional" degrees. In this paper we introduce a new construction of multi-parameter exceptional Legendre polynomials by considering the isospectral deformation of the classical Legendre operator. Using confluent Darboux transformations and a technique from inverse scattering theory, we obtain a fully explic…
It is pointed out that, for the fractional Fokker-Planck equation for subdiffusion proposed by Metzler, Barkai, and Klafter [Phys. Rev. Lett. 82 (1999) 3563], there are four types of infinitely many exact solutions associated with the newly discovered exceptional orthogonal polynomials. They represent fractionally deformed versions of the Rayleigh process and the Jacobi process.
We suggest a method of studying the joint probability density (JPD) of an eigenvalue and the associated 'non-orthogonality overlap factor' (also known as the 'eigenvalue condition number') of the left and right eigenvectors for non-selfadjoint Gaussian random matrices of size $N\times N$. First we derive the general finite $N$ expression for the JPD of a real eigenvalue $λ$ and the associated non-orthogonality factor in the real Ginibre ensemble, and then analyze its 'bulk' and 'edge' scaling limits. The ensuing distribution is maximally heavy-tailed, so that all integer moments beyond normali…
A previous study of exactly solvable rationally-extended radial oscillator potentials and corresponding Laguerre exceptional orthogonal polynomials carried out in second-order supersymmetric quantum mechanics is extended to $k$th-order one. The polynomial appearing in the potential denominator and its degree are determined. The first-order differential relations allowing one to obtain the associated exceptional orthogonal polynomials from those arising in a ($k-1$)th-order analysis are established. Some nontrivial identities connecting products of Laguerre polynomials are derived from shape in…
We present four types of infinitely many exactly solvable Fokker-Planck equations, which are related to the newly discovered exceptional orthogonal polynomials. They represent the deformed versions of the Rayleigh process and the Jacobi process.
There are some distinguished ensembles of non-Hermitian random matrices for which the joint PDF can be written down explicitly, is unchanged by rotations, and furthermore which have the property that the eigenvalues form a Pfaffian point process. For these ensembles, in which the elements of the matrices are either real, or real quaternion, the kernel of the Pfaffian is completely determined by certain skew orthogonal polynomials, which permit an expression in terms of averages over the characteristic polynomial, and the characteristic polynomial multiplied by the trace. We use Schur polynomia…
Two sets of infinitely many exceptional orthogonal polynomials related to the Wilson and Askey-Wilson polynomials are presented. They are derived as the eigenfunctions of shape invariant and thus exactly solvable quantum mechanical Hamiltonians, which are deformations of those for the Wilson and Askey-Wilson polynomials in terms of a degree \ell (\ell=1,2,...) eigenpolynomial. These polynomials are exceptional in the sense that they start from degree \ell\ge1 and thus not constrained by any generalisation of Bochner's theorem.
Consider the Wronskians of the classical Hermite polynomials $$H_{λ, l}(x):=\mathrm{Wr}(H_l(x),H_{k_1}(x),\ldots, H_{k_n}(x)), \quad l \in \mathbb Z_{\geq 0},$$ where $k_i=λ_i+n-i, \,\, i=1,\dots, n$ and $λ=(λ_1, \dots, λ_n)$ is a partition. Gómez-Ullate et al showed that for a special class of partitions the corresponding polynomials are orthogonal and dense among all polynomials with certain inner product, but in contrast to the usual case have some degrees missing (so called exceptional orthogonal polynomials). We generalise their results to all partitions by considering complex contours of…
The revival structures for the X_m exceptional orthogonal polynomials of the Scarf I potential endowed with position-dependent effective mass is studied in the context of the generalized Gazeau-Klauder coherent states. It is shown that in the case of the constant mass, the deduced coherent states mimic full and fractional revivals phenomena. However in the case of position-dependent effective mass, although full revivals take place during their time evolution, there is no fractional revivals as defined in the common sense. These properties are illustrated numerically by means of some specific …
Using the method of point canonical transformation, we derive some exactly solvable rationally extended quantum Hamiltonians which are non-Hermitian in nature and whose bound state wave functions are associated with Laguerre- or Jacobi-type $X_1$ exceptional orthogonal polynomials. These Hamiltonians are shown, with the help of imaginary shift of co-ordinate: $ e^{-αp} x e^{αp} = x+ i α$, to be both quasi and pseudo-Hermitian. It turns out that the corresponding energy spectra is entirely real.
We construct two new exactly solvable potentials giving rise to bound-state solutions to the Schrödinger equation, which can be written in terms of the recently introduced Laguerre- or Jacobi-type $X_1$ exceptional orthogonal polynomials. These potentials, extending either the radial oscillator or the Scarf I potential by the addition of some rational terms, turn out to be translationally shape invariant as their standard counterparts and isospectral to them.
In recent years, many exceptional orthogonal polynomials (EOP) were introduced and used to construct new families of 1D exactly solvable quantum potentials, some of which are shape invariant. In this paper, we construct from Hermite and Laguerre EOP and their related quantum systems new 2D superintegrable Hamiltonians with higher-order integrals of motion and the polynomial algebras generated by their integrals of motion. We obtain the finite-dimensional unitary representations of the polynomial algebras and the corresponding energy spectrum. We also point out a new type of degeneracies of the…
The paper applies the so-called 'Canonical-Darboux-Transformation' (CDT) method to reproduce general expressions for rational potentials (RPs) quantized in terms of exceptional orthogonal polynomial systems (X-OPSs). The benchmark of the new method recently developed by the author for implicit potentials solvable via hypergeometric functions is that rationally-extended SUSY partners of the original potential are quantized in terms of sequences of the so-called 'Gauss-seed' (GS) Heine polynomials starting from a polynomial of non-zero order. The common mark of the Darboux-Poschl-Teller (DPT) po…
A classical result due to Bochner characterizes the classical orthogonal polynomial systems as solutions of a second-order eigenvalue equation. We extend Bochner's result by dropping the assumption that the first element of the orthogonal polynomial sequence be a constant. This approach gives rise to new families of complete orthogonal polynomial systems that arise as solutions of second-order eigenvalue equations with rational coefficients. The results are based on a classification of exceptional polynomial subspaces of codimension one under projective transformations.
We introduce an extended Kepler-Coulomb quantum model in spherical coordinates. The Schrödinger equation of this Hamiltonian is solved in these coordinates and it is shown that the wave functions of the system can be expressed in terms of Laguerre, Legendre and exceptional Jacobi polynomials (of hypergeometric type). We construct ladder and shift operators based on the corresponding wave functions and obtain their recurrence formulas. These recurrence relations are used to construct higher-order, algebraically independent integrals of motion to prove superintegrability of the Hamiltonian. The …
Exceptional orthogonal polynomials are complete families of orthogonal polynomials that arise as eigenfunctions of a Sturm-Liouville problem. Antonio Durán discovered a gap in the original proof of completeness for exceptional Hermite polynomials, that has propagated to analogous results for other exceptional families. In this paper we provide an alternative proof that follows essentially the same arguments, but provides a direct proof of the key lemma on which the completeness proof is based. This direct proof makes use of the theory of trivial monodromy potentials developed by Duistermaat an…
We construct the coherent states and Schrödinger cat states associated with new types of ladder operators for a particular case of a rationally extended harmonic oscillator involving type III Hermite exceptional orthogonal polynomials. In addition to the coherent states of the annihilation operator, $c$, we form the linearised version, \tilde{c}, and obtain its coherent states. We find that while the coherent states defined as eigenvectors of the annihilation operator $c$ display only quantum behaviour, those of the linearised version, \tilde{c}, have position probability densities displaying …
The exceptional Racah and q-Racah polynomials are constructed. Together with the exceptional Laguerre, Jacobi, Wilson and Askey-Wilson polynomials discovered by the present authors in 2009, they exhaust the generic exceptional orthogonal polynomials of a single variable.
We show how all the quantal systems related to the exceptional Laguerre and Jacobi polynomials can be constructed in a direct and systematic way, without the need of shape invariance and Darboux-Crum transformation. Furthermore, the prepotential need not be assumed a priori. The prepotential, the deforming function, the potential, the eigenfunctions and eigenvalues are all derived within the same framework. The exceptional polynomials are expressible as a bilinear combination of a deformation function and its derivative.
In recent years, one of the most interesting developments in quantum mechanics has been the construction of new exactly solvable potentials connected with the appearance of families of exceptional orthogonal polynomials (EOP) in mathematical physics. In contrast with families of (Jacobi, Laguerre and Hermite) classical orthogonal polynomials, which start with a constant, the EOP families begin with some polynomial of degree greater than or equal to one, but still form complete, orthogonal sets with respect to some positive-definite measure. We show how they may appear in the bound-state wavefu…
The type III Hermite $X_m$ exceptional orthogonal polynomial family is generalized to a double-indexed one $X_{m_1,m_2}$ (with $m_1$ even and $m_2$ odd such that $m_2 > m_1$) and the corresponding rational extensions of the harmonic oscillator are constructed by using second-order supersymmetric quantum mechanics. The new polynomials are proved to be expressible in terms of mixed products of Hermite and pseudo-Hermite ones, while some of the associated potentials are linked with rational solutions of the Painlevé IV equation. A novel set of ladder operators for the extended oscillators is also…
By using the technique of supersymmetric quantum mechanics, we study a quasi exactly solvable extension of the N-particle rational Calogero model with harmonic confining interaction. Such quasi exactly solvable many particle system, whose effective potential in the radial direction yields a supersymmetric partner of the radial harmonic oscillator, is constructed by including new long-range interactions to the rational Calogero model. An infinite number of bound state energy levels are obtained for this system under certain conditions. We also calculate the corresponding bound state wave functi…
We survey some recent developments in the theory of orthogonal polynomials defined by differential equations. The key finding is that there exist orthogonal polynomials defined by 2nd order differential equations that fall outside the classical families of Jacobi, Laguerre, and Hermite polynomials. Unlike the classical families, these new examples, called exceptional orthogonal polynomials, feature non-standard polynomial flags; the lowest degree polynomial has degree $m>0$. In this paper we review the classification of codimension $m=1$ exceptional polynomials, and give a novel, compact proof…
New exactly solvable rationally-extended radial oscillator and Scarf I potentials are generated by using a constructive supersymmetric quantum mechanical method based on a reparametrization of the corresponding conventional superpotential and on the addition of an extra rational contribution expressed in terms of some polynomial $g$. The cases where $g$ is linear or quadratic are considered. In the former, the extended potentials are strictly isospectral to the conventional ones with reparametrized couplings and are shape invariant. In the latter, there appears a variety of extended potentials…
We extend and generalize the construction of Sturm-Liouville problems for a family of Hamiltonians constrained to fulfill a third-order shape-invariance condition and focusing on the "$-2x/3$" hierarchy of solutions to the fourth Painlevé transcendent. Such a construction has been previously addressed in the literature for some particular cases but we realize it here in the most general case. The corresponding potential in the Hamiltonian operator is a rationally extended oscillator defined in terms of the conventional Okamoto polynomials, from which we identify three different zero-modes cons…
This publication is an exercise which extends to two variables the Christoffel's construction of orthogonal polynomials for potentials of one variable with external sources. We generalize the construction to biorthogonal polynomials. We also introduce generalized Schur polynomials as a set of orthogonal, symmetric, non homogeneous polynomials of several variables, attached to Young tableaux.
We prove that every rational extension of the quantum harmonic oscillator that is exactly solvable by polynomials is monodromy free, and therefore can be obtained by applying a finite number of state-deleting Darboux transformations on the harmonic oscillator. Equivalently, every exceptional orthogonal polynomial system of Hermite type can be obtained by applying a Darboux-Crum transformation to the classical Hermite polynomials. Exceptional Hermite polynomial systems only exist for even codimension 2m, and they are indexed by the partitions λof m. We provide explicit expressions for their cor…
We study the quantum Hamilton-Jacobi (QHJ) equation of the recently obtained exactly solvable models, related to the newly discovered exceptional polynomials and show that the QHJ formalism reproduces the exact eigenvalues and the eigenfunctions. The fact that the eigenfunctions have zeros and poles in complex locations leads to an unconventional singularity structure of the quantum momentum function $p(x)$, the logarithmic derivative of the wave function, which forms the crux of the QHJ approach to quantization. A comparison of the singularity structure for these systems with the known exactl…
We have generalized the solutions of the radial Dirac equation with a tensor potential under spin and pseudospin symmetry limits to exceptional orthogonal Hermite polynomials family. We have obtained new general rational potential models which are the generalization of the nonlinear isotonic potential families and also energy dependent.
We give a Fourier-type formula for computing the orthogonal Weingarten formula. The Weingarten calculus was introduced as a systematic method to compute integrals of polynomials with respect to Haar measure over classical groups. Although a Fourier-type formula was known in the unitary case, the orthogonal counterpart was not known. It relies on the Jack polynomial generalization of both Schur and zonal polynomials. This formula substantially reduces the complexity involved in the computation of Weingarten formulas. We also describe a few more new properties of the Weingarten formula, state a …
Exceptional orthogonal polynomials constitute the main part of the bound-state wavefunctions of some solvable quantum potentials, which are rational extensions of well-known shape-invariant ones. The former potentials are most easily built from the latter by using higher-order supersymmetric quantum mechanics (SUSYQM) or Darboux method. They may in general belong to three different types (or a mixture of them): types I and II, which are strictly isospectral, and type III, for which k extra bound states are created below the starting potential spectrum. A well-known SUSYQM method enables one to…
We construct the coherent states of general order, $m$ for the ladder operators, $c(m)$ and $c^\dagger(m)$, which act on rational deformations of the harmonic oscillator. The position wavefunctions of the eigenvectors involve type III Hermite exceptional orthogonal polynomials. We plot energy expectations, time-dependent position probability densities for the coherent states and for the even and odd cat states, Wigner functions, and Heisenberg uncertainty relations. We find generally non-classical behaviour, with one exception: there is a regime of large magnitude of the coherent state paramet…
We introduce a family of exactly-solvable two-dimensional Hamiltonians whose wave functions are given in terms of Laguerre and exceptional Jacobi polynomials. The Hamiltonians contain purely quantum terms which vanish in the classical limit leaving only a previously known family of superintegrable systems. Additional, higher-order integrals of motion are constructed from ladder operators for the considered orthogonal polynomials proving the quantum system to be superintegrable.