arXiv subjects

David P. Kimsey

Publications and source records attributed to David P. Kimsey.

10 recordsLinked to original sources

arXiv2026

Orthogonal Polynomials, a Szegő--Verblunsky Theorem and Baxter's Theorem on the Quaternionic Sphere

We introduce a theory of orthogonal polynomials on the unit sphere of the quaternions based on the notion of a $q$-positive measure (which originated in a work of Alpay, Colombo, the second author and Sabadini). The results we extend to this setting include the Szegő recurrences, the Zeros Theorem for orthogonal polynomials, the Szegő--Verblunsky theorem, and Baxter's theorem; to obtain these results, we utilise the Verblunsky coefficients (or Schur parameters) of Alpay, Colombo and Sabadini and a number of established results in the matricial setting. Our approach also requires matrix-valued analogues of Schur's recurrences for the coefficients of a Schur function and of Verblunsky's formula for the moments of a measure, which appear to be new.

math.CA↗

arXiv2025

Orthogonal Polynomials, Verblunsky Coefficients, and a Szegő-Verblunsky Theorem on the Unit Sphere in $\mathbb{C}^d$

Given a measure $μ$ on the unit sphere $\partial\mathbb{B}^d$ in $\mathbb{C}^d$ with Lebesgue decomposition ${\rm d} μ= w \, {\rm d} σ+ {\rm d} μ_s$, with respect to the rotation-invariant Lebesgue measure $σ$ on $\partial \mathbb{B}^d$, we introduce notions of orthogonal polynomials $(φ_α)_{α\in \mathbb{N}_0^d}$, Verblunsky coefficients $(γ_{α,β})_{α,β\in \mathbb{N}_0^d}$, and an associated Christoffel function $λ_{\infty}^{(d)}(z; {\rm d} μ)$, and we prove a recurrence relation for the orthogonal polynomials involving the Verblunsky coefficients reminiscent of the classical Szegő recurrences, as well as an analogue of Verblunsky's theorem. Moreover, we establish a number of equalities involving the orthogonal polynomials, determinants of moment matrices, and the Christoffel function, and show that if ${\rm supp}\, μ_s$ is discrete, then the aforementioned quantities depend only on the absolutely continuous part of $μ$. If, in addition to ${\rm supp}\, μ_s$ being discrete, one is able to find $f \in H^{\infty}(\mathbb{B}^d)$ such that $f(0) = 1$ and $$\int_{\partial \mathbb{B}^d} |f(ζ)|^2 w(ζ) {\rm d}σ(ζ) \leq \exp\left( \int_{\partial \mathbb{B}^d} \log(w(ζ)) \, {\rm d}σ(ζ) \right),$$ then we establish a $d$-variate Szegő-Verblunsky theorem, namely $$\prod_{α\in \mathbb{N}_0^d} (1 - | γ_{0,α} |^2) = \exp\left(\int_{\partial\mathbb{B}^d} \log( w(ζ)) \, {\rm d}σ(ζ)\right).$$ Finally, we identify several classes of weights where one may construct such an $f$ and highlight an explicit example of a weight $w$, residing outside of these classes, where $\prod_{α\in \mathbb{N}_0^d} (1 - |γ_{0,α} |^2) \neq \exp\left(\int_{\partial\mathbb{B}^d} \log( w(ζ)) \, {\rm d}σ(ζ)\right)$.

math.CV↗

arXiv2025

A Noncommutative Szegő-Type Theorem on the Row-Ball

In this paper we leverage the recently developed theory of noncommutative (nc) measures to prove a free noncommutative analogue of many known equalities extending the weak Szegő limit theorem, by applying Constantinescu's theory of Schur parameters to an appropriate kernel on the free monoid on $d$ generators, where $d \geq 1$; in particular, we show that our nc Szegő entropy depends only upon the absolutely continuous part of the associated nc measure. We obtain a correspondence between nc measures and multi-Toeplitz kernels arising from considering the moments of the nc measure, and apply this correspondence to study orthogonal polynomials associated to an nc measure. Finally, we study the determinantal zeros of those polynomials and obtain a noncommutative row-ball analogue of the so-called Zeros Theorem for orthogonal polynomials on the unit circle.

math.FA↗

arXiv2023

Moment indeterminateness: the Marcel Riesz variational principle

The discrete data encoded in the power moments of a positive measure, fast decaying at infinity on euclidean space, is incomplete for recovery, leading to the concept of moment indeterminateness. On the other hand, classical integral transforms (Fourier-Laplace, Fantappiè, Poisson) of such measures are complete, often invertible via an effective inverse operation. The gap between the two non-uniqueness/ uniqueness phenomena is manifest in the dual picture, when trying to extend the measure, regarded as a positive linear functional, from the polynomial algebra to the full space of continuous functions. This point of view was advocated by Marcel Riesz a century ago, in the single real variable setting. Notable advances in functional analysis have root in Riesz' celebrated four notes devoted to the moment problem. A key technical ingredient being there the monotone approximation by polynomials of kernels of integral transforms. With inherent new obstacles we reappraise in the context of several real variables M. Riesz' variational principle. The result is an array of necessary and sufficient moment indeterminateness criteria, some raising real algebra questions, others involving intriguing analytic problems, all gravitating around the concept of moment separating function.

math.FA↗

arXiv2022

Universality property of the $S$-functional calculus, noncommuting matrix variables and Clifford operators

The spectral theory on the $S$-spectrum was born out of the need to give quaternionic quantum mechanics (formulated by Birkhoff and von Neumann) a precise mathematical foundation. Then it turned out that this theory has important applications in several fields such as fractional diffusion problems and, moreover, it allows one to define several functional calculi for $n$-tuples of noncommuting operators. With this paper we show that the spectral theory on the $S$-spectrum is much more general and it contains, just as particular cases, the complex, the quaternionic and the Clifford settings. More precisely, we show that the $S$-spectrum is well defined for objects in an algebra that has a complex structure and for operators in general Banach modules. We show that the abstract formulation of the $S$-functional calculus goes beyond quaternionic and Clifford analysis. Indeed we show that the $S$-functional calculus has a certain {\em universality property}. This fact makes the spectral theory on the $S$-spectrum applicable to several fields of operator theory and allows one to define functions of noncommuting matrix variables, and operator variables, as a particular case.

math.FA↗

arXiv2021

The spectral theorem for normal operators on a Clifford module

In this paper, using the recently discovered notion of the $S$-spectrum, we prove the spectral theorem for a bounded or unbounded normal operator on a Clifford module (i.e., a two-sided Hilbert module over a Clifford algebra based on units that all square to be $-1$). Moreover, we establish the existence of a Borel functional calculus for bounded or unbounded normal operators on a Clifford module. Towards this end, we have developed many results on functional analysis, operator theory, integration theory and measure theory in a Clifford setting which may be of an independent interest. Our spectral theory is the natural spectral theory for the Dirac operator on manifolds in the non-self adjoint case. Moreover, our results provide a new notion of spectral theory and a Borel functional calculus for a class of $n$-tuples of commuting or non-commuting operators on a real or complex Hilbert space. Moreover, for a special class of $n$-tuples of operators on a Hilbert space our results provide a complementary functional calculus to the functional calculus of J. L. Taylor.

math.FA↗

arXiv2020

On a minimal solution for the indefinite truncated multidimensional moment problem

We will consider the indefinite truncated multidimensional moment problem. Necessary and sufficient conditions for a given truncated multisequence to have a signed representing measure $μ$ with ${\rm card}\,{\rm supp}\, μ$ as small as possible are given by the existence of a rank preserving extension of a multivariate Hankel matrix (built from the given truncated multisequence) such that the corresponding associated polynomial ideal is real radical. This result is a special case of a more general characterisation of truncated multisequences with a minimal complex representing measure whose support is symmetric with respect to complex conjugation (which we will call {\it quasi-complex}). One motivation for our results is the fact that positive semidefinite truncated multisequence need not have a positive representing measure. Thus, our main result gives the potential for computing a signed representing measure $μ= μ_+ - μ_-$, where ${\rm card} \,μ_-$ is small. We illustrate this point on concrete examples.

math.FA↗

arXiv2015

Functions of the infinitesimal generator of a strongly continuous quaternionic group

The analogue of the Riesz-Dunford functional calculus has been introduced and studied recently as well as the theory of semigroups and groups of linear quaternionic operators. In this paper we suppose that $T$ is the infinitesimal generator of a strongly continuous group of operators $(\mathcal{Z}_T(t))_{t \in \mathbb{R}}$ and we show how we can define bounded operators $f(T)$, where $f$ belongs to a class of functions which is larger than the class of slice regular functions, using the quaternionic Laplace-Stieltjes transform. This class will include functions that are slice regular on the $S$-spectrum of $T$ but not necessarily at infinity. Moreover, we establish the relation of $f(T)$ with the quaternionic functional calculus and we study the problem of finding the inverse of $f(T)$.

math.SP↗

arXiv2015

Wiener algebra for the quaternions

We define and study the counterpart of the Wiener algebra in the quaternionic setting, both for the discrete and continuous case. We prove a Wiener-Lévy type theorem and a factorization theorem. We give applications to Toeplitz and Wiener-Hopf operators.

math.CV↗

arXiv2014

The spectral theorem for quaternionic unbounded normal operators based on the S-spectrum

In this paper we prove the spectral theorem for quaternionic unbounded normal operators using the notion of $S$-spectrum. The proof technique consists of first establishing a spectral theorem for quaternionic bounded normal operators and then using a transformation which maps a quaternionic unbounded normal operator to a quaternionic bounded normal operator. With this paper we complete the foundation of spectral analysis of quaternionic operators. The $S$-spectrum has been introduced to define the quaternionic functional calculus but it turns out to be the correct object also for the spectral theorem for quaternionic normal operators. The fact that the correct notion of spectrum for quaternionic operators was not previously known has been one of the main obstructions to fully understanding the spectral theorem in this setting. A prime motivation for studying the spectral theorem for quaternionic unbounded normal operators is given by the subclass of unbounded anti-self adjoint quaternionic operators which play a crucial role in the quaternionic quantum mechanics.

math.SP↗