BZPEERReading, trust and collaboration for research
Menu

Discover

GraphFollow connections around a paper, topic or saved view.

Workspaces

HomePick up where your research flow left off.InboxHandle requests, replies and notifications from one place.CollectionsCurate reading lists, evidence sets and shareable dossiers.ResearchSee your private provenance graph, trail and imports.CollaborationMove from discovery into focused discussion rooms.PublishDraft, preview and publish full-text research articles.

Network

ExpertsFind specialists worth following or asking for help.CommunitiesJoin research circles organized around shared work.PartnersSee external organizations active around the same topics.

Opportunities

ListingsBrowse roles, calls and collaborations with clearer fit signals.

Account

Log inReturn to your reading and collaboration workspace.Create accountStart saving work, following people and joining teams.
Log inCreate account

Researcher profile

Robert Milson

Robert Milson contributes to research discovery and scholarly infrastructure.

ResearcherAffiliation not importedOpen to collaborate
math-phmath.MPmath.CAnlin.SIgr-qcmath.DGquant-phhep-thmath.SP

Trust snapshot

Quick read

Trust 21 - EmergingVerification L1Unclaimed author
19works
0followers
9topics
4close collaborators

Actions

Decide how to stay connected

Follow researcher0

Identity and collaboration

How to connect with this researcher

Claiming links this public author record to a researcher profile and unlocks direct collaboration workflows.

Log in to claim

Direct collaboration

Open a focused conversation when the fit is right

Claim this author entity first to unlock direct invitations.

Research graph

See the researcher in context

Open full explorer

Inspect adjacent work, topics, institutions and collaborators without jumping out to a separate graph page.

Building this graph slice

BZPEER is loading the nearby papers, people, topics and institutions for this page.

Published work

19 published item(s)

preprint2021arXiv

Exceptional Legendre Polynomials and Confluent Darboux Transformations

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 explicit description of the operators and polynomials in question. The main novelty of the paper is the novel construction that allows for exceptional polynomial families with an arbitrary number of real parameters.

0 citations0 reviewsNo code linkedOpen access
preprint2014arXiv

A New Class of Exceptional Orthogonal Polynomials: The Type III $X_{m}$-Laguerre Polynomials And The Spectral Analysis of Three Types of Exceptional Laguerre Polynomials

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 constant polynomial), the only such sequences are the exceptional $X_{1}$-Laguerre and $X_{1}$-Jacobi polynomials. Subsequently, other exceptional orthogonal polynomials $\{p_{n}\}_{n\in\mathbb{N}_{0}\diagdown A}$ were discovered and studied (here $A$ is a finite subset of the non-negative integers $\mathbb{N}_{0}$ and $\text{deg}\,p_{n}=n$ for all $n\in\mathbb{N}_{0}\diagdown A$). We call such a sequence an exceptional $X_{\left\vert A\right\vert}$ sequence. Remarkably, all exceptional sequences found, to date, form a complete orthogonal set in their natural Hilbert space setting. Among the exceptional sets already known are the Type I and Type II $X_{m}$-Laguerre polynomials, each omitting $m$ polynomials. We briefly discuss these polynomials and construct self-adjoint operators generated by their corresponding second-order differential expressions in appropriate Hilbert spaces. In addition, we present a new Type III family of $X_{m}$-Laguerre polynomials along with a detailed disquisition of its properties. We include several representations of these polynomials, orthogonality, norms, completeness, the location of their local extrema and roots, root asymptotics, as well as the spectral study of the second-order Type III exceptional $X_{m}$-Laguerre differential expression.

0 citations0 reviewsNo code linkedOpen access
preprint2014arXiv

Point Equivalence of Second-Order ODEs: Maximal Invariant Classification Order

We show that the local equivalence problem for second-order ordinary differential equations under point transformations is completely characterized by differential invariants of order at most 10 and that this upper bound is sharp. We also show that, modulo Cartan duality and point transformations, the Painlevé-I equation can be characterized as the simplest second-order ODE belonging to the class of equations requiring 10th order jets for their classification.

0 citations0 reviewsNo code linkedOpen access
preprint2013arXiv

Rational extensions of the quantum harmonic oscillator and exceptional Hermite polynomials

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 corresponding orthogonality weights and differential operators and a separate proof of their completeness. Exceptional Hermite polynomials satisfy a 2l+3 recurrence relation where l is the length of the partition λ. Explicit expressions for such recurrence relations are given.

0 citations0 reviewsNo code linkedOpen access
preprint2013arXiv

Three-dimensional spacetimes of maximal order

We show that the equivalence problem for three-dimensional Lorentzian manifolds requires at most the fifth covariant derivative of the curvature tensor. We prove that this bound is sharp by exhibiting a class of 3D Lorentzian manifolds which realize this bound. The analysis is based on a three-dimensional analogue of the Newman-Pen-rose formalism, and spinorial classification of the three-dimensional Ricci tensor.

0 citations0 reviewsNo code linkedOpen access
preprint2013arXiv

Vacuum Kundt Waves

We discuss the invariant classification of vacuum Kundt waves using the Cartan-Karlhede algorithm, and the upper bound on the number of iterations of the Karlhede algorithm to classify the vacuum Kundt waves. By choosing a particular coordinate system we partially construct the canonical coframe used in the classification to study the functional dependence of the invariants arising at each iteration of the algorithm. We provide a new upper bound $q \leq 4$ and show this bound is sharp by analyzing the subclass of Kundt waves with invariant count beginning with (0,1,...) to show that the class with invariant count $(0,1,3,4,4)$ exists. This class of vacuum Kundt waves is shown to be unique as the only set of metrics requiring the fourth covariant derivatives of the curvature. We conclude with an invariant classification of the vacuum Kundt waves using a suite of invariants.

0 citations0 reviewsNo code linkedOpen access
preprint2012arXiv

A conjecture on Exceptional Orthogonal Polynomials

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. The classification includes all cases known to date plus some new examples of X2-Laguerre and X2-Jacobi polynomials.

0 citations0 reviewsNo code linkedOpen access
preprint2012arXiv

Asymptotic behaviour of zeros of exceptional Jacobi and Laguerre polynomials

The location and asymptotic behaviour for large n of the zeros of exceptional Jacobi and Laguerre polynomials are discussed. The zeros of exceptional polynomials fall into two classes: the regular zeros, which lie in the interval of orthogonality and the exceptional zeros, which lie outside that interval. We show that the regular zeros have two interlacing properties: one is the natural interlacing between consecutive polynomials as a consequence of their Sturm-Liouville character, while the other one shows interlacing between the zeros of exceptional and classical polynomials. A generalization of the classical Heine-Mehler formula is provided for the exceptional polynomials, which allows to derive the asymptotic behaviour of their regular zeros. We also describe the location and the asymptotic behaviour of the exceptional zeros, which converge for large n to fixed values.

0 citations0 reviewsNo code linkedOpen access
preprint2012arXiv

Invariant classification of vacuum PP-waves

We solve the equivalence problem for vacuum PP-wave spacetimes by employing the Karlhede algorithm. Our main result is a suite of Cartan invariants that allows for the complete invariant classification of the vacuum pp-waves. In particular, we derive the invariant characterization of the G2 and G3 sub-classes in terms of these invariants. It is known [Collins91] that the invariant classification of vacuum pp-waves requires at most the fourth order covariant derivative of the curvature tensor, but no specific examples requiring the fourth order were known. Using our comprehensive classification, we prove that the q<=4 bound is sharp and explicitly describe all such maximal order solutions.

0 citations0 reviewsNo code linkedOpen access
preprint2012arXiv

On orthogonal polynomials spanning a non-standard flag

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 of the fundamental classification theorem for codimension 1 polynomial flags. As well, we describe the mechanism or rational factorizations of 2nd order operators as the analogue of the Darboux transformation in this context. We finish with the example of higher codimension generalization of Jacobi polynomials and perform the complete analysis of parameter values for which these families have non-singular weights.

0 citations0 reviewsNo code linkedOpen access
preprint2012arXiv

Vacuum Plane Waves; Cartan Invariants and physical interpretation

As an application of the Cartan invariants obtained using the Karlhede algorithm, we study a simple subclass of the PP-wave spacetimes, the gravitational plane waves. We provide an invariant classification of these spacetimes and then study a few notable subcases: the linearly polarized plane waves, the weak-field circularly polarized waves, and another class of plane waves found by imposing conditions on the set of invariants. As we study these spacetimes we relate the invariant structure (i.e., Cartan scalars) to the physical description of these spacetimes using the geodesic deviation equations relative to timelike geodesic observers.

0 citations0 reviewsNo code linkedOpen access
preprint2011arXiv

Two-step Darboux transformations and exceptional Laguerre polynomials

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 parameters, the classical Laguerre and the type II $X_\ell$-Laguerre polynomials are recovered.

0 citations0 reviewsNo code linkedOpen access
preprint2010arXiv

Exceptional orthogonal polynomials and the Darboux transformation

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.

0 citations0 reviewsNo code linkedOpen access
preprint2009arXiv

An extended class of orthogonal polynomials defined by a Sturm-Liouville problem

We present two infinite sequences of polynomial eigenfunctions of a Sturm-Liouville problem. As opposed to the classical orthogonal polynomial systems, these sequences start with a polynomial of degree one. We denote these polynomials as $X_1$-Jacobi and $X_1$-Laguerre and we prove that they are orthogonal with respect to a positive definite inner product defined over the the compact interval $[-1,1]$ or the half-line $[0,\infty)$, respectively, and they are a basis of the corresponding $L^2$ Hilbert spaces. Moreover, we prove a converse statement similar to Bochner&#39;s theorem for the classical orthogonal polynomial systems: if a self-adjoint second order operator has a complete set of polynomial eigenfunctions $\{p_i\}_{i=1}^\infty$, then it must be either the $X_1$-Jacobi or the $X_1$-Laguerre Sturm-Liouville problem. A Rodrigues-type formula can be derived for both of the $X_1$ polynomial sequences.

0 citations0 reviewsNo code linkedOpen access
preprint2009arXiv

An Extension of Bochner&#39;s Problem: Exceptional Invariant Subspaces

A classical result due to Bochner characterizes the classical orthogonal polynomial systems as solutions of a second-order eigenvalue equation. We extend Bochner&#39;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.

0 citations0 reviewsNo code linkedOpen access
preprint2006arXiv

Quasi-exact solvability in a general polynomial setting

Our goal in this paper is to extend the theory of quasi-exactly solvable Schrodinger operators beyond the Lie-algebraic class. Let $\cP_n$ be the space of n-th degree polynomials in one variable. We first analyze &#34;exceptional polynomial subspaces&#34; which are those proper subspaces of $\cP_n$ invariant under second order differential operators which do not preserve $\cP_n$. We characterize the only possible exceptional subspaces of codimension one and we describe the space of second order differential operators that leave these subspaces invariant. We then use equivalence under changes of variable and gauge transformations to achieve a complete classification of these new, non-Lie algebraic Schrodinger operators. As an example, we discuss a finite gap elliptic potential which does not belong to the Treibich-Verdier class.

0 citations0 reviewsNo code linkedOpen access
preprint2006arXiv

Structure theorems for linear and non-linear differential operators admitting invariant polynomial subspaces

In this paper we derive structure theorems that characterize the spaces of linear and non-linear differential operators that preserve finite dimensional subspaces generated by polynomials in one or several variables. By means of the useful concept of deficiency, we can write explicit basis for these spaces of differential operators. In the case of linear operators, these results apply to the theory of quasi-exact solvability in quantum mechanics, specially in the multivariate case where the Lie algebraic approach is harder to apply. In the case of non-linear operators, the structure theorems in this paper can be applied to the method of finding special solutions of non-linear evolution equations by nonlinear separation of variables.

0 citations0 reviewsNo code linkedOpen access
preprint2003arXiv

The Darboux transformation and algebraic deformations of shape-invariant potentials

We investigate the backward Darboux transformations (addition of a lowest bound state) of shape-invariant potentials on the line, and classify the subclass of algebraic deformations, those for which the potential and the bound states are simple elementary functions. A countable family, $m=0,1,2,...$, of deformations exists for each family of shape-invariant potentials. We prove that the $m$-th deformation is exactly solvable by polynomials, meaning that it leaves invariant an infinite flag of polynomial modules $\mathcal{P}^{(m)}_m\subset\mathcal{P}^{(m)}_{m+1}\subset...$, where $\mathcal{P}^{(m)}_n$ is a codimension $m$ subspace of $<1,z,...,z^n>$. In particular, we prove that the first ($m=1$) algebraic deformation of the shape-invariant class is precisely the class of operators preserving the infinite flag of exceptional monomial modules $\mathcal{P}^{(1)}_n = < 1,z^2,...,z^n>$. By construction, these algebraically deformed Hamiltonians do not have an $\mathfrak{sl}(2)$ hidden symmetry algebra structure.

0 citations0 reviewsNo code linkedOpen access