{"id":"ad16f7d1-582d-4289-9c8c-d5e382ae455d","arxiv_id":"2507.07766","paper_version":1,"verdict":"CONDITIONAL","confidence":"MODERATE","novelty_score":6.0,"correctness_risk":"medium","formal_verification":"none","parameter_count":0,"one_line_summary":"The bispectral operators of the two-variable Jacobi polynomials generate a rank two quadratic algebra with Racah and Jacobi subalgebras.","lead":"The paper defines a new quadratic algebra, the rank two Jacobi algebra, using the symmetry and recurrence operators of the two-variable Jacobi polynomials on the triangle, and provides two equivalent representations of it. This matters because it extends the well-known rank one Jacobi algebra to two variables, links to Racah algebras of rank one and two, and yields structure relations for these polynomials.","discovery_kind":"new_application","skeptic_critique":{"model":"deepseek-v4-flash","headline":"Completeness of the defining relations is asserted, not established; a missing quartic relation would make the abstract algebra larger than the operator algebra. A Gröbner-basis dimension check can settle this.","rationale":"The reader's weakest assumption—that the enumerated triple commutators and their Jacobi-identity consequences are complete defining relations—is exactly the load-bearing issue I find. The paper's own language ('formed so as to be exhaustive through a systematic enumeration', 'were posited to define') acknowledges that completeness is asserted rather than proven. Because the entire structure of the rank two Jacobi algebra, its subalgebras, and the degree representation rests on the operator algebra being faithfully presented by these relations, a missing or inconsistent relation would alter the central claim. However, the paper has substantial independent support: explicit, parameter-free derivations of the bispectral operators, explicit recurrence relations, explicit difference operators for all five generators, and the observation that the same relations are recovered from the degree representation (apart from evident typographical slips such as (4.13)). These give real evidence that the presentation is at least close to correct. The proposed computational test would turn the completeness assertion into a checkable statement. Since the reader already assigned CONDITIONAL based on the same concern, my stress-test does not move the verdict; it sharpens the condition under which acceptance would be justified.","tokens_in":22568,"tokens_out":6188,"duration_ms":67903,"concrete_test":"Compute a Gröbner basis for the associative algebra on generators L, L1, L3, X1, X3 modulo the ideal generated by the relations of Sections 3.6.2–3.6.3, treating a, b, c as generic parameters, using a package such as GAP with GBNP or Bergman. Then compare the dimensions of the homogeneous components of degrees 1 through 6 with the corresponding dimensions of the explicitly realized operator algebra generated by the differential operators (2.4), (2.6), (2.8), x, and 1−x−y (equivalently, the degree-representation difference operators). If any abstract-algebra dimension exceeds the operator-algebra dimension, a relation is missing; if the abstract algebra collapses, the presentation is inconsistent.","verdict_should_be":"UNCHANGED","load_bearing_attack":"The central claim is that the five operators L, L1, L3, X1, X3 generate a quadratic algebra whose defining relations are exactly the primary and triple commutators collected in Sections 3.2–3.6. The load-bearing premise is completeness: every relation satisfied by the explicit operator realization must follow from the displayed relations, and the displayed relations must be consistent. Section 3.4 states only that the ensemble 'was formed so as to be exhaustive through a systematic enumeration,' and Section 3.6 says the relations 'were posited to define' the algebra. No proof or machine verification of completeness is given. Concretely, the paper never displays commutators among the derived generators N1, N3, M3, J1, G13, such as [N1,N3] = [[L,X1],[L,X3]], which are quartic in the original generators. Jacobi-type identities can in principle reduce such a commutator to combinations of triple commutators, but that reduction must land in the declared span of symmetric quadratic expressions in the generators; this is exactly what needs checking. If any quartic (or higher) operator identity is not a consequence of the listed relations, the abstract algebra is strictly larger than the operator algebra, and the degree representation of Section 4 realizes only a quotient. Circumstantial evidence that such a check is needed rather than routine: the dual representation section contains an evident labeling slip—(4.13) repeats [L1,X3] where Section 3.6.2 defines M1 = [L1,X1] = 0—and the R(4) contraction in Section 3.7 is asserted as a 'straightforward computation' with no details. These are not fatal by themselves, but they underscore that the exhaustive-closure claim has not been independently verified.","agreement_with_reader":"agree"},"referee_report":{"model":"deepseek-v4-flash","summary":"The paper constructs a quadratic algebra, which it calls the rank two Jacobi algebra, from the bispectral operators of the two-variable Jacobi polynomials on the triangle. The authors take as generators the two differential operators L and L1, the multiplication operators X1 and X3, and the additional differential operator L3 that commutes with L. They compute primary and triple commutators among these generators, propose these relations as the defining relations of the algebra, identify rank one Jacobi and Racah subalgebras, give a difference-operator (degree) realization, and derive structure relations for the bivariate polynomials. The presentation is computational and the formulas are explicit, but the central claim that these relations completely define the algebra is not proved.","tokens_in":22908,"tokens_out":7809,"duration_ms":79164,"significance":"If the proposed presentation is complete and consistent, this would be a valuable contribution: it introduces a higher-rank quadratic algebra with explicit differential and difference realizations, contains rank one Jacobi and Racah subalgebras, and yields new structure relations for classical bivariate orthogonal polynomials. The paper is rich in explicit formulas and includes a dual representation, which are strengths. However, the main assertion—that the displayed relations constitute a complete presentation of the algebra generated by L,L1,L3,X1,X3—is not established; the authors themselves phrase it as 'posited to define.' The significance of the paper would be considerably enhanced by a rigorous completeness or closedness proof, or by an explicit statement that this remains a conjecture.","major_comments":[{"comment":"The paper's central claim is the completeness of the defining relations: that the primary and triple commutators collected in Sections 3.2–3.6 give a complete presentation of the algebra generated by L, L1, L3, X1, X3. This is not established. Only commutators of the fundamental generators with the derived operators N1,N3,M3,J1,G13 are computed; commutators of the derived operators among themselves (e.g., [N1,N3]=[[L,X1],[L,X3]], [N1,M3], [G13,J1]) are quartic in the original generators and are never evaluated. Without such checks, the abstract algebra generated by the displayed relations may be strictly larger than the operator algebra, and the degree representation of Section 4 may realize only a quotient. In addition, the exhaustiveness of the triple-commutator list is asserted rather than proved: Section 3.4 says the list 'was formed so as to be exhaustive through a systematic enumeration' and Section 3.6 says the relations 'were posited to define' the algebra. A Gröbner-basis computation of the ideal generated by the proposed relations, or an explicit argument that all quartic (and higher) relations are consequences of the listed ones, would settle the question. This is load-bearing for the abstract's claim that the rank two Jacobi algebra has been 'identified.'","section":"Sections 3.4 and 3.6.3"}],"minor_comments":[{"comment":"The displayed commutator [\\hat L1, \\hat X3] = \\hat M1 = 0 is inconsistent with the definitions in Section 3.1, where M1 = [L1,X1] = 0 and M3 = [L1,X3] is nonzero. This is almost certainly a typo and should read [\\hat L1, \\hat X1] = \\hat M1 = 0; also, the text at the start of Section 4.3 refers to operators \\hat N1, \\hat N3, \\hat M3, \\hat K1, but \\hat K1 is never defined (presumably \\hat J1 is meant).","section":"Section 4.3, Eq. (4.13)"},{"comment":"The sentence 'the relations appear to hold for any choice of index pairs' is not a verification. If the symmetry under index permutations is intended as a structural property, it should be stated precisely and justified, or relegated to a remark rather than left as 'appear to hold.'","section":"Section 3.4"},{"comment":"The claimed contraction from the rank two Racah algebra R(4) is asserted with 'A straightforward computations shows' but no details are given. Since this connection is not central to the main construction, please provide the explicit verification or clearly label the statement as a conjecture/consequence to be detailed elsewhere.","section":"Section 3.7"},{"comment":"There are minor typographical issues: the phrase 'rank two Jacobi Jacobi algebra' appears in the first paragraph of Section 5, and Section 3.6.3 ends with 'rank two Jacobi identities' where 'algebra' seems intended. Also, in the proof of the recurrence (2.13), the notation J^{(a,b,c)}_n(x,y) should be J^{(a,b,c)}_{n,k}(x,y) in several places.","section":"Section 5"}],"recommendation":"major_revision","confidential_remarks":"The main gap is the missing proof of completeness/closedness of the defining relations. The authors seem aware of the issue ('posited to define'). A Gröbner-basis or PBW-basis verification would substantially strengthen the paper and turn a suggestive construction into a rigorous algebraic result. The manuscript is otherwise carefully written and contains useful explicit formulas, but the central claim needs this additional support before it can be accepted."},"author_rebuttal":null,"desk_editor":{"model":"deepseek-v4-flash","letter":"Colleague,\n\nThe short version: this is a genuine new object in the quadratic algebra zoo—the rank two Jacobi algebra—and the authors get the main structural story right, including the rank one Jacobi and Racah subalgebras and the dual difference-operator representation. The soft spot is that the defining relations are asserted complete rather than proven complete. That is fixable, but it should be addressed before the paper is taken as definitive.\n\nWhat's actually new: the algebra itself, defined as the closure of the bispectral operators L, L1, X1, X3 plus the needed L3, with explicit quadratic relations. The paper does a lot of honest work: it computes the triple commutators systematically, identifies the subalgebra structure (the pentagon diagram), writes down both the differential and difference realizations, and recovers the known structure relations as a byproduct. The degree representation provides a nontrivial consistency check: the same relations are recovered in the dual picture. That is real evidence the formulas are not random.\n\nThe soft spots are in proportion. First, completeness: Section 3.4 says the list was 'formed so as to be exhaustive through a systematic enumeration' and Section 5 says the relations 'were posited to define' the algebra. That is not a proof. In particular, the paper never displays commutators among the derived generators N1, N3, M3, G13, J1—such as [N1,N3]—which are quartic in the basic generators. If any such commutator does not reduce to the listed quadratic expressions via Jacobi identities, the abstract algebra is strictly larger than the operator algebra, and the degree representation realizes only a quotient. The stress-test worry is on target here. It is likely that a direct computation or a Gröbner basis check would settle it, but the authors should do that.\n\nSecond, there are labeling slips. Equation (4.13) repeats [L1, X3] where it should be [L1, X1] (M1 = 0). That is cosmetic but suggests the manuscript would benefit from a careful pass. Third, Section 3.7's connection to the rank two Racah algebra R(4) is asserted as a 'straightforward computation' with no details. Given the importance of that claim for framing, it deserves more than a sentence.\n\nThe citation pattern is fine; the authors position against the existing higher-rank Racah literature and the bivariate Jacobi literature. No fitted parameters anywhere; the derivation is direct from the operators.\n\nWho is this for? Anyone working on quadratic algebras, multivariate bispectrality, or superintegrable systems with Jacobi polynomials. It deserves a serious referee. I would send it to review with a request for a completeness verification and a cleanup of the small errors.","headline":"Genuine new quadratic algebra with a real structure story, but the defining relations are asserted complete rather than proven complete.","tokens_in":23434,"tokens_out":2584,"would_cite":true,"duration_ms":28091,"reading_group":"yes","serious_thinker":"yes","would_accept_peer_review":true},"rs_alignment":null,"lean_confirmation":null,"pith_extraction":{"msc":["33C50","33C45"],"pacs":[],"model":"deepseek-v4-flash","headline":"The two-variable Jacobi polynomials orthogonal on a triangle generate a rank two quadratic algebra, the rank two Jacobi algebra, which contains rank one Jacobi and Racah subalgebras and yields structure relations for the polynomials.","keywords":["rank two Jacobi algebra","quadratic algebra","two-variable Jacobi polynomials","bispectral operators","Racah algebra","structure relations","difference operators","orthogonal polynomials on the triangle"],"falsifier":"Compute a higher commutator such as $[X_1,[X_1,[L_1,L_3]]]$ directly in the differential realization (3.4)--(3.29) and in the degree realization (4.11)--(4.14), and reduce it to quadratic expressions in $\\{L, L_1, L_3, X_1, X_3\\}$ using the stated relations; if the two reductions disagree, or if a reduction yields an expression outside the span of symmetric quadratic combinations, the relations are not complete.","tokens_in":22385,"feed_emoji":"🔺","tokens_out":8215,"duration_ms":82419,"temperature":0.7,"pith_summary":"The paper identifies a quadratic algebra—the rank two Jacobi algebra—that captures the bispectrality of the two-variable Jacobi polynomials orthogonal on the triangle. It shows that the two differential operators and the two multiplication operators coming from the recurrence relations, together with a fifth operator $L_3$ forced by closure, generate an algebra whose defining relations are quadratic, and that this algebra admits the rank one Jacobi and Racah algebras as subalgebras. If the construction is correct, the two-variable Jacobi polynomials support a representation of this algebra, and the two realizations of it (differential in the variables, difference in the degrees) yield structure relations for the polynomials. This matters because it extends to two variables the algebraic framework that underpins the univariate Askey scheme and its solvable-model applications.","feed_headline":"Bivariate Jacobi polynomials spawn a rank two Jacobi algebra","feed_subtitle":"The new quadratic algebra contains Racah and Jacobi subalgebras and yields structure relations for the polynomials.","key_machinery":"The central object is the rank two Jacobi algebra, a quadratic algebra generated by $\\{L, L_1, L_3, X_1, X_3\\}$, with the five primary commutators $N_1, N_3, M_3, G_{13}, J_1$ and with all triple commutators expressed as symmetric quadratic expressions in the generators. The carrying mechanism is the closure computation: starting from the bispectral operators, the paper computes $[L,X_1]$, $[L,X_3]$, $[L_1,X_3]$, $[L_1,L_3]$, and $[L_3,X_1]$, then iterates commutation until every triple commutator is a quadratic expression in the five generators, using the Jacobi identity to correlate dependent relations. A secondary mechanism is the pentagon of centralizers (Figure 1), which organizes the subalgebra structure: generators around each vertex commute, each solid edge generates a Jacobi algebra, and each dashed edge generates a Racah algebra.","core_discovery":"Working with the two-variable Jacobi polynomials $J_{n,k}^{(a,b,c)}(x,y)$ orthogonal on the triangle, the paper takes the two differential operators $L$ and $L_1$ of which they are joint eigenfunctions, together with the two multiplication operators $X_1=x$ and $X_3=1-x-y$ corresponding to the recurrence relations, and shows that the cascade of commutators among these four operators closes only after adding a fifth generator $L_3$, the third piece of the decomposition of $L$. The resulting quadratic algebra, called the rank two Jacobi algebra, has as defining relations the primary commutators (3.56)--(3.57) and the triple commutators of Sections 3.2--3.4, all expressed as symmetric quadratic expressions in the generators. The paper argues that these relations define a well-formed algebra, that $L_1$ and $L_3$ generate a rank one Racah subalgebra (a central extension), that each of the four other centralizer pairs generates a rank one Jacobi subalgebra, and that the whole structure is a specialization of the rank two Racah algebra obtained by a contraction. It then constructs the dual representation on the degree lattice of the bivariate Jacobi polynomials, showing that the same relations are satisfied by difference operators, and derives from the equality of the two realizations structure relations for the polynomials.","pith_inferences":["The isomorphism between rank one Jacobi and Hahn algebras, which survives because defining relations are insensitive to polynomial limits, suggests that a rank two Hahn algebra with the same presentation should exist; locating it via a limit of discrete bivariate Hahn polynomials would be a direct test of the presentation's generality.","The cyclic centralizer pattern shown in the pentagon hints that rank $n$ Jacobi algebras would be organized by an $(n+2)$-cycle of subalgebras; constructing the rank three case would reveal whether the pattern persists.","Because the two-variable Jacobi polynomials are wavefunctions of the generic superintegrable system on the 2-sphere, the rank two Jacobi algebra is a plausible dynamical symmetry algebra for that model; checking whether the model's integrals close under the algebra would test this role.","The extra structure relation that goes beyond the $q\\to 1$ relations of [28] suggests that earlier algebraic data for these polynomials were incomplete; one may expect analogous missing relations in the structure-relation literature for other multivariate families."],"forward_implications":["The bivariate Jacobi polynomials form a basis for a representation of the rank two Jacobi algebra, with $L$ and $L_1$ diagonal, so the algebra acts as a symmetry algebra of the second-order operator $L$.","Equating the differential realization with the degree realization yields first-order structure relations for the bivariate Jacobi polynomials, recorded in (4.17)--(4.19).","The generators $L_1$ and $L_3$ realize a central extension of the rank one Racah algebra, so for fixed $n$ the polynomials transform among themselves under a Racah algebra.","The rank two Jacobi algebra is a specialization of the rank two Racah algebra $R(4)$ under the contraction (3.64)--(3.66).","The construction yields one additional independent structure relation, the action of $xy(\\partial_x-\\partial_y)$, beyond the two obtained earlier as a $q\\to 1$ limit."],"supporting_citations":[{"why":"Introduces the two-variable analogues of classical orthogonal polynomials, including the triangle Jacobi family that the paper builds on.","marker":"[17]"},{"why":"The original construction of the two-variable Jacobi polynomials orthogonal on a triangle, the central characters of the paper.","marker":"[18]"},{"why":"Establishes the bispectrality of multivariate Jacobi polynomials through limits of multivariate Hahn polynomials, supporting the two eigenvalue equations used as the starting point.","marker":"[25]"},{"why":"Supplies the rank one Jacobi algebra relations derived from the hypergeometric operator, the pattern that the paper generalizes.","marker":"[2]"},{"why":"Provides the standardized presentation of the rank one Racah algebra against which the $L_1,L_3$ subalgebra is identified.","marker":"[5]"},{"why":"Gives the symmetry algebra realization on the bivariate Jacobi basis, from which the difference operator form of $\\hat{L}_3$ is taken.","marker":"[31]"},{"why":"Supplies structure relations for bivariate big $q$-Jacobi polynomials whose $q\\to 1$ limit the paper extends and completes.","marker":"[28]"},{"why":"Provides the rank two Racah algebra presentation used to exhibit the rank two Jacobi algebra as a contraction or specialization.","marker":"[15]"}],"fun_headline_variants":["Bivariate Jacobi polynomials reveal a rank two Jacobi algebra","Rank two Jacobi algebra identified from bivariate polynomials","Bivariate Jacobi polynomials yield a rank two Jacobi algebra","Bivariate Jacobi polynomials generate a rank two Jacobi algebra"],"cache_read_input_tokens":3200,"weakest_assumption_plain":"The load-bearing premise is that the triple commutators listed, together with their Jacobi-identity consequences, form a complete set of defining relations for the algebra generated by $L, L_1, L_3, X_1, X_3$, so that no additional independent relations exist; if any do, the abstract algebra presented differs from the operator algebra.","fun_headline_variants_meta":{"raw":{"variants":["Bivariate Jacobi polynomials reveal a rank two Jacobi algebra","Rank two Jacobi algebra identified from bivariate polynomials","Bivariate Jacobi polynomials yield a rank two Jacobi algebra","Bivariate Jacobi polynomials generate a rank two Jacobi algebra"]},"model":"deepseek-v4-flash","effort":"low","cost_usd":0.000641,"raw_usage":{"total_tokens":2921,"prompt_tokens":884,"completion_tokens":2037,"prompt_tokens_details":{"cached_tokens":384},"prompt_cache_hit_tokens":384,"prompt_cache_miss_tokens":500,"completion_tokens_details":{"reasoning_tokens":1968}},"tokens_in":500,"tokens_out":2037,"duration_ms":15687,"temperature":1.0,"reasoning_tokens":1968,"cache_read_input_tokens":384,"cache_creation_input_tokens":0},"cache_creation_input_tokens":0},"created_at":"2026-08-06T18:32:53.453343+00:00","model_set":{"reader":"deepseek-v4-flash"},"falsifier":"Compute a higher commutator such as $[X_1,[X_1,[L_1,L_3]]]$ directly in the differential realization (3.4)--(3.29) and in the degree realization (4.11)--(4.14), and reduce it to quadratic expressions in $\\{L, L_1, L_3, X_1, X_3\\}$ using the stated relations; if the two reductions disagree, or if a reduction yields an expression outside the span of symmetric quadratic combinations, the relations are not complete.","supporting_citations":[{"cited_title":"Two-variable analogues of the classical orthogonal polynomials","cited_arxiv_id":null,"evidence_quote":"Introduces the two-variable analogues of classical orthogonal polynomials, including the triangle Jacobi family that the paper builds on."},{"cited_title":"Sur une famille de polynˆ omes ` a deux variables orthogonaux dans un triangle.Comptes rendus hebdomadaires des s´ eances de l’Acad´ emie des sciences, 245(26):2459–2461, 1957","cited_arxiv_id":null,"evidence_quote":"The original construction of the two-variable Jacobi polynomials orthogonal on a triangle, the central characters of the paper."},{"cited_title":"Bispectrality of multivariable Racah–Wilson polynomials","cited_arxiv_id":null,"evidence_quote":"Establishes the bispectrality of multivariate Jacobi polynomials through limits of multivariate Hahn polynomials, supporting the two eigenvalue equations used as the starting point."},{"cited_title":"Tridiagonalization of the hypergeometric operator and the Racah–Wilson algebra","cited_arxiv_id":null,"evidence_quote":"Supplies the rank one Jacobi algebra relations derived from the hypergeometric operator, the pattern that the paper generalizes."},{"cited_title":"The Racah algebra and superintegrable models","cited_arxiv_id":null,"evidence_quote":"Provides the standardized presentation of the rank one Racah algebra against which the $L_1,L_3$ subalgebra is identified."},{"cited_title":"Symmetry algebra for the generic superintegrable system on the sphere","cited_arxiv_id":null,"evidence_quote":"Gives the symmetry algebra realization on the bivariate Jacobi basis, from which the difference operator form of $\\hat{L}_3$ is taken."},{"cited_title":"Structure relations for the bivariate big q-Jacobi polynomials","cited_arxiv_id":null,"evidence_quote":"Supplies structure relations for bivariate big $q$-Jacobi polynomials whose $q\\to 1$ limit the paper extends and completes."},{"cited_title":"Representations of the rank two Racah algebra and orthogonal multivariate polynomials","cited_arxiv_id":null,"evidence_quote":"Provides the rank two Racah algebra presentation used to exhibit the rank two Jacobi algebra as a contraction or specialization."}],"review_version":1}