Pith. sign in

REVIEW 2 major objections 4 minor 31 references

Eigenfunctions of the Cherednik system at arbitrary eigenvalues are N! power-series branches built by analytically continuing factorized one-variable skew coefficients of non-symmetric Macdonald polynomials.

Reviewed by Pith at T0; open to challenge. T0 means a machine referee read the full paper against a public rubric. the ladder, T0–T4 →

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

T0 review · grok-4.5

2026-07-13 04:42 UTC pith:VAL3FTHE

load-bearing objection Solid recursive construction of non-symmetric Macdonalds via factorized skew coefficients; the N!-branched generic eigenfunctions are a natural but incompletely justified extension. the 2 major comments →

arxiv 2607.09203 v1 pith:VAL3FTHE submitted 2026-07-10 hep-th math-phmath.MPmath.QA

Cherednik integrable system: eigenfunctions at generic eigenvalues

A. Mironov , A. Morozov , A. Popolitov This is my paper
classification hep-th math-phmath.MPmath.QA MSC 33D5281R1205E05
keywords Cherednik systemnon-symmetric Macdonald polynomialsskew polynomialsbranching ruleNoumi–Shiraishi seriestriadDAHAq-Pochhammer
verification ladder T0 review T1 audit T2 compute T3 formal T4 reserved

The pith

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

The paper shows that the same branching-and-continuation strategy that produces the Noumi–Shiraishi series for the Ruijsenaars–Schneider system also works for the Cherednik system, whose polynomial eigenfunctions are the non-symmetric Macdonald polynomials. The key technical step is that the one-variable skew coefficients of those polynomials factor completely into q-Pochhammer symbols. Once the coefficients are known in closed form, the multi-fold recursive expansion can be continued from integer weak compositions to arbitrary complex labels, converting each finite polynomial into an infinite power series. Because the non-symmetric polynomials are sensitive to the ordering of the variables, the continued object splits into N! distinct series (branches), each of which is an eigenfunction of the Cherednik Hamiltonians for a generic eigenvalue. Together with their two polynomial reductions they form a non-symmetric triad, the direct analogue of the symmetric Macdonald triad.

Core claim

The one-variable skew coefficients E_λ/μ of the non-symmetric Macdonald polynomials factorize into products of q-Pochhammer symbols (explicit formula given for the Young-diagram branch). Analytic continuation of the resulting multi-fold expansion therefore yields N! power-series branches that solve the Cherednik eigenvalue problem for arbitrary complex eigenvalues and constitute a non-symmetric triad.

What carries the argument

The factorized one-variable skew coefficients E_λ/μ (q-Pochhammer products) that appear in the branching rule E_λ(x,y)=∑_μ E_λ/μ(y) E_μ(x). Their closed form converts the recursive construction of non-symmetric Macdonald polynomials into an explicit multi-sum that continues analytically to complex labels.

Load-bearing premise

That the factorized expressions found for integer weak compositions remain valid, and continue to satisfy the Cherednik equations, after unrestricted analytic continuation to complex labels.

What would settle it

Pick a concrete non-integer pair (λ1,λ2) at N=2, form the two continued series E> and E< from the explicit q-Pochhammer formulae, apply the Cherednik operators C1 and C2 term-by-term, and check whether the eigenvalue equations hold to a prescribed order in the power series.

Watch this falsifier — get emailed when new claim-graph text bears on it.

If this is right

  • A practical recursive algorithm for non-symmetric Macdonald polynomials of any number of variables follows at once from the factorized coefficients.
  • The same continuation produces multivariable Baker–Akhiezer-type quasipolynomials at t=q^{-m}.
  • The N! branches supply a complete set of formal eigenfunctions for the Cherednik Hamiltonians at generic spectral parameters.
  • The construction lifts, by the same branching logic, to twisted Cherednik operators and to other root systems.

Where Pith is reading between the lines

These are editorial extensions of the paper, not claims the author makes directly.

  • Because each branch is already written as an infinite sum of factorized terms, the same series can be used as generating functions for new families of multivariable hypergeometric identities.
  • The appearance of N! branches suggests a natural action of the Weyl group that mixes the series; making that action explicit would give a non-symmetric analogue of the Weyl-group orbit that organises the ordinary Noumi–Shiraishi function.
  • If the continued series converge in suitable domains of the spectral parameters, they furnish analytic eigenfunctions that could be used to construct integral kernels or correlation functions for the Cherednik system.

Editorial analysis

A structured set of objections, weighed in public.

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

Referee Report

2 major / 4 minor

Summary. The paper constructs eigenfunctions of the N-body Cherednik Hamiltonians (DAHA of type A) at generic complex eigenvalues by means of a branching recursion for non-symmetric Macdonald polynomials. The key technical step is the observation that the one-variable skew coefficients E_λ/μ factorize into products of q-Pochhammer symbols; an explicit formula is given for the Young-diagram branch (Eq. (55)), with the remaining N!–1 branches obtained by the permutation relations (57)–(59). Analytic continuation of the resulting multi-fold expansion produces N! power-series branches that are claimed to be eigenfunctions with eigenvalues (61), thereby forming a non-symmetric triad analogous to the Noumi–Shiraishi construction for the Ruijsenaars–Schneider system. Explicit expansions for N=2,3 and low-level tables in the Appendix support the factorization.

Significance. If the analytic-continuation claim holds, the work supplies the first systematic universal solution for the Cherednik system, completing the non-symmetric counterpart of the Noumi–Shiraishi triad and furnishing a practical recursive algorithm for non-symmetric Macdonald polynomials. The factorization of the skew coefficients is a concrete, checkable advance over the existing literature on DAHA and non-symmetric Macdonald theory, and the multi-branch structure is a natural and interesting extension of the symmetric case. The explicit low-N formulae and the Appendix tables already constitute useful computational data.

major comments (2)
  1. Section 6 asserts that the multi-fold series obtained by unrestricted analytic continuation of (55) and (57)–(59) remain eigenfunctions of the Cherednik operators C_i with eigenvalues (61). The factorization itself is derived and verified only for non-negative integer weak compositions (§4 and Appendix). No inductive argument, direct substitution into the difference operators T_i and π, or residue analysis is supplied that would justify interchanging the infinite sum with the action of these operators outside the polynomial domain. Convergence of the series is likewise unaddressed. This step is load-bearing for the claim of a genuine universal solution; without it the construction remains formal.
  2. The paper postpones a complete list of the N! branch formulae and a detailed discussion of the Baker–Akhiezer reduction (t=q^{-m}) to a forthcoming publication. For the present manuscript to stand alone as a construction of the non-symmetric triad, at least a sketch of uniqueness (or of the linear independence of the N! branches) and of the BA reduction for N=2 should be included, so that the reader can verify that the continued series indeed solve the eigenvalue problem in a second, independent regime.
minor comments (4)
  1. Notation for the skew polynomials oscillates between E^{(k)}_{λ/μ} and the superscript-free E_{λ/μ}; a single consistent convention would improve readability.
  2. In the Appendix the building-block symbols η, ζ, (ij), [ij]_{a,b} are introduced after they have already been used in the tables; moving the definitions earlier would help.
  3. Several displayed equations (e.g. (14), (15), (90)) contain lengthy rational expressions that could be typeset more compactly or moved to an electronic supplement without loss of clarity.
  4. The relation of the present construction to the earlier a-twisted Baker–Akhiezer functions of the authors (cited as [16,17]) is mentioned only briefly; a short clarifying paragraph would situate the new triad more clearly.

Circularity Check

0 steps flagged

No significant circularity: factorization of skew coefficients and multi-branch analytic continuation are constructive and self-contained; only minor non-load-bearing self-cites to authors' prior triad framework.

full rationale

The derivation chain begins from the standard definition of non-symmetric Macdonald polynomials as common eigenfunctions of the Cherednik operators C_i (eqs. 23–27, with eigenvalues 27) and the Knop–Sahi recurrence (31). One-variable skew coefficients E_λ/μ are extracted via the branching expansion (29)–(30); explicit factorized q-Pochhammer formulae are obtained by direct computation for N=2 (43) and N=3 (47–52), then pattern-matched to the known symmetric branching rule (21) to produce the general Young-diagram formula (55) and the permutation relations (57)–(59). These are finite products of rational functions of q and t, hence admit immediate analytic continuation in the labels λ. The multi-fold sum (5)–(6) (or its N=3 avatar (60)) is therefore a well-defined formal power series for complex λ; the paper asserts (section 6) that each of the N! branches remains an eigenfunction with eigenvalues (61). No parameter is fitted to data, no uniqueness theorem is imported solely from the authors’ earlier work to force the form, and the series are not defined in terms of the very eigen-property they are claimed to satisfy. Self-citations ([6–9],[23]) supply only the surrounding DIM/DAHA context and the name “triad”; they are not used to justify the factorization or the continuation itself. The construction is therefore independent of its inputs and free of the enumerated circular patterns. (The open question whether the continued series rigorously satisfy the difference equations for generic complex λ is a correctness/completeness issue, not circularity.)

Axiom & Free-Parameter Ledger

0 free parameters · 3 axioms · 1 invented entities

The paper works entirely inside the standard algebraic framework of DAHA of type A and non-symmetric Macdonald theory. No free parameters are fitted; the only non-standard ingredients are the newly derived factorized branching coefficients and the claim that their analytic continuations remain eigenfunctions.

axioms (3)
  • domain assumption Cherednik operators C_i defined by (23)-(25) commute and possess non-symmetric Macdonald polynomials as polynomial eigenfunctions with eigenvalues (27).
    Standard DAHA fact used throughout §§3-6; taken from Cherednik, Opdam, Macdonald.
  • domain assumption Knop-Sahi recurrence (31) relating E_\lambda under cyclic shifts of the composition.
    Used to relate the different one-variable skew coefficients E^(k); cited from Knop-Sahi and Haglund-Haiman-Loehr.
  • ad hoc to paper The factorized expressions obtained for integer compositions remain valid under analytic continuation to complex labels and continue to satisfy the Cherednik eigenvalue equations.
    Central unproved step of §6; justified only by continuity of coefficients and by the known polynomial cases.
invented entities (1)
  • non-symmetric triad (N! branches of universal power series) no independent evidence
    purpose: Package the continued eigenfunctions together with their two polynomial reductions (non-symmetric Macdonald and BA-type).
    Direct analogue of the authors' earlier symmetric triad; introduced here for the Cherednik system.

pith-pipeline@v1.1.0-grok45 · 31177 in / 2360 out tokens · 21532 ms · 2026-07-13T04:42:38.543089+00:00 · methodology

0 comments
read the original abstract

Symmetric Macdonald polynomials of $n$ variables provide eigenfunctions of the $N$-body trigonometric Ruijsenaars-Schneider integrable system at particular eigenvalues. In order to construct eigenfunctions with arbitrary eigenvalues, M. Noumi and J. Shiraishi used a recursion in $N$ (branching rule) for the symmetric Macdonald polynomials and analytically continued them. This generated a power series, which is a part of triad (universal solution). In the present paper, we demonstrate that a similar procedure is available for another integrable system, $N$-body Cherednik system inspired by the DAHA of type $A$, which has non-symmetric Macdonald polynomials as its polynomial eigenfunctions. However, in this system, the generic eigenfunction is more complicated: it is not just a simple power series as in the Noumi-Shiraishi case, but has an involved structure with $N!$ branches, each of them being a power series of the Noumi-Shiraishi type. As an illustration, we also provide explicit formulas for particular cases.

discussion (0)

Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.

Reference graph

Works this paper leans on

31 extracted references · 21 linked inside Pith

  1. [1]

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

    Pith/arXiv arXiv 1997

  2. [2]

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

    2007

  3. [3]

    Cherednik, IMRN (Duke M.J.)9(1992) 171-180

    I. Cherednik, IMRN (Duke M.J.)9(1992) 171-180

    1992

  4. [4]

    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

  5. [5]

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

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

    2005

  6. [6]

    Mironov, A

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

    arXiv

  7. [7]

    Mironov, A

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

    Pith/arXiv arXiv 2026

  8. [8]

    Mironov, A

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

    Pith/arXiv arXiv 2026

  9. [9]

    Mironov, A

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

    Pith/arXiv arXiv 2026

  10. [10]

    Kapranov, Algebraic geometry7, J.Math

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

    Pith/arXiv arXiv 1997

  11. [11]

    Burban, O

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

    Pith/arXiv arXiv 2012

  12. [12]

    Schiffmann, J

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

    Pith/arXiv arXiv 2012

  13. [13]

    Feigin, M

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

    Pith/arXiv arXiv 2017

  14. [14]

    Mironov, A

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

    Pith/arXiv arXiv 2024

  15. [15]

    Di Francesco, R

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

    Pith/arXiv arXiv 2019

  16. [16]

    Chalykh, M

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

    Pith/arXiv arXiv 2017

  17. [17]

    Mironov, A

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

    Pith/arXiv arXiv 2025

  18. [18]

    Chalykh, P

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

    Pith/arXiv arXiv 2013

  19. [19]

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

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

    1995

  20. [20]

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

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

    1996

  21. [21]

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

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

    Pith/arXiv arXiv 1995

  22. [22]

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

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

    Pith/arXiv arXiv 2002

  23. [23]

    Mironov, A

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

    Pith/arXiv arXiv 2025

  24. [24]

    Di Francesco, R

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

    Pith/arXiv arXiv 2024

  25. [25]

    Noumi, J

    M. Noumi, J. Shiraishi, arXiv:1206.5364

    Pith/arXiv arXiv

  26. [26]

    Sekiguchi, Publ

    J. Sekiguchi, Publ. RIMS, Kyoto Univ.12(1977) 455-459 A. Debiard, C.R. Acad. Sci. Paris (sir. I)296(1983) 529-532 S.N.M. Ruijsenaars, Comm.Math.Phys.110(1987) 191-213 I.G. Macdonald, Springer Lecture Notes1271(1987) 189-200

    1977

  27. [27]

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

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

    1995

  28. [28]

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

    Pith/arXiv arXiv 1997

  29. [29]

    Haglund, M

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

    Pith/arXiv arXiv 2008

  30. [30]

    Bishler, A

    L. Bishler, A. Mironov, A. Popolitov, arXiv:2607.06738 14 8 Appendix: Some explicit expressions Here we sketch some explicit formulas, concerning non-symmetric polynomialsE λ for low levelL:= PN i=1 λi andN. They can turn useful for visualizing the emerging structures and for their future analysis. Level [1]: EL=1 N,1 =E 0,...,0,1 = Ξ0,...,0,0,1| {z } ΞN,...

    Pith/arXiv arXiv

  31. [31]

    01 | {z } k2 0...0 = NX i1 <i2 i1≥k1,i2≥k2 ci1,i2 N,k1,k2 ·Ξ [1,1] i1,i2 (75) N= 2: E12 = Ξ12 N= 3: k1,k2 \ i1,i2 Ξ12 Ξ13 Ξ23 E12 = (13)(23) (12) 32 1 31 1(21) E13 = (12) 21 2 E23 = 1 (76) N= 4: k1,k2 \ i1,i2 Ξ12 Ξ13 Ξ14 Ξ23 Ξ24 Ξ34 E12 = (13)(14)(23)(24) (12)(14)(34) 32 1 (12)(13) 42 1(43) (24)(34) 31 1(21) (23) 41 1(21)(43) c34 4,12 E13 = (12)(14)(34) (...