-
An evolution of matrix-valued orthogonal polynomials
Authors:
Erik Koelink,
Pablo Román,
Wadim Zudilin
Abstract:
We establish new explicit connections between classical (scalar) and matrix Gegenbauer polynomials, which result in new symmetries of the latter and further give access to several properties that have been out of reach before: generating functions, distribution of zeros for individual entries of the matrices and new type of differential-difference structure. We further speculate about other potent…
▽ More
We establish new explicit connections between classical (scalar) and matrix Gegenbauer polynomials, which result in new symmetries of the latter and further give access to several properties that have been out of reach before: generating functions, distribution of zeros for individual entries of the matrices and new type of differential-difference structure. We further speculate about other potentials of the connection formulas found. Part of our proofs makes use of creative telescoping in a matrix setting$-$the strategy which is not yet developed algorithmically.
△ Less
Submitted 8 July, 2025; v1 submitted 27 November, 2024;
originally announced November 2024.
-
Matrix valued Hermite polynomials, Burchnall formulas and non-abelian Toda lattice
Authors:
Mourad E. H. Ismail,
Erik Koelink,
Pablo Román
Abstract:
A general family of matrix valued Hermite type orthogonal polynomials is introduced and studied in detail by deriving Pearson equations for the weight and matrix valued differential equations for these matrix polynomials. This is used to derive Rodrigues formulas, explicit formulas for the squared norm and to give an explicit expression of the matrix entries as well to derive a connection formula…
▽ More
A general family of matrix valued Hermite type orthogonal polynomials is introduced and studied in detail by deriving Pearson equations for the weight and matrix valued differential equations for these matrix polynomials. This is used to derive Rodrigues formulas, explicit formulas for the squared norm and to give an explicit expression of the matrix entries as well to derive a connection formula for the matrix polynomials of Hermite type. We derive matrix valued analogues of Burchnall formulas in operational form as well explicit expansions for the matrix valued Hermite type orthogonal polynomials as well as for previously introduced matrix valued Gegenbauer type orthogonal polynomials. The Burchnall approach gives two descriptions of the matrix valued orthogonal polynomials for the Toda modification of the matrix weight for the Hermite setting. In particular, we obtain a non-trivial solution to the non-abelian Toda lattice equations.
△ Less
Submitted 17 November, 2018;
originally announced November 2018.
-
Spherical functions approach to sums of random Hermitian matrices
Authors:
Arno B. J. Kuijlaars,
Pablo Román
Abstract:
We present an approach to sums of random Hermitian matrices via the theory of spherical functions for the Gelfand pair $(\mathrm{U}(n) \ltimes \mathrm{Herm}(n), \mathrm{U}(n))$. It is inspired by a similar approach of Kieburg and Kösters for products of random matrices. The spherical functions have determinantal expressions because of the Harish-Chandra/Itzykson-Zuber integral formula. It leads to…
▽ More
We present an approach to sums of random Hermitian matrices via the theory of spherical functions for the Gelfand pair $(\mathrm{U}(n) \ltimes \mathrm{Herm}(n), \mathrm{U}(n))$. It is inspired by a similar approach of Kieburg and Kösters for products of random matrices. The spherical functions have determinantal expressions because of the Harish-Chandra/Itzykson-Zuber integral formula. It leads to remarkably simple expressions for the spherical transform and its inverse. The spherical transform is applied to sums of unitarily invariant random matrices from polynomial ensembles and the subclass of polynomial ensembles of derivative type (in the additive sense), which turns out to be closed under addition. We finally present additional detailed calculations for the sum with a random matrix from a Laguerre Unitary Ensemble.
△ Less
Submitted 27 November, 2016;
originally announced November 2016.
-
Non-intersecting squared Bessel paths with one positive starting and ending point
Authors:
Steven Delvaux,
Arno B. J. Kuijlaars,
Pablo Román,
Lun Zhang
Abstract:
We consider a model of $n$ non-intersecting squared Bessel processes with one starting point $a>0$ at time t=0 and one ending point $b>0$ at time $t=T$. After proper scaling, the paths fill out a region in the $tx$-plane. Depending on the value of the product $ab$ the region may come to the hard edge at 0, or not. We formulate a vector equilibrium problem for this model, which is defined for three…
▽ More
We consider a model of $n$ non-intersecting squared Bessel processes with one starting point $a>0$ at time t=0 and one ending point $b>0$ at time $t=T$. After proper scaling, the paths fill out a region in the $tx$-plane. Depending on the value of the product $ab$ the region may come to the hard edge at 0, or not. We formulate a vector equilibrium problem for this model, which is defined for three measures, with upper constraints on the first and third measures and an external field on the second measure. It is shown that the limiting mean distribution of the paths at time $t$ is given by the second component of the vector that minimizes this vector equilibrium problem. The proof is based on a steepest descent analysis for a $4 \times 4$ matrix valued Riemann-Hilbert problem which characterizes the correlation kernel of the paths at time $t$. We also discuss the precise locations of the phase transitions.
△ Less
Submitted 13 May, 2011; v1 submitted 12 May, 2011;
originally announced May 2011.
-
Recurrence relations and vector equilibrium problems arising from a model of non-intersecting squared Bessel paths
Authors:
A. B. J. Kuijlaars,
P. Román
Abstract:
In this paper we consider the model of $n$ non-intersecting squared Bessel processes with parameter $α$, in the confluent case where all particles start, at time $t=0$, at the same positive value $x=a$, remain positive, and end, at time $T=t$, at the position $x=0$. The positions of the paths have a limiting mean density as $n\to\infty$ which is characterized by a vector equilibrium problem. We…
▽ More
In this paper we consider the model of $n$ non-intersecting squared Bessel processes with parameter $α$, in the confluent case where all particles start, at time $t=0$, at the same positive value $x=a$, remain positive, and end, at time $T=t$, at the position $x=0$. The positions of the paths have a limiting mean density as $n\to\infty$ which is characterized by a vector equilibrium problem. We show how to obtain this equilibrium problem from different considerations involving the recurrence relations for multiple orthogonal polynomials associated with the modified Bessel functions.
We also extend the situation by rescaling the parameter $α$, letting it increase proportionally to $n$ as $n$ increases. In this case we also analyze the recurrence relation and obtain a vector equilibrium problem for it.
△ Less
Submitted 19 November, 2009;
originally announced November 2009.
-
The generalized matrix valued hypergeometric equation
Authors:
P. Roman,
S. Simondi
Abstract:
The matrix valued analog of the Euler's hypergeometric differential equation was introduced by Tirao in \cite{T2}. This equation arises in the study of matrix valued spherical functions and in the theory of matrix valued orthogonal polynomials. The goal of this paper is to extend naturally the number of parameters of Tirao's equation in order to get a generalized matrix valued hypergeometric equ…
▽ More
The matrix valued analog of the Euler's hypergeometric differential equation was introduced by Tirao in \cite{T2}. This equation arises in the study of matrix valued spherical functions and in the theory of matrix valued orthogonal polynomials. The goal of this paper is to extend naturally the number of parameters of Tirao's equation in order to get a generalized matrix valued hypergeometric equation. We take advantage of the tools and strategies developed in \cite{T2} to identify the corresponding matrix hypergeometric functions ${}_nF_m$. We prove that, if n=m+1, this functions are analytic for |z|<1 and we give a necesary condition for the convergence on the unit circle |z|=1.
△ Less
Submitted 19 October, 2007; v1 submitted 2 August, 2007;
originally announced August 2007.
-
A sequence of matrix valued orthogonal polynomials associated to spherical functions
Authors:
I. Pacharoni,
P. Roman
Abstract:
The main purpose of this paper is to obtain an explicit expression of a family of matrix valued orthogonal polynomials {P_n}_n, with respect to a weight W, that are eigenfunctions of a second order differential operator D. The weight W and the differential operator D were found in [12], using some aspects of the theory of the spherical functions associated to the complex projective spaces. We al…
▽ More
The main purpose of this paper is to obtain an explicit expression of a family of matrix valued orthogonal polynomials {P_n}_n, with respect to a weight W, that are eigenfunctions of a second order differential operator D. The weight W and the differential operator D were found in [12], using some aspects of the theory of the spherical functions associated to the complex projective spaces. We also find other second order differential operator E symmetric with respect to W and we describe the algebra generated by D and E.
△ Less
Submitted 16 February, 2007;
originally announced February 2007.