{"id":"a8d6e2d8-f9a3-4b1a-82a3-59752338f06c","arxiv_id":"2509.07949","paper_version":1,"verdict":"CONDITIONAL","confidence":"MODERATE","novelty_score":6.0,"correctness_risk":"medium","formal_verification":"none","parameter_count":0,"one_line_summary":"Two-variable Jacobi polynomials on the triangle are realized as representation overlaps of the rank two Jacobi algebra J_2, whose pentagonal subalgebra structure also yields Racah expansions under variable permutations.","lead":"This paper shows that two-variable Jacobi polynomials on a triangle can be obtained as overlap coefficients between bases of a rank-two algebra called J_2. The algebra is arranged in a pentagonal diagram, and the same diagram explains why permuting the variables of these polynomials produces expansions in Racah polynomials.","discovery_kind":"unification","skeptic_critique":{"model":"deepseek-v4-flash","headline":"Prop. 1 depends on unproved structural facts about J_2 imported from companion [19]; a finite symbolic verification of Appendix A/B and the centralizer claims would settle whether the overlap proof is sound.","rationale":"I agree with the reader's assessment that the weakest point is the reliance on the companion preprint [19] for the definition of J_2, its representations, and the centralizer structure. The proof of Proposition 1 is otherwise explicit and internally coherent once the imported structural facts are granted; in particular, the final normalization and the convolution over the intermediate basis correctly reproduce the two-variable Jacobi polynomials. The internal typos I noted are localized and do not change the conclusion, so they should not alter the verdict. A finite symbolic check of the defining relations and centralizer claims would settle the main concern, after which the central claim would stand on its own. Therefore the reader's CONDITIONAL verdict remains appropriate.","tokens_in":977,"tokens_out":1121,"duration_ms":116785,"concrete_test":"Run a computer-algebra verification of the imported J_2 data: (1) expand and check all Jacobi identities among the five generators using relations (A.2)-(A.29), including the consistency relation (A.29); (2) substitute the differential realization (B.1)-(B.5) and the difference realization (B.6)-(B.10), manipulating the shift operators S^+ and T^+ formally, into all defining relations; (3) compute the centralizer of each of L, L_1, L_3, X_1, X_3 in low degrees of the presented algebra and compare with the pairs asserted in (3.1). If checks (1) and (2) pass and the centralizers are exactly those pairs, the dependence on [19] is removed at the level needed for the overlap proof.","verdict_should_be":"UNCHANGED","load_bearing_attack":"The central claim transfers its validity to three facts asserted from the companion preprint [19] and not proved here: (i) the relations (A.2)-(A.29) define a consistent associative algebra J_2; (ii) the differential operators (B.1)-(B.5) and the difference operators (B.6)-(B.10) realize J_2 with joint spectra complete enough to make the bases {|x,y>}, {|n,k; a,b,c>} and the intermediate bases orthonormal and resolving; (iii) the centralizer of each generator is generated by exactly the pair listed in (3.1). Every step of the proof of (4.7) applies the rank-one overlap formula (2.16) after identifying subalgebras via (3.4), (3.7), (3.10), and (3.13), and the convolutions (4.6), (4.24), and (5.8) assume those subalgebras are maximal abelian. The identifications also require invertibility of X_1 - I and X_3 - I; if a centralizer contains extra independent elements, the intermediate-basis resolutions used in the proof of (4.7) can omit contributions. Because [19] constructs J_2 from the bispectral properties of the very polynomials being characterized, the derivation is not an independent proof unless the imported representation-theoretic data are verified on their own. I am not claiming the argument is false; I am identifying that the central claim's safety is located in an external, same-author source. Minor typos such as the eigenvalue in (4.5), which should presumably be -k(k+b+c+1) for consistency with (3.7) and (B.3), and the sign issue in (4.31), are local and correctable, and do not by themselves sink the theorem.","agreement_with_reader":"agree"},"referee_report":{"model":"deepseek-v4-flash","summary":"The paper proposes an algebraic interpretation of the two-variable Jacobi polynomials on the triangle as overlaps between representation bases of a rank-two Jacobi algebra J_2. The authors introduce a pentagonal diagram whose five vertices correspond to maximal abelian subalgebras; each edge is associated either with a rank-one Jacobi algebra or, for the bottom edge, with a rank-one Racah algebra. Using known overlap formulas for these rank-one algebras, Proposition 1 derives the explicit expression (4.7) for the overlaps between the bases {|x,y>} and {|n,k;a,b,c>}, recovering the standard product formula for J_{n,k}^{(a,b,c)}(x,y). Proposition 2 gives the analogous formula for the permuted family J_{n,k}^{(c,b,a)}(1-x-y,y). Section 5 shows that the change of basis between the two bottom bases is expressed by Racah polynomials, recovering a result of Dunkl. Section 6 extends the picture to the full D_3 symmetry of the simplex, introducing the third family J_{n,k}^{(b,a,c)}(y,x) and deriving the corresponding Racah expansions. The defining relations of J_2 and the differential/difference representations used in the paper are placed in Appendices A and B, with most representation-theoretic facts taken from the companion preprint [19].","tokens_in":34880,"tokens_out":11246,"duration_ms":96548,"significance":"If the structural facts about J_2 imported from [19] are valid, the paper gives a clean representation-theoretic explanation of the product structure of two-variable Jacobi polynomials and of the Racah-polynomial expansions under the symmetries of the triangle. The pentagonal subalgebra organization is a nice organizing principle, and the explicit overlap computations in Propositions 1, 2, and 4 are carried out in detail. The paper also makes concrete contact with the Biedenharn-Elliott identity and with Dunkl's earlier results. The main caveat is that the load-bearing representation-theoretic input --- the consistency of the defining relations, the completeness and orthonormalizability of the joint eigenbases, and the centralizer maximality claims --- is asserted from the companion preprint [19] rather than proved or precisely stated here. The central derivation is therefore conditional on external results by the same authors.","major_comments":[{"comment":"The assertion that the centralizer of each generator is exactly the two-element subalgebra listed in (3.1) is stated as a direct consequence of Appendix A, but the relations (A.1)-(A.29) only provide commutator identities; they do not by themselves prove that no further independent central elements exist in the enveloping algebra. The subsequent derivations in Section 4 and 5 rely on this maximality through the resolutions of the identity (4.6), (4.24), and (5.8) over the intermediate bases, and through the rank-one identifications (3.4), (3.7), (3.10), and (3.13). If a centralizer contained additional independent elements, these resolutions could omit contributions and the overlap formula (4.7) would not follow. Please either prove the centralizer statement or import it from [19] with an explicit theorem reference.","section":"Section 3, list (3.1)"},{"comment":"The existence, orthonormalizability, and completeness of the joint eigenbases {|x,y>}, {|n,k;a,b,c>}, and the intermediate bases are assumed throughout Section 4. Appendix B states in B.3 that all generators are symmetrizable and that the conjugated operators are hermitian, but the verification and the spectral completeness of the differential and difference realizations are delegated to [19]. Since Proposition 1 is proved by inserting resolutions of the identity in these bases, the proof is conditional on those representation-theoretic facts. Please include precise statements from [19] that supply (i) the orthonormal joint eigenbases, (ii) the joint spectra used in (4.1)-(4.5), and (iii) completeness of the continuous and discrete spectral decompositions.","section":"Appendix B and Section 4"}],"minor_comments":[{"comment":"The eigenvalue of L_1 on |x,k;b,c> is written as -k(k+b+c), but consistency with (3.7) and with the rank-one Jacobi spectrum (2.9) requires -k(k+b+c+1). The subsequent use of the Jacobi polynomials J_k^{(b,c)} and their normalization N_k^{(b,c)} corresponds to the corrected eigenvalue.","section":"Section 4.1, Eq. (4.5)"},{"comment":"The eigenvalue displayed for K_1 on |n,k;a,b,c>_π has a sign error: it should be -(n-k)(n-k+a+b+c+2k+2), not (n-k)[(n-k)-a+b+c+2k+2]. This is needed for the identification of the degree n-k in (4.32), although the final formula of Proposition 2 is correct after the sign is fixed.","section":"Section 4.2, Eq. (4.31)"},{"comment":"The factor (x+y)^{2k} appears to be (x+y)^k after combining (4.28) and (4.33); the displayed exponent 2k would make the expression inconsistent with (4.25) and with the definition (1.1). Please check and correct this exponent.","section":"Section 4.2, Eq. (4.35)"},{"comment":"The permuted families J_{n,k}^{(c,b,a)}[(1-x-y),y] and J_{n,k}^{(b,a,c)}(y,x) would be clearer if each occurrence were explicitly expanded via (1.1), since the ordering of arguments is central to Propositions 2 and 4.","section":"General notation"},{"comment":"There are several typos: 'varialex' in Section 4.1 should be 'variable'; 'simultaleous' in the caption of Figure 4 should be 'simultaneous'; reference [39] gives the year '19955', which should be '1995'.","section":"Minor typographical issues"}],"recommendation":"major_revision","confidential_remarks":"The central claims of this paper rest on the companion preprint [19], which is not yet published and is by the same authors. In its current form, the manuscript is more of an application of [19] than a self-contained proof. If [19] is accepted and available, the present paper could be appropriate after the imported statements are made precise. The editor may also want to consider whether the overlap formula (4.7) is sufficiently distinct from the model in [19] to justify separate publication, or whether a combined presentation would be more appropriate."},"author_rebuttal":null,"desk_editor":{"model":"deepseek-v4-flash","letter":"Dear Colleague,\n\nShort version: this is a genuine structural result, not a repackaging. The paper shows that the two-variable Jacobi polynomials J_{n,k}^{(a,b,c)}(x,y) are, up to normalization, overlaps between two representation bases of the rank two Jacobi algebra J_2, and it organizes the relevant subalgebras in a pentagon whose edges are rank-one Jacobi algebras and whose base is a Racah algebra. That pentagon is what explains, algebraically, why permuting variables and parameters produces expansion coefficients that are Racah polynomials. Propositions 1, 2, and 4 are explicit, the parameter matching in Section 5 checks out, and the authors credit Dunkl for the Racah expansion (Prop. 3) while adding a new algebraic proof. This is a real advance in the representation-theoretic understanding of these polynomials.\n\nThe soft spots are real but localized. The paper leans on the companion preprint [19] for three load-bearing facts: (i) the relations in Appendix A define a consistent algebra J_2, (ii) the differential and difference operators in Appendix B realize that algebra with the stated joint spectra and complete orthonormalizable bases, and (iii) the centralizer of each generator is exactly the two-element subalgebra listed in (3.1). None of these is proved here; they are asserted from [19]. Since [19] derives J_2 from the bispectral properties of the very same polynomials, the derivation is a structural interpretation rather than an independent proof. If any of those structural facts fails, the resolutions of the identity used in (4.6) and (5.8) could omit contributions and the overlap theorem would need repair. I do not see a lethal flaw in the argument as written; the concern is provenance, not internal contradiction.\n\nThere are also local typos worth fixing: the eigenvalue in (4.5) should presumably be -k(k+b+c+1) to agree with (3.3) and (B.8), and equation (4.31) has a sign error; the right side should be -(n-k)[(n-k)+a+b+c+2k+2]. Both are correctable and do not affect the conclusions.\n\nBottom line: for a reader working on quadratic algebras or multivariate special functions, this is worth engaging. I would send it to review, with the explicit request that the referee verify the imported facts from [19] or that the authors include the needed derivations. I would not cite it as an independent proof until [19] is settled, but as a structural explanation it is solid.","headline":"An elegant overlap interpretation of bivariate Jacobi polynomials via a new rank-two Jacobi algebra, but the load-bearing representation theory is imported from the companion preprint, so the result is conditional on that source.","tokens_in":35503,"tokens_out":4897,"would_cite":true,"duration_ms":43454,"reading_group":"maybe","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 on the triangle are overlaps between two representation bases of the rank two Jacobi algebra J_2, and the pentagonal subalgebra structure of J_2 explains why their expansions under variable permutations…","keywords":["two-variable Jacobi polynomials","rank two Jacobi algebra","representation bases","overlap coefficients","Racah polynomials","pentagonal subalgebra structure","order-three symmetry","dihedral group"],"falsifier":"Substitute the right-hand side of equation (4.7) into the eigenvalue equations (4.1) and (4.2) using the differential realization (B.1)-(B.5) for generic parameters $a,b,c>-1$ and indices $n\\ge k\\ge 0$; a single failure of these identities -- or a numerical check of the orthogonality integral (1.5) against the product $N_k^{(b,c)}N_{n-k}^{(a,b+c+2k+1)}$ -- would refute the characterization.","tokens_in":34334,"feed_emoji":"🔺","tokens_out":17152,"duration_ms":121627,"temperature":0.7,"pith_summary":"The paper establishes that the two-variable Jacobi polynomials on the triangle, a classical family of bivariate orthogonal polynomials, arise naturally as overlap coefficients between two representation bases of a single algebraic object: the rank two Jacobi algebra $\\mathcal{J}_2$. Specifically, the overlap $\\langle n,k;a,b,c|x,y\\rangle$ equals, up to the normalization factor $\\sqrt{x^a y^b (1-x-y)^c / (N_k^{(b,c)} N_{n-k}^{(a,b+c+2k+1)})}$, the polynomial $J_{n,k}^{(a,b,c)}(x,y)$. This puts the polynomials' bispectral properties on an algebraic footing. The same framework, organized in a pentagonal graph of rank one Jacobi and Racah subalgebras, explains why permuting the variables and parameters turns the polynomials into expansions with Racah polynomial coefficients, and why the three natural families cycle under the order-three symmetry of the triangle. The result unifies the bivariate polynomials, their Racah-type expansions, and the triangle's dihedral symmetry into one representation-theoretic picture.","feed_headline":"Two-variable Jacobi polynomials arise as basis overlaps","feed_subtitle":"The same pentagonal subalgebra structure yields their Racah expansions and order-three symmetry.","key_machinery":"The central object is the rank two Jacobi algebra $\\mathcal{J}_2$, a quadratic algebra with five generators $X_1, X_3, L_1, L_3, L$ whose defining relations are collected in Appendix A. The load-bearing mechanism is its pentagonal subalgebra structure: the five maximal abelian subalgebras -- the commuting pairs $(X_1,X_3)$, $(X_1,L_1)$, $(L_1,L)$, $(L,L_3)$, $(L_3,X_3)$ -- sit at the vertices of a pentagon, and each edge consists of two generators that generate a rank one Jacobi algebra centrally extended by the common element; the base edge $(L_1,L_3)$ generates a centrally extended rank one Racah algebra. The argument computes overlaps between eigenbases of adjacent vertices: rank one representation theory gives univariate Jacobi polynomials (or Racah polynomials for the base) as the elementary overlaps, and convoluting along the two sides of the pentagon via resolutions of the identity yields the bivariate Jacobi polynomials. The hypergeometric transformation (2.15) and the orthogonality (1.3) of the univariate Jacobi polynomials supply the analytic identities that pin down the normalization factors.","core_discovery":"The central claim is Proposition 1: for the rank two Jacobi algebra $\\mathcal{J}_2$ with parameters $a,b,c$, the overlap between the orthonormal basis $\\{|x,y\\rangle\\}$ of joint eigenvectors of $X_1$ and $X_3$ and the basis $\\{|n,k;a,b,c\\rangle\\}$ of joint eigenvectors of $L$ and $L_1$ is $$\\langle n,k;a,b,c|x,y\\rangle = \\sqrt{\\frac{x^a y^b (1-x-y)^c}{$N_k^{{(b,c)}}$ N_{n-k}^{(a,b+c+2k+1)}}}\\, J_{n,k}^{(a,b,c)}(x,y).$$ The proof telescopes through the intermediate basis $\\{|x,k;b,c\\rangle\\}$, using that successive pairs of generators form rank one Jacobi algebras whose eigenbasis overlaps are univariate Jacobi polynomials. The same construction, with the intermediate basis attached to $L_3$ rather than $L_1$, yields the permuted family $J_{n,k}^{(c,b,a)}(1-x-y,y)$ (Proposition 2), and the overlap between the two bottom bases is an orthonormalized Racah polynomial (equation (5.2)). It follows that the expansion of one bivariate family into the other has Racah coefficients (Proposition 3), recovering a result obtained earlier through different methods. The paper closes by showing that the three families obtained by the reflections of the triangle form a closed cycle under the dihedral group $D_3$, with the change-of-basis matrices given by Racah functions.","pith_inferences":["The pentagonal subalgebra graph is probably the rank-two instance of a general pattern: higher-rank Jacobi algebras should have their subalgebra webs encoded by higher-dimensional polytopes, with overlap computations factoring through their faces. This is a testable extension the paper only hints at.","The same overlap mechanism should adapt to the q-deformed two-variable polynomials mentioned in the conclusion, replacing the rank one Jacobi algebra by the corresponding q-algebra; if so, this would extend the representation-theoretic proof of bispectrality to the q and q=-1 settings.","The Racah-kernel expansion (5.10) amounts to an orthogonal discrete transform on the triangle, which could be exploited numerically as a spectral method on triangular domains, in the spirit of existing spectral element bases."],"forward_implications":["The bivariate Jacobi polynomials $J_{n,k}^{(a,b,c)}(x,y)$ are characterized, up to normalization, by the representation theory of $\\mathcal{J}_2$; their orthogonality and bispectrality follow from the symmetrizability of the generators and the unitarity of the change of basis.","The expansion of the permuted family $J_{n,k}^{(c,b,a)}(1-x-y,y)$ in the standard basis has Racah polynomial coefficients (Proposition 3), giving a representation-theoretic proof of this expansion formula.","The three families $J_{n,k}^{(a,b,c)}(x,y)$, $J_{n,k}^{(c,b,a)}(1-x-y,y)$, and $J_{n,k}^{(b,a,c)}(y,x)$ form a closed orbit under the dihedral group $D_3$, with the change-of-basis matrices expressed through orthonormalized Racah functions (Corollaries 1 and 2).","The convolution identity (5.14), which expresses a Racah polynomial as an integral of two bivariate Jacobi polynomials, is the continuum analogue of the Biedenharn-Elliott pentagon identity for Racah coefficients.","Because the representation is symmetrizable, the normalization constants in the overlap formula coincide with the square roots of the weight/norm factors of the bivariate polynomials, tying the algebraic normalization to the analytic one."],"supporting_citations":[{"why":"Supplies the defining relations of J_2 (Appendix A) and the symmetrizable representation (Appendix B) on which the entire argument rests.","marker":"[19]"},{"why":"Gives the earlier derivation of the Racah coefficient expansion of the permuted bivariate Jacobi polynomials, which Proposition 3 re-proves.","marker":"[17]"},{"why":"Presents the rank one Racah algebra and its representation theory, used to identify the centralizer of L and to obtain the overlap formula (2.46).","marker":"[11]"},{"why":"Reviews the Racah algebra and its connection to Racah polynomials, providing the representation-theoretic setting for the overlaps.","marker":"[12]"},{"why":"Introduces the rank one Jacobi algebra whose eigenbasis overlaps are the univariate Jacobi polynomials used throughout Section 4.","marker":"[20]"},{"why":"Classifies the Jacobi algebra representations used in the eigenvector expansions (2.11)-(2.12).","marker":"[22]"},{"why":"Provides the definition, orthogonality, and bispectral properties of the Racah polynomials used in the expansion.","marker":"[25]"},{"why":"Gives the standard definition and orthogonality of the two-variable Jacobi polynomials on the triangle.","marker":"[1]"}],"fun_headline_variants":["Pentagonal way: Jacobi overlaps from algebra","Bivariate Jacobi as basis overlaps via pentagon","Pentagonal subalgebra yields Racah expansion coefficients","Algebraic pentagon explains Jacobi triangle bases","Pentagon algebra reveals Jacobi-Racah connection"],"cache_read_input_tokens":3200,"weakest_assumption_plain":"The paper takes from the companion preprint [19] the validity of the defining relations of $\\mathcal{J}_2$ (Appendix A) and of the symmetrizable representation (Appendix B), in particular the fact that the listed commuting pairs generate exactly the stated centralizers; if that structural assertion fails, the overlap computations of Section 4 and the Racah expansions of Sections 5 and 6 have no algebraic foundation.","fun_headline_variants_meta":{"raw":{"variants":["Pentagonal way: Jacobi overlaps from algebra","Bivariate Jacobi as basis overlaps via pentagon","Pentagonal subalgebra yields Racah expansion coefficients","Algebraic pentagon explains Jacobi triangle bases","Pentagon algebra reveals Jacobi-Racah connection"]},"model":"deepseek-v4-flash","effort":"low","cost_usd":0.000648,"raw_usage":{"total_tokens":3008,"prompt_tokens":1009,"completion_tokens":1999,"prompt_tokens_details":{"cached_tokens":384},"prompt_cache_hit_tokens":384,"prompt_cache_miss_tokens":625,"completion_tokens_details":{"reasoning_tokens":1926}},"tokens_in":625,"tokens_out":1999,"duration_ms":15381,"temperature":1.0,"reasoning_tokens":1926,"cache_read_input_tokens":384,"cache_creation_input_tokens":0},"cache_creation_input_tokens":0},"created_at":"2026-08-15T16:08:56.793152+00:00","model_set":{"reader":"deepseek-v4-flash"},"falsifier":"Substitute the right-hand side of equation (4.7) into the eigenvalue equations (4.1) and (4.2) using the differential realization (B.1)-(B.5) for generic parameters $a,b,c>-1$ and indices $n\\ge k\\ge 0$; a single failure of these identities -- or a numerical check of the orthogonality integral (1.5) against the product $N_k^{(b,c)}N_{n-k}^{(a,b+c+2k+1)}$ -- would refute the characterization.","supporting_citations":[{"cited_title":"The rank two Jacobi algebra","cited_arxiv_id":"2507.07766","evidence_quote":"Supplies the defining relations of J_2 (Appendix A) and the symmetrizable representation (Appendix B) on which the entire argument rests."},{"cited_title":"Orthogonal polynomials with symmetry of order three.Canadian Journal of Mathematics, 36(4):685–717, 1984","cited_arxiv_id":null,"evidence_quote":"Gives the earlier derivation of the Racah coefficient expansion of the permuted bivariate Jacobi polynomials, which Proposition 3 re-proves."},{"cited_title":"Superintegrability in two dimensions and the Racah–Wilson algebra.Letters in Mathematical Physics, 104:931–952, 2014","cited_arxiv_id":null,"evidence_quote":"Presents the rank one Racah algebra and its representation theory, used to identify the centralizer of L and to obtain the overlap formula (2.46)."},{"cited_title":"The Racah algebra and superintegrable models","cited_arxiv_id":null,"evidence_quote":"Reviews the Racah algebra and its connection to Racah polynomials, providing the representation-theoretic setting for the overlaps."},{"cited_title":"Tridiagonalization of the hypergeometric operator and the Racah–Wilson algebra.Proceedings of the American Mathematical Society, 144(10):4441– 4454, 2016","cited_arxiv_id":null,"evidence_quote":"Introduces the rank one Jacobi algebra whose eigenbasis overlaps are the univariate Jacobi polynomials used throughout Section 4."},{"cited_title":"Mutual integrability, quadratic algebras, and dynamical symmetry.Annals of Physics, 217(1):1–20, 1992","cited_arxiv_id":null,"evidence_quote":"Classifies the Jacobi algebra representations used in the eigenvector expansions (2.11)-(2.12)."},{"cited_title":"Springer, 2010","cited_arxiv_id":null,"evidence_quote":"Provides the definition, orthogonality, and bispectral properties of the Racah polynomials used in the expansion."},{"cited_title":"Number 155","cited_arxiv_id":null,"evidence_quote":"Gives the standard definition and orthogonality of the two-variable Jacobi polynomials on the triangle."}],"review_version":2}