Pith. sign in

REVIEW 4 minor 2 cited by

Integrable systems inspired by DAHA and DIM algebra: type $C^\vee C$ versus type $A$

T0 review · 0 major / 4 minor · reviewed 2026-07-10 · grok-4.5

Pith's one-line read Type C∨C DAHA and Koornwinder systems mirror type A Macdonald theory for eigenfunctions, but lose the Noumi-Shiraishi series and twisting automorphisms.

desk verdict Solid comparative catalogue of A vs C∨C DAHA/Koornwinder systems that cleanly isolates two real structural gaps; useful reference, not a breakthrough. read the letter →

arxiv 2607.06738 v1 pith:WVXECBUJ submitted 2026-07-07 hep-th math-phmath.MPmath.QA

classification hep-thmath-phmath.MPmath.QA MSC 33D5233D8017B3781R12 PACS 02.30.Ik03.65.Fd
keywords DAHADIMalgebraKoornwinderpolynomialsMacdonaldCherednikoperatorsvanDiejen-KoornwinderHamiltoniansBaker-AkhiezerfunctionstypeC∨Crootsystems
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 shows that the integrable systems built from type C∨C double affine Hecke algebras and their spherical projections stand in the same relation to Koornwinder polynomials that type A DAHA and DIM algebra stand to Macdonald polynomials. Non-symmetric Koornwinder polynomials are the common eigenfunctions of the Cherednik operators; their Weyl-group averages are the ordinary (symmetric) Koornwinder polynomials that diagonalize the van Diejen-Koornwinder Hamiltonians. Almost every structural property that makes the Macdonald theory useful—triangular expansions, recursive construction, orthogonality measures, evaluation formulas, dualities, and a weak form of stability—has a direct counterpart. The two places where the parallel breaks are decisive: there is no factorizing branching rule that would produce a Noumi-Shiraishi-type universal power series, and the DAHA of type C∨C lacks the automorphisms that generate twisted ("integer-ray") systems. The result therefore both enlarges the catalogue of explicitly solvable many-body models and isolates precisely which algebraic features of type A are responsible for the richest part of the Macdonald triad.

What carries the argument

The spherical projection that realises the first Koornwinder Hamiltonian as the Weyl-symmetric combination of Cherednik operators Ci + Ci−1 (eq. 76), together with the recursive action of the affine intertwiners B and Ti that generate all monic non-symmetric Koornwinder polynomials from the constant function.

What would settle it

Explicitly compute the second and third commuting van Diejen-Koornwinder operators for n=2 or n=3 and check whether they equal the corresponding power sums of the Cherednik operators restricted to Weyl-symmetric functions; any mismatch would break the claimed parallel.

Watch

Extended reading notes

Core claim

Non-symmetric and symmetric Koornwinder polynomials are the eigenfunctions of the type-C∨C Cherednik and Koornwinder-van Diejen Hamiltonians respectively, and they possess direct counterparts to the Macdonald triangular expansions, Knop-Sahi recursions, orthogonality measures, evaluation formulas, dualities and weak stability; the only essential failures are the absence of a factorizing branching rule that would yield a Noumi-Shiraishi-type universal series and the absence of enough DAHA automorphisms to produce twisted systems.

Load-bearing premise

That the same power-sum construction that turns type-A Cherednik operators into the full tower of Ruijsenaars Hamiltonians continues to produce all higher van Diejen-Koornwinder Hamiltonians from the type-C∨C Cherednik operators, even though the richer automorphism group that generates twisting is missing.

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

0 major / 4 minor

Summary. The paper systematically compares the integrable systems associated with type-A DAHA/DIM (Cherednik operators, Ruijsenaars–Schneider Hamiltonians, non-symmetric and symmetric Macdonald polynomials, Noumi–Shiraishi series and Baker–Akhiezer functions) with their type-C∨C counterparts (Cherednik operators of type C∨C, Koornwinder–van Diejen Hamiltonians, non-symmetric and symmetric Koornwinder polynomials). It records the parallel structures—triangular expansions, Knop–Sahi-type recursions (92)–(94), orthogonality measures, evaluation formulas, dualities and weak stability—while isolating two genuine structural gaps: the absence of a factorizing branching rule that would produce a Noumi–Shiraishi-type universal series, and the lack of enough DAHA automorphisms to generate twisted systems. Rank-one (Askey–Wilson) specializations and explicit Baker–Akhiezer series for reduced root systems are treated in detail.

Significance. The manuscript supplies a clear, self-contained catalogue of the algebraic properties of non-symmetric and symmetric Koornwinder polynomials that mirrors the well-known Macdonald theory. The recursive constructions, evaluation formulas and dualities are written explicitly and match the literature they cite (Noumi, Sahi, Stokman, Chalykh). By isolating the two places where the C∨C story diverges from type A, the paper clarifies the precise limits of the DIM/spherical-DAHA correspondence beyond type A and provides a useful reference for further work on non-reduced root systems and possible elliptizations.

minor comments (4)
  1. In §2.1.1 the Hecke relation is written (T_i-1)(T_i+t^{-1})=0 while in §3.1.1 it is (T_i-t^2)(T_i+1)=0; a short remark that the two normalizations differ by a rescaling of the generators would help the reader.
  2. Equation (76) presents only the first Koornwinder Hamiltonian as a Weyl-symmetric combination of Cherednik operators; a one-sentence clarification that the higher Hamiltonians (77)–(78) are taken from the classical van Diejen construction (and are not claimed to arise by power sums) would remove any possible ambiguity.
  3. The branching-rule formula (137) cites the very involved coefficients of van Diejen–Emsiz; a pointer to the precise equation number in that reference would make the claim easier to verify.
  4. A few typographical inconsistencies remain (e.g., “eduction” for “reduction” near (57), occasional missing spaces around “=”). A light copy-edit pass would clean them up.

Circularity Check

0 steps flagged · score 0.0 of 10

No significant circularity: comparative review of standard DAHA/Koornwinder properties with external citations and self-contained parallels.

full rationale

The paper systematically catalogues eigenfunctions, triangular expansions, Knop–Sahi-type recursions (92)–(94), orthogonality, evaluations, dualities and weak stability for non-symmetric/symmetric Koornwinder polynomials, paralleling the type-A Macdonald case. All load-bearing definitions (DAHA relations (61)–(70), Noumi x-representation (71), Cherednik operators (70), Koornwinder–van Diejen Hamiltonians (74)–(78), Chalykh BA construction (123)–(135)) are taken from the external literature (Noumi, Sahi, Stokman, Chalykh, van Diejen, Koornwinder). Self-citations appear only as type-A templates or earlier triad papers and are never used to justify a C∨C claim. No parameters are fitted to data and recovered as predictions; no uniqueness theorem is imported from the authors’ own prior work; no ansatz is smuggled; nothing is renamed as a new derivation. The two structural gaps (non-factorizing branching, missing automorphisms for twisting) are explicitly isolated as open, not claimed as results. The derivation chain is therefore self-contained against external benchmarks and exhibits no circular reduction.

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

The paper works entirely inside the standard axiomatic framework of double affine Hecke algebras and root-system special functions. No free numerical parameters are fitted; the six Koornwinder parameters q,t,a,b,c,d are the usual free parameters of the theory. No new physical entities are postulated. The only background assumptions are the defining relations of DAHA of type C∨C and the existence of the spherical projection that produces the Koornwinder Hamiltonians—both taken from the literature.

free parameters (1)
  • Koornwinder parameters (q,t,a,b,c,d)
    These six complex parameters label the family of systems; they are free by definition of the theory and are never fitted to data.
assumptions (3)
  • standard math The defining braid, Hecke and reflection relations of DAHA of type C∨C (eqs. (61)–(69))
    Taken as the starting point of the algebraic construction; standard in the literature since Noumi and Sahi.
  • domain assumption The spherical projection of the Cherednik operators yields the commuting van Diejen-Koornwinder Hamiltonians (eqs. (76)–(78))
    Assumed by direct analogy with the type-A DIM–spherical-DAHA correspondence; the paper notes that the richer automorphism group is missing but still uses the projection for the untwisted case.
  • standard math Chalykh’s periodicity characterisation uniquely determines the Baker-Akhiezer function for any finite root system (including non-reduced BCn)
    Invoked in §5.1; proved in the cited reference [21].

how reviews work

0 comments
Cite this review

Pith. "Pith review of Integrable systems inspired by DAHA and DIM algebra: type $C^\vee C$ versus type $A$." pith.science (2026). https://pith.science/paper/WVXECBUJ

@misc{pith2026260706738,
  author       = {Pith},
  title        = {Pith review of: Integrable systems inspired by DAHA and DIM algebra: type $C^\vee C$ versus type $A$},
  year         = {2026},
  howpublished = {\url{https://pith.science/paper/WVXECBUJ}},
  note         = {Machine review of arXiv:2607.06738}
}
abstract

The Ding-Iohara-Miki (DIM) algebra (quantum toroidal algebra of $\widehat{gl_1}$) is related to a wide class of quantum many-particle integrable systems, a typical one being the Ruijsenaars trigonometric system with eigenfunctions that are a triad formed by the Noumi-Shiraishi power series, the Macdonald polynomials, and the Baker-Akhiezer multivariable function. Other integrable systems of this type are obtained from the Ruijsenaars system by twisting. At the same time, the Ruijsenaars Hamiltonians are directly related to the Hamiltonians of another quantum integrable system, the Cherednik DAHA Hamiltonians of type $A$ (and their twisted versions in the twisted case), due to the correspondence between the DIM algebra and the spherical DAHA. The eigenfunctions of the DAHA Hamiltonians are non-symmetric Macdonald polynomials. Similarly, there is a class of integrable DAHA Hamiltonians of type $C^\vee C$, the spherical version of which, in turn, allows one to generate integrable Koornwinder Hamiltonians. The eigenfunctions of these two integrable systems are, respectively, non-symmetric and symmetric Koornwinder polynomials, which are our main interest in this paper. Here we consider the cases of both type $A$ and type $C^\vee C$ systems, since they are sufficiently similar, and point out important distinctions between them.

Discussion (0). Sign in to comment.

Forward citations

Cited by 2 Pith papers

Reviewed papers in the Pith corpus that reference this work. Sorted by Pith novelty score.

  1. Cherednik integrable system: eigenfunctions at generic eigenvalues

    hep-th 2026-07 conditional novelty 7.0 of 10

    Generic Cherednik eigenfunctions are N!-branched power series obtained by analytic continuation of factorized skew non-symmetric Macdonald coefficients.

  2. Cherednik integrable system: eigenfunctions at generic eigenvalues

    hep-th 2026-07 conditional novelty 7.0 of 10

    Factorized skew non-symmetric Macdonald coefficients and N!-branch power series are proposed as generic-eigenvalue eigenfunctions of the Cherednik system.

Reference graph

Works this paper leans on

73 extracted references · 73 canonical work pages · cited by 1 Pith paper

  1. [1]

    Commutative families in $W_\infty$, integrable many-body systems and hypergeometric $\tau$-functions

    A. Mironov, V. Mishnyakov, A. Morozov, A. Popolitov, JHEP,23(2020) 065, arXiv:2306.06623

  2. [2]

    Pope, L.J

    C.N. Pope, L.J. Romans and X. Shen, Phys.Lett.B236(1989) 173-178; Nucl.Phys.339B(1990) 191-221; Phys.Lett.B242(1990) 401-406; Phys.Lett.B245(1990) 72-78

  3. [3]

    Awata, M

    H. Awata, M. Fukuma, Y. Matsuo and S. Odake, Prog. Theor. Phys. Suppl.118(1995) 343-374, hep- th/9408158

  4. [4]

    Quasifinite highest weight modules over the Lie algebra of differential operators on the circle

    V.G. Kac and A. Radul, Comm.Math.Phys.157(1993) 429-457, hep-th/9308153

  5. [5]

    Commutative subalgebras from Serre relations

    A. Mironov, V. Mishnyakov, A. Morozov, A. Popolitov, Phys. Lett.B845(2023) 138122, arXiv:2307.01048

  6. [6]

    The affine Yangian of $\mathfrak{gl}_1$ revisited

    A. Tsymbaliuk, Adv. Math.304(2017) 583-645, arXiv:1404.5240

  7. [7]

    W-symmetry, topological vertex and affine Yangian

    T. Proch´ azka, JHEP,10(2016) 077, arXiv:1512.07178 29

  8. [8]

    Commutative families in DIM algebra, integrable many-body systems and $q,t$ matrix models

    A. Mironov, A. Morozov, A. Popolitov, JHEP,09(2024) 200, arXiv:2406.16688

Show all 73 references
  1. [9]

    J. Ding, K. Iohara, Lett. Math. Phys.41(1997) 181-193, q-alg/9608002

  2. [10]

    K. Miki, J. Math. Phys.48(2007) 123520

  3. [11]

    Kapranov, Algebraic geometry7, J.Math

    M. Kapranov, Algebraic geometry7, J.Math. Sci.84(1997) 1311-1360, alg-geom/9604018

  4. [12]

    Burban, O

    I. Burban, O. Schiffmann, Duke Math. J.161(2012) 1171, arXiv:math/0505148

  5. [13]

    Schiffmann, J

    O. Schiffmann, J. Algebraic Combin.35(2012) 237-26, arXiv:1004.2575

  6. [14]

    Feigin, M

    B. Feigin, M. Jimbo, T. Miwa, E. Mukhin, Commun. Math. Phys.356(2017) 285, arXiv:1603.02765

  7. [15]

    Ruijsenaars, H

    S.N.M. Ruijsenaars, H. Schneider, Ann.Phys. (NY),170(1986) 370 S.N.M. Ruijsenaars, Comm.Math.Phys.110(1987) 191-213

  8. [16]

    Miki, Lett

    K. Miki, Lett. Math. Phys.47(1999) 365-378

  9. [17]

    Di Francesco, R

    P. Di Francesco, R. Kedem, Comm. Math. Phys.369(3)(2019) 867-928, arXiv:1704.00154

  10. [18]

    Cherednik,Double affine Hecke algebras, Vol.319, Cambridge University Press, 2005

    I. Cherednik,Double affine Hecke algebras, Vol.319, Cambridge University Press, 2005

  11. [19]

    Mironov, A

    A. Mironov, A. Morozov and A. Popolitov, Phys. Lett.B879(2026) 140592, arXiv:2602.21120

  12. [20]

    Noumi, J

    M. Noumi, J. Shiraishi, arXiv:1206.5364

  13. [21]

    Chalykh, Adv.Math.166(2)(2002) 193-259, math/0212313

    O. Chalykh, Adv.Math.166(2)(2002) 193-259, math/0212313

  14. [22]

    Di Francesco, R

    P. Di Francesco, R. Kedem, Selecta Math.30(2024) no.2, 23, arXiv:2112.09798

  15. [23]

    Mironov, A

    A. Mironov, A. Morozov, A. Popolitov, Phys. Lett.B869(2025) 139840, arXiv:2411.16517

  16. [24]

    Chalykh, P

    O. Chalykh, P. Etingof, Advances in Mathematics,238(2013) 246-289, arXiv:1111.0515

  17. [25]

    Chalykh, M

    O. Chalykh, M. Fairon, J.Geom.Phys.121(2017) 413-437, arXiv:1704.05814

  18. [26]

    Mironov, A

    A. Mironov, A. Morozov, A. Popolitov, Phys. Lett.B863(2025) 139380, arXiv:2410.10685

  19. [27]

    Mironov, A

    A. Mironov, A. Morozov, A. Popolitov, to appear

  20. [28]

    Opdam, Acta Mathematica,175(1)(1995) 75–121

    E.M. Opdam, Acta Mathematica,175(1)(1995) 75–121

  21. [29]

    Macdonald, Asterisque-Societe Mathematique de France,237(1996) 189-208

    I.G. Macdonald, Asterisque-Societe Mathematique de France,237(1996) 189-208

  22. [30]

    Cherednik, IMRN,1995(10)(1995) 483, q-alg/9505029

    I. Cherednik, IMRN,1995(10)(1995) 483, q-alg/9505029

  23. [31]

    Mironov, A

    A. Mironov, A. Morozov, A. Popolitov, arXiv:2512.24811

  24. [32]

    Mironov, A

    A. Mironov, A. Morozov, A. Popolitov, Nucl. Phys.B1028(2026) 117513, arXiv:2601.10500

  25. [33]

    Mironov, A

    A. Mironov, A. Morozov, A. Popolitov, Phys. Lett.B877(2026) 140457, arXiv:2601.19878

  26. [34]

    Macdonald, Invent

    I.G. Macdonald, Invent. Math. 15 (1972) 91–143

  27. [35]

    Macdonald, S` eminaire Lotharingien Combin.45(2000), Article B45a, 40 pp, arXiv:math/0011046

    I.G. Macdonald, S` eminaire Lotharingien Combin.45(2000), Article B45a, 40 pp, arXiv:math/0011046

  28. [36]

    Macdonald, SIAM J.Math

    I.G. Macdonald, SIAM J.Math. Anal.13:6(1982) 988-1007

  29. [37]

    Cherednik, Inventiones mathematicae,125(1996) 391, q-alg/9412016

    I. Cherednik, Inventiones mathematicae,125(1996) 391, q-alg/9412016

  30. [38]

    Cherednik, The Annals of Mathematics, Second Series,141(1995) 191-216

    I. Cherednik, The Annals of Mathematics, Second Series,141(1995) 191-216

  31. [39]

    Hypergeometric functions on domains of positivity, Jack polynomials, and applications

    T.H. Koornwinder,Askey-Wilson polynomials for root systems of type BC, in: “Hypergeometric functions on domains of positivity, Jack polynomials, and applications” (Tampa, FL, 1991), Contemp. Math.138 (1992) 189–204

  32. [40]

    van Diejen, Comp

    J.F. van Diejen, Comp. Math.95(1995) 183-233, funct-an/9306002

  33. [41]

    Haglund, M

    J. Haglund, M. Haiman, N. Loehr, Am.J.Math.130(2)(2008) 359-383, math/0601693 30

  34. [42]

    F. Knop, S. Sahi, Invent. Math.128(1997) 9-22, q-alg/9610016

  35. [43]

    Baker, P.J

    T.H. Baker, P.J. Forrester, q-alg/9701039

  36. [44]

    Mimachi, M

    K. Mimachi, M. Noumi, Duke Math. J.95(1)(1998) 621-634, q-alg/9610014

  37. [45]

    Macdonald,Symmetric functions and Hall polynomials, Oxford University Press, 1995

    I.G. Macdonald,Symmetric functions and Hall polynomials, Oxford University Press, 1995

  38. [46]

    Cherednik, Sel

    I. Cherednik, Sel. math., New ser.3(1997) 459–495, q-alg/9605014

  39. [47]

    Cherednik, Invent

    I. Cherednik, Invent. Math.152(2003) 213–303, math/0110024

  40. [48]

    Ruijsenaars, Comm

    S.N. Ruijsenaars, Comm. Math. Phys., 115 (1988) 127-165

  41. [49]

    Etingof, A

    P. Etingof, A. Varchenko, Duke Math. J.104(2000) 391-432. , math/9907181 P. Etingof, O. Schiffmann, A. Varchenko, Lett. Math. Phys.62(2002) 143-158 G. Felder, Y. Markov, V. Tarasov, A. Varchenko, Mathematical Physics, Analysis and Geometry,3(2000) 139-177, math/0001184 V. Tara...

  42. [50]

    Mironov, A

    A. Mironov, A. Morozov, Y. Zenkevich, Eur. Phys. J.C81(2021) 461, arXiv:2103.02508

  43. [51]

    Mironov, A

    A. Mironov, A. Morozov, Nucl. Phys.B999(2024) 116448, arXiv:2309.06403

  44. [52]

    Cherednik, IMRN,1997 (10)(1997) 449-467, q-alg/9702022

    I. Cherednik, IMRN,1997 (10)(1997) 449-467, q-alg/9702022

  45. [53]

    Etingof, A

    P. Etingof, A. Kirillov, Electr.Res.Announc.Amer.Math.Soc.4(1998) 43-47, q-alg/9712051

  46. [54]

    Mironov, A

    A. Mironov, A. Morozov, A. Popolitov, Phys. Rev.D110(2024) 126026, arXiv:2410.03175

  47. [55]

    Mironov, A

    A. Mironov, A. Morozov, A. Popolitov, Phys. Rev.D113(2026) no.12, 126019, arXiv:2601.17453

  48. [56]

    Noumi, Macdonald-Koornwinder polynomials and affine Hecke rings, Surikaisekikenkyusho Kokyuroku 919 (1995), pp

    M. Noumi, Macdonald-Koornwinder polynomials and affine Hecke rings, Surikaisekikenkyusho Kokyuroku 919 (1995), pp. 44–55 (in japanese)

  49. [57]

    Sahi, Ann

    S. Sahi, Ann. Math.150(1999) 267–282, q-alg/9710032

  50. [58]

    Sahi, Some properties of Koornwinder polynomials, Contemp

    S. Sahi, Some properties of Koornwinder polynomials, Contemp. Math. 254 (2000) 395-411

  51. [59]

    Stokman, IMRN 19 (2000), 1005–1042, math/0002090

    J. Stokman, IMRN 19 (2000), 1005–1042, math/0002090

  52. [60]

    Chalykh, Commun

    O. Chalykh, Commun. Math. Phys.369(1)(2019) 261-316, arXiv:1804.01766

  53. [61]

    Colmenarejo, A

    L. Colmenarejo, A. Ram, The Quarterly Journal of Mathematics,76(3)(2025) 983-1031, arXiv:2410.19957

  54. [62]

    Askey, J

    R. Askey, J. Wilson, Mem. Amer. Math. Soc. vol.319, 1985

  55. [63]

    Mimachi, Duke Math

    K. Mimachi, Duke Math. J.107(2)(2001) 265–281

  56. [64]

    van Diejen, E

    J.F. van Diejen, E. Emsiz, Journal of Algebra,444(20145) 606-614, arXiv:1408.2280

  57. [65]

    Koornwinder, M

    T. Koornwinder, M. Mazzocco, Indagationes Mathematicae (2025), arXiv:2407.17366

  58. [66]

    Koelink, J.V

    E. Koelink, J.V. Stokman, IMRN,22(2001) 1203–1227, math/0004053

  59. [67]

    Bourgine, M

    J.-E. Bourgine, M. Fukuda, Y. Matsuo, R.-D. Zhu, JHEP, 2017 (2017) 15, arXiv:1709.01954

  60. [68]

    Feigin, M

    B. Feigin, M. Jimbo, E. Mukhin, I. Vilkoviskiy, Selecta Mathematica,27(4)(2021) 52, arXiv:2003.04234

  61. [69]

    Shiraishi, J.Integrable.Syst.4(2019) xyz010, arXiv:1903.07495

    J. Shiraishi, J.Integrable.Syst.4(2019) xyz010, arXiv:1903.07495

  62. [70]

    Fukuda, Y

    M. Fukuda, Y. Ohkubo, J. Shiraishi, SIGMA16(2020) 116, arXiv:2002.00243

  63. [71]

    Awata, H

    H. Awata, H. Kanno, A. Mironov, A. Morozov, JHEP,08(2020) 150, arXiv:2005.10563

  64. [72]

    Mironov, A

    A. Mironov, A. Morozov, A. Popolitov, Z. Zakirova, Phys. Lett. B865(2025) 139467, arXiv:2412.19588

  65. [73]

    Mironov, A

    A. Mironov, A. Morozov, A. Popolitov, Z. Zakirova, Pisma Zh. Eksp. Teor. Fiz.121(2025) no.9, 788-795, arXiv:2503.07592 31

Pith tools

Reviewed July 10, 2026 · model on record in the stance chip above.