Pith. sign in

REVIEW 2 major objections 4 minor 28 references

Eigenvalue equations for sieved polynomials or proving Askey right again

T0 review · 2 major / 4 minor · reviewed 2026-08-06 · deepseek-v4-flash

Challenge this review Re-run · record.json Download PDF Read on arXiv ↗

Pith's one-line read The sieved Jacobi polynomials—obtained when q is a root of unity—admit an explicit Dunkl-type eigenvalue equation, confirming their bispectrality.

desk verdict Central lemma is false as stated for odd j, so the main theorem's proof has a real hole; the explicit operator formulas and self-adjointness argument still make it worth a referee's time. read the letter →

arxiv 2507.03862 v1 pith:NTWFNMIH submitted 2025-07-05 math.CA

Luc Vinet , Alexei Zhedanov This is my paper · ORCID
classification math.CA MSC 33C4542C05
keywords sievedJacobipolynomialsDunkl-typeoperatorsbispectralityorthogonalontheunitcircleCMVLaurentcyclicreflectionseigenvalueequationsroot-of-unitylimits
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

Sieved Jacobi polynomials—families of orthogonal polynomials obtained when the sieving parameter q is set to a primitive N-th root of unity—are eigenfunctions of a closed differential-difference operator of Dunkl type with cyclic reflections. The paper constructs this operator first on the unit circle for the associated CMV Laurent polynomials, then squares it with a linear correction to act on the real-line polynomials of the first and second kind, giving eigenvalues Λ_n(N)=n(n+N(α+β+1)) and their shifted companion values. If the construction is correct, it settles the long-standing conjecture, dating back to the introduction of these polynomials, that they admit an eigenvalue equation and are therefore bispectral. The first- and second-kind equations are coordinated: the same operator, up to a similarity transform, diagonalizes both, with the second-kind spectrum shifted by one.

What carries the argument

The load-bearing object is the first-order operator L(N)=z∂_z+Σ_{k=0}^{N−1} A_k(z;N)(R_k−I), where R_k f(z)=f(q^k/z) are cyclic reflections at the N-th roots of unity and the rational coefficients A_k are given by (5.15)-(5.16). Its eigenvalue equation on the sieved CMV Laurent polynomials ψ_n(z;N) (Theorem 5.4) is verified by expressing those Laurent polynomials through the ordinary N=1 Jacobi OPUC and using the summation identities (5.8)-(5.9) to cancel every unwanted reflection term; the remaining piece is the Dunkl operator K of the N=1 case. The passage from L(N) to H(N)=L(N)^2−N(α+β+1)L(N) then pairs the eigenvalues of ψ_{2n} and ψ_{2n−1}, which is exactly what lets the real-line polynomials P_n and Q_n be diagonalized by one quadratic expression.

What would settle it

Take a small sieving parameter such as N=2 or N=3 and low degrees n, substitute the explicit formulas into H(N)P_n(x(z);N)−Λ_n(N)P_n(x(z);N) symbolically, and check for a nonzero result; alternatively, evaluate the identities (5.8)-(5.9) directly for specific values of N, h, and j by contour integration or residue extraction, which would expose any hidden failure in the parity cases.

Watch

Extended reading notes

Core claim

The paper's central claim is Theorem 6.1: for every positive integer N and real α, β, the sieved Jacobi polynomials of the first kind P_n(x(z);N) satisfy H(N)P_n(x(z);N)=Λ_n(N)P_n(x(z);N) and those of the second kind Q_n satisfy the companion equation with Λ_{n+1}(N), where x(z)=z+1/z, Λ_n(N)=n(n+N(α+β+1)), and H(N)=L(N)^2−N(α+β+1)L(N) with L(N) the first-order Dunkl-type operator of Theorem 5.4. This gives the sieved Jacobi families the same bispectral status as classical Jacobi and Bannai–Ito polynomials: a block recurrence relation plus an explicit difference-differential eigenvalue equation. The paper further shows (Theorem 6.2) that on symmetric Laurent polynomials H(N) takes the explicit second-order form $z^{2}$∂$_z^{2}$+C(z)∂_z plus a sum of reflection (equivalently rotation) difference terms, and that L(N) is self-adjoint on the unit circle with respect to the sieved Jacobi weight.

Load-bearing premise

The proof relies on the two summation identities of Lemma 5.3, whose verification is deferred to the authors' companion preprint, and on the assertion that all omitted parity combinations of n, N, and j in Theorem 5.4 work out analogously; if any of these fails, the operator L(N) would not be diagonal on the sieved Laurent polynomials.

Editorial extensions

If this is right

  • The sieved Jacobi polynomials of first and second kind are bispectral: besides their block recurrence relations they satisfy a closed eigenvalue equation in the variable x.
  • The spectrum Λ_n(N)=n(n+N(α+β+1)) is explicit and interpolates the classical Jacobi spectrum at N=1, providing a direct check of the construction.
  • In the ultraspherical case α=β, the operators simplify so that the first kind is diagonalized with eigenvalues n(n+N(2α+1)) and the second kind, after standardization, with n(n+N(2α+1)+2).
  • Because L(N) is self-adjoint with respect to the sieved Jacobi weight on the unit circle, the eigenvalue equations define genuine spectral problems rather than formal identities.
  • On symmetric Laurent polynomials the reflection operators R_k act like rotations T_{−k}, so the same operator can be written as a second-order differential operator plus rotation differences (Theorem 6.2).

Reading between the lines

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

  • The method suggests a natural next step the paper leaves open: identify the algebra generated by H(N) and multiplication by x, extending the circle Jacobi algebra of the N=1 case to arbitrary sieving parameters.
  • A direct symbolic check of the parity cases and the two summation identities for small N (say N=2,3) would be a cheap, sharp test of the construction before extending it to other sieved families such as Pollaczek.
  • The pairing of eigenvalues via L(N)^2−cL(N) is likely a general mechanism: any family whose Laurent polynomials are eigenfunctions of a Dunkl operator with alternating eigenvalue signs will inherit a second-order eigenvalue equation on the real line.
  • One could test the rotation form of the operator on non-symmetric Laurent polynomials to see whether the reflection and rotation versions differ by a genuine invariant, possibly yielding additional commuting operators.
Share X Bluesky LinkedIn Reddit HN

Editorial analysis

A structured set of objections, weighed in public.

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

Referee Report

2 major / 4 minor

Summary. The paper claims to settle Askey's conjecture that the sieved Jacobi polynomials are eigenfunctions of a differential/difference operator of Dunkl type carrying cyclic reflections. The strategy is to work on the unit circle: the authors define an operator L(N) acting on the CMV Laurent polynomials associated with the sieved Jacobi OPUC, state that these polynomials satisfy L(N)ψ_n = λ_n(N)ψ_n, and then form H(N)=L(N)^2-N(α+β+1)L(N). Using the Szegő correspondence, they derive eigenvalue equations for the sieved Jacobi polynomials of the first and second kind on the real line, with eigenvalues Λ_n(N)=n(n+N(α+β+1)) and Λ_{n+1}(N) respectively. The ultraspherical specialization is also presented. The central technical step is Theorem 5.4, whose proof is sketched and relies on the summation identities of Lemma 5.3.

Significance. If the central result is correct, it settles a question posed by Askey, provides a concrete Dunkl-type operator with cyclic reflections for which the sieved Jacobi polynomials are eigenfunctions, and establishes the bispectrality of these polynomials and of their CMV counterparts. The construction is elegant and fits naturally into the framework previously developed by the authors for Bannai–Ito polynomials. The paper also gives explicit formulas for the second-order operator H(N) and its conjugation for the second-kind polynomials, which is valuable for applications. However, the paper's main theorem is not fully proven in the manuscript, and one of the key summation lemmas is false as stated. These issues must be addressed before the claim can be considered established.

major comments (2)
  1. [Lemma 5.3, Eqs. (5.8)–(5.9)] The identities (5.8) and (5.9) are false for odd j. For N=2, q=-1, j=1, z=2, the left-hand side of (5.8) equals -4/3 + 4i/5 while the right-hand side equals -16/15; for (5.9) the left-hand side is -4/3 - 4i/5 while the right-hand side is -4/15. The derivation from (5.12) can only produce these formulas when j is even and the parity of N is compatible; as stated, the lemma overreaches. Since the proof of Theorem 5.4 invokes these identities and then claims that all other parity cases are analogous, the odd-j cases are not established by the given argument. Please provide a correct version of the summation identities that covers all parity cases, or restrict the statement of the lemma and prove the remaining cases separately.
  2. [Theorem 5.4, proof] The central eigenvalue equation (5.13) is not proven in the manuscript. The proof explicitly treats only the case where n, N, and j are all even, and then says that all other possible situations can be treated analogously. Because the analogous situations include odd j, for which Lemma 5.3 as stated fails, this is not a harmless omission. Moreover, the proof of the key summation Lemma 5.3 is delegated to the authors' preprint [9], and the verification of the vanishing of F_n^{(1)} and F_n^{(2)} is not displayed. Since Theorem 6.1 and Corollaries 7.1–7.2 all depend on Theorem 5.4, the paper's headline result is not self-contained. The authors should either include a complete proof of Theorem 5.4 for all parity cases or clearly present the paper as an exposition of results proved in [9], with Theorem 5.4 stated as a quoted theorem and the missing proof supplied or referenced in a complete form.
minor comments (4)
  1. [Section 7 title] The title contains a typo: 'ultrasperical' should be 'ultraspherical'.
  2. [Remark 6.3] The word 'Hovever' should be 'However'.
  3. [Proof of Theorem 5.4] The phrase 'with the the relation' should be 'with the relation'.
  4. [Lemma 5.3] The lemma introduces a variable h but the identities are stated in terms of j; please clarify the relationship between h and j and explicitly state the parity assumptions on j under which (5.8) and (5.9) are claimed to hold.

Circularity Check

2 steps flagged · score 5.0 of 10

The headline eigenvalue theorem is inherited from the same authors' [9]: Theorem 5.4 is introduced as the central result of [9], its displayed check only covers even n, N, j, and the remaining cases rely on Lemma 5.3 whose proof is also deferred to [9].

  1. self citation load bearing [Section 5, Lemma 5.3 proof (after Eq. (5.12))]
    "The proof proceeds [9] by considering the contour integral ... Formulas (5.8) and (5.9) are then obtained from specializing (5.12)."

    Lemma 5.3 is the mechanism that cancels the reflection terms in the proof of Theorem 5.4: the displayed even-case computation says the factors vanish 'using the sums (5.8) and (5.9)'. The proof of those sums is not carried out here; it is delegated to [9], a paper by the same two authors, and the final step from (5.12) to (5.8)-(5.9) is asserted without verification. The central eigenvalue equation therefore rests on a self-citation rather than on a derivation displayed in this manuscript.

  2. self citation load bearing [Section 5, Theorem 5.4 statement and proof (Eqs. (5.13)-(5.17))]
    "We are now ready to give the central result of this section which provides the differential/difference operator of Dunkl type that is diagonal on the Laurent polynomials ψn(z; N) [9]. ... All the other possible situations for n, N and j can be treated analogously to confirm that Theorem 5.4 holds."

    Theorem 5.4 is the load-bearing input for Theorem 6.1, since H(N)=L(N)^2-N(α+β+1)L(N) inherits its diagonalization from (5.13). The theorem is presented as the central result of the authors' own [9], and the proof shown in this paper verifies only the case where n, N and j are all even, then asserts all other parity combinations analogously. Those omitted cases are exactly the ones that depend on the delegated Lemma 5.3 identities, so the universal statement needed for the final eigenvalue equations is taken from a self-citation chain rather than independently established here.

full rationale

The later steps of the paper are not circular in the construction sense: no parameter is fitted, the eigenvalues Λ_n(N)=n(n+N(α+β+1)) are obtained by algebra from λ_n(N), and the passage from ψ_n to P_n,Q_n via (3.23) and (6.4) is a genuine derivation. The circularity concern is concentrated in Section 5. Theorem 5.4 is explicitly the central result of the same authors' [9], and its proof in this text checks a single parity case and defers the rest to analogy. The cancellation of the reflection terms in that checked case relies on Lemma 5.3, whose proof is also deferred to [9] and whose specialization step from (5.12) to (5.8)-(5.9) is not displayed. Thus the headline result is inherited from a same-author citation chain. A separate correctness concern, not needed for the circularity verdict, is that the unshown specialization of Lemma 5.3 may fail for odd j; if so, the 'all other cases analogously' assertion would hide a false identity. That reinforces that the present manuscript does not independently establish the cases on which Theorem 6.1 depends.

Assumptions & free parameters 0 free parameters · 4 assumptions · 0 invented entities

The central derivation introduces no free parameters: alpha, beta and N are inputs of the sieved Jacobi family. It relies on standard OPUC background, on classical Jacobi differential equations, and on the authors' own earlier results [8] and [9] for the base case and for a key summation lemma. The Dunkl-type operators L(N) and H(N) are the constructed results, not independently testable entities.

assumptions (4)
  • standard math The Verblunsky, CMV and Szego correspondence between OPUC and OPRL is correct.
    Invoked throughout Section 3 as background; references [25], [26], [27].
  • standard math The classical Jacobi polynomial differential equation and the relation z d/dz P_n = n(z-1/z) Q_{n-1} hold as stated.
    Used in the proof of Lemma 5.1, equations (5.6) and (5.7), citing [20].
  • standard math The sieved OPUC relations (4.5) through (4.9) from Ismail and Li [7] are valid.
    These relations are used to express sieved CMV Laurent polynomials in terms of N=1 ones in the proof of Theorem 5.4.
  • domain assumption The contour-integral identities (5.8) and (5.9) in Lemma 5.3 are valid for all parity combinations of N and j.
    The paper states that the proof proceeds in [9] and does not reproduce it; these identities are essential to close the proof of Theorem 5.4.

how reviews work

0 comments
Cite this review

Pith. "Pith review of Eigenvalue equations for sieved polynomials or proving Askey right again." pith.science (2026). https://pith.science/paper/NTWFNMIH

@misc{pith2026250703862,
  author       = {Pith},
  title        = {Pith review of: Eigenvalue equations for sieved polynomials or proving Askey right again},
  year         = {2026},
  howpublished = {\url{https://pith.science/paper/NTWFNMIH}},
  note         = {Machine review of arXiv:2507.03862}
}
abstract

The sieved Jacobi polynomials have been introduced by Askey. These can be obtained from conveniently taking $q$ to be a root of unity in the Askey-Wilson polynomials. The question of determining if they are eigenfunctions of some operator has been lingering for a long time. Askey impressed on us his conviction that it had an affirmative answer. It is shown that he was right and that this operator is of Dunkl type with cyclic reflections corresponding to the powers of $q$.

Figures

Figures reproduced from arXiv: 2507.03862 by the authors.

Figure 1
Figure 1. The big q-Jacobi polynomials which can be obtained from the q-Racah polynomials in the limit N → ∞ [20], yield the big −1 Jacobi polynomials when q → −1. These big −1 Jacobi polynomials can also be obtained by taking the q → −1 limit of the q-Racah polynomials to find the terminating Bannai-Ito polynomials and then letting N → ∞. This implies that the diagram above is commutative. the behavior of certain parameters … view at source ↗

Discussion (0). Continue with ORCID to comment.

Reference graph

Works this paper leans on

28 extracted references · 26 canonical work pages

  1. [8]

    The CMV bispectrality of the Jacobi polynomials on the unit circle

    Luc Vinet and Alexei Zhedanov. The CMV bispectrality of the Jacobi polynomials on the unit circle. Numerical Algorithms, 2025

    work page 2025

  2. [9]

    Bispectrality of the sieved Jacobi polynomials

    Luc Vinet and Alexei Zhedanov. Bispectrality of the sieved Jacobi polynomials. arXiv preprint arXiv:2501.12806, Proceedings of the American Mathematical Society to appear , 2025. 14 LUC VINET AND ALEXEI ZHEDANOV

    work page Pith review arXiv 2025

  3. [1]

    Dunkl shift operators and Bannai–Ito polynomials

    Satoshi Tsujimoto, Luc Vinet, and Alexei Zhedanov. Dunkl shift operators and Bannai–Ito polynomials. Ad- vances in Mathematics , 229(4):2123–2158, 2012

    2012

  4. [2]

    A limit q = −1 for the big q-jacobi polynomials

    Luc Vinet and Alexei Zhedanov. A limit q = −1 for the big q-jacobi polynomials. Transactions of the American Mathematical Society, 364(10):5491–5507, 2012

    work page 2012

  5. [3]

    Algebraic combinatorics, volume 5

    Eiichi Bannai, Etsuko Bannai, Tatsuro Ito, and Rie Tanaka. Algebraic combinatorics, volume 5. Walter de Gruyter GmbH & Co KG, 2021

    work page 2021

  6. [4]

    Sieved ultraspherical polynomials

    Waleed Al-Salam, William R Allaway, and Richard Askey. Sieved ultraspherical polynomials. Transactions of the American Mathematical Society , 284(1):39–55, 1984

    work page 1984

  7. [5]

    On sieved orthogonal polynomials

    Jairo A Charris and Mourad EH Ismail. On sieved orthogonal polynomials. V: sieved Pollaczek polynomials. SIAM journal on mathematical analysis , 18(4):1177–1218, 1987

    work page 1987

  8. [6]

    On sieved orthogonal polynomials

    Joaquin Bustoz, Mourad EH Ismail, and Jet Wimp. On sieved orthogonal polynomials. VI. Differential equa- tions. 1990

    work page 1990

Show all 28 references
  1. [7]

    On sieved orthogonal polynomials

    Mourad Ismail and Xin Li. On sieved orthogonal polynomials. IX: Orthogonality on the unit circle. Pacific journal of mathematics , 153(2):289–297, 1992

    1992

  2. [10]

    Five-diagonal matrices and zeros of orthogonal polyno- mials on the unit circle

    Maria J Cantero, Leandro Moral, and Luis Vel´ azquez. Five-diagonal matrices and zeros of orthogonal polyno- mials on the unit circle. Linear Algebra and its Applications , 362:29–56, 2003

    2003

  3. [11]

    Orthogonal polynomials old and new, and some combinatorial connections

    Richard Askey. Orthogonal polynomials old and new, and some combinatorial connections. In Enumeration and design , pages 67–84, 1984

    1984

  4. [12]

    Systems of orthogonal polynomials explicitly represented by the jacobi polyno- mials

    Vladimir Mihailovich Badkov. Systems of orthogonal polynomials explicitly represented by the jacobi polyno- mials. Mathematical notes of the Academy of Sciences of the USSR , 42:858–863, 1987

    1987

  5. [13]

    On block recursions, Askey’s sieved Jacobi polyno- mials and two related systems

    Bernarda Aldana, Jairo Charris, and Oriol Mora-Valbuena. On block recursions, Askey’s sieved Jacobi polyno- mials and two related systems. In Colloquium Mathematicum, volume 78, pages 57–91. Polska Akademia Nauk. Instytut Matematyczny PAN, 1998

    1998

  6. [14]

    Sieved orthogonal polynomials

    Blaise Phillip DeSesa. Sieved orthogonal polynomials. Drexel University, 1992

    1992

  7. [15]

    Orthogonal polynomials on the unit circle: symmetrization and quadratic decom- position

    F Marcell´ an and G Sansigre. Orthogonal polynomials on the unit circle: symmetrization and quadratic decom- position. Journal of Approximation Theory , 65(1):109–119, 1991

    1991

  8. [16]

    Orthogonal polynomials which satisfy second order differential equations

    FV Atkinson and WN Everitt. Orthogonal polynomials which satisfy second order differential equations. EB Christoffel: The Influence of His Work on Mathematics and the Physical Sciences , pages 173–181, 1981

    1981

  9. [17]

    Orthogonal polynomials, duality and association schemes

    Douglas A Leonard. Orthogonal polynomials, duality and association schemes. SIAM Journal on Mathematical Analysis, 13(4):656–663, 1982

    1982

  10. [18]

    Two linear transformations each tridiagonal with respect to an eigenbasis of the other; an algebraic approach to the Askey scheme of orthogonal polynomials

    Paul Terwilliger. Two linear transformations each tridiagonal with respect to an eigenbasis of the other; an algebraic approach to the Askey scheme of orthogonal polynomials. arXiv preprint math/0408390 , 2004

    2004 arXiv

  11. [19]

    Two linear transformations each tridiagonal with respect to an eigenbasis of the other; com- ments on the parameter array

    Paul Terwilliger. Two linear transformations each tridiagonal with respect to an eigenbasis of the other; com- ments on the parameter array. Designs, Codes and Cryptography , 34(2):307–332, 2005

    2005

  12. [20]

    Hypergeometric orthogonal polynomials

    Roelof Koekoek, Peter A Lesky, Ren´ e F Swarttouw, Roelof Koekoek, Peter A Lesky, and Ren´ e F Swarttouw. Hypergeometric orthogonal polynomials. Springer, 2010

    2010

  13. [21]

    A ‘missing’ family of classical orthogonal polynomials

    Luc Vinet and Alexei Zhedanov. A ‘missing’ family of classical orthogonal polynomials. Journal of Physics A: Mathematical and Theoretical, 44(8):085201, 2011

    2011

  14. [22]

    A Bochner theorem for Dunkl polynomials

    Luc Vinet and Alexei Zhedanov. A Bochner theorem for Dunkl polynomials. SIGMA. Symmetry, Integrability and Geometry: Methods and Applications , 7:020, 2011

    2011

  15. [23]

    CMV matrices and little and big- 1 Jacobi polynomials

    Maxim Derevyagin, Luc Vinet, and Alexei Zhedanov. CMV matrices and little and big- 1 Jacobi polynomials. Constructive Approximation, 36:513–535, 2012

    2012

  16. [24]

    Bannai-Ito polynomials and dressing chains

    Maxim Derevyagin, Satoshi Tsujimoto, Luc Vinet, and Alexei Zhedanov. Bannai-Ito polynomials and dressing chains. Proceedings of the American Mathematical Society , 142(12):4191–4206, 2014

    2014

  17. [25]

    Orthogonal polynomials on the unit circle

    Barry Simon. Orthogonal polynomials on the unit circle . American Mathematical Soc., 2005

    2005

  18. [26]

    OPUC on one foot

    Barry Simon. OPUC on one foot. Bulletin of the American Mathematical Society , 42(4):431–460, 2005

    2005

  19. [27]

    American Mathematical Soc., 1939

    Gabor Szeg˝ o.Orthogonal polynomials, volume 23. American Mathematical Soc., 1939

    1939

  20. [28]

    Nonsymmetric Askey–Wilson polynomials as vector-valued polyno- mials

    Tom H Koornwinder and Fethi Bouzeffour. Nonsymmetric Askey–Wilson polynomials as vector-valued polyno- mials. Applicable Analysis, 90(3-4):731–746, 2011. IV ADO and Centre de recherches math´ematiques, Universit´e de Montr ´eal, P.O. Box 6128, Centre- ville Station, Montr´eal ...

    2011

Pith tools

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