-
Time and band limiting for exceptional polynomials
Authors:
M. M. Castro,
F. A. Grünbaum,
I. Zurrián
Abstract:
The "time-and-band limiting" commutative property was found and exploited by D. Slepian, H. Landau and H. Pollak at Bell Labs in the 1960's, and independently by M. Mehta and later by C. Tracy and H. Widom in Random matrix theory. The property in question is the existence of local operators with simple spectrum that commute with naturally appearing global ones.
Here we give a general result that…
▽ More
The "time-and-band limiting" commutative property was found and exploited by D. Slepian, H. Landau and H. Pollak at Bell Labs in the 1960's, and independently by M. Mehta and later by C. Tracy and H. Widom in Random matrix theory. The property in question is the existence of local operators with simple spectrum that commute with naturally appearing global ones.
Here we give a general result that insures the existence of a commuting differential operator for a given family of exceptional orthogonal polynomials satisfying the "bispectral property". As a main tool we go beyond bispectrality and make use of the notion of Fourier Algebras associated to the given sequence of exceptional polynomials.
We illustrate this result with two examples, of Hermite and Laguerre type, exhibiting also a nice Perline's form for the commuting differential operator.
△ Less
Submitted 12 February, 2024;
originally announced June 2024.
-
Matrix valued discrete-continuous functions with the prolate spheroidal property and bispectrality
Authors:
W. Riley Casper,
F. Alberto Grunbaum,
Milen Yakimov,
Ignacio Zurrian
Abstract:
Classical prolate spheroidal functions play an important role in the study of time-band limiting, scaling limits of random matrices, and the distribution of the zeros of the Riemann zeta function. We establish an intrinsic relationship between discrete-continuous bispectral functions and the prolate spheroidal phenomenon. The former functions form a vast class, parametrized by an infinite dimensio…
▽ More
Classical prolate spheroidal functions play an important role in the study of time-band limiting, scaling limits of random matrices, and the distribution of the zeros of the Riemann zeta function. We establish an intrinsic relationship between discrete-continuous bispectral functions and the prolate spheroidal phenomenon. The former functions form a vast class, parametrized by an infinite dimensional manifold, and are constructed by Darboux transformations from classical bispectral functions associated to orthogonal polynomials. Special cases include spherical functions. We prove that all such Darboux transformations which are self-adjoint in a certain sense give rise to integral operators possessing commuting differential operators and to discrete integral operators possessing commuting shift operators. One particularly striking implication of this is the correspondence between discrete and continuous pairs of commuting operators. Moreover, all results are proved in the setting of matrix valued functions, which provides further advantages for applications. Our methods rely on the use of noncommutative matrix valued Fourier algebras associated to discrete-continuous bispectral functions. We produce the commuting differential and shift operators in a constructive way with explicit upper bounds on their orders and bandwidths, which is illustrated with many concrete examples.
△ Less
Submitted 14 February, 2024; v1 submitted 11 February, 2023;
originally announced February 2023.
-
A new commutativity property of exceptional orthogonal polynomials
Authors:
M. M. Castro,
F. A. Grünbaum
Abstract:
We exhibit three examples showing that the "time-and-band limiting" commutative property found and exploited by D. Slepian, H. Landau and H. Pollak at Bell Labs in the 1960's, and independently by M. Mehta and later by C. Tracy and H. Widom in Random matrix theory, holds for exceptional orthogonal polynomials. The property in question is the existence of local operators with simple spectrum that c…
▽ More
We exhibit three examples showing that the "time-and-band limiting" commutative property found and exploited by D. Slepian, H. Landau and H. Pollak at Bell Labs in the 1960's, and independently by M. Mehta and later by C. Tracy and H. Widom in Random matrix theory, holds for exceptional orthogonal polynomials. The property in question is the existence of local operators with simple spectrum that commute with naturally appearing global ones. We illustrate numerically the advantage of having such a local operator.
△ Less
Submitted 13 August, 2023; v1 submitted 25 October, 2022;
originally announced October 2022.
-
Matrix Bispectrality and Noncommutative Algebras: beyond the prolate spheroidals
Authors:
F. Alberto Grünbaum,
Brian D. Vasquez,
Jorge P. Zubelli
Abstract:
The bispectral problem is motivated by an effort to understand and extend a remarkable phenomenon in Fourier analysis on the real line: the operator of time-and-band limiting is an integral operator admitting a second-order differential operator with a simple spectrum in its commutator. In this article, we discuss a noncommutative version of the bispectral problem, obtained by allowing all objects…
▽ More
The bispectral problem is motivated by an effort to understand and extend a remarkable phenomenon in Fourier analysis on the real line: the operator of time-and-band limiting is an integral operator admitting a second-order differential operator with a simple spectrum in its commutator. In this article, we discuss a noncommutative version of the bispectral problem, obtained by allowing all objects in the original formulation to be matrix-valued. Deep attention is given to bispectral algebras and their presentations as a tool to get information about bispectral triples.
△ Less
Submitted 1 February, 2022; v1 submitted 22 January, 2022;
originally announced January 2022.
-
Algebras of commuting differential operators for integral kernels of Airy type
Authors:
W. Riley Casper,
F. Alberto Grunbaum,
Milen Yakimov,
Ignacio Zurrian
Abstract:
Differential operators commuting with integral operators were discovered in the work of C. Tracy and H. Widom [37, 38] and used to derive asymptotic expansions of the Fredholm determinants of integral operators arising in random matrix theory. Very recently, it has been proved that all rational, symmetric Darboux transformations of the Bessel, Airy, and exponential bispectral functions give rise t…
▽ More
Differential operators commuting with integral operators were discovered in the work of C. Tracy and H. Widom [37, 38] and used to derive asymptotic expansions of the Fredholm determinants of integral operators arising in random matrix theory. Very recently, it has been proved that all rational, symmetric Darboux transformations of the Bessel, Airy, and exponential bispectral functions give rise to commuting integral and differential operators [6, 7, 8], vastly generalizing the known examples in the literature. In this paper, we give a classification of the the rational symmetric Darboux transformations of the Airy function in terms of the fixed point submanifold of a differential Galois group acting on the Lagrangian locus of the (infinite dimensional) Airy Adelic Grassmannian and initiate the study of the full algebra of differential operators commuting with each of the integral operators in question. We leverage the general theory of [8] to obtain explicit formulas for the two differential operators of lowest orders that commute with each of the level one and two integral operators obtained in the Darboux process. Moreover, we prove that each pair of differential operators commute with each other. The commuting operators in the level one case are shown to satisfy an algebraic relation defining an elliptic curve.
△ Less
Submitted 21 December, 2021;
originally announced December 2021.
-
An urn model for the Jacobi-Piñeiro polynomials
Authors:
F. Alberto Grünbaum,
Manuel D. de la Iglesia
Abstract:
The list of physically motivated urn models that can be solved in terms of classical orthogonal polynomials is very small. It includes a model proposed by D. Bernoulli and further analyzed by S. Laplace and a model proposed by P. and T. Ehrenfest and eventually connected with the Krawtchouk and Hahn polynomials. This connection was reversed recently in the case of the Jacobi polynomials where a ra…
▽ More
The list of physically motivated urn models that can be solved in terms of classical orthogonal polynomials is very small. It includes a model proposed by D. Bernoulli and further analyzed by S. Laplace and a model proposed by P. and T. Ehrenfest and eventually connected with the Krawtchouk and Hahn polynomials. This connection was reversed recently in the case of the Jacobi polynomials where a rather contrived, and later a simpler urn model was proposed. Here we consider an urn model going with the Jacobi-Piñeiro multiple orthogonal polynomials. These polynomials have recently been put forth in connection with a stochastic matrix.
△ Less
Submitted 2 May, 2021;
originally announced May 2021.
-
Reflective prolate-spheroidal operators and the adelic Grassmannian
Authors:
W. Riley Casper,
F. Alberto Grünbaum,
Milen Yakimov,
Ignacio Zurrián
Abstract:
Beginning with the work of Landau, Pollak and Slepian in the 1960s on time-band limiting, commuting pairs of integral and differential operators have played a key role in signal processing, random matrix theory and integrable systems. Previously, such pairs were constructed by ad hoc methods, which worked because a commuting operator of low order could be found by a direct calculation. We describe…
▽ More
Beginning with the work of Landau, Pollak and Slepian in the 1960s on time-band limiting, commuting pairs of integral and differential operators have played a key role in signal processing, random matrix theory and integrable systems. Previously, such pairs were constructed by ad hoc methods, which worked because a commuting operator of low order could be found by a direct calculation. We describe a general approach to these problems that proves that every point $W$ of Wilson's infinite dimensional adelic Grassmannian $\mathrm Gr^ad$ gives rise to an integral operator $T_W$, acting on $L^2(Γ)$ for a contour $Γ\subset\mathbb C$, which reflects a differential operator $R(z,\partial_z)$ in the sense that $R(-z,-\partial_z)\circ T_W=T_W\circ R(w,\partial_w)$ on a dense subset of $L^2(Γ)$. By using analytic methods and methods from integrable systems, we show that the reflected differential operator can be constructed from the Fourier algebra of the associated bispectral function $ψ_W(x,z)$. The size of this algebra with respect to a bifiltration is in turn determined using algebro-geometric methods. Intrinsic properties of four involutions of the adelic Grassmannian naturally lead us to consider the reflecting property in place of plain commutativity. Furthermore, we prove that the time-band limited operators of the generalized Laplace transforms with kernels given by all rank one bispectral functions $ψ_W(x,-z)$ reflect a differential operator. A $90^\circ$ rotation argument is used to prove that the time-band limited operators of the generalized Fourier transforms with kernels $ψ_W(x,iz)$ admit a commuting differential operator. These methods produce vast collections of integral operators with prolate-spheroidal properties, associated to the wave functions of all rational solutions of the KP hierarchy vanishing at infinity, introduced by Krichever in the late 1970s.
△ Less
Submitted 25 March, 2020;
originally announced March 2020.
-
Reflective prolate-spheroidal operators and the KP/KdV equations
Authors:
W. Riley Casper,
F. Alberto Grunbaum,
Milen Yakimov,
Ignacio Zurrian
Abstract:
Commuting integral and differential operators connect the topics of Signal Processing, Random Matrix Theory, and Integrable Systems. Previously, the construction of such pairs was based on direct calculation and concerned concrete special cases, leaving behind important families such as the operators associated to the rational solutions of the KdV equation. We prove a general theorem that the inte…
▽ More
Commuting integral and differential operators connect the topics of Signal Processing, Random Matrix Theory, and Integrable Systems. Previously, the construction of such pairs was based on direct calculation and concerned concrete special cases, leaving behind important families such as the operators associated to the rational solutions of the KdV equation. We prove a general theorem that the integral operator associated to every wave function in the infinite dimensional Adelic Grassmannian Gr ad of Wilson always reflects a differential operator (in the sense of Definition 1 below). This intrinsic property is shown to follow from the symmetries of Grassmannians of KP wave functions, where the direct commutativity property holds for operators associated to wave functions fixed by Wilson's sign involution but is violated in general.
Based on this result, we prove a second main theorem that the integral operators in the computation of the singular values of the truncated generalized Laplace transforms associated to all bispectral wave functions of rank 1 reflect a differential operator. A 90$°$ rotation argument is used to prove a third main theorem that the integral operators in the computation of the singular values of the truncated generalized Fourier transforms associated to all such KP wave functions commute with a differential operator. These methods produce vast collections of integral operators with prolate-spheroidal properties, including as special cases the integral operators associated to all rational solutions of the KdV and KP hierarchies considered by Airault-McKean-Moser and Krichever, respectively, in the late 70's. Many novel examples are presented.
△ Less
Submitted 3 September, 2019;
originally announced September 2019.
-
Quantum Markov chains: recurrence, Schur functions and splitting rules
Authors:
F. A. Grünbaum,
C. F. Lardizabal,
L. Velázquez
Abstract:
In this work we study the recurrence problem for quantum Markov chains, which are quantum versions of classical Markov chains introduced by S. Gudder and described in terms of completely positive maps. A notion of monitored recurrence for quantum Markov chains is examined in association with Schur functions, which codify information on the first return to some given state or subspace. Such objects…
▽ More
In this work we study the recurrence problem for quantum Markov chains, which are quantum versions of classical Markov chains introduced by S. Gudder and described in terms of completely positive maps. A notion of monitored recurrence for quantum Markov chains is examined in association with Schur functions, which codify information on the first return to some given state or subspace. Such objects possess important factorization and decomposition properties which allow us to obtain probabilistic results based solely on those parts of the graph where the dynamics takes place, the so-called splitting rules. These rules also yield an alternative to the folding trick to transform a doubly infinite system into a semi-infinite one which doubles the number of internal degrees of freedom. The generalization of Schur functions --so-called FR-functions-- to the general context of closed operators in Banach spaces is the key for the present applications to open quantum systems. An important class of examples included in this setting are the open quantum random walks, as described by S. Attal et al., but we will state results in terms of general completely positive trace preserving maps. We also take the opportunity to discuss basic results on recurrence of finite dimensional iterated quantum channels and quantum versions of Kac's Lemma, in close association with recent results on the subject.
△ Less
Submitted 14 November, 2019; v1 submitted 2 July, 2019;
originally announced July 2019.
-
Quantum walks: Schur functions meet symmetry protected topological phases
Authors:
C. Cedzich,
T. Geib,
F. A. Grünbaum,
L. Velázquez,
A. H. Werner,
R. F. Werner
Abstract:
This paper uncovers and exploits a link between a central object in harmonic analysis, the so-called Schur functions, and the very hot topic of symmetry protected topological phases of quantum matter. This connection is found in the setting of quantum walks, i.e. quantum analogs of classical random walks. We prove that topological indices classifying symmetry protected topological phases of quantu…
▽ More
This paper uncovers and exploits a link between a central object in harmonic analysis, the so-called Schur functions, and the very hot topic of symmetry protected topological phases of quantum matter. This connection is found in the setting of quantum walks, i.e. quantum analogs of classical random walks. We prove that topological indices classifying symmetry protected topological phases of quantum walks are encoded by matrix Schur functions built out of the walk. This main result of the paper reduces the calculation of these topological indices to a linear algebra problem: calculating symmetry indices of finite-dimensional unitaries obtained by evaluating such matrix Schur functions at the symmetry protected points $\pm1$. The Schur representation fully covers the complete set of symmetry indices for 1D quantum walks with a group of symmetries realizing any of the symmetry types of the tenfold way. The main advantage of the Schur approach is its validity in the absence of translation invariance, which allows us to go beyond standard Fourier methods, leading to the complete classification of non-translation invariant phases for typical examples.
△ Less
Submitted 16 April, 2021; v1 submitted 18 March, 2019;
originally announced March 2019.
-
A Feyman-Kac approach to a paper of Chung and Feller on fluctuations in the coin-tossing game
Authors:
F. Alberto Grünbaum
Abstract:
A classical result of K. L. Chung and W. Feller deals with the partial sums $S_k$ arising in a fair coin-tossing game. If $N_n$ is the number of "positive" terms among $S_1, S_2,\dots,S_n$ then the quantity $P(N_{2n}=2r)$ takes an elegant form. We lift the restriction on an even number of tosses and give a simple expression for $P(N_{2n+1}=r)$, $r=0,1,2,\dots,2n+1$. We get to this result by adapti…
▽ More
A classical result of K. L. Chung and W. Feller deals with the partial sums $S_k$ arising in a fair coin-tossing game. If $N_n$ is the number of "positive" terms among $S_1, S_2,\dots,S_n$ then the quantity $P(N_{2n}=2r)$ takes an elegant form. We lift the restriction on an even number of tosses and give a simple expression for $P(N_{2n+1}=r)$, $r=0,1,2,\dots,2n+1$. We get to this result by adapting the Feynman-Kac methodology.
△ Less
Submitted 14 October, 2018;
originally announced October 2018.
-
Some limit laws for quantum walks with applications to a version of the Parrondo paradox
Authors:
Takuya Machida,
F. Alberto Grunbaum
Abstract:
A quantum walker moves on the integers with four extra degrees of freedom, performing a coin-shift operation to alter its internal state and position at discrete units of time. The time evolution is described by a unitary process. We focus on finding the limit probability law for the position of the walker and study it by means of Fourier analysis. The quantum walker exhibits both localization and…
▽ More
A quantum walker moves on the integers with four extra degrees of freedom, performing a coin-shift operation to alter its internal state and position at discrete units of time. The time evolution is described by a unitary process. We focus on finding the limit probability law for the position of the walker and study it by means of Fourier analysis. The quantum walker exhibits both localization and a ballistic behavior. Our two results are given as limit theorems for a 2-period time-dependent walk and they describe the location of the walker after it has repeated the unitary process a large number of times. The theorems give an analytical tool to study some of the Parrondo type behavior in a quantum game which was studied by J. Rajendran and C. Benjamin by means of very nice numerical simulations [1]. With our analytical tools at hand we can easily explore the "phase space" of parameters of one of the games, similar to the winning game in their papers. We include numerical evidence that our two games, similar to theirs, exhibit a Parrondo type paradox.
△ Less
Submitted 15 August, 2018; v1 submitted 12 March, 2018;
originally announced March 2018.
-
Stochastic Darboux transformations for quasi-birth-and-death processes and urn models
Authors:
F. Alberto Grunbaum,
Manuel D. de la Iglesia
Abstract:
We consider stochastic UL and LU block factorizations of the one-step transition probability matrix for a discrete-time quasi-birth-and-death process, namely a stochastic block tridiagonal matrix. The simpler case of random walks with only nearest neighbors transitions gives a unique LU factorization and a one-parameter family of factorizations in the UL case. The block structure considered here y…
▽ More
We consider stochastic UL and LU block factorizations of the one-step transition probability matrix for a discrete-time quasi-birth-and-death process, namely a stochastic block tridiagonal matrix. The simpler case of random walks with only nearest neighbors transitions gives a unique LU factorization and a one-parameter family of factorizations in the UL case. The block structure considered here yields many more possible factorizations resulting in a much enlarged class of potential applications. By reversing the order of the factors (also known as a Darboux transformation) we get new families of quasi-birth-and-death processes where it is possible to identify the matrix-valued spectral measures in terms of a Geronimus (UL) or a Christoffel (LU) transformation of the original one. We apply our results to one example going with matrix-valued Jacobi polynomials arising in group representation theory. We also give urn models for some particular cases.
△ Less
Submitted 14 February, 2018;
originally announced February 2018.
-
Bispectrality and Time-Band-Limiting: Matrix valued polynomials
Authors:
F. Alberto Grünbaum,
Inés Pacharoni,
Ignacio N. Zurrián
Abstract:
The subject of time-band-limiting, originating in signal processing, is dominated by the miracle that a naturally appearing integral operator admits a commuting differential one allowing for a numerically efficient way to compute its eigenfunctions. Bispectrality is an effort to dig into the reasons behind this miracle and goes back to joint work with H. Duistermaat. This search has revealed unexp…
▽ More
The subject of time-band-limiting, originating in signal processing, is dominated by the miracle that a naturally appearing integral operator admits a commuting differential one allowing for a numerically efficient way to compute its eigenfunctions. Bispectrality is an effort to dig into the reasons behind this miracle and goes back to joint work with H. Duistermaat. This search has revealed unexpected connections with several parts of mathematics, including integrable systems.
Here we consider a matrix valued version of bispectrality and give a general condition under which we can display a constructive and simple way to obtain the commuting differential operator.
Furthermore, we build an operator that commutes with both the time-limiting operator and the band-limiting operators.
△ Less
Submitted 30 January, 2018;
originally announced January 2018.
-
Stochastic LU factorizations, Darboux transformations and urn models
Authors:
F. Alberto Grünbaum,
Manuel D. de la Iglesia
Abstract:
We consider UL (and LU) decompositions of the one-step transition probability matrix of a random walk with state space the nonnegative integers, with the condition that both upper and lower triangular matrices in the factorization are also stochastic matrices. We give conditions on the free parameter of the UL factorization in terms of certain continued fraction such that this stochastic factoriza…
▽ More
We consider UL (and LU) decompositions of the one-step transition probability matrix of a random walk with state space the nonnegative integers, with the condition that both upper and lower triangular matrices in the factorization are also stochastic matrices. We give conditions on the free parameter of the UL factorization in terms of certain continued fraction such that this stochastic factorization is possible. By inverting the order of multiplication (also known as a Darboux transformation) we get a new family of random walks where it is possible the identify the spectral measures in terms of a Geronimus transformation. The same can be done for the LU factorization but now without a free parameter. Finally, we apply our results in two examples, the random walk with constant transition probabilities and the random walk generated by the Jacobi orthogonal polynomials. In both situations we give urn models associated with all the random walks in question.
△ Less
Submitted 8 June, 2017;
originally announced June 2017.
-
A further look at time-and-band limiting for matrix orthogonal polynomials
Authors:
M. Castro,
F. A. Grünbaum,
I. Pacharoni,
I. Zurrián
Abstract:
We extend to a situation involving matrix valued orthogonal polynomials a scalar result that originates in work of Claude Shannon and a ground-breaking series of papers by D. Slepian, H. Landau and H. Pollak at Bell Labs in the 1960's. While these papers feature integral and differential operators acting on scalar valued functions, we are dealing here with integral and differential operators actin…
▽ More
We extend to a situation involving matrix valued orthogonal polynomials a scalar result that originates in work of Claude Shannon and a ground-breaking series of papers by D. Slepian, H. Landau and H. Pollak at Bell Labs in the 1960's. While these papers feature integral and differential operators acting on scalar valued functions, we are dealing here with integral and differential operators acting on matrix valued functions.
△ Less
Submitted 23 March, 2017; v1 submitted 20 March, 2017;
originally announced March 2017.
-
A generalization of Schur functions: applications to Nevanlinna functions, orthogonal polynomials, random walks and unitary and open quantum walks
Authors:
F. Alberto Grünbaum,
Luis Velázquez
Abstract:
Recent work on recurrence in quantum walks has provided a representation of Schur functions in terms of unitary operators. We propose a generalization of Schur functions by extending this operator representation to arbitrary operators on Banach spaces. Such generalized Schur functions meet the formal structure of first return generating functions, thus we call them FR-functions. We derive general…
▽ More
Recent work on recurrence in quantum walks has provided a representation of Schur functions in terms of unitary operators. We propose a generalization of Schur functions by extending this operator representation to arbitrary operators on Banach spaces. Such generalized Schur functions meet the formal structure of first return generating functions, thus we call them FR-functions. We derive general properties of FR-functions, among them a generalization of the renewal equation already known for random and quantum walks, as well as splitting properties which extend useful factorizations of Schur functions.
When specialized to self-adjoint operators, FR-functions become Nevanlinna functions. This leads to new results on Nevanlinna functions: decomposition rules which are the analogue of useful factorizations of Schur functions, a simple Nevanlinna version of the Schur algorithm and new operator and integral representations of Nevanlinna functions which, in contrast to standard ones, are exact analogues of those already known for Schur functions, giving similarly a one-to-one correspondence between Nevanlinna functions and measures on the real line.
The paper is completed with several applications of FR-functions to orthogonal polynomials and random and quantum walks which illustrate their wide interest: an analogue for orthogonal polynomials on the real line of the Khrushchev formula for orthogonal polynomials on the unit circle, and the use of FR-functions to study recurrence in random walks, quantum walks and open quantum walks. These applications provide numerous explicit examples of FR-functions and their splittings and show that these new tools, despite being extensions of very classical ones, play an important role in the study of physical problems of a highly topical nature.
△ Less
Submitted 21 February, 2017; v1 submitted 13 February, 2017;
originally announced February 2017.
-
The CMV bispectral problem
Authors:
F. A. Grünbaum,
L. Velázquez
Abstract:
A classical result due to Bochner classifies the orthogonal polynomials on the real line which are common eigenfunctions of a second order linear differential operator. We settle a natural version of the Bochner problem on the unit circle which answers a similar question concerning orthogonal Laurent polynomials and can be formulated as a bispectral problem involving CMV matrices. We solve this CM…
▽ More
A classical result due to Bochner classifies the orthogonal polynomials on the real line which are common eigenfunctions of a second order linear differential operator. We settle a natural version of the Bochner problem on the unit circle which answers a similar question concerning orthogonal Laurent polynomials and can be formulated as a bispectral problem involving CMV matrices. We solve this CMV bispectral problem in great generality proving that, except the Lebesgue measure, no other one on the unit circle yields a sequence of orthogonal Laurent polynomials which are eigenfunctions of a linear differential operator of arbitrary order. Actually, we prove that this is the case even if such an eigenfunction condition is imposed up to finitely many orthogonal Laurent polynomials.
△ Less
Submitted 5 September, 2016; v1 submitted 7 July, 2016;
originally announced July 2016.
-
Time and band limiting for matrix valued functions: an integral and a commuting differential operator
Authors:
F. Alberto Grünbaum,
Inés Pacharoni,
Ignacio Nahuel Zurrián
Abstract:
The problem of recovering a signal of finite duration from a piece of its Fourier transform was solved at Bell Labs in the $1960$'s, by exploiting a "miracle": a certain naturally appearing integral operator commutes with an explicit differential one. Here we show that this same miracle holds in a matrix valued version of the same problem.
The problem of recovering a signal of finite duration from a piece of its Fourier transform was solved at Bell Labs in the $1960$'s, by exploiting a "miracle": a certain naturally appearing integral operator commutes with an explicit differential one. Here we show that this same miracle holds in a matrix valued version of the same problem.
△ Less
Submitted 18 January, 2017; v1 submitted 21 April, 2016;
originally announced April 2016.
-
Time and Band Limiting for Matrix Valued Functions, an Example
Authors:
F. Alberto Grünbaum,
Inés Pacharoni,
Ignacio Nahuel Zurrián
Abstract:
The main purpose of this paper is to extend to a situation involving matrix valued orthogonal polynomials and spherical functions, a result that traces its origin and its importance to work of Claude Shannon in laying the mathematical foundations of information theory and to a remarkable series of papers by D. Slepian, H. Landau and H. Pollak. To our knowledge, this is the first example showing in…
▽ More
The main purpose of this paper is to extend to a situation involving matrix valued orthogonal polynomials and spherical functions, a result that traces its origin and its importance to work of Claude Shannon in laying the mathematical foundations of information theory and to a remarkable series of papers by D. Slepian, H. Landau and H. Pollak. To our knowledge, this is the first example showing in a non-commutative setup that a bispectral property implies that the corresponding global operator of "time and band limiting" admits a commuting local operator. This is a noncommutative analog of the famous prolate spheroidal wave operator.
△ Less
Submitted 12 June, 2015; v1 submitted 5 October, 2014;
originally announced October 2014.
-
Some Noncommutative Matrix Algebras Arising in the Bispectral Problem
Authors:
F. Alberto Grünbaum
Abstract:
I revisit the so called "bispectral problem" introduced in a joint paper with Hans Duistermaat a long time ago, allowing now for the differential operators to have matrix coefficients and for the eigenfunctions, and one of the eigenvalues, to be matrix valued too. In the last example we go beyond this and allow both eigenvalues to be matrix valued.
I revisit the so called "bispectral problem" introduced in a joint paper with Hans Duistermaat a long time ago, allowing now for the differential operators to have matrix coefficients and for the eigenfunctions, and one of the eigenvalues, to be matrix valued too. In the last example we go beyond this and allow both eigenvalues to be matrix valued.
△ Less
Submitted 24 July, 2014;
originally announced July 2014.
-
A quantum dynamical approach to matrix Khrushchev's formulas
Authors:
C. Cedzich,
F. A. Grünbaum,
L. Velázquez,
A. H. Werner,
R. F. Werner
Abstract:
Khrushchev's formula is the cornerstone of the so called Khrushchev theory, a body of results which has revolutionized the theory of orthogonal polynomials on the unit circle. This formula can be understood as a factorization of the Schur function for an orthogonal polynomial modification of a measure on the unit circle. No such formula is known in the case of matrix-valued measures. This constitu…
▽ More
Khrushchev's formula is the cornerstone of the so called Khrushchev theory, a body of results which has revolutionized the theory of orthogonal polynomials on the unit circle. This formula can be understood as a factorization of the Schur function for an orthogonal polynomial modification of a measure on the unit circle. No such formula is known in the case of matrix-valued measures. This constitutes the main obstacle to generalize Khrushchev theory to the matrix-valued setting which we overcome in this paper.
It was recently discovered that orthogonal polynomials on the unit circle and their matrix-valued versions play a significant role in the study of quantum walks, the quantum mechanical analogue of random walks. In particular, Schur functions turn out to be the mathematical tool which best codify the return properties of a discrete time quantum system, a topic in which Khrushchev's formula has profound and surprising implications. We will show that this connection between Schur functions and quantum walks is behind a simple proof of Khrushchev's formula via `quantum' diagrammatic techniques for CMV matrices. This does not merely give a quantum meaning to a known mathematical result, since the diagrammatic proof also works for matrix-valued measures. Actually, this path counting approach is so fruitful that it provides different matrix generalizations of Khrushchev's formula, some of them new even in the case of scalar measures.
Furthermore, the path counting approach allows us to identify the properties of CMV matrices which are responsible for Khrushchev's formula. On the one hand, this helps to formalize and unify the diagrammatic proofs using simple operator theory tools. On the other hand, this is the origin of our main result which extends Khrushchev's formula beyond the CMV case, as a factorization rule for Schur functions related to general unitary operators.
△ Less
Submitted 28 October, 2016; v1 submitted 5 May, 2014;
originally announced May 2014.
-
A limit theorem for a 3-period time-dependent quantum walk
Authors:
F. Alberto Grünbaum,
Takuya Machida
Abstract:
We consider a discrete-time 2-state quantum walk on the line. The state of the quantum walker evolves according to a rule which is determined by a coin-flip operator and a position-shift operator. In this paper we take a 3-periodic time evolution as the rule. For such a quantum walk, we get a limit distribution which expresses the asymptotic behavior of the walker after a long time. The limit dist…
▽ More
We consider a discrete-time 2-state quantum walk on the line. The state of the quantum walker evolves according to a rule which is determined by a coin-flip operator and a position-shift operator. In this paper we take a 3-periodic time evolution as the rule. For such a quantum walk, we get a limit distribution which expresses the asymptotic behavior of the walker after a long time. The limit distribution is different from that of a time-independent quantum walk or a 2-period time-dependent quantum walk. We give some analytical results and then consider a number of variants of our model and indicate the result of simulations for these ones.
△ Less
Submitted 2 June, 2015; v1 submitted 5 April, 2014;
originally announced April 2014.
-
On a Seminal Paper by Karlin and McGregor
Authors:
Mirta M. Castro,
F. Alberto Grünbaum
Abstract:
The use of spectral methods to study birth-and-death processes was pioneered by S. Karlin and J. McGregor. Their expression for the transition probabilities was made explicit by them in a few cases. Here we complete their analysis and indicate a few applications of their very powerful method.
The use of spectral methods to study birth-and-death processes was pioneered by S. Karlin and J. McGregor. Their expression for the transition probabilities was made explicit by them in a few cases. Here we complete their analysis and indicate a few applications of their very powerful method.
△ Less
Submitted 2 March, 2013;
originally announced March 2013.
-
A System of Multivariable Krawtchouk Polynomials and a Probabilistic Application
Authors:
F. Alberto Grünbaum,
Mizan Rahman
Abstract:
The one variable Krawtchouk polynomials, a special case of the $_2F_1$ function did appear in the spectral representation of the transition kernel for a Markov chain studied a long time ago by M. Hoare and M. Rahman. A multivariable extension of this Markov chain was considered in a later paper by these authors where a certain two variable extension of the $F_1$ Appel function shows up in the spec…
▽ More
The one variable Krawtchouk polynomials, a special case of the $_2F_1$ function did appear in the spectral representation of the transition kernel for a Markov chain studied a long time ago by M. Hoare and M. Rahman. A multivariable extension of this Markov chain was considered in a later paper by these authors where a certain two variable extension of the $F_1$ Appel function shows up in the spectral analysis of the corresponding transition kernel. Independently of any probabilistic consideration a certain multivariable version of the Gelfand-Aomoto hypergeometric function was considered in papers by H. Mizukawa and H. Tanaka. These authors and others such as P. Iliev and P. Tertwilliger treat the two-dimensional version of the Hoare-Rahman work from a Lie-theoretic point of view. P. Iliev then treats the general $n$-dimensional case. All of these authors proved several properties of these functions. Here we show that these functions play a crucial role in the spectral analysis of the transition kernel that comes from pushing the work of Hoare-Rahman to the multivariable case. The methods employed here to prove this as well as several properties of these functions are completely different to those used by the authors mentioned above.
△ Less
Submitted 27 December, 2011; v1 submitted 9 June, 2011;
originally announced June 2011.
-
Properties of Matrix Orthogonal Polynomials via their Riemann-Hilbert Characterization
Authors:
F. Alberto Grünbaum,
Manuel D. de la Iglesia,
Andrei Martinez-Finkelshtein
Abstract:
We give a Riemann-Hilbert approach to the theory of matrix orthogonal polynomials. We will focus on the algebraic aspects of the problem, obtaining difference and differential relations satisfied by the corresponding orthogonal polynomials. We will show that in the matrix case there is some extra freedom that allows us to obtain a family of ladder operators, some of them of 0-th order, something t…
▽ More
We give a Riemann-Hilbert approach to the theory of matrix orthogonal polynomials. We will focus on the algebraic aspects of the problem, obtaining difference and differential relations satisfied by the corresponding orthogonal polynomials. We will show that in the matrix case there is some extra freedom that allows us to obtain a family of ladder operators, some of them of 0-th order, something that is not possible in the scalar case. The combination of the ladder operators will lead to a family of second-order differential equations satisfied by the orthogonal polynomials, some of them of 0-th and first order, something also impossible in the scalar setting. This shows that the differential properties in the matrix case are much more complicated than in the scalar situation. We will study several examples given in the last years as well as others not considered so far.
△ Less
Submitted 25 October, 2011; v1 submitted 7 June, 2011;
originally announced June 2011.
-
On a Family of 2-Variable Orthogonal Krawtchouk Polynomials
Authors:
F. Alberto Grünbaum,
Mizan Rahman
Abstract:
We give a hypergeometric proof involving a family of 2-variable Krawtchouk polynomials that were obtained earlier by Hoare and Rahman [SIGMA 4 (2008), 089, 18 pages] as a limit of the 9-j symbols of quantum angular momentum theory, and shown to be eigenfunctions of the transition probability kernel corresponding to a "poker dice" type probability model. The proof in this paper derives and makes us…
▽ More
We give a hypergeometric proof involving a family of 2-variable Krawtchouk polynomials that were obtained earlier by Hoare and Rahman [SIGMA 4 (2008), 089, 18 pages] as a limit of the 9-j symbols of quantum angular momentum theory, and shown to be eigenfunctions of the transition probability kernel corresponding to a "poker dice" type probability model. The proof in this paper derives and makes use of the necessary and sufficient conditions of orthogonality in establishing orthogonality as well as indicating their geometrical significance. We also derive a 5-term recurrence relation satisfied by these polynomials.
△ Less
Submitted 7 December, 2010; v1 submitted 25 July, 2010;
originally announced July 2010.
-
Matrix valued Szego polynomials and quantum random walks
Authors:
M. J. Cantero,
F. A. Grünbaum,
L. Moral,
L. Velazquez
Abstract:
We consider quantum random walks (QRW) on the integers, a subject that has been considered in the last few years in the framework of quantum computation. We show how the theory of CMV matrices gives a natural tool to study these processes and to give results that are analogous to those that Karlin and McGregor developed to study (classical) birth-and-death processes using orthogonal polynomials…
▽ More
We consider quantum random walks (QRW) on the integers, a subject that has been considered in the last few years in the framework of quantum computation. We show how the theory of CMV matrices gives a natural tool to study these processes and to give results that are analogous to those that Karlin and McGregor developed to study (classical) birth-and-death processes using orthogonal polynomials on the real line. In perfect analogy with the classical case the study of QRWs on the set of non-negative integers can be handled using scalar valued (Laurent) polynomials and a scalar valued measure on the circle. In the case of classical or quantum random walks on the integers one needs to allow for matrix valued versions of these notions. We show how our tools yield results in the well known case of the Hadamard walk, but we go beyond this translation invariant model to analyze examples that are hard to analyze using other methods. More precisely we consider QRWs on the set of non- negative integers. The analysis of these cases leads to phenomena that are absent in the case of QRWs on the integers even if one restricts oneself to a constant coin. This is illustrated here by studying recurrence properties of the walk, but the same method can be used for other purposes. The presentation here aims at being selfcontained, but we re- frain from trying to give an introduction to quantum random walks, a subject well surveyed in the literature we quote. For two excellent reviews, see [1, 18]. See also the recent notes [19].
△ Less
Submitted 15 January, 2009;
originally announced January 2009.
-
Matrix differential equations and scalar polynomials satisfying higher order recursions
Authors:
Antonio J. Duran,
F. Alberto Grünbaum
Abstract:
We show that any scalar differential operator with a family of polyno- mials as its common eigenfunctions leads canonically to a matrix differen- tial operator with the same property. The construction of the correspond- ing family of matrix valued polynomials has been studied in [D1, D2, DV] but the existence of a differential operator having them as common eigen- functions had not been consider…
▽ More
We show that any scalar differential operator with a family of polyno- mials as its common eigenfunctions leads canonically to a matrix differen- tial operator with the same property. The construction of the correspond- ing family of matrix valued polynomials has been studied in [D1, D2, DV] but the existence of a differential operator having them as common eigen- functions had not been considered This correspondence goes only one way and most matrix valued situations do not arise in this fashion.
We illustrate this general construction with a few examples. In the case of some families of scalar valued polynomials introduced in [GH] we take a first look at the algebra of all matrix differential operators that share these common eigenfunctions and uncover a number of phenomena that are new to the matrix valued case.
△ Less
Submitted 27 December, 2008;
originally announced December 2008.
-
The Darboux process and a noncommutative bispectral problem
Authors:
F. Alberto Grünbaum
Abstract:
The Darboux process, also known by many other names, played a very important role in some extremely enjoyable joint work that Hans and I did 25 years ago. I revisit a version of this problem in a case when scalars are replaced by matrices, i.e., elements of a non-commutative ring. Many of the issues studied here can be pushed to the case of a ring with identity, but my emphasis is on very concre…
▽ More
The Darboux process, also known by many other names, played a very important role in some extremely enjoyable joint work that Hans and I did 25 years ago. I revisit a version of this problem in a case when scalars are replaced by matrices, i.e., elements of a non-commutative ring. Many of the issues studied here can be pushed to the case of a ring with identity, but my emphasis is on very concrete examples involving $2 \times 2$ matrices.
△ Less
Submitted 20 August, 2008;
originally announced August 2008.
-
The Rahman Polynomials Are Bispectral
Authors:
F. Alberto Grünbaum
Abstract:
In a very recent paper, M. Rahman introduced a remarkable family of polynomials in two variables as the eigenfunctions of the transition matrix for a nontrivial Markov chain due to M. Hoare and M. Rahman. I indicate here that these polynomials are bispectral. This should be just one of the many remarkable properties enjoyed by these polynomials. For several challenges, including finding a genera…
▽ More
In a very recent paper, M. Rahman introduced a remarkable family of polynomials in two variables as the eigenfunctions of the transition matrix for a nontrivial Markov chain due to M. Hoare and M. Rahman. I indicate here that these polynomials are bispectral. This should be just one of the many remarkable properties enjoyed by these polynomials. For several challenges, including finding a general proof of some of the facts displayed here the reader should look at the last section of this paper.
△ Less
Submitted 3 May, 2007;
originally announced May 2007.
-
Random walks and orthogonal polynomials: some challenges
Authors:
F. Alberto Grunbaum
Abstract:
The study of several naturally arising "nearest neighbours" random walks benefits from the study of the associated orthogonal polynomials and their orthogonality measure. I consider extensions of this approach to a larger class of random walks. This raises a number of open problems.
The study of several naturally arising "nearest neighbours" random walks benefits from the study of the associated orthogonal polynomials and their orthogonality measure. I consider extensions of this approach to a larger class of random walks. This raises a number of open problems.
△ Less
Submitted 13 March, 2007;
originally announced March 2007.
-
The prolate spheroidal phenomena and bispectrality
Authors:
F. Alberto Grünbaum,
Milen Yakimov
Abstract:
Landau, Pollak, Slepian, and Tracy, Widom discovered that certain integral operators with so called Bessel and Airy kernels possess commuting differential operators and found important applications of this phenomena in time-band limiting and random matrix theory. In this paper we announce that very large classes of integral operators derived from bispectral algebras of rank 1 and 2 (parametrized…
▽ More
Landau, Pollak, Slepian, and Tracy, Widom discovered that certain integral operators with so called Bessel and Airy kernels possess commuting differential operators and found important applications of this phenomena in time-band limiting and random matrix theory. In this paper we announce that very large classes of integral operators derived from bispectral algebras of rank 1 and 2 (parametrized by lagrangian grassmannians of infinitely large size) have this property. The above examples come from special points in these grassmannians.
△ Less
Submitted 17 March, 2003;
originally announced March 2003.
-
Heat kernel expansions on the integers
Authors:
F. Alberto Grunbaum,
Plamen Iliev
Abstract:
In the case of the heat equation $u_t=u_{xx}+Vu$ on the real line there are some remarkable potentials $V$ for which the asymptotic expansion of the fundamental solution becomes a finite sum and gives an exact formula.
We show that a similar phenomenon holds when one replaces the real line by the integers. In this case the second derivative is replaced by the second difference operator $L_0$.…
▽ More
In the case of the heat equation $u_t=u_{xx}+Vu$ on the real line there are some remarkable potentials $V$ for which the asymptotic expansion of the fundamental solution becomes a finite sum and gives an exact formula.
We show that a similar phenomenon holds when one replaces the real line by the integers. In this case the second derivative is replaced by the second difference operator $L_0$. We show if $L$ denotes the result of applying a finite number of Darboux transformations to $L_0$ then the fundamental solution of $u_t=Lu$ is given by a finite sum of terms involving the Bessel function $I$ of imaginary argument.
△ Less
Submitted 9 June, 2002;
originally announced June 2002.
-
Matrix Valued Spherical Functions Associated to the Three Dimensional Hyperbolic Space
Authors:
F. A. Grunbaum,
I. Pacharoni,
J. Tirao
Abstract:
The main purpose of this paper is to compute all irreducible spherical functions on $G={SL}(2,{\mathbb C})$ of arbitrary type $δ\in \hat K$, where $K={SU}(2)$. This is accomplished by associating to a spherical function $Φ$ on $G$ a matrix valued function $H$ on the three dimensional hyperbolic space ${\mathbb H}=G/K$. The entries of $H$ are solutions of two coupled systems of ordinary different…
▽ More
The main purpose of this paper is to compute all irreducible spherical functions on $G={SL}(2,{\mathbb C})$ of arbitrary type $δ\in \hat K$, where $K={SU}(2)$. This is accomplished by associating to a spherical function $Φ$ on $G$ a matrix valued function $H$ on the three dimensional hyperbolic space ${\mathbb H}=G/K$. The entries of $H$ are solutions of two coupled systems of ordinary differential equations. By an appropriate twisting involving Hahn polynomials we uncouple one of the systems and express the entries of $H$ in terms of Gauss' functions ${}_2F_1$. Just as in the compact instance treated in [GPT] there is a useful role for a special class of generalized hypergeometric functions ${}_{p+1}F_p$.
△ Less
Submitted 20 March, 2002;
originally announced March 2002.
-
An Invitation to Matrix Valued Spherical Functions: Linearization of Products in the Case of the Complex Projective Space $P_2({\mathbb C})$
Authors:
F. A. Grunbaum,
I. Pacharoni,
J. Tirao
Abstract:
We present a friendly introduction to the very detailed results in [9,10,11] and as an illustration we discuss here the issue of {\em linearization of products}. We find some interesting new phenomena.
We present a friendly introduction to the very detailed results in [9,10,11] and as an illustration we discuss here the issue of {\em linearization of products}. We find some interesting new phenomena.
△ Less
Submitted 13 October, 2002; v1 submitted 28 February, 2002;
originally announced February 2002.
-
Matrix Valued Spherical Functions Associated to the Complex Projective Plane
Authors:
F. A. Grunbaum,
I. Pacharoni,
J. Tirao
Abstract:
The main purpose of this paper is to compute all irreducible spherical functions on $G=\SU(3)$ of arbitrary type $δ\in \hat K$, where $K={\mathrm{S}}(\mathrm{U}(2)\times\mathrm{U}(1))\simeq\mathrm{U}(2)$. This is accomplished by associating to a spherical function $Φ$ on $G$ a matrix valued function $H$ on the complex projective plane $P_2(\mathbb{C})=G/K$. It is well known that there is a fruit…
▽ More
The main purpose of this paper is to compute all irreducible spherical functions on $G=\SU(3)$ of arbitrary type $δ\in \hat K$, where $K={\mathrm{S}}(\mathrm{U}(2)\times\mathrm{U}(1))\simeq\mathrm{U}(2)$. This is accomplished by associating to a spherical function $Φ$ on $G$ a matrix valued function $H$ on the complex projective plane $P_2(\mathbb{C})=G/K$. It is well known that there is a fruitful connection between the hypergeometric function of Euler and Gauss and the spherical functions of trivial type associated to a rank one symmetric pair $(G,K)$. But the relation of spherical functions of types of dimension bigger than one with classical analysis, has not been worked out even in the case of an example of a rank one pair. The entries of $H$ are solutions of two systems of ordinary differential equations. There is no ready made approach to such a pair of systems, or even to a single system of this kind. In our case the situation is very favorable and the solution to this pair of systems can be exhibited explicitely in terms of a special class of generalized hypergeometric functions ${}_{p+1}F_p$.
△ Less
Submitted 28 August, 2001; v1 submitted 6 August, 2001;
originally announced August 2001.
-
Discrete bispectral Darboux transformations from Jacobi operators
Authors:
F. Alberto Grünbaum,
Milen Yakimov
Abstract:
We construct families of bispectral difference operators of the form a(n)T + b(n) + c(n) T^{-1} where T is the shift operator. They are obtained as discrete Darboux transformations from appropriate extensions of Jacobi operators. We conjecture that along with operators previously constructed by Grunbaum, Haine, Horozov, and Iliev they exhaust all bispectral regular (i.e. a(n)c(n) \neq 0, for all…
▽ More
We construct families of bispectral difference operators of the form a(n)T + b(n) + c(n) T^{-1} where T is the shift operator. They are obtained as discrete Darboux transformations from appropriate extensions of Jacobi operators. We conjecture that along with operators previously constructed by Grunbaum, Haine, Horozov, and Iliev they exhaust all bispectral regular (i.e. a(n)c(n) \neq 0, for all integer n) operators of the form above.
△ Less
Submitted 19 December, 2000;
originally announced December 2000.
