Pith. sign in

REVIEW 3 major objections 4 minor 3 cited by

Chalykh's Baker-Akhiezer functions as eigenfunctions of the integer-ray integrable systems

T0 review · 3 major / 4 minor · reviewed 2026-08-12 · deepseek-v4-flash

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

Pith's one-line read Twisted Baker–Akhiezer functions are eigenfunctions of the integer-ray Hamiltonians of the Ding–Iohara–Miki algebra, with explicit verifications for the rays a=2 and a=3.

desk verdict Useful worked examples; the abstract overclaims what the body proves, but the honest limitations and reproducible data make it worth refereeing. read the letter →

arxiv 2411.14194 v1 pith:KZWYIBCJ submitted 2024-11-21 hep-th

A. Mironov , A. Morozov , A. Popolitov This is my paper · ORCID
classification hep-th MSC 33D5205E0539A1381R12
keywords Baker-AkhiezerfunctionsMacdonaldpolynomialsDing-Iohara-Mikialgebrainteger-rayHamiltoniansRuijsenaarsoperatorsdifferenceequationscommutativesubalgebrasqt-matrixmodels
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

This paper claims that the twisted Baker–Akhiezer functions (BAFs), quasi-polynomials fixed by first-order linear difference equations with constant coefficients, are eigenfunctions of the integer-ray Hamiltonians of the Ding–Iohara–Miki (DIM) algebra. At $a=1$, BAFs reduce to sums of simple non-symmetric polynomials whose symmetrization reproduces Macdonald polynomials at $t=q^{-m}$, and the defining linear system is much simpler than the Ruijsenaars cut-and-join equations. For $a>1$ the twisted BAFs are no longer Macdonald polynomials and their coefficients no longer factorize, yet the paper verifies by explicit small-$m$, $N=2$ examples that they satisfy eigenvalue equations such as (71) for $a=2$ and (85) for $a=3$, with eigenvalue $q^{-am/2}(Q^{a/2}+Q^{-a/2})$ in the one-variable reduction. The upshot is a family of common eigenfunctions for commutative integer-ray subalgebras of DIM, tied to $q,t$-deformed matrix models. The paper presents constructive evidence rather than a general proof, and leaves closed forms for arbitrary $a,m$ open.

What carries the argument

The load-bearing objects are, first, the twisted-BAF ansatz (36), $\Psi^{(a)}_m(x)=x^{\lambda/a}x^{ma/2}\sum_{k=0}^{am}x^{-k}\psi^{(a)}_{m,k}$, together with the $ma$ linear equations (37) evaluated at $a$-th roots of unity, $\Psi^{(a)}_m(e^{-2\pi i s/a}q^{j/a})=e^{2\pi i s j/a}\Psi^{(a)}_m(e^{-2\pi i s/a}q^{-j/a})$ for $s=1,\ldots,a$, $j=1,\ldots,m$. Second, the iterative commutator recipe (78)--(80) generates the integer-ray Hamiltonians $\hat H^{(-1,a)}_1$ from $H^{(-1,0)}_1=\sum_i x_i^{-1}$ and the Ruijsenaars--Macdonald operator $\hat H_{\rm MR}$. The twisted prefactor $q^{z^2/2a}Q^{z/2}$ converts these DIM Hamiltonians into first-order difference operators in $x=q^{z/a}$, so verifying the eigenfunction equation reduces to algebraic identities for the coefficients $\psi^{(a)}_{m,k}$.

What would settle it

Choose $a=2$, $m=3$ (or $a=3$, $m=2$), solve the $ma$ linear equations (37) for the coefficients $\psi^{(a)}_{m,k}$, substitute the resulting $\Psi^{(a)}_m$ into the left side of the eigenvalue equation (71) (or (85)), and test whether the claimed eigenvalue identity holds; any mismatch would falsify the eigenfunction claim. A quicker check is the rank of the linear system: if for some $a,m$ the coefficient matrix of (37) has rank less than $am$, the ansatz fails to define $\Psi^{(a)}_m$ uniquely and the construction loses its meaning.

Watch

Extended reading notes

Core claim

On its own terms, the paper's central discovery is that the functions $\Psi^{(a)}_m(x)=x^{\lambda/a}x^{ma/2}\sum_{k=0}^{am}x^{-k}\psi^{(a)}_{m,k}$, determined by the root-of-unity linear conditions (37), diagonalize the first Hamiltonian of each integer ray: $\hat H^{(-1,2)}_1$ acts by $q^{-m}(Q+Q^{-1})$ on the $a=2$ twisted BAF (equation (71)), and $\hat H^{(-1,3)}_1$ acts by $q^{-3m/2}(Q^{3/2}+Q^{-3/2})$ on the $a=3$ one (equation (85)). At $a=1$ the same mechanism makes ordinary BAFs eigenfunctions of $\hat H^{(-1,1)}_1$, which reproduces the Macdonald-polynomial sector at $t=q^{-m}$. The checks are carried out for small values of $m$ and for $N=2$ (with additional untwisted $N=3$ examples), and the paper presents them as an illustration of the framework of its companion paper rather than as a complete theorem.

Load-bearing premise

The argument assumes that the linear system (36)+(37) has a unique nonzero Laurent-polynomial solution $\Psi^{(a)}_m$ for every positive integer $a$ and $m$, which the paper checks only for small $a$ and $m$.

Editorial extensions

If this is right

  • For each integer ray $a$, the same twisted BAF $\Psi^{(a)}_m$ is a common eigenfunction of all commuting Hamiltonians $\hat H^{(-1,a)}_k$, so the BAF linear system gives a joint diagonalization of that ray.
  • At $a=1$, the BAF route reproduces Macdonald polynomials at $t=q^{-m}$ from first-order constant-coefficient difference equations, bypassing the more complicated Ruijsenaars cut-and-join operators.
  • Because the defining equations admit arbitrary complex $\lambda$, the BAF construction extends Macdonald-type functions beyond integer partitions, connecting to Noumi--Shiraishi-type functions.
  • The commutator iteration (78)--(80) supplies a Hamiltonian on every integer ray, so the explicit $a=2$ and $a=3$ checks are evidence for the whole family of integer-ray integrable systems.
  • For $a>1$, twisted BAFs give a class of functions genuinely different from Macdonald polynomials, opening a new set of objects associated with the DIM algebra.

Reading between the lines

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

  • If existence and uniqueness of $\Psi^{(a)}_m$ hold for all $a,m$, the same root-of-unity machinery is the natural candidate for eigenfunctions of the rational-ray Hamiltonians $\hat H^{(-b,a)}_k$ that the paper leaves open, since only the fractional powers in (37) would need to change.
  • The regular-region formulas (53)--(55), where $\psi^{(a)}_{m,k,\rm reg}$ is a finite sum of fully factorized basis functions $f_l$, suggest that a closed form for all $m$ exists in which twisted coefficients are sums rather than products.
  • The hexagon 'depth' degeneracy in Fig.~1 and the non-unique factorization for $N>2$ point to a hidden symmetry of the linear system; identifying it might yield a canonical gauge for all $N$ and explain the shell structure.
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

3 major / 4 minor

Summary. The paper studies Chalykh's Baker-Akhiezer functions (BAFs), which at t=q^{-m} decompose Macdonald polynomials into sums of non-symmetric polynomials satisfying first-order difference equations. It works out explicit BAF solutions for N=2,3 and for the 'twisted' BAFs Psi_m^{(a)} defined by the ansatz (36) and the root-of-unity equations (37). The authors then consider the DIM integer-ray Hamiltonians H_k^{(-1,a)} introduced in [11] and claim in the abstract that twisted BAFs provide eigenfunctions for these Hamiltonians. The body verifies this only in examples: the a=1 reduction to the Ruijsenaars operator, the a=2 case via Eq. (71), and the a=3 case via Eq. (85), for k=1 and N=2. The paper explicitly states in Sec. 1 that full generality has not been achieved and that generic formulas are not obtained.

Significance. If fully established, the connection between Chalykh's BAFs and the commutative integer-ray subalgebras of DIM would be an interesting new family of explicit eigenfunctions for the higher-ray Hamiltonians. The concrete merits of the paper are its explicit formulas, the worked N=2,3 examples, the tables of c-coefficients, and the candid discussion of what remains open. However, the verification in Sec. 7 is finite and partial; the general eigenfunction statement in the abstract overstates what is demonstrated. In its current form the paper is best read as an example-rich companion to [1] rather than a proof of the abstract's assertion.

major comments (3)
  1. [Abstract and Sec. 1] The abstract states that twisted BAFs 'provide eigenfunctions for Hamiltonians associated with commutative integer ray subalgebras' of DIM, but Sec. 1 explicitly says the authors 'did not yet manage to make them in full generality' and that only partial confirmation was obtained in [1]. The body verifies only a=2 via Eq. (71), with the assertion that (39) satisfies it, and a=3 via Eq. (85), without showing the explicit substitution of the psi_m^{(3)} coefficients. The abstract therefore overstates the results; either a proof or a restriction of the claim to the checked cases is needed.
  2. [Sec. 5, Eqs. (36)-(37)] The defining system (36)-(37) is assumed to have a unique Laurent-polynomial solution Psi_m^{(a)} for every positive integer a and m. The paper solves this system only for small a and m and explicitly leaves the general closed form open in Sec. 1 and Sec. 6.3. Since the eigenfunction checks in Sec. 7 use these solutions, the central claim depends on an unproved existence, uniqueness, and non-degeneracy premise. This premise should be stated as a conjecture or proved.
  3. [Sec. 7, Eqs. (71), (77), (85)] The paper claims that twisted BAFs are eigenfunctions of Hamiltonians of the integer-ray subalgebra, i.e. of the commuting family H_k^{(-1,a)} for k>=1. In Sec. 7 only the first Hamiltonian of each ray is tested: for a=2 the eigenvalue equation (71) is verified only by the assertion that formula (39) satisfies it, and for a=3 equation (85) is displayed but no substitution using the psi_m^{(3)} coefficients is shown. No test or argument is given for k>1, and the N=2 restriction is not discussed in the abstract's general claim. Thus the wording 'eigenfunctions for Hamiltonians' is not supported by the body unless the claim is explicitly narrowed to the first Hamiltonian in the checked cases.
minor comments (4)
  1. [Throughout] Many displayed formulas contain stray LaTeX artifacts such as '/bracehtipupleft', '/bracehtipdownright', and '/suppress L', which make the equations difficult to read and should be cleaned before publication.
  2. [Sec. 6.3, Eqs. (53)-(55)] The sentence after (53) says the coefficients c_j depend only on k, but the displayed formulas (54)-(55) contain q-factorials such as [3]!, [4]!, and [8]! that depend on m as well. Please clarify the notation and the actual dependence of the coefficients.
  3. [Sec. 5, Eq. (40)] The definition of the coefficients in (40) uses the fractional part notation <x> and a sum over r, but the domain of q and lambda and the precise meaning of the fractional part are not stated. A brief clarification would help the reader verify the tables that follow.
  4. [Sec. 7] The notation switches between Q=q^{lambda/a} and Q=q^{lambda} in different equations; please state the convention once and keep it consistent, as this affects the eigenvalue formulas in (71) and (85).

Circularity Check

0 steps flagged · score 0.0 of 10

No significant circularity: the twisted BAF eigenfunction checks compare independently defined objects.

full rationale

The derivation chain is not circular. The twisted BAFs are defined from Chalykh's first-order difference system (36)-(37), with coefficients solved independently in (39)-(44), while the integer-ray Hamiltonians are cited from [11] and written explicitly for a=2 in (70) and for a=3 in (85), with a canonical iterative construction (78)-(80) that does not involve the BAFs. The eigenvalue checks are direct: (39) is asserted to satisfy (71), the a=3 statement is given in (85), and for a=1 section 7.2 shows explicitly how the Ruijsenaars eigenvalue equation at the chosen points reduces to the Chalykh system. No parameter is fitted to an eigenvalue; the eigenvalue q^{-m}(Q+Q^{-1}) is read off from the Hamiltonian action, not imposed. The paper's admitted lack of a general proof for all a, m, k (Sec. 1 and Conclusion) is a completeness limitation, not a circularity, and the same is true for the unproven uniqueness of solutions to (36)-(37). Self-citations [1,11,12] supply definitions and context, but the verification performed here is in-paper and compares independently defined objects; moreover, the original observation for a=2 is credited to Chalykh-Fairon [19], an external source. No circular reduction can be exhibited.

Assumptions & free parameters 0 free parameters · 4 assumptions · 0 invented entities

The paper is a worked-example companion to [1]; it relies on prior existence and uniqueness results for BAFs and on the DIM construction of Hamiltonians. No free parameters are fitted; gauge choices affect the presentation of the factorization, not the eigenvalues.

assumptions (4)
  • domain assumption Solutions to Chalykh's linear systems (8) and (37) exist and are unique up to gauge for generic q, lambda and all integer m, a.
    The paper verifies only small cases; the general solvability is assumed from [5], [20], and [1], and the eigenfunction checks in Sec. 7 require well-defined BAFs.
  • domain assumption The integer-ray Hamiltonians H^(-1,a)_k and their commutativity are as constructed in [11], and the iteration (78) builds each ray from the previous one.
    Section 7 uses these operators without re-deriving their algebraic properties; the paper relies on the DIM algebra framework.
  • domain assumption The Chalykh relation (2) between Macdonald polynomials and BAFs at t=q^{-m}, including the Weyl-group sum and normalization, holds as stated.
    This is the bridge that motivates the entire BAF construction; it is quoted from [5] and not proven here.
  • ad hoc to paper The chosen gauge, e.g. setting chi_{1|0,0,1}=0 in Sec. 3.1.1, is arbitrary and the resulting factorization is non-unique.
    The conclusion explicitly says the decomposition may be non-unique; formulas (21)-(28) depend on this gauge choice.

how reviews work

0 comments
Cite this review

Pith. "Pith review of Chalykh's Baker-Akhiezer functions as eigenfunctions of the integer-ray integrable systems." pith.science (2026). https://pith.science/paper/KZWYIBCJ

@misc{pith2026241114194,
  author       = {Pith},
  title        = {Pith review of: Chalykh's Baker-Akhiezer functions as eigenfunctions of the integer-ray integrable systems},
  year         = {2026},
  howpublished = {\url{https://pith.science/paper/KZWYIBCJ}},
  note         = {Machine review of arXiv:2411.14194}
}
abstract

Macdonald symmetric polynomial at $t=q^{-m}$ reduces to a sum of much simpler complementary non-symmetric polynomials, which satisfy a simple system of the first order linear difference equations with constant coefficients, much simpler than those induced by the usual Ruijsenaars Hamiltonians of the cut-and-join type. We provide examples of explicit expressions for these polynomials nicknamed Baker-Akhiezer functions (BAF), and demonstrate that they further decompose into sums of nicely factorized quantities, perhaps, non-uniquely. Equations and solutions can be easily continued to non-integer parameters $\lambda$, which, in Macdonald polynomial case, are associated with integer partitions. Moreover, there is a straightforward generalization to "twisted" BAF's, which, however, are not so easy to decompose, and factorization of the coefficients is lost, at least naively. Still, these twisted BAF's provide eigenfunctions for Hamiltonians associated with commutative integer ray subalgebras of the Ding-Iohara-Miki algebra.

Figures

Figures reproduced from arXiv: 2411.14194 by the authors.

Figure 1
Figure 1. The points, contributing to the sum (7) in the case of sl3 (N = 3) when the third root is a sum of the two simple ones. The sum in (7) is restricted to 1 ≤ kij ≤ m, which means that the coefficients k12 + k13 and k23 + k13 in the linear combinations of z1 − z2 and z2 − z3 in the exponential fill a peculiar hexagon on the plane (k12, k23), where points in the interior are degenerate. Degeneration degree depends on th… view at source ↗

Discussion (0). Continue with ORCID to comment.

Forward citations

Cited by 3 Pith papers

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

  1. Generating twisted Cherednik eigenfunctions

    hep-th 2026-02 conditional novelty 6.0 of 10

    Twisted Macdonald polynomials are generated recursively from a ground state by creation and permutation moves, proving three conjectures about their coefficients.

  2. A basic triad in Macdonald theory

    hep-th 2024-11 conditional novelty 6.0 of 10

    At t=q^{-m}, the Noumi-Shiraishi series reproduces the Baker-Akhiezer function, completing a triad with the Macdonald polynomials.

  3. Elliptic triad

    hep-th 2024-12 conditional novelty 4.0 of 10

    The paper argues that the Macdonald triad admits elliptic deformations, but the defining linear equations for elliptic Baker-Akhiezer functions remain ambiguous except at m=1.

Reference graph

Works this paper leans on

27 extracted references · 2 canonical work pages · cited by 3 Pith papers

  1. [1]

    Mironov, A

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

    arXiv

  2. [11]

    Mironov, A

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

    arXiv 2024

  3. [2]

    Chalykh, A.P

    O.A. Chalykh, A.P. Veselov, Comm.Math.Phys. 126 (1990) 597-611

    1990

  4. [3]

    Veselov, K.L

    A.P. Veselov, K.L. Styrkas, O.A. Chalykh, Theor.Math.Phys. 94 (1993) 253-275

    1993

  5. [4]

    Chalykh, Phil.Trans.Royal Soc

    O. Chalykh, Phil.Trans.Royal Soc. A366 (1867) (2008) 947-971

    2008

  6. [5]

    Chalykh, Adv.Math

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

    arXiv 2002

  7. [6]

    Etingof, K

    P. Etingof, K. Styrkas, Compositio Math. 114 (1998) 125-152, q-alg/9603022

    arXiv 1998

  8. [7]

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

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

    1995

Show all 27 references
  1. [8]

    Chalykh, M.V

    O.A. Chalykh, M.V. Feigin, A.P. Veselov, Comm.Math.Phys. 206 (1999) 533-566, math-ph/9903019

    1999 arXiv

  2. [9]

    Belousov, S

    N. Belousov, S. Derkachov, S. Kharchev, S. Khoroshkin, Anna les Henri Poincare 25 (2024) 3207-3258 arXiv:2303.06383; ibid., 3259-3296, arXiv:2303.06382; ibid., 3297-3332, arXiv:2307.16817; Commun. Math. Phys. 405 (2024) 106, arXiv:2308.07619

    2024 arXiv

  3. [10]

    Mironov, A

    A. Mironov, A. Morozov, S. Natanzon, Theor. Math. Phys. 166 (2011) 1-22, arXiv:0904.4227 A. Mironov, A. Morozov, S. Natanzon, J. Geom. Phys. 62 (2012) 148-155, arXiv:1012.0433

    2011 arXiv

  4. [12]

    F. Liu, A. Mironov, V. Mishnyakov, A. Morozov, A. Popolitov, R. Wang, W.-Zh. Zhao, Nucl.Phys. B993 (2023) 116283, arXiv:2303.00552

    2023 arXiv

  5. [13]

    Morozov, A

    A. Morozov, A. Popolitov, S. Shakirov, Phys. Lett. B784 (2018) 342-344, arXiv:1803.11401

    2018 arXiv

  6. [14]

    Cassia, R

    L. Cassia, R. Lodin, M. Zabzine, JHEP 2010 (2020) 126, arXiv:2007.10354

    2020 arXiv

  7. [15]

    Mironov, A

    A. Mironov, A. Morozov, Phys. Lett. B816 (2021) 136196, arXiv:2011.01762

    2021 arXiv

  8. [16]

    R. Wang, C. H. Zhang, F. H. Zhang, W. Z. Zhao, Nucl. Phys. B985 (2022) 115989, arXiv:2203.14578 R. Wang, F. Liu, C.H. Zhang, W.Z. Zhao, Eur. Phys. J. C82 (2022) 902, arXiv: 2206.13038

    2022 arXiv

  9. [17]

    Mironov, V

    A. Mironov, V. Mishnyakov, A. Morozov, A. Popolitov, R. Wang, W.Z. Zhao, Eur. Phys. J. C83 (2023) 377, arXiv:2301.04107 A. Mironov, V. Mishnyakov, A. Morozov, A. Popolitov, W.Z. Zhao, Ph ys. Lett. B839 (2023) 137805, arXiv:2301.11877

    2023 arXiv

  10. [18]

    Mironov, A

    A. Mironov, A. Morozov, Phys. Lett. B842 (2023) 137964, arXiv:2303.05273 A. Mironov, V. Mishnyakov, A. Morozov, A. Popolitov, JHEP 23 (2020) 065, arXiv:2306.06623 A. Mironov, V. Mishnyakov, A. Morozov, A. Popolitov, Phys. Lett. B845 (2023) 138122, arXiv:2307.01048

    2023 arXiv

  11. [19]

    Chalykh, M

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

    2017 arXiv

  12. [20]

    Chalykh, P

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

    2013 arXiv

  13. [21]

    Macdonald, SIAM J.Math.Anal

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

    1982

  14. [22]

    Cherednik, Internat.Math.Res.Notices, 1997 (10) (1997) 449-467, q-alg/9702022

    I. Cherednik, Internat.Math.Res.Notices, 1997 (10) (1997) 449-467, q-alg/9702022

    1997 arXiv

  15. [23]

    Etingof, A

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

    1998 arXiv

  16. [24]

    Mironov, A

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

    arXiv

  17. [25]

    Noumi, J

    M. Noumi, J. Shiraishi, arXiv:1206.5364

    arXiv

  18. [26]

    Mironov, A

    A. Mironov, A. Morozov, A. Popolitov, A basic triad in Macdonald theory , to appear

  19. [27]

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

    1997 arXiv

Pith tools

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