Pith. sign in

REVIEW 2 major objections 5 minor 23 references

Realization embeddings of the rank two Racah algebra into the rank two Jacobi algebra

T0 review · 2 major / 5 minor · reviewed 2026-08-03 · deepseek-v4-flash

Challenge this review Re-run · record.json Download PDF Read on arXiv ↗ Review JSON

Pith's one-line read Rank two Racah algebra is shown to embed inside the rank two Jacobi algebra via explicit second-order differential operators.

desk verdict A concrete step toward differential realizations of rank-two Racah algebras, but the central algebraic verification is asserted, not shown. read the letter →

arxiv 2607.29358 v1 pith:73447ZQL submitted 2026-07-31 math-ph math.MP

Nicolas Crampé , Sarah Post , Luc Vinet This is my paper · ORCID
classification math-phmath.MP MSC 17B8033C4533C5081R05
keywords ranktwoRacahalgebraJacobiembeddingtridiagonalizationHeunoperatorWilsonpolynomialsTratniktwo-variable
verification ladder T0 review T1 audit T2 compute T3 formal

The pith

A machine-rendered reading of the paper's core claim, the machinery that carries it, and where it could break.

The reading

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.

What carries the argument

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.

What would settle it

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.

Watch

Extended reading notes

Core claim

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

Load-bearing premise

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.

Editorial extensions

If this is right

  • 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.

Reading between the lines

Editorial extensions of the paper, not claims the author makes directly.

  • 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.
Share X Bluesky LinkedIn Reddit HN

Editorial analysis

A structured set of objections, weighed in public.

Desk editor's note, referee report, and a circularity audit.

Referee Report

2 major / 5 minor

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.

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 (2)
  1. [§3.2, after Eq. (3.9)] 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.
  2. [§3.2, Eqs. (3.8)–(3.9)] 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.
minor comments (5)
  1. [§5.3] 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.
  2. [Appendix B.4] 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.
  3. [Conclusion] Typo: 'Heun operatora' should be 'Heun operators'.
  4. [Title] The title displays 'REALIZA TION' with an unwanted space; please correct.
  5. [Eq. (2.19) footnote] 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.

Circularity Check

0 steps flagged · score 0.0 of 10

No significant circularity: the embedding is a constructive algebraic claim with an omitted verification gap, not a reduction to its own inputs.

full rationale

The paper's central claim is that the explicit differential operators C12, C23, C34, C123, C234 defined in (3.2)-(3.6) satisfy the rank-two Racah relations of Appendix B. The parameters a, b, c, d are free parameters, and the operators are explicit explicit expressions in the Jacobi generators; they are not fitted to reproduce the target relations. The construction uses the rank-one Heun-operator/tridiagonalization results of [6], which are reproduced in the paper (e.g. (2.11)-(2.13), (2.17)-(2.18)) and are independently checkable algebraic identities. The paper states that the five couples form rank-one Racah algebras and that 'With these relations of the rank 1 Racah algebras, we can show that the five generators ... satisfy all the relations recalled in Appendix B' (Section 3.2). This is an omitted verification of the R2-type relations (B.2)-(B.10), but an omitted proof is a rigor gap, not circularity: there is no exhibited equation that is equivalent to its own input by construction, no fitted parameter renamed as a prediction, and no load-bearing self-citation that substitutes for a derivation. The cited prior work provides concrete formulas and external theorems, and the claimed embedding is a new, independently checkable algebraic assertion. The contraction argument in Appendix B.4 is ancillary and does not feed back into the embedding claim. Accordingly, the paper has no significant circularity and receives score 0.

Assumptions & free parameters 1 free parameters · 5 assumptions · 0 invented entities

The construction rests on prior definitions and results (J2 differential model, rank-one tridiagonalization, R2 presentation, bivariate Jacobi bases) rather than on new postulated physical entities. No data are fitted. The only new free parameter is d, and the main unproved step is the verification of the full R2 relations.

free parameters (1)
  • d
    New free parameter introduced in (3.4)-(3.6) to define the Heun operators C123 and C12; appears in C1=(d-b-c)^2-1/4 and C1234=(a+d+2)^2-1/4. Not fitted to data, but is a free degree of freedom of the embedding.
assumptions (5)
  • domain assumption The differential operators (3.1a)-(3.1d) generate the rank two Jacobi algebra J2 with the relations in Appendix A.
    Taken from [2]; not reproved. All subsequent constructions rest on this model.
  • domain assumption The rank-one tridiagonalization results of [6]: the functions ψ_m^{(β,γ,δ)} are eigenfunctions of c23 and expand into Jacobi polynomials with Wilson coefficients (2.17)-(2.19).
    Used verbatim in Section 2 and in Theorems 4.1-4.3 and Section 5.
  • domain assumption The two-variable Jacobi polynomials J_{n,k} and \tilde J_{n,k} form orthogonal bases on the triangle for a,b,c>-1.
    From [9,10]; required for the overlap integral computations and expansions (5.2)-(5.4).
  • domain assumption The presentation of the rank two Racah algebra R2 in Appendix B is correct and complete.
    From [20]; the central claim is that the constructed operators satisfy exactly these relations.
  • domain assumption The assignments (B.12)-(B.13) recover J2 as a τ→∞ contraction of R2.
    Stated as 'a straightforward computation shows' in Appendix B.4; not central to the embedding but part of the claimed two-way relation.

how reviews work

0 comments
Cite this review

Pith. "Pith review of Realization embeddings of the rank two Racah algebra into the rank two Jacobi algebra." pith.science (2026). https://pith.science/paper/73447ZQL

@misc{pith2026260729358,
  author       = {Pith},
  title        = {Pith review of: Realization embeddings of the rank two Racah algebra into the rank two Jacobi algebra},
  year         = {2026},
  howpublished = {\url{https://pith.science/paper/73447ZQL}},
  note         = {Machine review of arXiv:2607.29358}
}
abstract

We construct an explicit embedding of the rank two Racah algebra $\mathfrak{R}_2$ into the rank two Jacobi algebra $\mathfrak{J}_2$. Working in the differential model of $\mathfrak{J}_2$ on the triangle, we recall that the subalgebra structure of $\mathfrak{J}_2$ is organized by a pentagon whose four upper edges carry rank one Jacobi algebras and whose base carries a rank one Racah algebra. Promoting the two multiplication operators to Racah type generators by tridiagonalization turns every edge of the pentagon into a rank one Racah algebra and realizes $\mathfrak{R}_2$ inside $\mathfrak{J}_2$. We determine the common eigenfunctions of different commuting pairs explicitly as products of Gauss hypergeometric functions and Jacobi polynomials. Different overlap coefficients are computed involving univariate Wilson polynomials as well as, for one pair of bases, bivariate Racah polynomials of Tratnik type. We also recall how $\mathfrak{J}_2$ arises as a contraction of the rank two Racah algebra $\mathfrak{R}_2$.

Figures

Figures reproduced from arXiv: 2607.29358 by the authors.

Figure 1
Figure 1. Two generators at a vertex commute and two generators at the oppo￾site extremities of the same edge generate one of the five subalgebras. The four solid edges carry rank one Jacobi algebras and the dashed base carries the rank one Racah algebra. 3.2. Realization of the rank 2 Racah algebra. As in Subsection 2.2, we want to promote the two multiplication operators X1 and X3 to Racah type generators by using special H… view at source ↗
Figure 2
Figure 2. Both generators on the same vertex commute and at the extremities of the same dashed edge form a rank 1 Racah algebra. The joint eigenfunctions of the two commuting generators sitting at an edge is indicated inside the pentagon: J, Ψ, Φ, Ψ and e Je. These bases are defined in Section 4. The overlap between the two bases at the endpoints of an edge is a Racah polynomial (see Section 5). With these relations of the ra… view at source ↗

Discussion (0). Continue with ORCID to comment.

Reference graph

Works this paper leans on

23 extracted references · 3 linked inside Pith

  1. [1]

    A higher rank Racah algebra and theZ n 2 Laplace–Dunkl operator.Journal of Physics A: Mathematical and Theoretical, 51(2):025203, 2017

    Hendrik De Bie, Vincent X Genest, Wouter van de Vijver, and Luc Vinet. A higher rank Racah algebra and theZ n 2 Laplace–Dunkl operator.Journal of Physics A: Mathematical and Theoretical, 51(2):025203, 2017

    2017

  2. [2]

    The rank two jacobi algebra.arXiv preprint arXiv:2507.07766, 2025

    Nicolas Crampe, Satoshi Tsujimoto, Luc Vinet, and Alexei Zhedanov. The rank two jacobi algebra.arXiv preprint arXiv:2507.07766, 2025

    arXiv 2025

  3. [3]

    Hypergeometric orthogonal polynomials

    Roelof Koekoek, Peter A Lesky, and Ren´ e F Swarttouw. Hypergeometric orthogonal polynomials. InHyperge- ometric Orthogonal Polynomials and Their q-Analogues, pages 183–253. Springer, 2010

    2010

  4. [4]

    Dualities in the q-Askey Scheme and Degenerate DAHA.Studies in Applied Mathematics, 141(4):424–473, 2018

    Tom H Koornwinder and Marta Mazzocco. Dualities in the q-Askey Scheme and Degenerate DAHA.Studies in Applied Mathematics, 141(4):424–473, 2018

    2018

  5. [5]

    Spectral properties of operators using tridiagonalization.Analysis and Applications, 10(03):327–343, 2012

    Mourad EH Ismail and Erik Koelink. Spectral properties of operators using tridiagonalization.Analysis and Applications, 10(03):327–343, 2012

    2012

  6. [6]

    Tridiagonalization of the hypergeometric operator and the Racah–Wilson algebra.Proceedings of the American Mathematical Society, 144(10):4441– 4454, 2016

    Vincent Genest, Mourad Ismail, Luc Vinet, and Alexei Zhedanov. Tridiagonalization of the hypergeometric operator and the Racah–Wilson algebra.Proceedings of the American Mathematical Society, 144(10):4441– 4454, 2016. REALIZATION EMBEDDINGS INTO THE RANK TWO JACOBI ALGEBRA 13

    2016

  7. [7]

    The classification of Leonard triples of Racah type.Linear algebra and its applications, 439(7):1834–1861, 2013

    Suogang Gao, Yan Wang, and Bo Hou. The classification of Leonard triples of Racah type.Linear algebra and its applications, 439(7):1834–1861, 2013

    2013

  8. [8]

    The equitable racah algebra from threesu(1,1) algebras

    Vincent X Genest, Luc Vinet, and Alexei Zhedanov. The equitable racah algebra from threesu(1,1) algebras. Journal of Physics A: Mathematical and Theoretical, 47(2):025203, 2013

    2013

Show all 23 references
  1. [9]

    Two-variable analogues of the classical orthogonal polynomials

    Tom Koornwinder. Two-variable analogues of the classical orthogonal polynomials. InTheory and application of special functions, pages 435–495. Elsevier, 1975

    1975

  2. [10]

    Dunkl and Yuan Xu.Orthogonal Polynomials of Several Variables

    Charles F. Dunkl and Yuan Xu.Orthogonal Polynomials of Several Variables. Encyclopedia of Mathematics and its Applications. Cambridge University Press, 2 edition, 2014

    2014

  3. [11]

    Algebraic interpretation of the two-variable Jacobi polynomials on the triangle: the pentagonal way.arXiv preprint arXiv:2509.07949, 2025

    Nicolas Cramp´ e, Quentin Labriet, Lucia Morey, Satoshi Tsujimoto, Luc Vinet, and Alexei Zhedanov. Algebraic interpretation of the two-variable Jacobi polynomials on the triangle: the pentagonal way.arXiv preprint arXiv:2509.07949, 2025

    2025 arXiv

  4. [12]

    The dynamical algebra of the generic superintegrable model on the 2-sphere.arXiv preprint, 2025

    Nicolas Cramp´ e, Quentin Labriet, Lucia Morey, Satoshi Tsujimoto, Luc Vinet, and Alexei Zhedanov. The dynamical algebra of the generic superintegrable model on the 2-sphere.arXiv preprint, 2025

    2025

  5. [13]

    Tridiagonalization and the Heun equation.Journal of Mathematical Physics, 58(3), 2017

    F Alberto Gr¨ unbaum, Luc Vinet, and Alexei Zhedanov. Tridiagonalization and the Heun equation.Journal of Mathematical Physics, 58(3), 2017

    2017

  6. [14]

    Vinet, and A

    Pascal Baseilhac, Satoshi Tsujimoto, L. Vinet, and A. Zhedanov. The Heun-Askey-Wilson algebra and the Heun operator of Askey-Wilson type.Ann. Henri Poincar´ e, 20:3091–3112, 2019

    2019

  7. [15]

    Heun algebras of Lie type.Proc

    Nicolas Cramp´ e, Luc Vinet, and Alexei Zhedanov. Heun algebras of Lie type.Proc. Amer. Math. Soc., 148:1079– 1094, 2020

    2020

  8. [16]

    The Heun-Racah and Heun-Bannai-Ito algebras.Journal of Mathematical Physics, 61:081701, 2020

    Geoffroy Bergeron, Nicolas Cramp´ e, Satoshi Tsujimoto, Luc Vinet, and Alexei Zhedanov. The Heun-Racah and Heun-Bannai-Ito algebras.Journal of Mathematical Physics, 61:081701, 2020

    2020

  9. [17]

    Y. A. Granovskii and Alexei Zhedanov. Nature of the symmetry group of the 6j-symbol.Journal of Experimental and Theoretical Physics, 94:49–54, 1988

    1988

  10. [18]

    T. H. Koornwinder. Special orthogonal polynomial systems mapped onto each other by the fourier-jacobi transform. In Claude Brezinski, Andr´ e Draux, Alphonse P. Magnus, Pascal Maroni, and Andr´ e Ronveaux, editors,Polynˆ omes Orthogonaux et Applications, pages 174–183, Berlin,...

    1985

  11. [19]

    Racah algebras, the centralizer Zn(sl2) and its Hilbert-Poincar´ e series.arXiv preprint arXiv:2105.01086, 2021

    Nicolas Crampe, Julien Gaboriaud, Lo ¨ ıc Poulain d’Andecy, and Luc Vinet. Racah algebras, the centralizer Zn(sl2) and its Hilbert-Poincar´ e series.arXiv preprint arXiv:2105.01086, 2021

    2021 arXiv

  12. [20]

    Representations of the rank two Racah algebra and orthogonal multivariate polynomials.Linear Algebra and its Applications, 664:165–215, 2023

    Nicolas Cramp´ e, Luc Frappat, and Eric Ragoucy. Representations of the rank two Racah algebra and orthogonal multivariate polynomials.Linear Algebra and its Applications, 664:165–215, 2023

    2023

  13. [21]

    The Racah algebra of rank 2: Properties, symmetries and representation

    Sarah Post and S´ ebastien Bertrand. The Racah algebra of rank 2: Properties, symmetries and representation. SIGMA. Symmetry, Integrability and Geometry: Methods and Applications, 20:085, 2024

    2024

  14. [22]

    Orthogonal polynomials with symmetry of order three.Canadian Journal of Mathematics, 36(4):685–717, 1984

    Charles F Dunkl. Orthogonal polynomials with symmetry of order three.Canadian Journal of Mathematics, 36(4):685–717, 1984

    1984

  15. [23]

    M.V. Tratnik. Some multivariable orthogonal polynomials of the Askey tableau continuous families.J. Math. Phys., 32:2065–2073, 1991. Universit´e de Tours, Universit ´e d’Orl´eans, CNRS, IDP, UMR 7013, 37200 Tours, France Laboratoire d’Annecy-le-Vieux de Physique Th ´eorique (L...

Pith tools

Reviewed August 3, 2026 · model on record in the stance chip above.