{"id":"beff07dc-0b2c-4b56-b571-eb60085c704a","arxiv_id":"2607.29358","paper_version":1,"verdict":"CONDITIONAL","confidence":"MODERATE","novelty_score":6.0,"correctness_risk":"medium","formal_verification":"none","parameter_count":1,"one_line_summary":"Rank-two Racah algebra is realized inside the rank-two Jacobi algebra through tridiagonalization, with eigenfunctions and overlaps given by Jacobi, Wilson, and Tratnik polynomials.","lead":"This paper embeds the rank-two Racah algebra into the rank-two Jacobi algebra by building two new operators from the Jacobi algebra's multiplication operators. The result gives explicit differential-operator realizations whose eigenfunctions and overlap coefficients are Jacobi, Wilson, and Tratnik-type orthogonal polynomials.","discovery_kind":"extension","skeptic_critique":{"model":"deepseek-v4-flash","headline":"The claimed R2 embedding rests on an unshown verification: the R2-type relations (B.2)-(B.10) are not consequences of the rank-one subalgebra relations, and the paper only states 'we can show' without displaying the computation.","rationale":"The reader's weakest assumption identifies exactly the same gap: the full rank-two relations are asserted without displayed verification. My stress-test confirms this is the most load-bearing concern. The paper gives an explicit differential model for J2 with full defining relations in Appendix A, so a direct computational check is possible and would settle the matter. The construction is plausible and consistent with prior tridiagonalization work, but the main theorem—the embedding—is not established until the missing commutator checks are supplied. The reader's CONDITIONAL verdict is appropriate: accept only after the verification is provided. I do not find additional independent fatal objections; the eigenfunction and overlap computations are detailed and follow established patterns. The formal convergence of infinite expansions is a secondary issue that does not affect the algebraic embedding itself.","tokens_in":14521,"tokens_out":3889,"duration_ms":67253,"concrete_test":"Implement the five operators (3.2)-(3.6) as symbolic differential operators in x and y with generic parameters a,b,c,d. Using a computer algebra system (e.g., SymPy, Mathematica), compute every commutator appearing in (B.2)-(B.10) and simplify each expression. Verify that each relation holds identically after substituting the central parameters from (3.10). Also verify the R1-type relations for all five couples, especially the asserted parameter assignments in (3.8)-(3.9). If all simplify to zero, the embedding is proven; if any nonzero remainder appears, the central claim fails.","verdict_should_be":"UNCHANGED","load_bearing_attack":"The paper's central claim is that the five operators C12, C23, C34, C123, C234 defined in (3.2)-(3.6) satisfy all defining relations of the rank two Racah algebra R2 with parameters (3.10). The only support offered in Section 3.2 is: 'With these relations of the rank 1 Racah algebras, we can show that the five generators ... satisfy all the relations recalled in Appendix B.' This is a non-sequitur unless the rank-one subalgebra relations logically force the R2-type relations (B.2)-(B.10). They do not in general: the presentation of R2 in Appendix B includes both R1-type and R2-type relations as independent defining relations. A pentagon of five R1 subalgebras with compatible central data is not, by itself, a proof of the full R2 relations. The paper neither cites a general theorem nor displays the computation. Even the R1-type assertions for the newly formed couples (C12,C23) and (C123,C34) in (3.8)-(3.9) are stated without proof. If any of these missing verifications fails for generic parameters a,b,c,d, the embedding does not realize R2. This is the load-bearing assumption: the entire construction depends on it, and it is currently unsupported.","agreement_with_reader":"agree"},"referee_report":{"model":"deepseek-v4-flash","summary":"The paper claims to construct an explicit embedding of the rank two Racah algebra R2 into the rank two Jacobi algebra J2. Starting from the differential model of J2 on the triangle, the authors define five operators C12, C23, C34, C123, C234, where C23, C34, C234 are affine transforms of the J2 generators and C12, C123 are built by tridiagonalization/Heun-operator techniques from the pairs (X3,C234) and (X1,C234), respectively. The central assertion is that these five operators satisfy the full defining relations of R2 with central parameters given in (3.10). The paper also computes joint eigenfunctions for the commuting pairs, expresses them in terms of hypergeometric functions and Jacobi polynomials, and derives overlap coefficients, including a product formula identified with bivariate Racah polynomials of Tratnik type. Appendix B recalls the defining relations of R2 and sketches a contraction limit from R2 to J2.","tokens_in":14875,"tokens_out":9489,"duration_ms":82808,"significance":"If the central embedding claim is correct, the paper provides a valuable explicit realization of R2 by second-order differential operators on the triangle, together with an interesting family of joint eigenfunctions and overlaps. The construction is concrete and not fitting-based: the operators are given in closed form and the free parameter d enters systematically through the Heun-operator construction. The eigenfunction theorems in Section 4 are proved from univariate identities, and the overlap computation in Section 5.1 is explicit and checkable. The main weakness is that the algebraic verification that the five operators satisfy the full rank-two Racah relations is not actually displayed; this is the load-bearing step on which the embedding rests.","major_comments":[{"comment":"The sentence 'With these relations of the rank 1 Racah algebras, we can show that the five generators ... satisfy all the relations recalled in Appendix B' is the only support for the central claim. The R2-type relations (B.2)–(B.10) are independent cubic defining relations in the presentation of R2; they are not shown to follow from the five rank-one Racah relations listed in B.2, and no general lemma or computation is supplied. Since the embedding theorem depends entirely on this verification, the manuscript must include a direct check of (B.2)–(B.10), either in the text or in a computational appendix, or a theorem that rigorously reduces them to the displayed rank-one data.","section":"§3.2, after Eq. (3.9)"},{"comment":"The rank-one Racah relations claimed for the couples (C12,C23) and (C123,C34) are introduced with 'We can also show' and no demonstration. These pairs are not obtained from the earlier (X1,C234) and (X3,C234) constructions in an automatic way; they require separate verification. The same applies to the base pair (C23,C34) in (3.3). Because the R1-type relations in Appendix B are part of the defining data of R2, these checks are also load-bearing. Please provide the computations.","section":"§3.2, Eqs. (3.8)–(3.9)"}],"minor_comments":[{"comment":"The identification of the product coefficient T_{n,k}(m,p) with Tratnik bivariate Racah polynomials is stated in one sentence. A precise comparison with the definition in [23], or an explicit reference to the relevant formula, would make the claim verifiable.","section":"§5.3"},{"comment":"The contraction from R2 to J2 is summarized as 'a straightforward computation shows' without details. This claim is secondary to the main embedding but should be either expanded or explicitly labeled as a sketch.","section":"Appendix B.4"},{"comment":"Typo: 'Heun operatora' should be 'Heun operators'.","section":"Conclusion"},{"comment":"The title displays 'REALIZA TION' with an unwanted space; please correct.","section":"Title"},{"comment":"The footnote 'There is a change of variable m=i in comparison to the Wilson polynomials' is unclear; the symbol i is presumably not the imaginary unit. Please rephrase.","section":"Eq. (2.19) footnote"}],"recommendation":"major_revision","confidential_remarks":"The manuscript is suitable in scope for a mathematical physics journal, but the main theorem is currently supported by an asserted computation rather than a demonstrated one. The missing verification appears to be fixable, so I recommend major revision rather than rejection. The authors should either provide the computation for (B.2)–(B.10) or state and prove a reduction theorem; without this, the embedding claim is not certified."},"author_rebuttal":null,"desk_editor":{"model":"deepseek-v4-flash","letter":"Here's the thing: the paper constructs an explicit embedding of the rank-two Racah algebra R2 into the rank-two Jacobi algebra J2, using tridiagonalization to promote multiplication operators to Racah-type generators. The resulting picture—five rank-one Racah subalgebras arranged as a pentagon, with explicit eigenfunctions and Wilson/Tratnik overlaps—is new and useful. But the central claim rests on an unshown computation: Section 3.2 states that the five generators satisfy all relations in Appendix B, with 'we can show.' That is not enough, because the R2-type relations (B.2)-(B.10) are independent of the rank-one relations. A pentagon of R1 subalgebras with compatible central data does not automatically force them. So the construction has a gap that needs to be filled before the embedding is established.\n\nWhat the paper does well: the eigenfunction results in Section 4 are proven by reducing to univariate identities, and they are explicit. The overlap computation in (5.1) is detailed and credible. The operators C12, C123 are defined explicitly with free parameters a,b,c,d; there is no fitting to the target relations. The reliance on prior work on J2 and R1 tridiagonalization is normal for this subfield.\n\nThe soft spots are, in order of importance: (1) the missing verification of the R2 relations—this is load-bearing; (2) the claims for the new R1 couples in (3.8)-(3.9) are also stated without proof; (3) the infinite expansions in Sections 2 and 5 are treated formally, with no discussion of convergence, though that is a minor issue given the intended algebraic context. If the missing commutator checks fail for generic parameters, the embedding does not exist as stated.\n\nWho should read this: people working on Racah/Jacobi algebras, special functions, and superintegrable models. It deserves a serious referee, not a desk reject. The gap is likely fixable—the authors know the framework—but the referee should ask for the explicit verification or a computer-algebra transcript.","headline":"A concrete step toward differential realizations of rank-two Racah algebras, but the central algebraic verification is asserted, not shown.","tokens_in":15325,"tokens_out":2828,"would_cite":true,"duration_ms":25537,"reading_group":"yes","serious_thinker":"yes","would_accept_peer_review":true},"rs_alignment":null,"lean_confirmation":null,"pith_extraction":{"msc":["17B80","33C45","33C50","81R05"],"pacs":[],"model":"deepseek-v4-flash","headline":"Rank two Racah algebra is shown to embed inside the rank two Jacobi algebra via explicit second-order differential operators.","keywords":["rank two Racah algebra","rank two Jacobi algebra","embedding","tridiagonalization","Heun operator","Wilson polynomials","Tratnik polynomials","two-variable Jacobi polynomials"],"falsifier":"A direct but lengthy calculation of the commutators [C12,C23], [C23,C34], [C123,C34], [C12,C234], and [C123,C234] using the explicit differential forms (3.2)-(3.6) and checking whether they satisfy the ten relations (B.2)-(B.10) with parameters (3.10) would settle the claim. If any of these relations fails, the embedding is incorrect.","tokens_in":14446,"feed_emoji":"","tokens_out":1051,"duration_ms":11438,"temperature":0.7,"pith_summary":"The paper constructs a concrete embedding of the rank two Racah algebra into the rank two Jacobi algebra, both being algebraic structures that encode the bispectral properties of multivariate orthogonal polynomials. Starting from a differential model of the Jacobi algebra on a triangle, the authors replace the two multiplication operators with Racah-type generators built through tridiagonalization. They claim that the five resulting generators satisfy all the defining relations of the rank two Racah algebra, thereby realizing it by second-order differential operators. They also determine common eigenfunctions and overlap coefficients, relating them to Wilson and bivariate Tratnik polynomials.","feed_headline":"Two-variable Jacobi operators realize rank two Racah algebra","feed_subtitle":"A tridiagonalization trick turns all edges of the pentagon into rank one Racah algebras, embedding R2 in J2.","key_machinery":"The central mechanism is tridiagonalization via the algebraic Heun operator: from a rank one Jacobi algebra (generated by a multiplication operator and a second-order differential operator), a bilinear expression in the two generators produces a new operator that satisfies rank one Racah algebra relations. Applying this twice, once for each of the two multiplication operators X1 and X3, generates the operators C123 and C12 and turns the pentagonal subalgebra structure of J2 into a pentagon of rank one Racah algebras, which together enforce the rank two Racah algebra relations.","core_discovery":"The central claim is that the five operators C12, C23, C34, C123, and C234, defined explicitly in equations (3.2)-(3.6), satisfy the defining relations of the rank two Racah algebra R2 with parameters given by (3.10). The authors derive these operators by promoting the multiplication operators X1 and X3 of the Jacobi algebra to Racah-type generators via the algebraic Heun operator construction. They assert that this establishes an embedding of R2 into the rank two Jacobi algebra J2, realized by second-order partial differential operators on the triangle. They further compute common eigenfunctions of commuting pairs and show that overlap coefficients are governed by univariate Wilson polynomi","pith_inferences":["The paper establishes the embedding only for the differential model; a natural extension would be to verify whether the same tridiagonalization procedure yields an embedding in other models of J2, e.g., in the representation on the 2-sphere.","The authors note that truncations of the continuous eigenfunctions should provide finite-dimensional representations of R2; this could connect to the representation theory of the Racah algebra and the recoupling graph (the folded icosidodecahedron).","The composition of two edges to obtain Tratnik polynomials suggests a general principle: composing overlaps along adjacent edges of the pentagon may always produce multivariate orthogonal polynomials of Tratnik type."],"forward_implications":["If the embedding holds, every representation of the rank two Jacoobi algebra yields a representation of the rank two Racah algebra by restriction, providing a new source of models for R2.","The explicit differential realization gives a concrete operator-theoretic framework in which eigenfunctions and overlaps of bivariate hypergeometric polynomials can be studied systematically.","The overlap coefficients computed in the paper, being Wilson and Tratnik polynomials, may serve as a dictionary connecting spectral data of the two algebras.","The construction suggests that the pentagon diagram of rank one subalgebras is a robust organizing principle that could be iterated for higher ranks or q-deformations."],"fun_headline_variants":["Rank two Racah algebra embeds in Jacobi algebra","Tridiagonalization embeds Racah algebra in Jacobi algebra","Pentagon trick yields Racah generators from Jacobi operators","Embedding Racah R2 into Jacobi J2 via Heun operators","Racah algebra realized by Jacobi operators on a triangle"],"cache_read_input_tokens":2304,"weakest_assumption_plain":"The claim that the five operators satisfy the full set of rank two Racah relations rests on an omitted computation: the paper states that the rank-one subalgebra relations imply the extra relations (B.2)-(B.10), but does not display the derivation.","fun_headline_variants_meta":{"raw":{"variants":["Rank two Racah algebra embeds in Jacobi algebra","Tridiagonalization embeds Racah algebra in Jacobi algebra","Pentagon trick yields Racah generators from Jacobi operators","Embedding Racah R2 into Jacobi J2 via Heun operators","Racah algebra realized by Jacobi operators on a triangle"]},"model":"deepseek-v4-flash","effort":"low","cost_usd":0.000238,"raw_usage":{"total_tokens":1339,"prompt_tokens":726,"completion_tokens":613,"prompt_tokens_details":{"cached_tokens":256},"prompt_cache_hit_tokens":256,"prompt_cache_miss_tokens":470,"completion_tokens_details":{"reasoning_tokens":524}},"tokens_in":470,"tokens_out":613,"duration_ms":5173,"temperature":1.0,"reasoning_tokens":524,"cache_read_input_tokens":256,"cache_creation_input_tokens":0},"cache_creation_input_tokens":0},"created_at":"2026-08-03T08:34:09.232588+00:00","model_set":{"reader":"deepseek-v4-flash"},"falsifier":"A direct but lengthy calculation of the commutators [C12,C23], [C23,C34], [C123,C34], [C12,C234], and [C123,C234] using the explicit differential forms (3.2)-(3.6) and checking whether they satisfy the ten relations (B.2)-(B.10) with parameters (3.10) would settle the claim. If any of these relations fails, the embedding is incorrect.","supporting_citations":[],"review_version":1}