{"id":"aa605b29-7a38-48c5-a69f-117cffbd6393","arxiv_id":"2501.12806","paper_version":1,"verdict":"CONDITIONAL","confidence":"MODERATE","novelty_score":8.0,"correctness_risk":"medium","formal_verification":"none","parameter_count":0,"one_line_summary":"The sieved Jacobi polynomials are shown to be eigenfunctions of new Dunkl-type differential operators, so they are bispectral.","lead":"This paper identifies differential equations that the sieved Jacobi polynomials satisfy, showing that these polynomials have the property called bispectrality. The result fills a long-standing gap in the theory of orthogonal polynomials, where the eigenvalue equations for this family were previously unknown.","discovery_kind":"new_method","skeptic_critique":{"model":"deepseek-v4-flash","headline":"Proof of Proposition 1 shows only the all-even parity case; the vanishing of F_n^(1) and F_n^(2) in the remaining cases is asserted, not demonstrated, and Propositions 3-7 all rest on it.","rationale":"Agreeing with the reader's weakest-assumption identification, I also find that Proposition 1 is the single point on which the paper's central claim depends, and that its proof is incomplete: one parity case is displayed and the rest are summarized as analogous. This is not an accusation of error; the displayed calculation is internally consistent, the contour-sum identity (4.30) is correct, and the N=2 reduction to the known generalized ultraspherical Dunkl equation in Section 8.1 supplies independent support in one special case. The issue is that the missing cases are numerous and structurally different, involving both z^N and z^{-N} arguments and N-parity-dependent coefficients, so analogous cannot be taken on faith. The proposed symbolic verification is finite, mechanical, and would either close the gap or expose a concrete counterexample. Since this matches the reader's stated concern and does not alter the conditional verdict, no further adjustment is needed.","tokens_in":16423,"tokens_out":6048,"duration_ms":60698,"concrete_test":"Verify the omitted parity cases directly. For N in {2,3,4,5} and for each n with 0 <= j < N, use (4.5)-(4.7) to express psi_n(z;N) in terms of psi_k(z^N) or psi_k(z^{-N}), substitute the matching A_k from (4.17)/(4.18) into L(N) psi_n - lambda_n psi_n, replace the derivative terms via (4.21), and symbolically simplify the two coefficients multiplying psi_k(z^N) and psi_k(z^{-N}). Every parity combination must yield identically zero rational functions. A short sympy script enumerating all cases for N=2..8 with random numeric alpha, beta, z as a cross-check would settle whether the asserted analogous cancellations actually occur.","verdict_should_be":"UNCHANGED","load_bearing_attack":"Proposition 1 is the load-bearing step: it supplies the eigenvalues for the sieved CMV Laurent polynomials, and Proposition 3 and all special cases are derived from it. The proof reduces (4.15) to the identity F_n^(1)(z) psi_k(z^N) + F_n^(2)(z) psi_k(z^{-N}) = 0 and then verifies F_n^(1)=F_n^(2)=0 only when n, N, and j are all even. The remaining cases are not shown; the text says they can be treated analogously and that the results were validated. This matters because (4.5)-(4.7) attach different powers of z and switch between z^N and z^{-N} depending on the parities of n, N, and j, while the coefficients A_k in (4.17)-(4.18) also change with the parity of N. A sign or exponent error in any unshown case would change the eigenvalue lambda_n(N) or the form of L(N), and would propagate to the second-order operators H(N), tilde H(N), and the bispectrality conclusion. The assertion that all cases were checked is not a substitute for a proof in the manuscript.","agreement_with_reader":"agree"},"referee_report":{"model":"deepseek-v4-flash","summary":"The paper claims that the CMV Laurent polynomials associated with the sieved Jacobi polynomials on the unit circle satisfy an eigenvalue equation for a first-order Dunkl-type differential operator L(N), and that the real-line sieved Jacobi polynomials of the first and second kind are eigenfunctions of second-order Dunkl-type operators H(N) and \\tilde H(N). The proof proceeds by reducing to the authors' earlier result for ordinary Jacobi OPUC, verifying Proposition 1 by a direct but only partially displayed calculation, and then deriving the real-line operators via the Szegő map. Special cases treated include the generalized ultraspherical polynomials (N=2) and the sieved ultraspherical polynomials of first and second kind for arbitrary N.","tokens_in":16654,"tokens_out":10710,"duration_ms":99780,"significance":"If the result is correct, it fills a genuine gap: no eigenvalue equation was known for the sieved Jacobi and sieved ultraspherical polynomials. The construction of explicit Dunkl-type operators with cyclic reflections is novel and the paper correctly identifies the eigenvalue formulas and their special cases, including agreement with the known Dunkl-type equation for generalized ultraspherical polynomials. The paper also gives explicit algebraic relations for the operators L(N), R_j, T_j. The main weakness is that the central verification in Proposition 1 is incomplete: only one parity case is shown, and several algebraic identities in Section 6 are asserted without proof.","major_comments":[{"comment":"The proof of Proposition 1 verifies Eq. (4.22) only in the case where n, N, and j are all even; the text then states that the remaining cases 'can be treated analogously' and that the results 'have been validated in all these situations.' This is load-bearing because Proposition 1 supplies the eigenvalues λ_n(N) for all n, and Proposition 3 and all special cases are derived from it. Since the reduction formulas (4.5)-(4.7) and the coefficients A_k(z;N) in (4.17)-(4.18) change with the parities of n, N, and j, an unchecked sign or exponent error in any omitted case would change the eigenvalue or the operator form and propagate to the bispectrality conclusion. The manuscript should provide the complete case analysis, for example a table of all parity cases with the corresponding F_n^(1)(z) and F_n^(2)(z), or a reproducible computer-algebra verification.","section":"Section 4 (Proposition 1 proof)"},{"comment":"Equation (3.4), the eigenvalue equation for the ordinary Jacobi OPUC, is the starting point of the proof of Proposition 1, but it is imported from the authors' preprint [22], whose proof is not reproduced. Because [22] is a self-cited preprint, the current paper is not self-contained at this load-bearing point. I recommend stating (3.4) as a lemma and proving it in the paper or in an appendix, or otherwise clearly indicating that it is a known result with a proof available in a published source.","section":"Section 3, Eq. (3.4)"},{"comment":"The derivation of the explicit form of H(N) in Proposition 4 is asserted rather than shown: the text says 'The calculations then show' that E_k(z)=0 in (6.14), and the identities (6.15) and (6.16) are stated without proof. These identities are needed for the two forms of H(N) in Proposition 4 and hence for the explicit eigenvalue equations in Propositions 6 and 7. A detailed algebraic derivation, or a verifiable supplementary computation, should be supplied. Additionally, Remark 6.1 notes that the two forms are not equivalent on all Laurent polynomials, so the phrase 'equivalent expressions' in Proposition 4 should be qualified to make this clear.","section":"Section 6, Eqs. (6.11)-(6.17)"}],"minor_comments":[{"comment":"In Eq. (4.22), the functions multiplying F_n^(1) and F_n^(2) are written as ψ_n(z^N) and ψ_n(z^{-N}); from the surrounding text and the reduction (4.20), they should be ψ_k(z^N) and ψ_k(z^{-N}).","section":"Section 4, Eq. (4.22)"},{"comment":"The displayed definition of A_l(z;N) in Eq. (4.26) omits the factor z^2/(q^l-z^2) that appears in the general definition (4.17); as written it is inconsistent with the subsequent use of the sums (4.31) and (4.32).","section":"Section 4, Eq. (4.26)"},{"comment":"The auxiliary limit in Eq. (4.29) is incorrect: lim_{w→q^l} (w-q^l)/∏_{k=0}^{N-1}(w-q^k) equals q^l/N, not N/q^l. The final summation formula (4.30) is nevertheless correct, but the displayed identity should be fixed.","section":"Section 4, Eq. (4.29)"},{"comment":"The sentence 'Since according to Proposition 5, the operators H and Y_m can be diagonalized simultaneously, we may conclude that they commute among themselves' reverses the usual implication. The common eigenbasis established for P_n gives commutation directly; the wording should be corrected.","section":"Section 7, Remark 7.1"},{"comment":"There are several typographical issues: 'Hovever' in Remark 6.1, the missing subscript n in Eq. (6.6), the inconsistent use of Z and z in Eq. (4.25), and the duplicated author name in reference [3]. These should be corrected in the revision.","section":"Throughout"}],"recommendation":"major_revision","confidential_remarks":"The main issue is completeness of the verification: the central Proposition 1 is not fully proved in the text, and the second-order operators in Section 6 rely on unshown algebraic identities. These are fixable within the manuscript's scope, so I do not recommend rejection. The reliance on the self-cited preprint [22] should also be clarified by giving a proof or a published reference."},"author_rebuttal":null,"desk_editor":{"model":"deepseek-v4-flash","letter":"The headline is that this paper fills a recognized gap: eigenvalue equations for sieved Jacobi polynomials, on both the unit circle and the real line, were missing, and this manuscript constructs them. The operators L(N) and H(N) with N reflection terms are new in this area of one-variable orthogonal polynomials. That alone is a real contribution.\n\nWhat it does well: the strategy is clean. It lifts the known N=1 Jacobi OPUC eigenvalue equation from the authors' earlier work [22] and uses the sieved-OPUC relations (4.5)-(4.7) to pull the result up to arbitrary N. The N=2 check reproduces the known generalized ultraspherical equation, which is a reassuring sanity test. The algebraic relations in Section 5 and the commuting finite-difference operators in Section 7 are useful additions, not padding.\n\nThe soft spot is exactly where the reader's report puts it: Proposition 1 is the load-bearing step, and its proof shows only the case where n, N, and j are all even. The remaining parity cases are asserted to be analogous. Given that the coefficients A_k(z;N) and the powers of z both change with parity, that is a nontrivial set of omissions. I did not see a sign or exponent error lurking, and the contour-integral identities (4.30)-(4.32) are exactly the machinery needed for the other cases, so the conclusion is plausible. But the paper as written asks the referee to take the most important computation on faith. The dependence on the self-cited [22] base result is acceptable in principle, but it does mean the preprint is not fully self-contained.\n\nThere are minor typos: (4.22) should have ψ_k not ψ_n in the arguments, and some exponents in the displayed sums are easy to misread. Cosmetic, but they do not help confidence.\n\nOverall: the central argument holds up as a plausible construction, the result is significant for the special-functions community, and the paper deserves a serious referee. My recommendation is to send it to peer review and ask the authors to either write out the remaining parity cases or supply a machine-checkable verification of the coefficient identities. With that filled in, it would be a solid contribution.","headline":"Supplies the missing eigenvalue equations for sieved Jacobi polynomials with genuinely new multi-reflection Dunkl operators, but the key proof is sketched rather than fully shown.","tokens_in":17138,"tokens_out":2719,"would_cite":true,"duration_ms":27860,"reading_group":"maybe","serious_thinker":"yes","would_accept_peer_review":true},"rs_alignment":null,"lean_confirmation":null,"pith_extraction":{"msc":["33C45","42C05"],"pacs":[],"model":"deepseek-v4-flash","headline":"The sieved Jacobi polynomials are bispectral: their CMV Laurent polynomials satisfy a first-order Dunkl eigenvalue equation, which yields second-order Dunkl eigenvalue equations for the real-line sieved Jacobi polynomials of both kinds.","keywords":["bispectrality","sieved Jacobi polynomials","Dunkl operators","orthogonal polynomials on the unit circle","CMV matrices","roots of unity","sieved ultraspherical polynomials","reflection operators"],"falsifier":"Take a small case not shown in the paper, for instance $N=3$ with $n$ odd (so $n=3k+1$ or $3k+2$), and evaluate $L(3)\\psi_n(z;3)-\\lambda_n(3)\\psi_n(z;3)$ at several generic complex points $z$ using the displayed formulas for $A_k(z;3)$ and the sieving relations (4.5)-(4.7); equivalently, compute the residuals $F_n^{(1)}$ and $F_n^{(2)}$ of (4.22) symbolically. If any such residual fails to vanish identically, the eigenvalue equation (4.15) is false and the claimed bispectrality collapses with it.","tokens_in":16226,"feed_emoji":"🧮","tokens_out":11964,"duration_ms":98785,"temperature":0.7,"pith_summary":"This paper supplies the missing eigenvalue problem for the sieved Jacobi polynomials. It proves that the CMV Laurent polynomials associated with the sieved Jacobi polynomials on the unit circle are eigenfunctions of a first-order differential operator of Dunkl type, built from reflections $z \\mapsto q^k/z$ with $q$ a primitive $N$-th root of unity. From this circle result it derives explicit second-order Dunkl-type eigenvalue equations for the sieved Jacobi polynomials of the first and second kind on the real line, and specializes them to the sieved ultraspherical polynomials. The conclusion is that these families are bispectral, meaning they satisfy dual eigenvalue equations in both the degree index and the argument variable. This closes a gap for polynomial families that arise as limits of $q$-ultraspherical polynomials at roots of unity and were expected to admit such equations.","feed_headline":"Sieved Jacobi polynomials get their missing eigenvalue equations","feed_subtitle":"A root-of-unity Dunkl operator on the circle yields second-order eigenvalue equations on the line.","key_machinery":"The load-bearing object is the first-order Dunkl operator $L(N)=z\\partial_z + \\sum_{k=0}^{N-1}A_k(z;N)(R_k-I)$, in which $R_k$ is the reflection $f(z)\\mapsto f(q^k/z)$ and $q$ is a primitive $N$-th root of unity; the coefficients $A_k(z;N)$ are displayed separately for even and odd $N$. The argument works by transporting the known Dunkl eigenvalue equation $K\\psi_k=\\mu_k\\psi_k$ for the ordinary Jacobi OPUC through the sieving relations (4.5)-(4.7), so that every sieved eigenfunction is expressed in terms of unsieved ones and the reflection sums are evaluated by the root-of-unity residue identity $\\sum_{l=0}^{N-1} q^{l(h+1)}/(q^l-z)=N z^h/(1-z^N)$. The second-order operators $H(N)$ and $\\tilde H(N)$ are then obtained as a quadratic expression in $L(N)$ and its similarity transform by $z-z^{-1}$, which is exactly what makes the symmetric combinations $P_n=\\psi_{2n}+(1+a_{2n-1})\\psi_{2n-1}$ and their companions $Q_n$ eigenfunctions.","core_discovery":"Fix a positive integer $N$, and let $\\Phi_n(z;N)$ be the sieved Jacobi OPUC, whose Verblunsky parameters are those of the Jacobi OPUC at the indices $Nk-1$ and zero at all other indices. The paper's central claim is that the associated CMV Laurent polynomials $\\psi_n(z;N)$ obey $L(N)\\psi_n = \\lambda_n(N)\\psi_n$, where $L(N)=z\\partial_z + \\sum_{k=0}^{N-1} A_k(z;N)(R_k-I)$, $R_k f(z)=f(q^k/z)$, $q=e^{2\\pi i/N}$, and the $A_k$ are explicit rational functions depending on $\\alpha,\\beta$ and the parity of $N$. The eigenvalues are $-n/2$ for even $n$ and $(n+1)/2+(\\alpha+\\beta+1)N$ for odd $n$. From this, the real-line sieved Jacobi polynomials of the first and second kind are shown to be eigenfunctions of the second-order Dunkl-type operators $H(N)=L(N)^2-N(\\alpha+\\beta+1)L(N)$ and $\\tilde H(N)=(z-z^{-1})^{-1}H(N)(z-z^{-1})$, with quadratic spectra $n(n+N(\\alpha+\\beta+1))$ and $(n+1)(n+1+N(\\alpha+\\beta+1))$ respectively. The sieved ultraspherical polynomials of both kinds are obtained as the special case $\\alpha=\\beta$.","pith_inferences":["The same sieving mechanism should apply to any CMV-bispectral family whose unsieved Laurent polynomials are Dunkl eigenfunctions with a single reflection: replacing one reflection by the $N$ root-of-unity reflections gives a candidate operator for the sieved family, provided the parity-dependent coefficient cancellations are verified.","The vanishing of the shift coefficients $E_k(z)=0$ in equation (6.12) is a nontrivial rational identity; treating it as a separate condition could yield a sufficient criterion for bispectrality of sieved versions of other OPUC families.","One plausible reading is that the missing eigenvalue operator for sieved ultraspherical polynomials is not a $q$-difference operator but a Dunkl operator with reflections at roots of unity; this may sharpen the expected root-of-unity limit of the corresponding $q$-ultraspherical difference operator.","For $N>2$ and $\\alpha=\\beta$, the operators (8.9)-(8.10) could be compared numerically against the sieved ultraspherical recurrence to confirm the spectra term by term, extending the $N=2$ check in the paper."],"forward_implications":["The sieved Jacobi polynomials on the real line now have explicit second-order Dunkl-type eigenvalue equations, (6.6) and (6.7), which were previously unknown.","The sieved ultraspherical polynomials of the first and second kind satisfy explicit equations with spectra $n(n+(2\\alpha+1)N)$ and $n(n+(2\\alpha+1)N+2)$, respectively.","For $N=2$, the operator reproduces the Dunkl-type differential equation for the generalized ultraspherical polynomials, giving an independent derivation of that known result.","Because $H(N)$ commutes with the discrete operators $Y_m=T_m+T_{-m}$, one can form deformed operators $H(N)+\\sum_m \\tau_m Y_m$ that still have the sieved Jacobi polynomials as eigenfunctions, with eigenvalues depending on the residue class of the degree.","The algebraic relations of Section 5 define a generalized circle Jacobi algebra; if the central claim holds, this algebra supports the sieved polynomials and may yield their Verblunsky parameters from its representations."],"supporting_citations":[{"why":"Supplies the unsieved Jacobi OPUC eigenvalue equation $K\\psi_k=\\mu_k\\psi_k$ that the sieved proof starts from.","marker":"[22]"},{"why":"Defines the sieved Jacobi OPUC and gives the relations $\\psi_n(z;N)=z^\\nu\\psi_k(z^{\\pm N})$ used to reduce the sieved eigenproblem to the unsieved one.","marker":"[15]"},{"why":"Provides the CMV formalism and the Laurent polynomials $\\psi_n$ that frame the bispectrality problem.","marker":"[19]"},{"why":"Introduces the real-line polynomials $P_n$ and $Q_n$ used to pass from the unit circle to the interval.","marker":"[20]"},{"why":"Introduces the sieved ultraspherical polynomials whose eigenvalue equations are derived as special cases.","marker":"[2]"},{"why":"Provides the known Dunkl-type equation for generalized ultraspherical polynomials that the $N=2$ case reproduces.","marker":"[7]"}],"fun_headline_variants":["Sieved Jacobi polynomials are bispectral via Dunkl operators","Root-of-unity Dunkl operator unlocks sieved Jacobi bispectrality","Eigenvalue equations for sieved Jacobi from Dunkl-type differential operator","Bispectral sieved Jacobi polynomials via circle Dunkl operator"],"cache_read_input_tokens":3200,"weakest_assumption_plain":"The load-bearing step is the unverified parity case: the proof of Proposition 1 assumes that the residual coefficients $F_n^{(1)}(z)$ and $F_n^{(2)}(z)$ in equation (4.22) vanish identically for every parity combination of $n$, $N$, and $j$, while the paper displays the calculation only when $n$, $N$, and $j$ are all even and asserts that the other cases are analogous.","fun_headline_variants_meta":{"raw":{"variants":["Sieved Jacobi polynomials are bispectral via Dunkl operators","Root-of-unity Dunkl operator unlocks sieved Jacobi bispectrality","Eigenvalue equations for sieved Jacobi from Dunkl-type differential operator","Bispectral sieved Jacobi polynomials via circle Dunkl operator"]},"model":"deepseek-v4-flash","effort":"low","cost_usd":0.000319,"raw_usage":{"total_tokens":1802,"prompt_tokens":950,"completion_tokens":852,"prompt_tokens_details":{"cached_tokens":384},"prompt_cache_hit_tokens":384,"prompt_cache_miss_tokens":566,"completion_tokens_details":{"reasoning_tokens":774}},"tokens_in":566,"tokens_out":852,"duration_ms":7543,"temperature":1.0,"reasoning_tokens":774,"cache_read_input_tokens":384,"cache_creation_input_tokens":0},"cache_creation_input_tokens":0},"created_at":"2026-08-10T16:46:18.915163+00:00","model_set":{"reader":"deepseek-v4-flash"},"falsifier":"Take a small case not shown in the paper, for instance $N=3$ with $n$ odd (so $n=3k+1$ or $3k+2$), and evaluate $L(3)\\psi_n(z;3)-\\lambda_n(3)\\psi_n(z;3)$ at several generic complex points $z$ using the displayed formulas for $A_k(z;3)$ and the sieving relations (4.5)-(4.7); equivalently, compute the residuals $F_n^{(1)}$ and $F_n^{(2)}$ of (4.22) symbolically. If any such residual fails to vanish identically, the eigenvalue equation (4.15) is false and the claimed bispectrality collapses with it.","supporting_citations":[{"cited_title":"The CMV bispectrality of the Jacobi polynomials on the unit circle","cited_arxiv_id":"2412.11031","evidence_quote":"Supplies the unsieved Jacobi OPUC eigenvalue equation $K\\psi_k=\\mu_k\\psi_k$ that the sieved proof starts from."},{"cited_title":"IX: Orthogonality on the unit circle, Pacific J.Math","cited_arxiv_id":null,"evidence_quote":"Defines the sieved Jacobi OPUC and gives the relations $\\psi_n(z;N)=z^\\nu\\psi_k(z^{\\pm N})$ used to reduce the sieved eigenproblem to the unsieved one."},{"cited_title":null,"cited_arxiv_id":null,"evidence_quote":"Provides the CMV formalism and the Laurent polynomials $\\psi_n$ that frame the bispectrality problem."},{"cited_title":"Szeg˝ o, Orthogonal Polynomials , American Mathematical Society, 1939","cited_arxiv_id":null,"evidence_quote":"Introduces the real-line polynomials $P_n$ and $Q_n$ used to pass from the unit circle to the interval."},{"cited_title":null,"cited_arxiv_id":null,"evidence_quote":"Introduces the sieved ultraspherical polynomials whose eigenvalue equations are derived as special cases."},{"cited_title":"Ben Cheikh and M.Gaied, Characterization of the Dunkl-classical symmetric orthog onal polynomials, Appl","cited_arxiv_id":null,"evidence_quote":"Provides the known Dunkl-type equation for generalized ultraspherical polynomials that the $N=2$ case reproduces."}],"review_version":1}