Pith. sign in

REVIEW 4 minor 32 references

Exact solutions by integrals of the non-stationary elliptic Calogero-Sutherland equation

T0 review · 0 major / 4 minor · reviewed 2026-08-14 · deepseek-v4-flash

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

Pith's one-line read Integral representations are constructed for solutions of the non-stationary elliptic Calogero-Sutherland equation, yielding elliptic analogues of Jack polynomials for non-integer coupling values.

desk verdict New integral solutions for non-stationary eCS at non-integer coupling, with a genuinely useful construction and a small but real gap in the kernel-identity argument. read the letter →

arxiv 1908.00529 v1 pith:5IBB6W33 submitted 2019-08-01 math-ph math.MPnlin.SI

Farrokh Atai , Edwin Langmann This is my paper · ORCID
classification math-phmath.MPnlin.SI
keywords ellipticequationsolutionscalogero-sutherlandintegralsnon-stationaryconstructexact
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 studies a partial differential equation known as the non-stationary elliptic Calogero-Sutherland equation, also called the elliptic Knizhnik-Zamolodchikov-Bernard equation. It describes n particles on a circle interacting through the elliptic Weierstrass potential, with a time-like parameter tau. The goal is to find exact functions of the particle positions and tau that solve the PDE.

The authors build solutions in a factored form: a fixed product of theta functions raised to the power g/2, multiplied by a symmetric function P of the variables. They define P as a multiple contour integral whose integrand is built from products of theta functions. The main theorem states that these integrals are analytic in the expected regions and solve the PDE, with explicit formulas for the energy and momentum eigenvalues. When the elliptic parameter p tends to zero, the integrals reduce to known integral representations of Jack polynomials, so the new functions are elliptic generalizations of Jack polynomials.

The proof uses an identity for generalized kernel functions, cited from an earlier paper by one of the authors, and an induction that builds solutions for n particles from solutions for fewer particles. The authors also revisit a subtlety about integration contours in the Jack polynomial case and show that simple circles work even for non-integer g. The result is constructive and explicit.

Extended reading notes

Core claim

Theorem 3.1(b): the functions psi_{r,s,L}(x;tau) = (prod_{j!=k} theta(z_j/z_k;p))^{g/2} P_{r,s,L}(z;p) are solutions of the non-stationary eCS equation (18) for kappa = kg, with eigenvalues given by (22) and momentum eigenvalue (23). If correct, these are explicit integral representations of elliptic generalizations of Jack polynomials, complete for kappa = g.

Load-bearing premise

The kernel function K_{NM}(x,y) in (38) satisfies the functional identities (27)-(28) of Lemma 4.1, quoted from Ref. [11] (co-author Langmann, 2006). The entire induction in Section 4.3 rests on this identity: the integral operator in Lemma 4.2 converts solutions for M particles into solutions for N = M + k particles only if these identities hold. The paper provides a translation table and notes a phase-factor difference between the kernel used here and the one proved in [11], but does not reproduce the proof; if the phase factor is not benign, the construction would have to be modified.

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 constructs explicit solutions of the non-stationary elliptic Calogero-Sutherland (eCS) equation for coupling constant κ = kg with g > 1/2 and integer k ≥ 1. The main result, Theorem 3.1, states that for L ≥ 1, integer vectors r, and block sizes s = (s1, k^{L-1}) with s1 = 1 for k = 1 and s1 ∈ {1, k} for k ≥ 2, the function ψ_{r,s,L}(x;τ) = (∏_{j≠k} θ(z_j/z_k;p))^{g/2} P_{r,s,L}(z;p), with P_{r,s,L} defined by the multiple integral (21a), satisfies the non-stationary eCS equation (18) with eigenvalue (22) and momentum eigenvalue (23). The integrals are shown to be analytic in the annulus (21b), and in the limit p→0 they reduce, up to explicit nonzero constants, to the Awata-Matsuo-Odake-Shiraishi integral representations of Jack polynomials when r is ordered; for unordered r the limit vanishes. The proof is by induction, using a generalized kernel identity from Ref. [11] (Langmann 2006), with base cases for one and k particles and an integral transform (Lemma 4.2) that raises the particle number by k. Analyticity and boundary-term arguments are deferred to Appendices B and C.

Significance. If correct, Theorem 3.1 provides explicit integral representations of elliptic generalizations of Jack polynomials for continuous coupling g > 1/2, extending earlier representation-theoretic constructions that required integer g. The formulas are explicit and parameter-free, involving only theta functions and contour integrals; the p→0 limit recovers the known Jack-integral formulas of Awata et al. For κ = g the construction is complete (all integer vectors λ), while for k ≥ 2 it gives a natural subfamily. The proof is self-contained except for one quoted kernel identity from the published paper [11], for which the authors supply a translation table. The paper also re-proves the Awata et al. integral formulas in Appendix B and discusses a concrete test of Shiraishi's conjecture on non-stationary eCS functions.

minor comments (4)
  1. [§4.3.1, Lemma 4.1] The remark that the difference between Ψ_N in (37) and ∏_{j<k} ϑ(x_j-x_k)^g is a locally constant phase is correct, but it is terse. I verified that on the domain used in Lemma 4.2 the issue is benign: the differences y_j-y_k are real on the integration contour, and the arguments x_j-y_k avoid the zero set of ϑ, so a compatible branch choice makes the phase factor exactly constant and the identities of Ref. [11] apply verbatim. A sentence making this branch choice explicit would preempt any concern about extra terms under the derivatives in (27)-(28).
  2. [Abstract and keywords] There are typos in the abstract: 'represenations' should be 'representations' and 'polyomials' should be 'polynomials'; in the keywords, 'f unction' should be 'function'.
  3. [§2.2 and §3] In Eq. (21a), the notation is dense; a short parenthetical identifying the case L = n, s1 = 1, k = 1 as the elliptic generalization of the Jack integral (12a) would help readers navigate between the two formulas.
  4. [Theorem 3.1(c)] The limit 'lim_{p→0} P_{r,s,L}(z;p)' is stated without specifying the mode of convergence. A brief note that the convergence is uniform on compact subsets of the annulus (by dominated convergence, given the contour conditions in (21b)) would make the statement precise.
Assumptions & free parameters 0 free parameters · 4 assumptions · 0 invented entities

The central construction rests on the kernel identities of [11] (a self-cited prior theorem) plus standard special-function theory. Since the main identity is parameter-free and published, the added axioms are standard background; no fitted parameters or invented physical entities are introduced.

assumptions (4)
  • domain assumption The generalized kernel function K_{NM}(x,y) satisfies (27)-(28) with constant c_{NM} (Lemma 4.1).
    Quoted from Ref. [11], a published paper by co-author Langmann; proof not reproduced here. The paper supplies a translation table and addresses a phase-factor caveat but relies on the earlier proof.
  • standard math Standard Jack polynomial properties: orthogonality (6), norms N_{lambda,n}(g) in (7), generating function (8), Pieri relation (10).
    Used in Appendix B to derive Proposition 2.2 and the p to 0 limit in Theorem 3.1(c); cited from Macdonald's book.
  • standard math Analyticity and convergence properties of theta products and contour integrals, including Hartogs-based separate analyticity and radius independence of the scalar product (54).
    Proved or quoted in Appendices A, B, C.1; these justify interchanging limits, derivatives, and integrals.
  • domain assumption g > 1/2 makes the factor Psi_M^{(0)}(y)^2 C^1 and the boundary terms in (48)-(49) vanish.
    Proven in Appendix C.2 using the 2g > 1 integrability condition; this is a stated restriction on the parameter range, not a hidden assumption.

how reviews work

0 comments
Cite this review

Pith. "Pith review of Exact solutions by integrals of the non-stationary elliptic Calogero-Sutherland equation." pith.science (2026). https://pith.science/paper/5IBB6W33

@misc{pith2026190800529,
  author       = {Pith},
  title        = {Pith review of: Exact solutions by integrals of the non-stationary elliptic Calogero-Sutherland equation},
  year         = {2026},
  howpublished = {\url{https://pith.science/paper/5IBB6W33}},
  note         = {Machine review of arXiv:1908.00529}
}
read the original abstract

We use generalized kernel functions to construct explicit solutions by integrals of the non-stationary Schr\"odinger equation for the Hamiltonian of the elliptic Calogero-Sutherland model (also known as elliptic Knizhnik-Zamolodchikov-Bernard equation). Our solutions provide integral represenations of elliptic generalizations of the Jack polyomials.

Discussion (0). Continue with ORCID to comment.

Reference graph

Works this paper leans on

32 extracted references · 26 canonical work pages

  1. [11]

    Remarkable identities related to the (quantum) elliptic Calogero-Sutherland model

    E. Langmann, Remarkable identities related to the (quantum) elliptic Ca logero- Sutherland model , J. Math. Phys. 47, 022101 (2006), arXiv:math-ph/0406061

    work page Pith review arXiv 2006

  2. [1]

    Calogero, Solution of the one-dimensional N-body problems with quadr atic and/or inversely quadratic pair potentials , J

    F. Calogero, Solution of the one-dimensional N-body problems with quadr atic and/or inversely quadratic pair potentials , J. Math. Phys. 12, 419–436 (1971)

    work page 1971

  3. [2]

    Sutherland, Exact results for a quantum many body problem in one-dimensi on

    B. Sutherland, Exact results for a quantum many body problem in one-dimensi on. II. , Phys. Rev. A5, 1372–1376 (1972). 24

    work page 1972

  4. [3]

    Olshanetsky and A.M

    M.A. Olshanetsky and A.M. Perelomov, Quantum completely integrable systems con- nected with semisimple Lie algebras , Lett. Math. Phys. 2, 7–13 (1977)

    work page 1977

  5. [4]

    Jack, A class of symmetric polynomials with a parameter , Proc

    H. Jack, A class of symmetric polynomials with a parameter , Proc. Roy. Soc. Edinburgh Sect. A 69, 1–18 (1970)

    work page 1970

  6. [5]

    Excited States of Calogero-Sutherland Model and Singular Vectors of the $W_N$ Algebra

    H. Awata, Y. Matsuo, S. Odake, J. Shiraishi, Excited states of the Calogero-Sutherland model and singular vectors of the WN algebra, Nucl. Phys. B 449, 347–374 (1995), arXiv:hep-th/9503043

    work page Pith review arXiv 1995

  7. [6]

    Mimachi and Y

    K. Mimachi and Y. Yamada, Singular vectors of the Virasoro algebra in terms of Jack symmetric polynomials , Comm. Math. Phys. 174, 447–455 (1995),

    work page 1995

  8. [7]

    Shiraishi, Affine screening operators, affine Laumon spaces, and conjectu res con- cerning non-stationary Ruijsenaars functions , arXiv:1903.07495 [math.QA]

    J. Shiraishi, Affine screening operators, affine Laumon spaces, and conjectu res con- cerning non-stationary Ruijsenaars functions , arXiv:1903.07495 [math.QA]

    arXiv 1903

Show all 32 references
  1. [8]

    Langmann and K

    E. Langmann and K. Takemura, Source identity and kernel functions for Inozemtsev- type systems, J. Math. Phys. 53, 082105 (2012), arXiv:1202.3544 [math-ph]

    2012 arXiv

  2. [9]

    Atai and E

    F. Atai and E. Langmann, Series Solutions of the Non-Stationary Heun Equation , SIGMA 14, Paper 011, 32 pp. (2018), arXiv:1609.02525 [math-ph]

    2018 arXiv

  3. [10]

    Fateev, A.V

    V.A. Fateev, A.V. Litvinov, A. Neveu, E. Onofri, A differential equation for a four- point correlation function in Liouville field theory and ell iptic four-point conformal blocks, J. Phys. A 42 (2009), 304011, 29 pp. arXiv:0902.1331 [hep-th]

    2009 arXiv

  4. [12]

    Knizhnik, A.B

    V.G. Knizhnik, A.B. Zamolodchikov, Current algebra and Wess-Zumino model in two dimensions, Nucl. Phys. B 247, 83–103 (1984)

    1984

  5. [13]

    Bernard, On the Wess-Zumino-Witten models on the torus , Nucl

    D. Bernard, On the Wess-Zumino-Witten models on the torus , Nucl. Phys. B 303, 77–93 (1988)

    1988

  6. [14]

    Felder and A

    G. Felder and A. Varchenko, Special functions, conformal blocks, Bethe ansatz and SL(3, Z), Phil. Trans. R. Soc. Lond. A 359, 1365–1373 (2001), arXiv:math/0101136

    2001 arXiv

  7. [15]

    P. I. Etingof and A. A. Kirillov Jr., Representations of affine Lie algebras, parabolic differential equations, and Lam´ e functions , Duke Math. J. 74, 585–614 (1994). arXiv:hep-th/9310083

    1994 arXiv

  8. [16]

    Felder and A

    G. Felder and A. Varchenko, Integral representation of solutions of the elliptic Knizhnik-Zamolodchikov-Bernard equations , Int. Math. Res. Notices 1995, 221–233 (1995), arXiv:hep-th/9502165

    1995 arXiv

  9. [17]

    Falceto and K

    F. Falceto and K. Gaw¸ edzki, Unitarity of the Knizhnik-Zamolodchikov-Bernard con- nection and the Bethe ansatz for the elliptic Hitchin system s, Comm. Math. Phys. 183, 267–290 (1997), arXiv:hep-th/9604094. 25

    1997 arXiv

  10. [18]

    Kuroki and T

    G. Kuroki and T. Takebe, Bosonization and integral representation of solutions of t he Knizhnik-Zamolodchikov-Bernard equations, Comm. Math. Phys. 204, 587–618 (1999), arXiv:math/9809157

    1999 arXiv

  11. [19]

    Macdonald, Symmetric functions and Hall polynomials (Second Edition), (Oxford University Press, New York, 1995)

    I.G. Macdonald, Symmetric functions and Hall polynomials (Second Edition), (Oxford University Press, New York, 1995)

    1995

  12. [20]

    Macdonald, Commuting differential operators and zonal spherical funct ions, Al- gebraic groups Utrecht 1986, 189–200, Lecture Notes in Math

    I.G. Macdonald, Commuting differential operators and zonal spherical funct ions, Al- gebraic groups Utrecht 1986, 189–200, Lecture Notes in Math. 1 271 (Springer, Berlin, 1987)

    1986

  13. [21]

    Stanley, Some combinatorial properties of Jack symmetric functions , Adv

    R.P. Stanley, Some combinatorial properties of Jack symmetric functions , Adv. Math. 77, 76–115 (1989)

    1989

  14. [22]

    Whittaker and G.N

    E.T. Whittaker and G.N. Watson, A course of modern analysis , Fourth Edition, Cam- bridge University Press (1940)

    1940

  15. [23]

    Etingof and A.A

    P.I. Etingof and A.A. Kirillov, Jr., On the affine analogue of Jack and Macdonald polynomials, Duke Math. J. 78, 229–256 (1995), arXiv:hep-th/9403168

    1995 arXiv

  16. [24]

    Etingof, I.B

    P.I. Etingof, I.B. Frenkel, A.A. Kirillov Jr., Spherical functions on affine Lie groups , Duke Math. J. 80, 59–90 (1995), arXiv:hep-th/9407047

    1995 arXiv

  17. [25]

    Langmann, Singular eigenfunctions of Calogero-Sutherland type syst ems and how to transform them into regular ones , SIGMA 3, 031, 18 pp

    E. Langmann, Singular eigenfunctions of Calogero-Sutherland type syst ems and how to transform them into regular ones , SIGMA 3, 031, 18 pp. (2007), arXiv:math-ph/0702089

    2007 arXiv

  18. [26]

    Langmann, Explicit solution of the (quantum) elliptic Calogero-Suth erland model , Ann

    E. Langmann, Explicit solution of the (quantum) elliptic Calogero-Suth erland model , Ann. Henri Poincar´ e15, 755–791 (2014), arXiv:math-ph/0407050

    2014 arXiv

  19. [27]

    Chalykh, M

    O. Chalykh, M. Feigin, A.P. Veselov, New integrable generalizations of Calogero-Moser quantum problem , J. Math. Phys. 39 695–703 (1998)

    1998

  20. [28]

    Khodarinova, Quantum integrability of the deformed elliptic Calogero-M oser prob- lem, J

    L.A. Khodarinova, Quantum integrability of the deformed elliptic Calogero-M oser prob- lem, J. Math. Phys. 46, 033506, 22 pp. (2005), arXiv:math-ph/0406066

    2005 arXiv

  21. [29]

    Langmann, Source identity and kernel functions for elliptic Calogero -Sutherland type systems, Lett

    E. Langmann, Source identity and kernel functions for elliptic Calogero -Sutherland type systems, Lett. Math. Phys. 94, 63–75 (2010), arXiv:1003.0857 [math-ph]

    2010 arXiv

  22. [30]

    Sergeev and A.P

    A.N. Sergeev and A.P. Veselov, Generalised discriminants, deformed Calogero-Moser- Sutherland operators and super-Jack polynomials , Adv. Math. 192 341–375 (2005), arXiv:math-ph/0307036

    2005 arXiv

  23. [31]

    Atai and E

    F. Atai and E. Langmann, Deformed Calogero-Sutherland model and fractional quan- tum Hall effect , J. Math. Phys. 58 011902, 27pp. (2017), arXiv:1603.06157 [math-ph]

    2017 arXiv

  24. [32]

    F. Atai, M. Halln¨ as, E. Langmann, Orthogonality of super-Jack polynomials and a Hilbert space interpretation of deformed Calogero-Moser- Sutherland operators , Bull. Lond. Math. Soc. 51, 353–370 (2019), arXiv:1802.02016 [math-ph]. 26

    2019 arXiv

Pith tools

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