REVIEW 6 minor 1 cited by
The CMV bispectrality of the Jacobi polynomials on the unit circle
T0 review · 0 major / 6 minor · reviewed 2026-08-11 · deepseek-v4-flash
Pith's one-line read This paper establishes that the Jacobi polynomials orthogonal on the unit circle satisfy two dual eigenvalue problems: the CMV recurrence and a first-order Dunkl-type differential equation, making them the first nontrivial explicit…
desk verdict A likely correct and genuinely new CMV bispectrality result for Jacobi OPUC, with a clean algebraic derivation and a proof sketch that needs a few more displayed lines. read the letter →
The pith
A machine-rendered reading of the paper's core claim, the machinery that carries it, and where it could break.
The reading
What carries the argument
The load-bearing objects are the CMV Laurent polynomials $\psi_n$ (defined from the OPUC by $\psi_{2n}=z^n\overline{\Phi_{2n}(1/z)}$, $\psi_{2n+1}=z^{-n}\Phi_{2n+1}(z)$), the two reflection involutions $M_1=R$ and $M_2=zR$, and the first-order Dunkl-type operator $K$ above. The argument's pivot is the classical identification of the Szegő pair $P_n(x(z))$, $Q_n(x(z))$ with the ordinary Jacobi polynomials and their $(\alpha+1,\beta+1)$ companions; this identification converts the derivative identity (8.6) and the Jacobi differential equation (8.7) into the elimination that yields (8.4). The circle Jacobi algebra then serves two further purposes: its representations produce the Verblunsky parameters $a_n$ without any differential equation, and the elements $X=M_2M_1+M_1M_2$, $Y=K^2-(\alpha+\beta+1)K$ realize a central extension of the ordinary quadratic Jacobi algebra, with $X,Y$ commuting with $M_1$.
What would settle it
Take generic parameters $\alpha,\beta$, construct $\psi_n$ explicitly from the Verblunsky parameters (7.7) for $n=0,1,2,3$, and check $K\psi_n=\lambda_n\psi_n$ term by term with $K$ as in (8.3); if the identity fails for any $n$, or if the anticommutator relations $\{K,M_1\}=(\alpha+\beta+1)(M_1-I)$ and $\{K,M_2\}=(2+\alpha+\beta)M_2+(\alpha-\beta)I$ do not hold on Laurent polynomials, the central claim collapses.
Extended reading notes
Core claim
Proposition 1 is the central result: for the Jacobi OPUC with Verblunsky parameters $a_n = -\frac{\alpha+\frac12 + (-1)^{n+1}(\beta+\frac12)}{n+\alpha+\beta+2}$, the CMV Laurent polynomials $\psi_n(z)$ satisfy $K\psi_n = \lambda_n\psi_n$ with $K = z\partial_z + \frac{z((\alpha+\beta+1)z + \alpha-\beta)}{1-z^2}(R-I)$ and $\lambda_n = -n/2$ for $n$ even, $\lambda_n = (n+1)/2 + \alpha+\beta+1$ for $n$ odd, alongside the CMV recurrence $C\psi_n = z\psi_n$. The operator $K$ is first-order in $z\partial_z$ but contains the reflection $R: f(z)\mapsto f(1/z)$, so it is of Dunkl type. The proof routes through the classical circle-to-line map: the associated real-line pair $P_n, Q_n$ are exactly the ordinary Jacobi polynomials $P_n^{(\alpha,\beta)}(x/2)$ and $P_n^{(\alpha+1,\beta+1)}(x/2)$, which lets the computation trade the second derivative against the Jacobi differential equation. The Verblunsky parameters themselves are derived independently from the representation theory of the circle Jacobi algebra, defined by $\{K,M_1\}=(\alpha+\beta+1)(M_1-I)$ and $\{K,M_2\}=(2+\alpha+\beta)M_2+(\alpha-\beta)I$ with $M_1=R$, $M_2=zR$ and $M_1^2=M_2^2=I$.
Load-bearing premise
The proof rests on the classical identification that the real-line companion pair $P_n, Q_n$ built from the Jacobi OPUC are exactly the ordinary Jacobi polynomials $P_n^{(\alpha,\beta)}(x/2)$ and $P_n^{(\alpha+1,\beta+1)}(x/2)$; the whole elimination of the second derivative passes through that identification, and the paper does not show the intermediate algebra of that step.
Editorial extensions
If this is right
- The Jacobi OPUC are 'CMV-classical': they satisfy the CMV five-term recurrence and a first-order Dunkl-type differential eigenvalue equation, so the classical-polynomial program now has a nontrivial representative on the unit circle.
- The Verblunsky parameters $a_n = -\frac{\alpha+\frac12+(-1)^{n+1}(\beta+\frac12)}{n+\alpha+\beta+2}$ follow from the defining relations of the circle Jacobi algebra alone, making the algebra a complete algebraic characterization of the Jacobi OPUC.
- The single-moment OPUC with $a_n=-1/(n+2)$ are the special case $\alpha=1/2,\beta=-1/2$; the fully symmetric case $\alpha=\beta=-1/2$ reduces $K$ to $z\partial_z$ and gives $a_n=0$, reproducing the known pure-differential free case.
- The operator $Y=K^2-(\alpha+\beta+1)K$ is diagonal on the Jacobi polynomials with eigenvalue $n(\alpha+\beta+n+1)$, and its symmetric and antisymmetric eigenfunctions are separated by the reflection eigenvalue of $R$.
- The CMV Laurent polynomials coincide with the nonsymmetric Jacobi polynomials of the literature and $K$ is the rank-one trigonometric Dunkl operator, so this bispectrality ties together the unit-circle, the real-line, and the Dunkl-operator descriptions of the same family.
Reading between the lines
- A direct test of the algebraic mechanism: apply the same representation-theoretic derivation to other OPUC with known Verblunsky parameters and see whether a first-order Dunkl-type operator exists; the free and Jacobi cases may be only the first two members of a 'circle Askey scheme'.
- Because the proof inherits the Szegő identification, swapping that identification for the circle-to-line maps attached to other classical families could mint new CMV-bispectral OPUC, for instance those connected to $-1$ Jacobi polynomials.
- Since $K$ is self-adjoint relative to the circle weight, the two $\lambda_n$ chains suggest a natural invariant-subspace decomposition of $L^2(\mathbb{T}, w)$; exploiting it could give a closed-form spectral resolution of the pentadiagonal CMV matrix.
- The central-extension structure hints that the ordinary Jacobi algebra is a 'frozen-reflection' contraction of the circle Jacobi algebra; testing this by restricting to $R=+1$ Laurent polynomials should recover real-line Jacobi bispectrality as a limit.
Signed reviews
Editorial analysis
A structured set of objections, weighed in public.
Referee Report
Summary. The paper studies orthogonal polynomials on the unit circle of Jacobi type (Jacobi OPUC). It defines CMV bispectrality through the Laurent polynomials ψ_n in the CMV basis, which satisfy the ordinary eigenvalue problem Cψ_n = zψ_n and, additionally, a Dunkl-type eigenvalue equation Kψ_n = λ_nψ_n. The authors introduce a three-generated 'circle Jacobi algebra' with relations (7.3) and show that, under a diagonal ansatz for K and the standard block form for the reflection matrices M1 and M2, the Verblunsky parameters are forced to be (7.7), i.e. those of the Jacobi OPUC. Section 8 then exhibits the operator K in (8.3) and proves Proposition 1, that the Jacobi OPUC CMV Laurent polynomials satisfy (8.4). The paper also relates K to Cherednik's Dunkl operator and the nonsymmetric Jacobi polynomials, and embeds a central extension of the ordinary Jacobi algebra in the circle Jacobi algebra in Section 9.
Significance. If correct, this is the first nontrivial explicit example of CMV-bispectral OPUC for a Dunkl-type operator, complementing the Grünbaum–Velásquez negative result for pure differential operators. The explicit operator (8.3) and eigenvalues (8.5) are concrete and testable, and the connection to nonsymmetric Jacobi polynomials and Cherednik's operator is valuable. The derivation of the Verblunsky parameters from the circle Jacobi algebra is elegant and internally consistent, with λ0 determined by the relations rather than fitted. The main weakness is that the central computation in Proposition 1 is only sketched, but the missing algebra is a direct Jacobi-polynomial identity and the stress-test verification confirms that the result is correct.
minor comments (6)
- [Section 8, Proposition 1] The proof of the central eigenvalue equation (8.4) does not display the elimination of ∂_z^2 P_n via (8.7). Since this is the main verification of CMV bispectrality, please include the intermediate computation or an appendix, and state the normalization of P_n and Q_{n-1} used in (8.6) and (4.11).
- [Section 7] The equations that force λ0=0 are not shown. Please display the diagonal entries of the two relations in (7.3) and the resulting equation for λ0, as this step is used to determine the Verblunsky parameters (7.7).
- [Section 6, Eq. (6.7)] The text refers to 'the operator L' but L is not defined; it should be K throughout that sentence.
- [References] Reference [1] lists the author name twice: 'R. Askey, R. Askey'. Please correct the citation.
- [Abstract and Section 10] The claim that all fundamental properties of the Jacobi OPUC can be derived from representations of the circle Jacobi algebra is stronger than what is demonstrated. The paper derives the Verblunsky parameters and the Dunkl eigenvalue equation, but not, for instance, the orthogonality measure (7.9) from the algebra alone. Please soften or clarify this claim.
- [Section 5] The statement that the Dunkl operator 'will be identified by positing through an educated guess' should be phrased more formally, for instance as a definition of the algebra followed by a representation-theoretic construction, so that the role of the ansatz is explicit.
Circularity Check
No significant circularity: the CMV bispectrality of the Jacobi OPUC is established by a direct computation from the classical Szegő identification and the Jacobi differential equation, not by assuming the conclusion.
full rationale
The central claim is Proposition 1 (Section 8): the CMV Laurent polynomials ψ_n for the Jacobi OPUC with Verblunsky parameters (7.7) satisfy Kψ_n = λ_n ψ_n with K given by (8.3). The proof is a direct verification, not a reduction to its own input. It uses the classical Szegő identification (external, [18]) that the Szegő pair P_n, Q_n are the monic Jacobi polynomials P_n^{(α,β)}(x/2) and P_n^{(α+1,β+1)}(x/2), then applies the standard derivative identity (8.6), substitutes into the inversion formulas (4.11), applies K, and eliminates ∂_z^2 P_n using the Jacobi differential equation (8.7). Nothing in those identities assumes the desired eigenvalue equation (8.4); the final elimination is compressed into one sentence but is an algebraic identity, not a fitted input. The Section 7 representation derivation of λ_n and a_n is also not circular: the canonical algebra (7.3) is a normalization of the general relations (7.1)-(7.2), and the diagonal and non-diagonal equations force λ_0 = 0 and the formula (7.7) without fitting the Jacobi answer. The paper's own 'educated guess' language in Section 5 and the terse elimination in Proposition 1 are presentational gaps, not circular reductions. Self-citations [5], [7], and [20] are not load-bearing: the identification of (7.7) with Jacobi OPUC parameters is additionally supported by the external reference [2], and Proposition 1 itself cites Szegő [18] and standard Jacobi identities [13], not the authors' prior work. The later coincidence with the nonsymmetric Jacobi polynomials of [15] is noted after the proof and does not supply the argument. No step in the derivation is equivalent to its own conclusion by construction.
Assumptions & free parameters
assumptions (5)
- standard math OPUC theory: Szegő recurrence, Verblunsky parameters, CMV matrices, positivity of Toeplitz determinants
- standard math Jacobi PRL properties: the differential equation (8.7) and the relation (8.6) between Jacobi polynomials with parameters (α,β) and (α+1,β+1)
- domain assumption Szegő mapping identification: the Szegő pair P_n, Q_n for the Jacobi OPUC are the Jacobi PRL P_n^{(α,β)}(x/2) and P_n^{(α+1,β+1)}(x/2)
- domain assumption Nondegeneracy and reality of Verblunsky parameters: a_n real and a_n^2 != 1 for all n
- ad hoc to paper The canonical form of the circle Jacobi algebra (7.3) is an educated guess tailored to the Jacobi OPUC
invented entities (1)
-
circle Jacobi algebra
independent evidence
Cite this review
Pith. "Pith review of The CMV bispectrality of the Jacobi polynomials on the unit circle." pith.science (2026). https://pith.science/paper/EWAMFEGE
@misc{pith2026241211031,
author = {Pith},
title = {Pith review of: The CMV bispectrality of the Jacobi polynomials on the unit circle},
year = {2026},
howpublished = {\url{https://pith.science/paper/EWAMFEGE}},
note = {Machine review of arXiv:2412.11031}
}
read the original abstract
We show that the Jacobi polynomials that are orthogonal on the unit circle (the Jacobi OPUC) are CMV bispectral. This means that the corresponding Laurent polynomials in the CMV basis satisfy two dual ordinary eigenvalue problems: a recurrence relation and a differential equation of Dunkl type. This is presumably the first nontrivial explicit example of CMV bispectral OPUC. We introduce the circle Jacobi algebra which plays the role of hidden symmetry algebra for the Jacobi OPUC. All fundamental properties of the Jacobi OPUC can be derived from representations of this algebra.
Forward citations
Cited by 1 Pith paper
-
Bispectrality of the sieved Jacobi polynomials
The sieved Jacobi polynomials are shown to be eigenfunctions of new Dunkl-type differential operators, so they are bispectral.
Reference graph
Works this paper leans on
-
[15]
T. Koornwinder, F. Bouzeffour, Nonsymmetric Askey-Wilson polynomials as vector-valued p olynomials, Appl. Anal. 90, 2011, 731–746. ArXiv:1006.1140v3
arXiv 2011
- [1]
-
[2]
V. M. Badkov, Systems of orthogonal polynomials explicitly represented by the Jacobi polynomials , Mathemat- ical Notes of the Academy of Sciences of the USSR 42, 858–863 (1987)
work page 1987
-
[3]
Cherednik, Double affine Hecke algebras, Knizhnik-Zamolodchikov equat ions, and Macdonald’s operators , Int
I. Cherednik, Double affine Hecke algebras, Knizhnik-Zamolodchikov equat ions, and Macdonald’s operators , Int. Math. Res. Not. (1992), no. 9, 171–180
1992
- [4]
-
[5]
M. Derevyagin, L. Vinet, A. Zhedanov, CMV matrices and Little and Big -1 Jacobi Polynomials , Constr. Approx. 36 (2012), 513–535
work page 2012
-
[6]
J. J. Duistermaat, F. A. Gr¨ unbaum, Differential Equations in the Spectral Parameter , Commun. Math. Phys. 103 (1986), 177-240
work page 1986
- [7]
Show all 21 references
-
[8]
Ya. L. Geronimus, Polynomials Orthogonal on a Circle and their Applications , Am.Math.Transl.,Ser.1 3(1962), 1-78
1962
-
[9]
Ya. I. Granovskii, I. M. Lutzenko, A. S. Zhedanov, Mutual integrability, quadratic algebras, and dynamical symmetry, Ann. Physics, 217 (1992), no. 1–20,
1992
-
[10]
F. A. Gr¨ unbaum, L. Vel´ asquez, The CMV Bispectral Problem , IMRN, 2017, (2017), 5833–5860. Arxiv 1607.01962v2
2017 arXiv
-
[11]
V. X. Genest, L. Vinet, A. Zhedanov, The Racah algebra and superintegrable models , J. Phys.: Conf. Ser. 512 (2014), 012011
2014
-
[12]
M. E. H. Ismail, Classical and Quantum orthogonal polynomials in one variab le. Encyclopedia of Mathematics and its Applications (No. 98), Cambridge, 2005
2005
-
[13]
Koekoek, P
R. Koekoek, P. A. Lesky, R. F. Swarttouw. Hypergeometri c orthogonal polynomials and their q-analogues. Springer Science & Business Media, 2010
2010
-
[14]
Koornwinder, The Relationship between Zhedanov’s Algebra AW ( 3) and the Double Affine Hecke Algebra in the Rank One Case , SIGMA 3 (2007), 063
T. Koornwinder, The Relationship between Zhedanov’s Algebra AW ( 3) and the Double Affine Hecke Algebra in the Rank One Case , SIGMA 3 (2007), 063
2007
-
[16]
Simon, Orthogonal Polynomials On The Unit Circle , AMS, 2005
B. Simon, Orthogonal Polynomials On The Unit Circle , AMS, 2005
2005
-
[17]
Simon, OPUC on one foot , Bull.Am.Math.Soc., 42, (2005), 431–460
B. Simon, OPUC on one foot , Bull.Am.Math.Soc., 42, (2005), 431–460
2005
-
[18]
Szeg˝ o, Orthogonal Polynomials , American Mathematical Society, 1939
G. Szeg˝ o, Orthogonal Polynomials , American Mathematical Society, 1939. 4th Edition, 1975
1939
-
[19]
Vinet, A
L. Vinet, A. Zhedanov, Generalized Bochner theorem: Characterization of the Aske y-Wilson polynomials , J. Comp. Appl. Math. 211, (2008), 45–56
2008
-
[20]
Vinet, A
L. Vinet, A. Zhedanov, An algebraic treatment of the Askey biorthogonal polynomia ls on the unit circle , Forum of Mathematics, Sigma , 9 , 2021 , e68. arXiv:2102.01779v1
2021 arXiv
-
[21]
Hidden symmetry
A.S.Zhedanov, “Hidden symmetry” of Askey-Wilson polynomials , Theoret. and Math. Phys. 89 (1991), 1146– 1157. 12 LUC VINET AND ALEXEI ZHEDANOV IV ADO and Centre de Recherches Math ´ematiques, Universit ´e de Montr ´eal, P.O. Box 6128, Centre- ville Station, Montr ´eal (Qu ´ebe...
1991
Reviewed August 11, 2026 · model on record in the stance chip above.
Discussion (0). Continue with ORCID to comment.