-
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.
-
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.
-
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.
-
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.
-
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.
-
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.
-
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.
-
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.
-
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.
-
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.
-
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.
-
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.
-
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.
-
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.
-
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.
-
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.
-
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.
-
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.
-
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.
-
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.
-
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.
-
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.
-
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.
-
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.
-
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.
-
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.
-
Reflection quotients in Riemannian Geometry. A Geometric Converse to Chevalley's Theorem
Authors:
Robert Milson
Abstract:
Chevalley's theorem and it's converse, the Sheppard-Todd theorem, assert that finite reflection groups are distinguished by the fact that the ring of invariant polynomials is freely generated. We show that in the Euclidean case, a weaker condition suffices to characterize finite reflection groups, namely that a freely-generated polynomial subring is closed with respect to the gradient product.
Chevalley's theorem and it's converse, the Sheppard-Todd theorem, assert that finite reflection groups are distinguished by the fact that the ring of invariant polynomials is freely generated. We show that in the Euclidean case, a weaker condition suffices to characterize finite reflection groups, namely that a freely-generated polynomial subring is closed with respect to the gradient product.
△ Less
Submitted 5 September, 2002; v1 submitted 28 November, 2001;
originally announced November 2001.
-
Composition sum identities related to the distribution of coordinate values in a discrete simplex
Authors:
Robert Milson
Abstract:
Utilizing spectral residues of parameterized, recursively defined sequences, we develop a general method for generating identities of composition sums. Specific results are obtained by focusing on coefficient sequences of solutions of first and second order, ordinary, linear differential equations. Regarding the first class, the corresponding identities amount to a proof of the exponential formu…
▽ More
Utilizing spectral residues of parameterized, recursively defined sequences, we develop a general method for generating identities of composition sums. Specific results are obtained by focusing on coefficient sequences of solutions of first and second order, ordinary, linear differential equations. Regarding the first class, the corresponding identities amount to a proof of the exponential formula of labelled counting. The identities in the second class can be used to establish certain geometric properties of the simplex of bounded, ordered, integer tuples. We present three theorems that support the conclusion that the inner dimensions of such an order simplex are, in a certain sense, more ample than the outer dimensions. As well, we give an algebraic proof of a bijection between two families of subsets in the order simplex, and inquire as to the possibility of establishing this bijection by combinatorial, rather than by algebraic methods.
△ Less
Submitted 21 March, 2000;
originally announced March 2000.
-
Composition sums related to the hypergeometric function
Authors:
R. Milson
Abstract:
The present note considers a certain family of sums indexed by the set of fixed length compositions of a given number. The sums in question cannot be realized as weighted compositions. However they can be be related to the hypergeometric function, thereby allowing one to factorize the corresponding generating polynomials. This factorization leads to some interesting identities.
The present note considers a certain family of sums indexed by the set of fixed length compositions of a given number. The sums in question cannot be realized as weighted compositions. However they can be be related to the hypergeometric function, thereby allowing one to factorize the corresponding generating polynomials. This factorization leads to some interesting identities.
△ Less
Submitted 7 November, 1998;
originally announced November 1998.
-
Algebraic Exact Solvability of trigonometric-type Hamiltonians associated to root systems
Authors:
N. Kamran,
R. Milson
Abstract:
In this article, we study and settle several structural questions concerning the exact solvability of the Olshanetsky-Perelomov quantum Hamiltonians corresponding to an arbitrary root system. We show that these operators can be written as linear combinations of certain basic operators admitting infinite flags of invariant subspaces, namely the Laplacian and the logarithmic gradient of invariant…
▽ More
In this article, we study and settle several structural questions concerning the exact solvability of the Olshanetsky-Perelomov quantum Hamiltonians corresponding to an arbitrary root system. We show that these operators can be written as linear combinations of certain basic operators admitting infinite flags of invariant subspaces, namely the Laplacian and the logarithmic gradient of invariant factors of the Weyl denominator. The coefficients of the constituent linear combination become the coupling constants of the final model. We also demonstr ate the $L^2$ completeness of the eigenfunctions obtained by this procedure, and describe a straight-forward recursive procedure based on the Freudenthal multiplicity formula for constructing the eigenfunctions explicitly.
△ Less
Submitted 26 October, 1998;
originally announced October 1998.
-
Imprimitively generated Lie-algebraic Hamiltonians and separation of variables
Authors:
Robert Milson
Abstract:
Turbiner's conjecture posits that a Lie-algebraic Hamiltonian operator whose domain is a subset of the Euclidean plane admits a separation of variables. A proof of this conjecture is given in those cases where the generating Lie-algebra acts imprimitively. The general form of the conjecture is false. A counter-example is given based on the trigonometric Olshanetsky-Perelomov potential correspond…
▽ More
Turbiner's conjecture posits that a Lie-algebraic Hamiltonian operator whose domain is a subset of the Euclidean plane admits a separation of variables. A proof of this conjecture is given in those cases where the generating Lie-algebra acts imprimitively. The general form of the conjecture is false. A counter-example is given based on the trigonometric Olshanetsky-Perelomov potential corresponding to the A_2 root system.
△ Less
Submitted 10 June, 1998;
originally announced June 1998.
-
Quantization of cohomology in semi-simple Lie algebras
Authors:
R. Milson,
D. Richter
Abstract:
The space of realizations of a finite-dimensional Lie algebra by first order differential operators is naturally isomorphic to H^1 with coefficients in the module of functions. The condition that a realization admits a finite-dimensional invariant subspace of functions seems to act as a kind of quantization condition on this H^1. It was known that this quantization of cohomology holds for all re…
▽ More
The space of realizations of a finite-dimensional Lie algebra by first order differential operators is naturally isomorphic to H^1 with coefficients in the module of functions. The condition that a realization admits a finite-dimensional invariant subspace of functions seems to act as a kind of quantization condition on this H^1. It was known that this quantization of cohomology holds for all realizations on 2-dimensional homogeneous spaces, but the extent to which quantization of cohomology is true in general was an open question. The present article presents the first known counter-examples to quantization of cohomology; it is shown that quantization can fail even if the Lie algebra is semi-simple, and even if the homogeneous space in question is compact. A explanation for the quantization phenomenon is given in the case of semi-simple Lie algebras. It is shown that the set of classes in H^1 that admit finite-dimensional invariant subspaces is a semigroup that lies inside a finitely-generated abelian group. In order for this abelian group be a discrete subset of H^1, i.e. in order for quantization to take place, some extra conditions on the isotropy subalgebra are required. Two different instances of such necessary conditions are presented.
△ Less
Submitted 29 May, 1998; v1 submitted 22 May, 1998;
originally announced May 1998.
