Showing 1–50 of 63 results for author: Milson, R

Classification of exceptional Jacobi polynomials

Authors: Maria Angeles Garcia-Ferrero, David Gomez-Ullate, Robert Milson

Abstract: We provide a full classification scheme for exceptional Jacobi operators and polynomials. The classification contains six degeneracy classes according to whether $α,β$ or $α\pmβ$ assume integer values. Exceptional Jacobi operators are in one-to-one correspondence with spectral diagrams, a combinatorial object that describes the number and asymptotic behaviour at the endpoints of $(-1,1)$ of all qu… ▽ More We provide a full classification scheme for exceptional Jacobi operators and polynomials. The classification contains six degeneracy classes according to whether $α,β$ or $α\pmβ$ assume integer values. Exceptional Jacobi operators are in one-to-one correspondence with spectral diagrams, a combinatorial object that describes the number and asymptotic behaviour at the endpoints of $(-1,1)$ of all quasi-rational eigenfunctions of the operator. With a convenient indexing scheme for spectral diagrams, explicit Wronskian and integral construction formulas are given to build the exceptional operators and polynomials from the information encoded in the spectral diagram. In the fully degenerate class $α,β\in\mathbb N_0$ there exist exceptional Jacobi operators with an arbitrary number of continuous parameters. The classification result is achieved by a careful description of all possible rational Darboux transformations that can be performed on exceptional Jacobi operators. △ Less

Submitted 30 May, 2025; v1 submitted 4 September, 2024; originally announced September 2024.

MSC Class: 42C05; 33C45; 34M35

Hybrid Search method for Zermelo's navigation problem

Authors: Daniel Precioso, Robert Milson, Louis Bu, Yvonne Menchions, David Gómez-Ullate

Abstract: In this paper, we present a novel algorithm called the Hybrid Search algorithm that integrates the Zermelo's Navigation Initial Value Problem with the Ferraro-Martín de Diego-Almagro algorithm to find the optimal route for a vessel to reach its destination. Our algorithm is designed to work in both Euclidean and spherical spaces and utilizes a heuristic that allows the vessel to move forward while… ▽ More In this paper, we present a novel algorithm called the Hybrid Search algorithm that integrates the Zermelo's Navigation Initial Value Problem with the Ferraro-Martín de Diego-Almagro algorithm to find the optimal route for a vessel to reach its destination. Our algorithm is designed to work in both Euclidean and spherical spaces and utilizes a heuristic that allows the vessel to move forward while remaining within a predetermined search cone centred around the destination. This approach not only improves efficiency but also includes obstacle avoidance, making it well-suited for real-world applications. We evaluate the performance of the Hybrid Search algorithm on synthetic vector fields and real ocean currents data, demonstrating its effectiveness and performance. △ Less

Submitted 6 October, 2023; v1 submitted 4 August, 2023; originally announced August 2023.

Comments: 25 pages, 5 figures

Exceptional Gegenbauer polynomials via isospectral deformation

Authors: María~Ángeles García-Ferrero, David Gómez-Ullate, Robert Milson, James Munday

Abstract: We show a method to construct isospectral deformations of classical orthogonal polynomials. The construction is based on confluent Darboux transformations, and it allows to construct Sturm-Liouville problems with polynomial eigenfunctions that have an arbitrary number of continuous parameters. We propose to call these new orthogonal polynomial systems \emph{exceptional polynomials of the second ki… ▽ More We show a method to construct isospectral deformations of classical orthogonal polynomials. The construction is based on confluent Darboux transformations, and it allows to construct Sturm-Liouville problems with polynomial eigenfunctions that have an arbitrary number of continuous parameters. We propose to call these new orthogonal polynomial systems \emph{exceptional polynomials of the second kind}. We illustrate this construction by describing the class of exceptional Gegenbauer polynomials of the second kind. △ Less

Submitted 8 October, 2021; originally announced October 2021.

MSC Class: 33C47; 34L10; 34A05

Spectral Theory of Exceptional Hermite Polynomials

Authors: David Gomez-Ullate, Yves Grandati, Robert Milson

Abstract: In this paper we revisit exceptional Hermite polynomials from the point of view of spectral theory, following the work initiated by Lance Littlejohn. Adapting a result of Deift, we provide an alternative proof of the completeness of these polynomial families. In addition, using equivalence of Hermite Wronskians we characterize the possible gap sets for the class of exceptional Hermite polynomials. In this paper we revisit exceptional Hermite polynomials from the point of view of spectral theory, following the work initiated by Lance Littlejohn. Adapting a result of Deift, we provide an alternative proof of the completeness of these polynomial families. In addition, using equivalence of Hermite Wronskians we characterize the possible gap sets for the class of exceptional Hermite polynomials. △ Less

Submitted 18 December, 2020; v1 submitted 3 December, 2020; originally announced December 2020.

Comments: corrected typos

MSC Class: 33C45; 37K10

Complete classification of rational solutions of $A_{2n}$-Painlevé systems

Authors: David Gómez-Ullate, Yves Grandati, Robert Milson

Abstract: We provide a complete classification and an explicit representation of rational solutions to the fourth Painlevé equation PIV and its higher order generalizations known as the $A_{2n}$-Painlevé or Noumi-Yamada systems. The construction of solutions makes use of the theory of cyclic dressing chains of Schrödinger operators. Studying the local expansions of the solutions around their singularities w… ▽ More We provide a complete classification and an explicit representation of rational solutions to the fourth Painlevé equation PIV and its higher order generalizations known as the $A_{2n}$-Painlevé or Noumi-Yamada systems. The construction of solutions makes use of the theory of cyclic dressing chains of Schrödinger operators. Studying the local expansions of the solutions around their singularities we find that some coefficients in their Laurent expansion must vanish, which express precisely the conditions of trivial monodromy of the associated potentials. The characterization of trivial monodromy potentials with quadratic growth implies that all rational solutions can be expressed as Wronskian determinants of suitably chosen sequences of Hermite polynomials. The main classification result states that every rational solution to the $A_{2n}$-Painlevé system corresponds to a cycle of Maya diagrams, which can be indexed by an oddly coloured integer sequence. Finally, we establish the link with the standard approach to building rational solutions, based on applying Bäcklund transformations on seed solutions, by providing a representation for the symmetry group action on coloured sequences and Maya cycles. △ Less

Submitted 12 April, 2021; v1 submitted 30 September, 2020; originally announced October 2020.

Comments: 43 pages, 7 figures, typed in AMS-LaTeX

MSC Class: 34M55; 33C45; 37K10; 34M35

Constructing Coherent States for the Rational Extensions of the Harmonic Oscillator Potential

Authors: Zoé McIntyre, Robert Milson

Abstract: Using the formalism of Maya diagrams and ladder operators, we describe the algebra of annihilating operators for the class of rational extensions of the harmonic oscillators. This allows us to construct the corresponding coherent state in the sense of Barut and Girardello. The resulting time-dependent function is an exact solution of the time-dependent Schrodinger equation and a joint eigenfunctio… ▽ More Using the formalism of Maya diagrams and ladder operators, we describe the algebra of annihilating operators for the class of rational extensions of the harmonic oscillators. This allows us to construct the corresponding coherent state in the sense of Barut and Girardello. The resulting time-dependent function is an exact solution of the time-dependent Schrodinger equation and a joint eigenfunction of the algebra of annihilators. △ Less

Submitted 28 September, 2020; v1 submitted 28 September, 2020; originally announced September 2020.

Comments: preliminary draft

Rational solutions of Painleve systems

Authors: David Gomez-Ullate, Yves Grandati, Robert Milson

Abstract: Although the solutions of Painlevé equations are transcendental in the sense that they cannot be expressed in terms of known elementary functions, there do exist rational solutions for specialized values of the equation parameters. A very successful approach in the study of rational solutions to Painlevé equations involves the reformulation of these scalar equations into a symmetric system of coup… ▽ More Although the solutions of Painlevé equations are transcendental in the sense that they cannot be expressed in terms of known elementary functions, there do exist rational solutions for specialized values of the equation parameters. A very successful approach in the study of rational solutions to Painlevé equations involves the reformulation of these scalar equations into a symmetric system of coupled, Riccati-like equations known as dressing chains. Periodic dressing chains are known to be equivalent to the $A_N$-Painlevé system, first described by Noumi and Yamada. The Noumi-Yamada system, in turn, can be linearized as using bilinear equations and $τ$-functions; the corresponding rational solutions can then be given as specializations of rational solutions of the KP hierarchy. The classification of rational solutions to Painlevé equations and systems may now be reduced to an analysis of combinatorial objects known as Maya diagrams. The upshot of this analysis is a an explicit determinental representation for rational solutions in terms of classical orthogonal polynomials. In this paper we illustrate this approach by describing Hermite-type rational solutions of Painlevé of the Noumi-Yamada system in terms of cyclic Maya diagrams. By way of example we explicitly construct Hermite-type solutions for the PIV, PV equations and the $A_4$ Painlevé system. △ Less

Submitted 23 September, 2020; originally announced September 2020.

Comments: arXiv admin note: substantial text overlap with arXiv:1811.09274, arXiv:1912.07597

Journal ref: chapter in Volume 2: "Nonlinear Systems and Their Remarkable Mathematical Structures" eds.N Euler, MC Nucci 2019

Exceptional Legendre Polynomials and Confluent Darboux Transformations

Authors: María Ángeles García-Ferrero, David Gómez-Ullate, Robert Milson

Abstract: 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 pol… ▽ More 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. △ Less

Submitted 20 February, 2021; v1 submitted 6 August, 2020; originally announced August 2020.

MSC Class: 33C47; 34L10; 34A05

Journal ref: SIGMA 17 (2021), 016, 19 pages

The Adelic Grassmannian and Exceptional Hermite Polynomials

Authors: Alex Kasman, Robert Milson

Abstract: It is shown that when dependence on the second flow of the KP hierarchy is added, the resulting semi-stationary wave function of certain points in George Wilson's adelic Grassmannian are generating functions of the exceptional Hermite orthogonal polynomials. This surprising correspondence between different mathematical objects that were not previously known to be so closely related is interesting… ▽ More It is shown that when dependence on the second flow of the KP hierarchy is added, the resulting semi-stationary wave function of certain points in George Wilson's adelic Grassmannian are generating functions of the exceptional Hermite orthogonal polynomials. This surprising correspondence between different mathematical objects that were not previously known to be so closely related is interesting in its own right, but also proves useful in two ways: it leads to new algorithms for effectively computing the associated differential and difference operators and it also answers some open questions about them. △ Less

Submitted 19 June, 2020; v1 submitted 17 June, 2020; originally announced June 2020.

Comments: added reference, corrected typos

MSC Class: 33C45; 33C47

Lectures on exceptional orthogonal polynomials and rational solutions to Painlevé equations

Authors: David Gómez-Ullate, Robert Milson

Abstract: 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 presente… ▽ More 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 chains of Schrödinger operators with potentials that are rational extensions of the harmonic oscillator. Some of the material presented here (Sturm-Liouville operators, classical orthogonal polynomials, Darboux-Crum transformations, etc.) are classical and can be found in many textbooks, while some results (genus, interlacing and cyclic Maya diagrams) are new and presented for the first time in this set of lecture notes. △ Less

Submitted 14 December, 2019; originally announced December 2019.

Comments: 49 pages, 7 figures. arXiv admin note: substantial text overlap with arXiv:1811.09274

Corrigendum on the proof of completeness for exceptional Hermite polynomials

Authors: David Gomez-Ullate, Yves Grandati, Robert Milson

Abstract: 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… ▽ More 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 and Grünbaum and Oblomkov. △ Less

Submitted 24 November, 2019; originally announced November 2019.

Comments: 10 pages

Ladder operators and rational extensions

Authors: David Gomez-Ullate, Yves Grandati, Zoe McIntyre, Robert Milson

Abstract: This note presents the classification of ladder operators corresponding to the class of rational extensions of the harmonic oscillator. We show that it is natural to endow the class of rational extensions and the corresponding intertwining operators with the structure of a category REXT. The combinatorial data for this interpretation is realized as a functor MD $\to$ REXT, where MD refers to the s… ▽ More This note presents the classification of ladder operators corresponding to the class of rational extensions of the harmonic oscillator. We show that it is natural to endow the class of rational extensions and the corresponding intertwining operators with the structure of a category REXT. The combinatorial data for this interpretation is realized as a functor MD $\to$ REXT, where MD refers to the set of Maya diagrams appropriately endowed with categorical structure. Our formalism allows us to easily reproduce and extend earlier results on ladder operators. △ Less

Submitted 28 October, 2019; originally announced October 2019.

Comments: 8 pages, 1 figure

MSC Class: 13N10; 17B69; 81Q05

Rational solutions of dressing chains and higher order Painleve equations

Authors: D. Gomez-Ullate, Y. Grandati, S. Lombardo, R. Milson

Abstract: We present a new approach to determine the rational solutions of the higher order Painleve equations associated to periodic dressing chain systems. We obtain new sets of solutions, giving determinantal representations indexed by specific Maya diagrams in the odd case or universal characters in the even case. We present a new approach to determine the rational solutions of the higher order Painleve equations associated to periodic dressing chain systems. We obtain new sets of solutions, giving determinantal representations indexed by specific Maya diagrams in the odd case or universal characters in the even case. △ Less

Submitted 26 November, 2018; originally announced November 2018.

Cyclic Maya diagrams and rational solutions of higher order Painlevé systems

Authors: Peter A. Clarkson, David Gómez-Ullate, Yves Grandati, Robert Milson

Abstract: This paper focuses on the construction of rational solutions for the $A_{2n}$ Painlevé system, also called the Noumi-Yamada system, which are considered the higher order generalizations of PIV. In this even case, we introduce a method to construct the rational solutions based on cyclic dressing chains of Schrödinger operators with potentials in the class of rational extensions of the harmonic osci… ▽ More This paper focuses on the construction of rational solutions for the $A_{2n}$ Painlevé system, also called the Noumi-Yamada system, which are considered the higher order generalizations of PIV. In this even case, we introduce a method to construct the rational solutions based on cyclic dressing chains of Schrödinger operators with potentials in the class of rational extensions of the harmonic oscillator. Each potential in the chain can be indexed by a single Maya diagram and expressed in terms of a Wronskian determinant whose entries are Hermite polynomials. We introduce the notion of cyclic Maya diagrams and we characterize them for any possible period, using the concepts of genus and interlacing. The resulting classes of solutions can be expressed in terms of special polynomials that generalize the families of generalized Hermite, generalized Okamoto and Umemura polynomials, showing that they are particular cases of a larger family. △ Less

Submitted 14 September, 2019; v1 submitted 22 November, 2018; originally announced November 2018.

Comments: 26 pages, 9 figures, typed in AMS-LaTeX

Shape invariance and equivalence relations for pseudowronskians of Laguerre and Jacobi polynomials

Authors: David Gomez-Ullate, Yves Grandati, Robert Milson

Abstract: In a previous paper we derived equivalence relations for pseudo-Wronskian determinants of Hermite polynomials. In this paper we obtain the analogous result for Laguerre and Jacobi polynomials. The equivalence formulas are richer in this case since rational Darboux transformations can be defined for four families of seed functions, as opposed to only two families in the Hermite case. The pseudo-Wro… ▽ More In a previous paper we derived equivalence relations for pseudo-Wronskian determinants of Hermite polynomials. In this paper we obtain the analogous result for Laguerre and Jacobi polynomials. The equivalence formulas are richer in this case since rational Darboux transformations can be defined for four families of seed functions, as opposed to only two families in the Hermite case. The pseudo-Wronskian determinants of Laguerre and Jacobi type will thus depend on two Maya diagrams, while Hermite pseudo-Wronskians depend on just one Maya diagram. We show that these equivalence relations can be interpreted as the general transcription of shape invariance and specific discrete symmetries acting on the parameters of the isotonic oscillator and Darboux-Poschl-Teller potential. △ Less

Submitted 15 February, 2018; originally announced February 2018.

Comments: 28 pages, 6 figures

Durfee rectangles and pseudo-Wronskian equivalences for Hermite polynomials

Authors: David Gomez-Ullate, Yves Grandati, Robert Milson

Abstract: We study an equivalence class of iterated rational Darboux transformations applied on the harmonic oscillator, showing that many choices of state adding and state deleting transformations lead to the same transformed potential. As a by-product, we derive new identities between determinants whose entries are Hermite polynomials. These identities have a combinatorial interpretation in terms of Maya… ▽ More We study an equivalence class of iterated rational Darboux transformations applied on the harmonic oscillator, showing that many choices of state adding and state deleting transformations lead to the same transformed potential. As a by-product, we derive new identities between determinants whose entries are Hermite polynomials. These identities have a combinatorial interpretation in terms of Maya diagrams, partitions and Durfee rectangles, and serve to characterize the equivalence class of rational Darboux transformations. Since the determinants have different orders, we analyze the problem of finding the minimal order determinant in each equivalence class, or equivalently, the minimum number of Darboux transformations. The solution to this problem has an elegan graphical interpretation. The results are applied to provide alternative and more efficient representations for exceptional Hermite polynomials and rational solutions of the Painlevé IV equation. △ Less

Submitted 2 April, 2017; v1 submitted 16 December, 2016; originally announced December 2016.

Comments: 24 pages, 4 figures

MSC Class: 33C45; 37K10

A Bochner type classification theorem for exceptional orthogonal polynomials

Authors: M. Ángeles García-Ferrero, David Gómez-Ullate, Robert Milson

Abstract: It was recently conjectured that every system of exceptional orthogonal polynomials is related to classical orthogonal polynomials by a sequence of Darboux transformations. In this paper we prove this conjecture, which paves the road to a complete classification of all exceptional orthogonal polynomials. In some sense, this paper can be regarded as the extension of Bochner's result for classical o… ▽ More It was recently conjectured that every system of exceptional orthogonal polynomials is related to classical orthogonal polynomials by a sequence of Darboux transformations. In this paper we prove this conjecture, which paves the road to a complete classification of all exceptional orthogonal polynomials. In some sense, this paper can be regarded as the extension of Bochner's result for classical orthogonal polynomials to the exceptional class. As a supplementary result, we derive a canonical form for exceptional operators based on a bilinear formalism, and prove that every exceptional operator has trivial monodromy at all primary poles. △ Less

Submitted 5 February, 2017; v1 submitted 14 March, 2016; originally announced March 2016.

Comments: a number of minor mistakes have been corrected. some proofs have been streamlined and simplified

MSC Class: 33C45; 33C47

Recurrence Relations for Exceptional Hermite Polynomials

Authors: D. Gomez-Ullate, A. Kasman, A. B. J. Kuijlaars, R. Milson

Abstract: The bispectral anti-isomorphism is applied to differential operators involving elements of the stabilizer ring to produce explicit formulas for all difference operators having any of the Hermite exceptional orthogonal polynomials as eigenfunctions with eigenvalues that are polynomials in $x$. The bispectral anti-isomorphism is applied to differential operators involving elements of the stabilizer ring to produce explicit formulas for all difference operators having any of the Hermite exceptional orthogonal polynomials as eigenfunctions with eigenvalues that are polynomials in $x$. △ Less

Submitted 2 July, 2015; v1 submitted 11 June, 2015; originally announced June 2015.

Journal ref: Journal of Approximation Theory 204 (2016), 1-16

Zeros of exceptional Hermite polynomials

Authors: A. B. J. Kuijlaars, R. Milson

Abstract: We study the zeros of exceptional Hermite polynomials associated with an even partition $λ$. We prove several conjectures regarding the asymptotic behavior of both the regular (real) and the exceptional (complex) zeros. The real zeros are distributed as the zeros of usual Hermite polynomials and, after contracting by a factor $\sqrt{2n}$, we prove that they follow the semi-circle law. The non-real… ▽ More We study the zeros of exceptional Hermite polynomials associated with an even partition $λ$. We prove several conjectures regarding the asymptotic behavior of both the regular (real) and the exceptional (complex) zeros. The real zeros are distributed as the zeros of usual Hermite polynomials and, after contracting by a factor $\sqrt{2n}$, we prove that they follow the semi-circle law. The non-real zeros tend to the zeros of the generalized Hermite polynomial $H_λ$, provided that these zeros are simple. It was conjectured by Veselov that the zeros of generalized Hermite polynomials are always simple, except possibly for the zero at the origin, but this conjecture remains open. △ Less

Submitted 19 December, 2014; originally announced December 2014.

Comments: 16 pages, 1 figure

MSC Class: 33C45; 34M03; 42C05

Journal ref: Journal of Approximation Theory 200 (2015), 28-39

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

Authors: Constanze Liaw, Lance L. Littlejohn, Robert Milson, Jessica Stewart

Abstract: 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 He… ▽ More 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. △ Less

Submitted 15 July, 2014; originally announced July 2014.

Comments: 36 pages

MSC Class: Primary: 33C45; 34B24; 42C05; Secondary: 33C47; 47B25

Journal ref: Journal of Approximation Theory, Volume 202, February 2016, Pages 5-41

Extended Krein-Adler theorem for the translationally shape invariant potentials

Authors: David Gómez-Ullate, Yves Grandati, Robert Milson

Abstract: Considering successive extensions of primary translationally shape invariant potentials, we enlarge the Krein-Adler theorem to mixed chains of state adding and state-deleting Darboux-Bäcklund transformations. It allows us to establish novel bilinear Wronskian and determinantal identities for classical orthogonal polynomials. Considering successive extensions of primary translationally shape invariant potentials, we enlarge the Krein-Adler theorem to mixed chains of state adding and state-deleting Darboux-Bäcklund transformations. It allows us to establish novel bilinear Wronskian and determinantal identities for classical orthogonal polynomials. △ Less

Submitted 15 September, 2013; originally announced September 2013.

Comments: 32 pages, typed in AMS-LaTeX

Rational extensions of the quantum harmonic oscillator and exceptional Hermite polynomials

Authors: David Gomez-Ullate, Yves Grandati, Robert Milson

Abstract: 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 t… ▽ More 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. △ Less

Submitted 21 June, 2013; originally announced June 2013.

Comments: 25 pages, typed in AMSTeX

MSC Class: 33C45; 33C47; 81Q60; 81Q80

Journal ref: J. Phys. A: Math. Theor. 47 015203, (2014)

Three-dimensional spacetimes of maximal order

Authors: Robert Milson, Lode Wylleman

Abstract: 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-dimensio… ▽ More 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. △ Less

Submitted 13 April, 2013; v1 submitted 25 October, 2012; originally announced October 2012.

Comments: final revisions

MSC Class: 53C50

Journal ref: CQG vol 30, 2013, 095004

Vacuum Plane Waves; Cartan Invariants and physical interpretation

Authors: Alan Coley, David McNutt, Robert Milson

Abstract: 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 condi… ▽ More 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. △ Less

Submitted 2 October, 2012; originally announced October 2012.

Comments: 12 pages

MSC Class: 53B30; 53B50; 83C20; 83C35

Journal ref: Class. Quantum Grav. 29 235023,2012

Invariant classification of vacuum PP-waves

Authors: Robert Milson, David McNutt, Alan Coley

Abstract: 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 o… ▽ More 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. △ Less

Submitted 23 September, 2012; originally announced September 2012.

MSC Class: 83C20; 53B30

Vacuum Kundt Waves

Authors: David McNutt, Robert Milson, Alan Coley

Abstract: 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 iterati… ▽ More 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. △ Less

Submitted 11 January, 2013; v1 submitted 24 August, 2012; originally announced August 2012.

Comments: 30 pages, 4 figures

MSC Class: 53B30; 53B50; 83C20; 83C35

Journal ref: Class. Quantum Grav. 30 055010,2013

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

Authors: Robert Milson, Francis Valiquette

Abstract: 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… ▽ More 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. △ Less

Submitted 27 May, 2014; v1 submitted 5 August, 2012; originally announced August 2012.

Comments: revised introduction, minor correctoins, added mathematica notebook, resubmitting using a tgz archive to give direct access to ancillary file

MSC Class: 34A26; 34C14; 34C20; 34C41; 53A55; 58H05

Asymptotic behaviour of zeros of exceptional Jacobi and Laguerre polynomials

Authors: David Gómez-Ullate, Francisco Marcellán, Robert Milson

Abstract: 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 interlacin… ▽ More 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. △ Less

Submitted 10 April, 2012; originally announced April 2012.

Comments: 19 pages, 3 figures, typed in AMS-LaTeX

MSC Class: 33C45 (Primary) 34B24; 42C05 (Secondary)

Journal ref: J. Math. Anal. Appl. 399(2) 2013 480 - 495

A conjecture on Exceptional Orthogonal Polynomials

Authors: David Gomez-Ullate, Niky Kamran, Robert Milson

Abstract: 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 transformati… ▽ More 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. △ Less

Submitted 30 March, 2012; originally announced March 2012.

MSC Class: 33C45; 33C47

Journal ref: Found. Comput. Math. 13:615-656 (2013)

Two-step Darboux transformations and exceptional Laguerre polynomials

Authors: David Gomez-Ullate, Niky Kamran, Robert Milson

Abstract: 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… ▽ More 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. △ Less

Submitted 21 August, 2011; v1 submitted 29 March, 2011; originally announced March 2011.

Comments: corrected minor mistakes

MSC Class: 33C45; 33C47

Journal ref: J. Math. Anal. Appl. 387 (2012) 410-418

On orthogonal polynomials spanning a non-standard flag

Authors: David Gomez-Ullate, Niky Kamran, Robert Milson

Abstract: 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, featur… ▽ More 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. △ Less

Submitted 21 May, 2012; v1 submitted 28 January, 2011; originally announced January 2011.

Comments: correct typos

MSC Class: 33C45; 33C47

Journal ref: Contemporary Mathematics, Vol. 563, 2011, p.51--71

Exceptional orthogonal polynomials and the Darboux transformation

Authors: David Gomez-Ullate, Niky Kamran, Robert Milson

Abstract: 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 transformat… ▽ More 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. △ Less

Submitted 4 March, 2010; v1 submitted 12 February, 2010; originally announced February 2010.

Comments: corrected abstract, added references, minor corrections

MSC Class: 33C45; 33C47

Journal ref: J. Phys. A 43 (2010) 434016

On Projective Equivalence of Univariate Polynomial Subspaces

Authors: Peter Crooks, Robert Milson

Abstract: We pose and solve the equivalence problem for subspaces of ${\mathcal P}_n$, the $(n+1)$ dimensional vector space of univariate polynomials of degree $\leq n$. The group of interest is ${\rm SL}_2$ acting by projective transformations on the Grassmannian variety ${\mathcal G}_k{\mathcal P}_n$ of $k$-dimensional subspaces. We establish the equivariance of the Wronski map and use this map to reduc… ▽ More We pose and solve the equivalence problem for subspaces of ${\mathcal P}_n$, the $(n+1)$ dimensional vector space of univariate polynomials of degree $\leq n$. The group of interest is ${\rm SL}_2$ acting by projective transformations on the Grassmannian variety ${\mathcal G}_k{\mathcal P}_n$ of $k$-dimensional subspaces. We establish the equivariance of the Wronski map and use this map to reduce the subspace equivalence problem to the equivalence problem for binary forms. △ Less

Submitted 6 December, 2009; v1 submitted 6 February, 2009; originally announced February 2009.

MSC Class: 14M15; 15A72; 34A30; 58K05

Journal ref: SIGMA 5 (2009), 107, 24 pages

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

Authors: David Gomez-Ullate, Niky Kamran, Robert Milson

Abstract: 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… ▽ More 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'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. △ Less

Submitted 21 January, 2009; v1 submitted 24 July, 2008; originally announced July 2008.

Comments: 25 pages, some remarks and references added

MSC Class: 33C45; 33C47

Journal ref: J. Math. Anal. Appl. 359 (2009) 352-367

An Extension of Bochner's Problem: Exceptional Invariant Subspaces

Authors: David Gomez-Ullate, Niky Kamran, Robert Milson

Abstract: 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 e… ▽ More 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. △ Less

Submitted 21 January, 2009; v1 submitted 22 May, 2008; originally announced May 2008.

Comments: 21 pages, a number of corrections and revisions

MSC Class: 33C47

Journal ref: J Approx Theory 162 (2010) 987-1006

The curvature homogeneity bound for Lorentzian four-manifolds

Authors: Robert Milson, Nicos Pelavas

Abstract: We prove that a four-dimensional Lorentzian manifold that is curvature homogeneous of order 3, or CH_3 for short, is necessarily locally homogeneous. We also exhibit and classify four-dimensional Lorentzian, CH_2 manifolds that are not homogeneous. The resulting metrics belong to the class of null electromagnetic radiation, type N solutions on an anti-de Sitter background. These findings prove t… ▽ More We prove that a four-dimensional Lorentzian manifold that is curvature homogeneous of order 3, or CH_3 for short, is necessarily locally homogeneous. We also exhibit and classify four-dimensional Lorentzian, CH_2 manifolds that are not homogeneous. The resulting metrics belong to the class of null electromagnetic radiation, type N solutions on an anti-de Sitter background. These findings prove that the four-dimensional Lorentzian Singer number $k_{1,3}=3$, falsifying some recent conjectures by Gilkey. We also prove that invariant classification for these proper CH_2 solutions requires $\nabla^{(7)}R$, and that these are the unique metrics requiring the seventh order. △ Less

Submitted 21 June, 2008; v1 submitted 24 November, 2007; originally announced November 2007.

Comments: 24 pages, streamlined version

The type N Karlhede bound is sharp

Authors: Robert Milson, Nicos Pelavas

Abstract: We present a family of four-dimensional Lorentzian manifolds whose invariant classification requires the seventh covariant derivative of the curvature tensor. The spacetimes in questions are null radiation, type N solutions on an anti-de Sitter background. The large order of the bound is due to the fact that these spacetimes are properly $CH_2$, i.e., curvature homogeneous of order 2 but non-hom… ▽ More We present a family of four-dimensional Lorentzian manifolds whose invariant classification requires the seventh covariant derivative of the curvature tensor. The spacetimes in questions are null radiation, type N solutions on an anti-de Sitter background. The large order of the bound is due to the fact that these spacetimes are properly $CH_2$, i.e., curvature homogeneous of order 2 but non-homogeneous. This means that tetrad components of $R, \nabla R, \nabla^{(2)}R$ are constant, and that essential coordinates first appear as components of $\nabla^{(3)}R$. Covariant derivatives of orders 4,5,6 yield one additional invariant each, and $\nabla^{(7)}R$ is needed for invariant classification. Thus, our class proves that the bound of 7 on the order of the covariant derivative, first established by Karlhede, is sharp. Our finding corrects an outstanding assertion that invariant classification of four-dimensional Lorentzian manifolds requires at most $\nabla^{(6)}R$. △ Less

Submitted 6 October, 2007; v1 submitted 3 October, 2007; originally announced October 2007.

Comments: 7 pages, typos corrected, added citation and acknowledgement

Journal ref: Class.Quant.Grav.25:012001,2008

On curvature homogeneous 4D Lorentzian manifolds

Authors: R. Milson, N. Pelavas

Abstract: We prove that a four-dimensional Lorentzian manifold that is curvature homogeneous of order 3, or $\CH_3$ for short, is necessarily locally homogeneous. We also exhibit and classify four-dimensional Lorentzian, $\CH_2$ manifolds that are not homogeneous. We prove that a four-dimensional Lorentzian manifold that is curvature homogeneous of order 3, or $\CH_3$ for short, is necessarily locally homogeneous. We also exhibit and classify four-dimensional Lorentzian, $\CH_2$ manifolds that are not homogeneous. △ Less

Submitted 27 November, 2007; v1 submitted 28 February, 2007; originally announced February 2007.

Comments: 8 pages

Quasi-exact solvability in a general polynomial setting

Authors: David Gomez-Ullate, Niky Kamran, Robert Milson

Abstract: 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 "exceptional polynomial subspaces" which are those proper subspaces of $\cP_n$ invariant under second order differential operators which do not preserve $\cP_n$. We characterize the onl… ▽ More 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 "exceptional polynomial subspaces" 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. △ Less

Submitted 27 October, 2006; originally announced October 2006.

Comments: 29 pages, 10 figures, typed in AMS-TeX

Journal ref: Inverse Problems 23 (2007) 1915-1942

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

Authors: David Gomez-Ullate, Niky Kamran, Robert Milson

Abstract: 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 the… ▽ More 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. △ Less

Submitted 26 April, 2006; originally announced April 2006.

Comments: 23 pages, typed in AMS-LaTeX

Journal ref: Discrete Contin. Dyn. Syst. 18 (2007), no. 1, 85--106

Quasi-exact solvability beyond the SL(2) algebraization

Authors: David Gomez-Ullate, Niky Kamran, Robert Milson

Abstract: We present evidence to suggest that the study of one dimensional quasi-exactly solvable (QES) models in quantum mechanics should be extended beyond the usual $\sla(2)$ approach. The motivation is twofold: We first show that certain quasi-exactly solvable potentials constructed with the $\sla(2)$ Lie algebraic method allow for a new larger portion of the spectrum to be obtained algebraically. Thi… ▽ More We present evidence to suggest that the study of one dimensional quasi-exactly solvable (QES) models in quantum mechanics should be extended beyond the usual $\sla(2)$ approach. The motivation is twofold: We first show that certain quasi-exactly solvable potentials constructed with the $\sla(2)$ Lie algebraic method allow for a new larger portion of the spectrum to be obtained algebraically. This is done via another algebraization in which the algebraic hamiltonian cannot be expressed as a polynomial in the generators of $\sla(2)$. We then show an example of a new quasi-exactly solvable potential which cannot be obtained within the Lie-algebraic approach. △ Less

Submitted 21 August, 2006; v1 submitted 24 January, 2006; originally announced January 2006.

Comments: Submitted to the proceedings of the 2005 Dubna workshop on superintegrability

Adapting CBPP platforms for instructional use

Authors: Robert Milson, Aaron Krowne

Abstract: Commons based peer-production (CBPP) is the de-centralized, net-based approach to the creation and dissemination of information resources. Underlying every CBPP system is a virtual community brought together by an internet tool (such as a web site) and structured by a specific collaboration protocol. In this talk we will argue that the value of such platforms can be leveraged by adapting them fo… ▽ More Commons based peer-production (CBPP) is the de-centralized, net-based approach to the creation and dissemination of information resources. Underlying every CBPP system is a virtual community brought together by an internet tool (such as a web site) and structured by a specific collaboration protocol. In this talk we will argue that the value of such platforms can be leveraged by adapting them for pedagogical purposes. We report on one such recent adaptation. The Noosphere system is a web-based collaboration environment that underlies the popular Planetmath website, a collaboratively written encyclopedia of mathematics licensed under the GNU Free Documentation License (FDL). Recently, the system was used to host a graduate-level mathematics course at Dalhousie University, in Halifax, Canada. The course consisted of regular lectures and assignment problems. The students in the course collaborated on a set of course notes, encapsulating the lecture content and giving solutions of assigned problems. The successful outcome of this experiment demonstrated that a dedicated Noosphere system is well suited for classroom applications. We argue that this ``proof of concept'' experience also strongly suggests that every successful CBPP platform possesses latent pedagogical value. △ Less

Submitted 10 July, 2005; originally announced July 2005.

Comments: Will be presented at the 2005, Emory university symposium on Free Culture and the Digital Library

ACM Class: H.3.7; J.2

VSI_i spacetimes and the epsilon-property

Authors: N. Pelavas, A. Coley, R. Milson, V. Pravda, A. Pravdová

Abstract: We investigate Lorentzian spacetimes where all zeroth and first order curvature invariants vanish and discuss how this class differs from the one where all curvature invariants vanish (VSI). We show that for VSI spacetimes all components of the Riemann tensor and its derivatives up to some fixed order can be made arbitrarily small. We discuss this in more detail by way of examples. We investigate Lorentzian spacetimes where all zeroth and first order curvature invariants vanish and discuss how this class differs from the one where all curvature invariants vanish (VSI). We show that for VSI spacetimes all components of the Riemann tensor and its derivatives up to some fixed order can be made arbitrarily small. We discuss this in more detail by way of examples. △ Less

Submitted 9 March, 2005; originally announced March 2005.

Comments: To appear in JMP

Journal ref: J.Math.Phys.46:063501,2005

Alignment and the classification of Lorentz-signature tensors

Authors: Robert Milson

Abstract: We define the notion of an aligned null direction, a Lorentz-signature analogue of the eigenvector concept that is valid for arbitrary tensor types. The set of aligned null directions is described by a a system of alignment polynomials whose coefficients are derived from the components of the tensor. The algebraic properties of the alignment polynomials can be used to classify the corresponding… ▽ More We define the notion of an aligned null direction, a Lorentz-signature analogue of the eigenvector concept that is valid for arbitrary tensor types. The set of aligned null directions is described by a a system of alignment polynomials whose coefficients are derived from the components of the tensor. The algebraic properties of the alignment polynomials can be used to classify the corresponding tensors and to put them into normal form. The alignment classification paradigm is illustrated with a discussion of bivectors and of Weyl-type tensors. Note: an earlier version of this manuscript was published in the proceedings of SPT 2004. The present version has been expanded to include a discussion of complexified alignment. Section 4 also corrects errors contained in the earlier manuscript. △ Less

Submitted 8 November, 2004; originally announced November 2004.

Comments: 8 pages. To be published in the proceedings of SPT2004

Vanishing Scalar Invariant Spacetimes in Higher Dimensions

Authors: A. Coley, R. Milson, V. Pravda, A. Pravdova

Abstract: We study manifolds with Lorentzian signature and prove that all scalar curvature invariants of all orders vanish in a higher-dimensional Lorentzian spacetime if and only if there exists an aligned non-expanding, non-twisting, geodesic null direction along which the Riemann tensor has negative boost order. We study manifolds with Lorentzian signature and prove that all scalar curvature invariants of all orders vanish in a higher-dimensional Lorentzian spacetime if and only if there exists an aligned non-expanding, non-twisting, geodesic null direction along which the Riemann tensor has negative boost order. △ Less

Submitted 17 November, 2004; v1 submitted 15 October, 2004; originally announced October 2004.

Comments: final version

Journal ref: Class.Quant.Grav.21:5519-5542,2004

Supersymmetry and algebraic deformations

Authors: D. Gomez-Ullate, N. Kamran, R. Milson

Abstract: We describe a class of algebraically solvable SUSY models by considering the deformation of invariant polynomial flags by means of the Darboux transformation. The algebraic deformations corresponding to the addition of a bound state to a shape-invariant potential are particularly interesting. The polynomial flags in question are indexed by a deformation parameter m=1,2,... and lead to new algebr… ▽ More We describe a class of algebraically solvable SUSY models by considering the deformation of invariant polynomial flags by means of the Darboux transformation. The algebraic deformations corresponding to the addition of a bound state to a shape-invariant potential are particularly interesting. The polynomial flags in question are indexed by a deformation parameter m=1,2,... and lead to new algebraically solvable models. We illustrate these ideas by considering deformations of the hyperbolic Pöschl-Teller potential. △ Less

Submitted 26 February, 2004; originally announced February 2004.

Comments: 14 pages, 1 figure

Journal ref: J. Phys. A 37 (2004), no. 43, 10065--10078

Quasi-Exact Solvability and the direct approach to invariant subspaces

Authors: D. Gomez-Ullate, N. Kamran, R. Milson

Abstract: We propose a more direct approach to constructing differential operators that preserve polynomial subspaces than the one based on considering elements of the enveloping algebra of sl(2). This approach is used here to construct new exactly solvable and quasi-exactly solvable quantum Hamiltonians on the line which are not Lie-algebraic. It is also applied to generate potentials with multiple algeb… ▽ More We propose a more direct approach to constructing differential operators that preserve polynomial subspaces than the one based on considering elements of the enveloping algebra of sl(2). This approach is used here to construct new exactly solvable and quasi-exactly solvable quantum Hamiltonians on the line which are not Lie-algebraic. It is also applied to generate potentials with multiple algebraic sectors. We discuss two illustrative examples of these two applications: an interesting generalization of the Lamé potential which posses four algebraic sectors, and a quasi-exactly solvable deformation of the Morse potential which is not Lie-algebraic. △ Less

Submitted 21 January, 2004; originally announced January 2004.

Comments: 17 pages, 3 figures

Journal ref: J.Phys. A38 (2005) 2005-2020

Bianchi identities in higher dimensions

Authors: V. Pravda, A. Pravdova, A. Coley, R. Milson

Abstract: A higher dimensional frame formalism is developed in order to study implications of the Bianchi identities for the Weyl tensor in vacuum spacetimes of the algebraic types III and N in arbitrary dimension $n$. It follows that the principal null congruence is geodesic and expands isotropically in two dimensions and does not expand in $n-4$ spacelike dimensions or does not expand at all. It is show… ▽ More A higher dimensional frame formalism is developed in order to study implications of the Bianchi identities for the Weyl tensor in vacuum spacetimes of the algebraic types III and N in arbitrary dimension $n$. It follows that the principal null congruence is geodesic and expands isotropically in two dimensions and does not expand in $n-4$ spacelike dimensions or does not expand at all. It is shown that the existence of such principal geodesic null congruence in vacuum (together with an additional condition on twist) implies an algebraically special spacetime. We also use the Myers-Perry metric as an explicit example of a vacuum type D spacetime to show that principal geodesic null congruences in vacuum type D spacetimes do not share this property. △ Less

Submitted 29 August, 2009; v1 submitted 4 January, 2004; originally announced January 2004.

Comments: 25 pages, v3: Corrections to Appendix B as given in Erratum-ibid.24:1691,2007 are now incorporated (A factor of 2 was missing in certain Bianchi equations.)

Journal ref: Class.Quant.Grav.21:2873-2898,2004; Erratum-ibid.24:1691,2007

Alignment and algebraically special tensors in Lorentzian geometry

Authors: R. Milson, A. Coley, V. Pravda, A. Pravdova

Abstract: We develop a dimension-independent theory of alignment in Lorentzian geometry, and apply it to the tensor classification problem for the Weyl and Ricci tensors. First, we show that the alignment condition is equivalent to the PND equation. In 4D, this recovers the usual Petrov types. For higher dimensions, we prove that, in general, a Weyl tensor does not possess aligned directions. We then go o… ▽ More We develop a dimension-independent theory of alignment in Lorentzian geometry, and apply it to the tensor classification problem for the Weyl and Ricci tensors. First, we show that the alignment condition is equivalent to the PND equation. In 4D, this recovers the usual Petrov types. For higher dimensions, we prove that, in general, a Weyl tensor does not possess aligned directions. We then go on to describe a number of additional algebraic types for the various alignment configurations. For the case of second-order symmetric (Ricci) tensors, we perform the classification by considering the geometric properties of the corresponding alignment variety. △ Less

Submitted 20 July, 2004; v1 submitted 3 January, 2004; originally announced January 2004.

Comments: 19 pages. Revised presentation

Journal ref: Int.J.Geom.Meth.Mod.Phys.2:41-61,2005

Classification of the Weyl Tensor in Higher Dimensions

Authors: A. Coley, R. Milson, V. Pravda, A. Pravdova

Abstract: We discuss the algebraic classification of the Weyl tensor in higher dimensional Lorentzian manifolds. This is done by characterizing algebraically special Weyl tensors by means of the existence of aligned null vectors of various orders of alignment. Further classification is obtained by specifying the alignment type and utilizing the notion of reducibility. For a complete classification it is t… ▽ More We discuss the algebraic classification of the Weyl tensor in higher dimensional Lorentzian manifolds. This is done by characterizing algebraically special Weyl tensors by means of the existence of aligned null vectors of various orders of alignment. Further classification is obtained by specifying the alignment type and utilizing the notion of reducibility. For a complete classification it is then necessary to count aligned directions, the dimension of the alignment variety, and the multiplicity of principal directions. The present classification reduces to the classical Petrov classification in four dimensions. Some applications are briefly discussed. △ Less

Submitted 13 January, 2004; v1 submitted 3 January, 2004; originally announced January 2004.

Comments: 5 pages; submitted to Class Quant Grav. References updated

Journal ref: Class.Quant.Grav.21:L35-L42,2004