Pith. sign in

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 →

arxiv 2412.11031 v1 pith:EWAMFEGE submitted 2024-12-15 math.CA

classification math.CA MSC 33C4542C05
keywords CMVbispectralityorthogonalpolynomialsontheunitcircleJacobiDunkl-typeoperatorsalgebraVerblunskyparametersSzegőmappingreflection
verification ladder T0 review T1 audit T2 compute T3 formal

The pith

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

The reading

The paper claims that the Jacobi polynomials orthogonal on the unit circle are CMV bispectral: in the CMV basis their Laurent polynomials $\psi_n(z)$ satisfy both the ordinary five-term eigenvalue problem $C\psi_n = z\psi_n$ and a first-order differential-difference eigenvalue equation of Dunkl type, $K\psi_n = \lambda_n\psi_n$. This qualifies them as the first nontrivial explicit family of circle orthogonal polynomials with this bispectrality, since an earlier no-go result leaves the trivial 'free' polynomials as the only pure-differential examples. The paper also introduces the circle Jacobi algebra, a three-generator algebra whose defining relations yield the Verblunsky parameters and the Dunkl operator, and shows that a central extension of the ordinary Jacobi algebra embeds into it.

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.

Watch

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

Editorial extensions of the paper, not claims the author makes directly.

  • 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.
Share X Bluesky LinkedIn Reddit HN

Signed reviews

No signed human review yet.

Editorial analysis

A structured set of objections, weighed in public.

Desk editor's note, referee report, and a circularity audit.

Referee Report

0 major / 6 minor

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)
  1. [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).
  2. [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).
  3. [Section 6, Eq. (6.7)] The text refers to 'the operator L' but L is not defined; it should be K throughout that sentence.
  4. [References] Reference [1] lists the author name twice: 'R. Askey, R. Askey'. Please correct the citation.
  5. [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.
  6. [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

0 steps flagged · score 0.0 of 10

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 0 free parameters · 5 assumptions · 1 invented entities

The central claim rests on classical OPUC theory, Szegő's mapping, and standard Jacobi polynomial facts, plus the newly posited circle Jacobi algebra. No numerical constants are fitted to data; α and β are family parameters of the Jacobi weight. The main computed objects (Verblunsky parameters and eigenvalues) are derived from the algebra, with λ0 determined, not fitted, and the resulting formulas match the known Jacobi OPUC values from [2], [5].

assumptions (5)
  • standard math OPUC theory: Szegő recurrence, Verblunsky parameters, CMV matrices, positivity of Toeplitz determinants
    Section 2 and 3 recap foundational results from Simon [16] that are used throughout; no new proof is given.
  • standard math Jacobi PRL properties: the differential equation (8.7) and the relation (8.6) between Jacobi polynomials with parameters (α,β) and (α+1,β+1)
    Invoked in the proof of Proposition 1 in Section 8, cited to Koekoek-Lesky-Swarttouw [13].
  • 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)
    Load-bearing external result from Szegő [18], used in the proof of Proposition 1 to convert the Dunkl operator computation to known Jacobi differential equations.
  • domain assumption Nondegeneracy and reality of Verblunsky parameters: a_n real and a_n^2 != 1 for all n
    Assumed in Section 7 to derive (7.5) and (7.7); parameter ranges for positivity of the weight (7.9) are not stated explicitly.
  • ad hoc to paper The canonical form of the circle Jacobi algebra (7.3) is an educated guess tailored to the Jacobi OPUC
    The structure constants (α+β+1)(M1-I) and (2+α+β)M2 + (α-β)I are posited in Section 7 following the single-moment example; they are later verified in Section 8, so this axiom is a design choice rather than an unproved external fact.
invented entities (1)
  • circle Jacobi algebra independent evidence
    purpose: Hidden symmetry algebra encoding the bispectrality of Jacobi OPUC; its representations yield the Verblunsky parameters and the Dunkl spectrum.
    Defined in Section 7 and explicitly realized in Section 8 by K (8.3), M1 = R, and M2 = zR on the space of Laurent polynomials; the realization produces the known Jacobi OPUC data, giving an internal verification handle.

how reviews work

0 comments
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.

Discussion (0). Continue with ORCID to comment.

Forward citations

Cited by 1 Pith paper

Reviewed papers in the Pith corpus that reference this work. Sorted by Pith novelty score. Full citation record

  1. Bispectrality of the sieved Jacobi polynomials

    math.CA 2025-01 conditional novelty 8.0 of 10

    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

21 extracted references · 15 canonical work pages · cited by 1 Pith paper

  1. [15]

    Koornwinder, F

    T. Koornwinder, F. Bouzeffour, Nonsymmetric Askey-Wilson polynomials as vector-valued p olynomials, Appl. Anal. 90, 2011, 731–746. ArXiv:1006.1140v3

  2. [1]

    Askey, R

    R. Askey, R. Askey, Orthogonal polynomials old and new, and some combi natorial connections, in: Enumera- tion and Design, D. M. Jackson and S. A. Vanstone (eds.), Acad emic Press, Toronto, Ont., 1984, 67–84

  3. [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)

  4. [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

  5. [4]

    De Bie, V

    H. De Bie, V. X. Genest, S. Tsujimoto, L. Vinet, A. Zhedano v, The Bannai-Ito algebra and some applications , J. Phys.: Conf. Ser, 597 (2015) 012001

  6. [5]

    Derevyagin, L

    M. Derevyagin, L. Vinet, A. Zhedanov, CMV matrices and Little and Big -1 Jacobi Polynomials , Constr. Approx. 36 (2012), 513–535

  7. [6]

    J. J. Duistermaat, F. A. Gr¨ unbaum, Differential Equations in the Spectral Parameter , Commun. Math. Phys. 103 (1986), 177-240

  8. [7]

    Genest, M

    V. Genest, M. E. H. Ismail, L. Vinet, A. Zhedanov, Tridiagonalization of the hypergeometric operator and the Racah–Wilson algebra, Proc. Amer. Math. Soc. 144 (2016), 4441–4454

Show all 21 references
  1. [8]

    Ya. L. Geronimus, Polynomials Orthogonal on a Circle and their Applications , Am.Math.Transl.,Ser.1 3(1962), 1-78

  2. [9]

    Ya. I. Granovskii, I. M. Lutzenko, A. S. Zhedanov, Mutual integrability, quadratic algebras, and dynamical symmetry, Ann. Physics, 217 (1992), no. 1–20,

  3. [10]

    F. A. Gr¨ unbaum, L. Vel´ asquez, The CMV Bispectral Problem , IMRN, 2017, (2017), 5833–5860. Arxiv 1607.01962v2

  4. [11]

    V. X. Genest, L. Vinet, A. Zhedanov, The Racah algebra and superintegrable models , J. Phys.: Conf. Ser. 512 (2014), 012011

  5. [12]

    M. E. H. Ismail, Classical and Quantum orthogonal polynomials in one variab le. Encyclopedia of Mathematics and its Applications (No. 98), Cambridge, 2005

  6. [13]

    Koekoek, P

    R. Koekoek, P. A. Lesky, R. F. Swarttouw. Hypergeometri c orthogonal polynomials and their q-analogues. Springer Science & Business Media, 2010

  7. [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

  8. [16]

    Simon, Orthogonal Polynomials On The Unit Circle , AMS, 2005

    B. Simon, Orthogonal Polynomials On The Unit Circle , AMS, 2005

  9. [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

  10. [18]

    Szeg˝ o, Orthogonal Polynomials , American Mathematical Society, 1939

    G. Szeg˝ o, Orthogonal Polynomials , American Mathematical Society, 1939. 4th Edition, 1975

  11. [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

  12. [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

  13. [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...

Pith tools

Reviewed August 11, 2026 · model on record in the stance chip above.