arxiv: 2605.07787 · v1 · submitted 2026-05-08 · 🧮 math.CA · math.CV· math.FA

Recognition: 3 theorem links

· Lean Theorem

Orthogonal Polynomials, a SzegH{o}--Verblunsky Theorem and Baxter's Theorem on the Quaternionic Sphere

Connor J. Gauntlett, David P. Kimsey

Pith reviewed 2026-05-11 03:18 UTC · model grok-4.3

classification 🧮 math.CA math.CVmath.FA

keywords orthogonal polynomialsquaternionic sphereSzegő–Verblunsky theoremBaxter's theoremq-positive measuresVerblunsky coefficientsSchur recurrencesunit sphere

0 comments

The pith

Orthogonal polynomials on the quaternionic unit sphere satisfy extended Szegő–Verblunsky and Baxter theorems.

A machine-rendered reading of the paper's core claim, the machinery that carries it, and where it could break.

The paper develops orthogonal polynomials on the unit sphere in the quaternions using q-positive measures. It extends the Szegő recurrences, the theorem on zeros, the Szegő–Verblunsky theorem that links a measure to its Verblunsky coefficients, and Baxter's theorem from the complex unit circle to this setting. The extensions rest on Verblunsky coefficients already defined for quaternions by Alpay, Colombo and Sabadini, plus newly introduced matrix-valued versions of Schur recurrences and Verblunsky's moment formula. A sympathetic reader would care because these classical results are foundational in approximation theory and moment problems; their quaternionic versions open the same tools to non-commutative analysis without requiring entirely new machinery.

Core claim

We introduce a theory of orthogonal polynomials on the unit sphere of the quaternions based on the notion of a q-positive measure. 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 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.

What carries the argument

q-positive measures on the quaternionic unit sphere, together with the Verblunsky coefficients of Alpay–Colombo–Sabadini and the new matrix-valued Schur recurrences and Verblunsky moment formula that transfer the classical theorems.

If this is right

The Szegő recurrences govern the orthogonal polynomials on the quaternionic sphere.
The zeros of these orthogonal polynomials satisfy the same location theorem as in the complex case.
The Szegő–Verblunsky theorem equates the q-positive measure to its sequence of Verblunsky coefficients.
Baxter's theorem holds for the associated Schur functions on the quaternionic sphere.
Moments of any q-positive measure are recovered from its Verblunsky coefficients by the new matrix-valued formula.

Where Pith is reading between the lines

These are editorial extensions of the paper, not claims the author makes directly.

The same matrix-valued recurrences may simplify calculations for ordinary matrix orthogonal polynomials on the complex circle.
The framework could support extensions of other circle theorems, such as those involving Szegő functions or prediction theory, to the quaternionic setting.
Recursive algorithms based on the new Schur recurrences might yield practical ways to compute the polynomials for given measures.
Similar constructions might apply to orthogonal polynomials on spheres in other normed division algebras.

Load-bearing premise

The Verblunsky coefficients and the established matricial results transfer directly to the quaternionic sphere without extra obstructions from non-commutativity or the geometry of the sphere.

What would settle it

A concrete q-positive measure on the quaternionic unit sphere for which the matrix-valued Verblunsky moment formula fails to recover the correct moments or for which the stated extension of the Szegő–Verblunsky theorem does not hold.

read the original abstract

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\H{o} recurrences, the Zeros Theorem for orthogonal polynomials, the Szeg\H{o}--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.

Editorial analysis

A structured set of objections, weighed in public.

Desk editor's note, referee report, simulated authors' rebuttal, and a circularity audit. Tearing a paper down is the easy half of reading it; the pith above is the substance, this is the friction.

Desk Editor's Note private letter to a colleague

This paper extends Szegő-Verblunsky and Baxter theorems to quaternionic orthogonal polynomials using q-positive measures and new matrix Schur recurrences, a coherent but narrow subfield development.

read the letter

The main takeaway is that Gauntlett and Kimsey have carried the classical orthogonal polynomial results over to the quaternionic unit sphere. They work with q-positive measures and the Verblunsky coefficients introduced by Alpay, Colombo, and Sabadini, then recover the Szegő recurrences, a zeros theorem, the Szegő-Verblunsky theorem, and Baxter's theorem in this setting. The actual additions are the matrix-valued versions of Schur recurrences for Schur function coefficients and Verblunsky's moment formula, which they present as new and use to connect to established matricial results. The paper handles the setup cleanly and gives proper credit to the earlier work without overreaching. It keeps the extension systematic and focused on what transfers directly. The non-commutativity concern from the stress test does not appear to create a load-bearing problem here, since the authors derive the necessary matrix analogues to manage ordering and products. Any remaining subtleties in how those analogues interact with the specific geometry of the quaternionic sphere would be minor and checkable in the proofs. This is aimed at specialists already working in quaternionic analysis or matrix-valued orthogonal polynomials. Someone familiar with the commutative or matricial versions will find the new recurrences and the extended theorems straightforward to use. It deserves a serious referee because the program is internally consistent, the novelty is localized and real, and the results are reproducible from the stated framework. I would send it for peer review.

Referee Report

1 major / 2 minor

Summary. The manuscript presents a theory of orthogonal polynomials on the quaternionic unit sphere, grounded in q-positive measures. It extends the Szegő recurrences, Zeros Theorem, Szegő–Verblunsky theorem, and Baxter's theorem using Verblunsky coefficients of Alpay–Colombo–Sabadini, established matricial results, and new matrix-valued analogues of Schur recurrences and Verblunsky's moment formula.

Significance. Should the central extensions prove valid, the work would offer a valuable generalization of classical orthogonal polynomial results to the quaternionic setting. The introduction of new matrix-valued Schur recurrences and Verblunsky moment formula, which the authors note appear to be new, represents a technical contribution that could facilitate further developments in non-commutative analysis and related operator theory.

major comments (1)

Abstract: The abstract states that the results are obtained by utilising Verblunsky coefficients and established matricial results, along with new matrix-valued analogues. However, it does not specify the precise manner in which non-commutativity is accommodated in the new analogues or in the application of matricial theorems to the quaternionic sphere. Since this is load-bearing for the Szegő–Verblunsky and Baxter extensions, a detailed account of any necessary adjustments for quaternion multiplication ordering is required.

minor comments (2)

The manuscript would benefit from an explicit statement of how the quaternionic results specialize to the complex case to aid readers.
Ensure all references to prior works, particularly those by Alpay, Colombo, Sabadini, and Kimsey, are complete and up-to-date.

Simulated Author's Rebuttal

1 responses · 0 unresolved

We thank the referee for the thoughtful review and the recommendation for major revision. We address the single major comment below and will incorporate clarifications to strengthen the presentation.

read point-by-point responses

Referee: Abstract: The abstract states that the results are obtained by utilising Verblunsky coefficients and established matricial results, along with new matrix-valued analogues. However, it does not specify the precise manner in which non-commutativity is accommodated in the new analogues or in the application of matricial theorems to the quaternionic sphere. Since this is load-bearing for the Szegő–Verblunsky and Baxter extensions, a detailed account of any necessary adjustments for quaternion multiplication ordering is required.

Authors: We agree that the abstract, being concise, does not explicitly detail the handling of non-commutativity. In the manuscript, non-commutativity is accommodated through the framework of q-positive measures as introduced by Alpay, Colombo, Sabadini and the second author, which encodes the appropriate left/right multiplication ordering from the outset. The Verblunsky coefficients are taken directly from the Alpay–Colombo–Sabadini construction, which already respects quaternion non-commutativity. The new matrix-valued Schur recurrences and Verblunsky moment formula are derived by applying established matricial results while preserving the non-commutative ordering conventions at each step (explicitly tracked via left and right multiplications in the relevant sections). We will revise the abstract to include a brief clarifying sentence on these points and ensure the introduction provides a short overview of the ordering adjustments, thereby making the load-bearing aspects more immediately visible. revision: yes

Circularity Check

0 steps flagged

No significant circularity in derivation chain

full rationale

The paper takes q-positive measures and Verblunsky coefficients from prior cited works (including one co-authored by the second author) as given inputs and combines them with established external matricial results plus newly derived matrix-valued Schur recurrences and Verblunsky moment formulae that are explicitly presented as original. No equation or theorem is shown to reduce to its own inputs by construction, no uniqueness theorem is imported from the authors' own prior work to force the result, and the extensions of Szegő–Verblunsky and Baxter theorems rest on independent algebraic identities transferred from the commutative matricial setting rather than on self-referential definitions or fitted predictions.

Axiom & Free-Parameter Ledger

0 free parameters · 1 axioms · 0 invented entities

The theory rests on the prior definition of q-positive measures and Verblunsky coefficients; no new free parameters or invented entities are introduced in the abstract.

axioms (1)

domain assumption q-positive measures and their associated Verblunsky coefficients as defined in Alpay–Colombo–Kimsey–Sabadini prior work
The entire extension is built on this notion and the matricial results that follow from it.

pith-pipeline@v0.9.0 · 5466 in / 1275 out tokens · 59857 ms · 2026-05-11T03:18:21.218359+00:00 · methodology

discussion (0)

Lean theorems connected to this paper

Citations machine-checked in the Pith Canon. Every link opens the source theorem in the public Lean library.

IndisputableMonolith/Foundation/AbsoluteFloorClosure.lean reality_from_one_distinction unclear
We introduce a theory of orthogonal polynomials on the unit sphere of the quaternions based on the notion of a q-positive measure... utilise the Verblunsky coefficients... matrix-valued analogues of Schur’s recurrences and of Verblunsky’s formula
IndisputableMonolith/Foundation/AlexanderDuality.lean alexander_duality_circle_linking unclear
Theorem 8.1 (quaternionic Szegő–Verblunsky)... ∞∏(1−|γ_n|²)² = exp(∫ log det W_i dθ/2π)
IndisputableMonolith/Foundation/ArithmeticFromLogic.lean LogicNat ≃ Nat unclear
Corollary 9.5 (quaternionic Baxter)... Verblunsky coefficients summable iff absolutely continuous with Radon–Nikodym derivative in quaternionic Wiener algebra

Reference graph

Works this paper leans on

42 extracted references · 42 canonical work pages

[1]

Alpay, M

D. Alpay, M. Bo˙ zejko, F. Colombo, D. P. Kimsey, and I. Sabadini. Boolean convolution in the quaternionic setting. Linear Algebra and its Applications, 506:382–412, 2016

work page 2016
[2]

Alpay, F

D. Alpay, F. Colombo, D. P. Kimsey, and I. Sabadini. An extension of Herglotz’s theorem to the quaternions.J. Math. Anal. Appl., 421(1):754–778, 2015

work page 2015
[3]

Alpay, F

D. Alpay, F. Colombo, D. P. Kimsey, and I. Sabadini. Wiener algebra for the quaternions.Mediterr. J. Math., 13(5):2463–2482, 2016

work page 2016
[4]

Alpay, F

D. Alpay, F. Colombo, and I. Sabadini.Schur Analysis in the Quaternionic Setting: The Fueter Regular and the Slice Regular Case, pages 1–44. Springer Basel, Basel, 2016

work page 2016
[5]

Alpay, F

D. Alpay, F. Colombo, and I. Sabadini.Slice hyperholomorphic Schur analysis, volume 256 ofOperator Theory: Advances and Applications. Birkh¨ auser/Springer, Cham, 2016

work page 2016
[6]

G. Baxter. A convergence equivalence related to polynomials orthogonal on the unit circle.Trans. Amer. Math. Soc., 99:471–487, 1961

work page 1961
[7]

Bock and K

S. Bock and K. G¨ urlebeck. On a generalized Appell system and monogenic power series.Math. Methods Appl. Sci., 33(4):394–411, 2010

work page 2010
[8]

S. Bock, K. G¨ urlebeck, R. L´ aviˇ cka, and V. Souˇ cek. Gelfand-Tsetlin bases for spherical monogenics in dimension 3. Rev. Mat. Iberoam., 28(4):1165–1192, 2012

work page 2012
[9]

J. L. Brenner. Matrices of quaternions.Pacific J. Math., 1:329–335, 1951

work page 1951
[10]

Ca¸ c˜ ao, M

I. Ca¸ c˜ ao, M. I. Falc˜ ao, and H. R. Malonek. A matrix recurrence for systems of Clifford algebra-valued orthogonal polynomials.Adv. Appl. Clifford Algebr., 24(4):981–994, 2014

work page 2014
[11]

Ca¸ c˜ ao, M

I. Ca¸ c˜ ao, M. I. Falc˜ ao, and H. R. Malonek. Three-term recurrence relations for systems of Clifford algebra-valued orthogonal polynomials.Adv. Appl. Clifford Algebr., 27(1):71–85, 2017

work page 2017
[12]

Ca¸ c˜ ao, K

I. Ca¸ c˜ ao, K. G¨ urlebeck, and S. Bock. Complete orthonormal systems of spherical monogenics—a constructive ap- proach. InMethods of complex and Clifford analysis, pages 255–274. SAS Int. Publ., Delhi, 2004

work page 2004
[13]

Ca¸ c˜ ao, K

I. Ca¸ c˜ ao, K. G¨ urlebeck, and S. Bock. On derivatives of spherical monogenics.Complex Var. Elliptic Equ., 51(8- 11):847–869, 2006

work page 2006
[14]

Ca¸ c˜ ao, K

I. Ca¸ c˜ ao, K. G¨ urlebeck, and H. Malonek. Special monogenic polynomials andL2-approximation.Adv. Appl. Clifford Algebras, 11(S2):47–60, 2001

work page 2001
[15]

Colombo, J

F. Colombo, J. Gantner, and D. P. Kimsey.Spectral theory on the S-spectrum for quaternionic operators, volume 270 ofOperator Theory: Advances and Applications. Birkh¨ auser/Springer, Cham, 2018

work page 2018
[16]

Colombo, Irene Sabadini, and D

F. Colombo, Irene Sabadini, and D. C. Struppa.Noncommutative functional calculus, volume 289 ofProgress in Mathematics. Birkh¨ auser/Springer Basel AG, Basel, 2011. Theory and applications of slice hyperholomorphic functions

work page 2011
[17]

Damanik, A

D. Damanik, A. Pushnitski, and B. Simon. The Analytic Theory of Matrix Orthogonal Polynomials.Surv. Approx. Theory, 4:1–85, 2008

work page 2008
[18]

Delsarte, Y

P. Delsarte, Y. V. Genin, and Y. G. Kamp. Orthogonal polynomial matrices on the unit circle.IEEE Trans. Circuits and Systems, CAS-2(3):149–160, 1978

work page 1978
[19]

Derevyagin, O

M. Derevyagin, O. Holtz, S. Khrushchev, and M. Tyaglov. Szeg˝ o’s theorem for matrix orthogonal polynomials.J. Approx. Theory, 164(9):1238–1261, 2012

work page 2012
[20]

Dym and D

H. Dym and D. P. Kimsey. CMV matrices, a matrix version of Baxter’s theorem, scattering and de Branges spaces. EMS Surv. Math. Sci., 3(1):1–105, 2016

work page 2016
[21]

D. R. Farenick and B. A. F. Pidkowich. The spectral theorem in quaternions.Linear Algebra Appl., 371:75–102, 2003

work page 2003
[22]

C. J. Gauntlett and D. P. Kimsey. A Noncommutative Szeg˝ o-Type Theorem on the Row-Ball, arXiv:2507.19453, 2025

work page arXiv 2025
[23]

C. J. Gauntlett and D. P. Kimsey. Orthogonal Polynomials, Verblunsky Coefficients, and a Szeg˝ o-Verblunsky The- orem on the Unit Sphere inC d, arXiv:2512.10528, 2025

work page arXiv 2025
[24]

Gentili and D

G. Gentili and D. C. Struppa. A new approach to Cullen-regular functions of a quaternionic variable.C. R. Math. Acad. Sci. Paris, 342(10):741–744, 2006

work page 2006
[25]

Gentili and D

G. Gentili and D. C. Struppa. A new theory of regular functions of a quaternionic variable.Adv. Math., 216(1):279– 301, 2007

work page 2007
[26]

J. S. Geronimo. Matrix orthogonal polynomials on the unit circle.J. Math. Phys., 22(7):1359–1365, 1981

work page 1981
[27]

Geronimus

J. Geronimus. On polynomials orthogonal on the circle, on trigonometric moment-problem and on allied Carath´ eodory and Schur functions.C. R. (Doklady) Acad. Sci. URSS (N.S.), 39:291–295, 1943

work page 1943
[28]

Geronimus

J. Geronimus. On the Trigonometric Moment Problem.Annals of Mathematics, 47(4):742–761, 1946

work page 1946
[29]

Gohberg, editor.I

I. Gohberg, editor.I. Schur methods in operator theory and signal processing, volume 18 ofOperator Theory: Advances and Applications. Birkh¨ auser Verlag, Basel, 1986

work page 1986
[30]

Gohberg, S

I. Gohberg, S. Goldberg, and M. A. Kaashoek.Classes of linear operators. Vol. II, volume 63 ofOperator Theory: Advances and Applications. Birkh¨ auser Verlag, Basel, 1993

work page 1993
[31]

Gohberg, P

I. Gohberg, P. Lancaster, and L. Rodman.Matrix polynomials, volume 58 ofClassics in Applied Mathematics. Society for Industrial and Applied Mathematics (SIAM), Philadelphia, PA, 2009. Reprint of the 1982 original [MR0662418]

work page 2009
[32]

Hoffman.Banach spaces of analytic functions

K. Hoffman.Banach spaces of analytic functions. Prentice-Hall Series in Modern Analysis. Prentice-Hall, Inc., Englewood Cliffs, NJ, 1962. QUATERNIONIC ORTHOGONAL POLYNOMIALS, A S–V THEOREM & BAXTER’S THEOREM 31

work page 1962
[33]

Katznelson.An Introduction to Harmonic Analysis

Y. Katznelson.An Introduction to Harmonic Analysis. Cambridge Mathematical Library. Cambridge University Press, 3 edition, 2004

work page 2004
[34]

H. C. Lee. Eigenvalues and canonical forms of matrices with quaternion coefficients.Proc. Roy. Irish Acad. Sect. A, 52:253–260, 1949

work page 1949
[35]

Porat and V

M. Porat and V. Vinnikov. Realizations of non-commutative rational functions around a matrix centre, I: synthesis, minimal realizations and evaluation on stably finite algebras.J. Lond. Math. Soc. (2), 104(3):1250–1299, 2021

work page 2021
[36]

I, pages 31–59

Schur, I.On Power Series Which are Bounded in the Interior of the Unit Circle. I, pages 31–59. Volume 18 of Gohberg [29], 1986

work page 1986
[37]

Serˆ odio, E

R. Serˆ odio, E. Pereira, and J. Vit´ oria. Computing the zeros of quaternion polynomials.Computers & Mathematics with Applications, 42(8):1229–1237, 2001

work page 2001
[38]

Simon.Orthogonal Polynomials on the Unit Circle: Part 1: Classical Theory, volume 54 ofAmerican Mathemat- ical Society Colloquium Publications

B. Simon.Orthogonal Polynomials on the Unit Circle: Part 1: Classical Theory, volume 54 ofAmerican Mathemat- ical Society Colloquium Publications. American Mathematical Society, Providence, RI, 2005. Classical theory

work page 2005
[39]

Szeg˝ o.Orthogonal Polynomials

G. Szeg˝ o.Orthogonal Polynomials. American Math. Soc: Colloquium publ. American Mathematical Society, 1975

work page 1975
[40]

Verblunsky

S. Verblunsky. On Positive Harmonic Functions: A Contribution to the Algebra of Fourier Series.Proc. London Math. Soc. (2), 38:125–157, 1935

work page 1935
[41]

F. Zhang. Quaternions and matrices of quaternions.Linear Algebra Appl., 251:21–57, 1997

work page 1997
[42]

M. L. Zimmermann, S. Bernstein, and B. Schneider. General aspects of Jackson calculus in Clifford analysis.Adv. Appl. Clifford Algebr., 35(2):Paper No. 14, 18, 2025. (CJG) School of Mathematics and Statistics, Newcastle University, Newcastle upon Tyne NE1 7RU UK Email address:c.gauntlett@newcastle.ac.uk (DPK) School of Mathematics and Statistics, Newcastl...

work page 2025