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 →
The pith
A machine-rendered reading of the paper's core claim, the machinery that carries it, and where it could break.
The reading
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.
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.
Editorial analysis
A structured set of objections, weighed in public.
Referee Report
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)
- 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.
- 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.
- 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.
- 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
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
free parameters (1)
- Koornwinder parameters (q,t,a,b,c,d)
assumptions (3)
- standard math The defining braid, Hecke and reflection relations of DAHA of type C∨C (eqs. (61)–(69))
- domain assumption The spherical projection of the Cherednik operators yields the commuting van Diejen-Koornwinder Hamiltonians (eqs. (76)–(78))
- standard math Chalykh’s periodicity characterisation uniquely determines the Baker-Akhiezer function for any finite root system (including non-reduced BCn)
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.
Forward citations
Cited by 2 Pith papers
-
Cherednik integrable system: eigenfunctions at generic eigenvalues
Generic Cherednik eigenfunctions are N!-branched power series obtained by analytic continuation of factorized skew non-symmetric Macdonald coefficients.
-
Cherednik integrable system: eigenfunctions at generic eigenvalues
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
-
[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
work page Pith review arXiv 2020
- [2]
- [3]
-
[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
work page Pith review arXiv 1993
-
[5]
Commutative subalgebras from Serre relations
A. Mironov, V. Mishnyakov, A. Morozov, A. Popolitov, Phys. Lett.B845(2023) 138122, arXiv:2307.01048
work page Pith review arXiv 2023
-
[6]
The affine Yangian of $\mathfrak{gl}_1$ revisited
A. Tsymbaliuk, Adv. Math.304(2017) 583-645, arXiv:1404.5240
work page Pith review arXiv 2017
-
[7]
W-symmetry, topological vertex and affine Yangian
T. Proch´ azka, JHEP,10(2016) 077, arXiv:1512.07178 29
work page Pith review arXiv 2016
-
[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
work page Pith review arXiv 2024
Show all 73 references
-
[9]
J. Ding, K. Iohara, Lett. Math. Phys.41(1997) 181-193, q-alg/9608002
1997 arXiv
-
[10]
K. Miki, J. Math. Phys.48(2007) 123520
2007
-
[11]
Kapranov, Algebraic geometry7, J.Math
M. Kapranov, Algebraic geometry7, J.Math. Sci.84(1997) 1311-1360, alg-geom/9604018
1997 arXiv
- [12]
- [13]
-
[14]
Feigin, M
B. Feigin, M. Jimbo, T. Miwa, E. Mukhin, Commun. Math. Phys.356(2017) 285, arXiv:1603.02765
2017 arXiv
-
[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
1986
-
[16]
Miki, Lett
K. Miki, Lett. Math. Phys.47(1999) 365-378
1999
-
[17]
Di Francesco, R
P. Di Francesco, R. Kedem, Comm. Math. Phys.369(3)(2019) 867-928, arXiv:1704.00154
2019 arXiv
-
[18]
Cherednik,Double affine Hecke algebras, Vol.319, Cambridge University Press, 2005
I. Cherednik,Double affine Hecke algebras, Vol.319, Cambridge University Press, 2005
2005
-
[19]
Mironov, A
A. Mironov, A. Morozov and A. Popolitov, Phys. Lett.B879(2026) 140592, arXiv:2602.21120
2026 arXiv
- [20]
-
[21]
Chalykh, Adv.Math.166(2)(2002) 193-259, math/0212313
O. Chalykh, Adv.Math.166(2)(2002) 193-259, math/0212313
2002 arXiv
-
[22]
Di Francesco, R
P. Di Francesco, R. Kedem, Selecta Math.30(2024) no.2, 23, arXiv:2112.09798
2024 arXiv
-
[23]
Mironov, A
A. Mironov, A. Morozov, A. Popolitov, Phys. Lett.B869(2025) 139840, arXiv:2411.16517
2025 arXiv
-
[24]
Chalykh, P
O. Chalykh, P. Etingof, Advances in Mathematics,238(2013) 246-289, arXiv:1111.0515
2013 arXiv
- [25]
-
[26]
Mironov, A
A. Mironov, A. Morozov, A. Popolitov, Phys. Lett.B863(2025) 139380, arXiv:2410.10685
2025 arXiv
-
[27]
Mironov, A
A. Mironov, A. Morozov, A. Popolitov, to appear
-
[28]
Opdam, Acta Mathematica,175(1)(1995) 75–121
E.M. Opdam, Acta Mathematica,175(1)(1995) 75–121
1995
-
[29]
Macdonald, Asterisque-Societe Mathematique de France,237(1996) 189-208
I.G. Macdonald, Asterisque-Societe Mathematique de France,237(1996) 189-208
1996
-
[30]
Cherednik, IMRN,1995(10)(1995) 483, q-alg/9505029
I. Cherednik, IMRN,1995(10)(1995) 483, q-alg/9505029
1995 arXiv
-
[31]
Mironov, A
A. Mironov, A. Morozov, A. Popolitov, arXiv:2512.24811
-
[32]
Mironov, A
A. Mironov, A. Morozov, A. Popolitov, Nucl. Phys.B1028(2026) 117513, arXiv:2601.10500
2026 arXiv
-
[33]
Mironov, A
A. Mironov, A. Morozov, A. Popolitov, Phys. Lett.B877(2026) 140457, arXiv:2601.19878
2026 arXiv
-
[34]
Macdonald, Invent
I.G. Macdonald, Invent. Math. 15 (1972) 91–143
1972
-
[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
2000 arXiv
-
[36]
Macdonald, SIAM J.Math
I.G. Macdonald, SIAM J.Math. Anal.13:6(1982) 988-1007
1982
-
[37]
Cherednik, Inventiones mathematicae,125(1996) 391, q-alg/9412016
I. Cherednik, Inventiones mathematicae,125(1996) 391, q-alg/9412016
1996 arXiv
-
[38]
Cherednik, The Annals of Mathematics, Second Series,141(1995) 191-216
I. Cherednik, The Annals of Mathematics, Second Series,141(1995) 191-216
1995
-
[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
1991
- [40]
-
[41]
Haglund, M
J. Haglund, M. Haiman, N. Loehr, Am.J.Math.130(2)(2008) 359-383, math/0601693 30
2008 arXiv
-
[42]
F. Knop, S. Sahi, Invent. Math.128(1997) 9-22, q-alg/9610016
1997 arXiv
- [43]
- [44]
-
[45]
Macdonald,Symmetric functions and Hall polynomials, Oxford University Press, 1995
I.G. Macdonald,Symmetric functions and Hall polynomials, Oxford University Press, 1995
1995
- [46]
- [47]
-
[48]
Ruijsenaars, Comm
S.N. Ruijsenaars, Comm. Math. Phys., 115 (1988) 127-165
1988
-
[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...
2000 arXiv
-
[50]
Mironov, A
A. Mironov, A. Morozov, Y. Zenkevich, Eur. Phys. J.C81(2021) 461, arXiv:2103.02508
2021 arXiv
- [51]
-
[52]
Cherednik, IMRN,1997 (10)(1997) 449-467, q-alg/9702022
I. Cherednik, IMRN,1997 (10)(1997) 449-467, q-alg/9702022
1997 arXiv
-
[53]
Etingof, A
P. Etingof, A. Kirillov, Electr.Res.Announc.Amer.Math.Soc.4(1998) 43-47, q-alg/9712051
1998 arXiv
-
[54]
Mironov, A
A. Mironov, A. Morozov, A. Popolitov, Phys. Rev.D110(2024) 126026, arXiv:2410.03175
2024 arXiv
-
[55]
Mironov, A
A. Mironov, A. Morozov, A. Popolitov, Phys. Rev.D113(2026) no.12, 126019, arXiv:2601.17453
2026
-
[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)
1995
- [57]
-
[58]
Sahi, Some properties of Koornwinder polynomials, Contemp
S. Sahi, Some properties of Koornwinder polynomials, Contemp. Math. 254 (2000) 395-411
2000
-
[59]
Stokman, IMRN 19 (2000), 1005–1042, math/0002090
J. Stokman, IMRN 19 (2000), 1005–1042, math/0002090
2000 arXiv
- [60]
-
[61]
Colmenarejo, A
L. Colmenarejo, A. Ram, The Quarterly Journal of Mathematics,76(3)(2025) 983-1031, arXiv:2410.19957
2025 arXiv
-
[62]
Askey, J
R. Askey, J. Wilson, Mem. Amer. Math. Soc. vol.319, 1985
1985
-
[63]
Mimachi, Duke Math
K. Mimachi, Duke Math. J.107(2)(2001) 265–281
2001
-
[64]
van Diejen, E
J.F. van Diejen, E. Emsiz, Journal of Algebra,444(20145) 606-614, arXiv:1408.2280
-
[65]
Koornwinder, M
T. Koornwinder, M. Mazzocco, Indagationes Mathematicae (2025), arXiv:2407.17366
2025 arXiv
- [66]
-
[67]
Bourgine, M
J.-E. Bourgine, M. Fukuda, Y. Matsuo, R.-D. Zhu, JHEP, 2017 (2017) 15, arXiv:1709.01954
2017 arXiv
-
[68]
Feigin, M
B. Feigin, M. Jimbo, E. Mukhin, I. Vilkoviskiy, Selecta Mathematica,27(4)(2021) 52, arXiv:2003.04234
2021 arXiv
-
[69]
Shiraishi, J.Integrable.Syst.4(2019) xyz010, arXiv:1903.07495
J. Shiraishi, J.Integrable.Syst.4(2019) xyz010, arXiv:1903.07495
2019 arXiv
- [70]
- [71]
-
[72]
Mironov, A
A. Mironov, A. Morozov, A. Popolitov, Z. Zakirova, Phys. Lett. B865(2025) 139467, arXiv:2412.19588
2025 arXiv
-
[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
2025
Reviewed July 10, 2026 · model on record in the stance chip above.
Discussion (0). Sign in to comment.