{"id":"ebdfb670-c88e-4c88-8a25-92330d822624","arxiv_id":"2412.11031","paper_version":1,"verdict":"CONDITIONAL","confidence":"MODERATE","novelty_score":6.0,"correctness_risk":"medium","formal_verification":"none","parameter_count":0,"one_line_summary":"The Jacobi polynomials on the unit circle are CMV bispectral, with a Dunkl-type operator as the dual spectrum, and this structure is encoded in a new 'circle Jacobi algebra'.","lead":"This paper proves that the Jacobi polynomials orthogonal on the unit circle satisfy two dual eigenvalue problems, one from the CMV recurrence and one from a Dunkl-type differential operator, and introduces an algebra that encodes this structure. It gives the first nontrivial example of CMV bispectral polynomials on the circle, linking OPUC theory with Dunkl operators and nonsymmetric Jacobi polynomials.","discovery_kind":"new_method","skeptic_critique":{"model":"deepseek-v4-flash","headline":"No significant objection identified: the CMV bispectrality claim is correct; the unshown elimination in Proposition 1 can be filled by a direct identity, and the Szegő-pair identification is secure.","rationale":"I read the paper as establishing that the Jacobi OPUC Laurent polynomials satisfy the CMV recurrence and the Dunkl eigenvalue equation. The central claim rests on Proposition 1 and on the algebraic derivation of the Verblunsky parameters. I checked both. The Szegő-pair identification is standard and the weight shift is right; the monic normalization makes (8.6) exact. The unshown final elimination can be replaced by a short computation: KP=nF and KF=sF+(n+s)P, which proves the two parity cases in (8.4). The representation derivation from Section 7 also survives: the diagonal equations force λ0=0 and give (7.7), and the single-moment and free cases are recovered. The weakest presentation point is the absence of the elimination algebra, but this is a readability issue, not a correctness risk. I therefore see no reason to change the reader's conditional verdict; since I did not find a flaw, I keep the verdict unchanged.","tokens_in":13251,"tokens_out":31112,"duration_ms":256847,"concrete_test":"Symbolically verify the compact identity KF=sF+(n+s)P for generic symbolic α,β and n=2,3, using only (8.6), the Jacobi equation (8.7), and P'=nQ; if both residuals vanish, the omitted elimination step in Proposition 1 is certified.","verdict_should_be":"UNCHANGED","load_bearing_attack":"No load-bearing concern identified. The weakest point in the exposition is the one-sentence elimination at the end of Proposition 1, but it is not a genuine gap. Using P_n for the monic Jacobi polynomial on [-2,2] and F=(z-z^{-1})Q_{n-1}, the Szegő-pair identification gives weight (2-x)^α(2+x)^β for P_n and (2-x)^{α+1}(2+x)^{β+1} for Q_{n-1}; the derivative identity (8.6) is P_n'=nQ_{n-1} with exactly the monic normalizations. From the Jacobi differential equation one obtains y^2Q'=[-2d-(s+1)x]Q+(n+s)P, where s=α+β+1, d=α-β, y=z-z^{-1}, x=z+z^{-1}. With A=z(sz+d)/(1-z^2), this gives KP=nF and KF=sF+(n+s)P. Substituting into (4.11) yields Kψ_{2n-1}=(s+n)ψ_{2n-1} and Kψ_{2n}=-nψ_{2n}, exactly (8.4). The representation-theoretic derivation of (7.7) is also internally consistent: the diagonal equations force λ0=0 when d≠0, and when d=0 the M1 diagonal equation forces the same. The remaining concerns (choice of canonical algebra, novelty of the Dunkl operator) affect framing, not the central claim.","agreement_with_reader":"partial"},"referee_report":{"model":"deepseek-v4-flash","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.","tokens_in":13468,"tokens_out":9632,"duration_ms":82503,"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.","major_comments":[],"minor_comments":[{"comment":"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":"Section 8, Proposition 1"},{"comment":"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":"Section 7"},{"comment":"The text refers to 'the operator L' but L is not defined; it should be K throughout that sentence.","section":"Section 6, Eq. (6.7)"},{"comment":"Reference [1] lists the author name twice: 'R. Askey, R. Askey'. Please correct the citation.","section":"References"},{"comment":"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":"Abstract and Section 10"},{"comment":"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.","section":"Section 5"}],"recommendation":"minor_revision","confidential_remarks":"The paper appears technically sound. The potential concern about the Szegő-pair identification in Section 8 does not land, since it is a standard result and the monic normalizations used in (8.6) and (4.11) are consistent. The circle Jacobi algebra is introduced in a somewhat tailored way, so the representation-theoretic derivation of (7.7) is best described as a construction rather than a classification; this should be acknowledged in the text. I would ask the authors to present the Proposition 1 computation in detail and to moderate the 'all fundamental properties' claim."},"author_rebuttal":null,"desk_editor":{"model":"deepseek-v4-flash","letter":"The bottom line: the Jacobi OPUC are CMV bispectral with a Dunkl operator, and this is the first nontrivial example of that phenomenon. I think the result is correct, and the algebraic derivation of the Verblunsky parameters from the circle Jacobi algebra is the cleanest part of the paper. The operator K in (8.3) is indeed Cherednik's BC1 Dunkl operator, and the eigenvalue equation for nonsymmetric Jacobi polynomials is already in Koornwinder-Bouzeffour [15]; the authors say so themselves. What's new is the CMV framing and the algebra encoding, and that is a real contribution to OPUC theory.\n\nThe proof of Proposition 1 is a sketch, but it is fillable. The Szegő-pair identification is standard, and the stress-test note gives a direct identity that fills the one-line elimination. I would want the published version to display that computation, or at least state the identity, because as written it asks the reader to trust the algebra. That is a presentation issue, not a gap.\n\nThe circularity concern is real but moderate. The canonical form (7.3) was chosen because it gives Jacobi Verblunsky parameters, so the representation-theoretic derivation of a_n is not a prediction from first principles. But Section 8's operator K is an independent computation, and the algebra relations are checked in the operator picture. So the central claim does not depend on the circularity.\n\nThe abstract overclaims slightly: 'all fundamental properties' from the algebra representations is a bit strong, since the paper derives the Verblunsky parameters and eigenvalues and the embedding, not literally all properties. Minor.\n\nCitation pattern is fine. The relevant prior work [15] is cited and the overlap is acknowledged. Self-citation is not a problem here.\n\nWho is this for? People working on OPUC, CMV matrices, Dunkl operators, and hidden symmetry algebras. It deserves a serious referee. My recommendation: send it to peer review, with a request that the authors expand the proof of Proposition 1 and soften the 'all fundamental properties' line.","headline":"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.","tokens_in":14099,"tokens_out":1912,"would_cite":true,"duration_ms":16264,"reading_group":"yes","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":"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…","keywords":["CMV bispectrality","orthogonal polynomials on the unit circle","Jacobi polynomials","Dunkl-type operators","circle Jacobi algebra","Verblunsky parameters","Szegő mapping","reflection operators"],"falsifier":"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.","tokens_in":12929,"feed_emoji":"⭕","tokens_out":12270,"duration_ms":90910,"temperature":0.7,"pith_summary":"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.","feed_headline":"Circle Jacobi polynomials are the first CMV-bispectral family","feed_subtitle":"Their Laurent polynomials obey both a five-term recurrence and a Dunkl-type differential equation","key_machinery":"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$.","core_discovery":"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$.","pith_inferences":["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."],"forward_implications":["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."],"supporting_citations":[{"why":"Supplies the circle-to-line identification that the Szegő pair for the Jacobi OPUC are exactly the ordinary Jacobi polynomials, the step the whole elimination rests on.","marker":"[18]"},{"why":"Supplies the explicit Verblunsky parameters and orthogonal weight for the Jacobi OPUC, matching the parameters derived from the algebra.","marker":"[2]"},{"why":"Connects CMV matrices with Jacobi-type polynomial families, used as the reference for the Jacobi OPUC identification.","marker":"[5]"},{"why":"Supplies the Jacobi differential equation (8.7) and the derivative identity (8.6) that eliminate the second derivative in the proof.","marker":"[13]"},{"why":"Gives the no-go result that only the free OPUC admit a pure differential operator, the contrast the Dunkl-type extension must overcome.","marker":"[10]"},{"why":"Provides the CMV basis, the reflection matrices M1 and M2, and the standard OPUC framework used throughout.","marker":"[16]"},{"why":"Supplies the nonsymmetric Jacobi polynomials with which the psi_n are identified and the related Dunkl-type eigenvalue equation.","marker":"[15]"},{"why":"Identifies the operator K as the rank-one trigonometric Dunkl operator, linking the result to double affine Hecke algebra theory.","marker":"[3]"},{"why":"Provides the quadratic Jacobi algebra whose central extension is realized by X and Y in the final section.","marker":"[7]"}],"fun_headline_variants":["CMV bispectrality for circle Jacobi OPUC","First CMV-bispectral OPUC family found","Circle Jacobi algebra yields CMV bispectrality","Jacobi OPUC obey CMV recurrence and Dunkl equation","Hidden symmetry: circle Jacobi algebra for OPUC"],"cache_read_input_tokens":3200,"weakest_assumption_plain":"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.","fun_headline_variants_meta":{"raw":{"variants":["CMV bispectrality for circle Jacobi OPUC","First CMV-bispectral OPUC family found","Circle Jacobi algebra yields CMV bispectrality","Jacobi OPUC obey CMV recurrence and Dunkl equation","Hidden symmetry: circle Jacobi algebra for OPUC"]},"model":"deepseek-v4-flash","effort":"low","cost_usd":0.000719,"raw_usage":{"total_tokens":3257,"prompt_tokens":1000,"completion_tokens":2257,"prompt_tokens_details":{"cached_tokens":384},"prompt_cache_hit_tokens":384,"prompt_cache_miss_tokens":616,"completion_tokens_details":{"reasoning_tokens":2178}},"tokens_in":616,"tokens_out":2257,"duration_ms":14935,"temperature":1.0,"reasoning_tokens":2178,"cache_read_input_tokens":384,"cache_creation_input_tokens":0},"cache_creation_input_tokens":0},"created_at":"2026-08-11T15:22:28.802007+00:00","model_set":{"reader":"deepseek-v4-flash"},"falsifier":"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.","supporting_citations":[{"cited_title":null,"cited_arxiv_id":null,"evidence_quote":"Supplies the explicit Verblunsky parameters and orthogonal weight for the Jacobi OPUC, matching the parameters derived from the algebra."},{"cited_title":"Derevyagin, L","cited_arxiv_id":null,"evidence_quote":"Connects CMV matrices with Jacobi-type polynomial families, used as the reference for the Jacobi OPUC identification."},{"cited_title":"Koekoek, P","cited_arxiv_id":null,"evidence_quote":"Supplies the Jacobi differential equation (8.7) and the derivative identity (8.6) that eliminate the second derivative in the proof."},{"cited_title":"Simon, Orthogonal Polynomials On The Unit Circle , AMS, 2005","cited_arxiv_id":null,"evidence_quote":"Provides the CMV basis, the reflection matrices M1 and M2, and the standard OPUC framework used throughout."},{"cited_title":"Genest, M","cited_arxiv_id":null,"evidence_quote":"Provides the quadratic Jacobi algebra whose central extension is realized by X and Y in the final section."}],"review_version":1}