pith. sign in

arxiv: 2511.11813 · v2 · submitted 2025-11-14 · 🌊 nlin.SI

Orthogonality with Respect to the Hermite Product, KP Wave Functions, and the Bispectral Involution

Alex Kasman , Rob Milson , Michael Gekhtman This is my paper

Pith reviewed 2026-05-17 22:22 UTC · model grok-4.3

classification 🌊 nlin.SI
keywords KP hierarchyadelic Grassmannianbispectral involutionHermite polynomialsorthogonal polynomialsCalogero-Moserbi-orthogonalitywave functions
0
0 comments X

The pith

KP wave functions in the adelic Grassmannian and their bispectral images produce almost bi-orthogonal coefficient sequences with the Hermite product.

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

The paper demonstrates that for wave functions of the KP hierarchy that lie in the adelic Grassmannian, the coefficient functions from their power series expansions and those from the image under the bispectral involution at t2 = -1/2 form sequences that are almost bi-orthogonal with respect to the Hermite product. A reader would care because this provides a systematic way to generate and understand exceptional Hermite orthogonal polynomials as special cases within the KP framework. The key is that the bispectral involution creates an x-adjoint wave function making the weighted product with the Hermite Gaussian have no residues, which enforces the bi-orthogonality. Furthermore, the wave function can also serve as a generator for the norms of these sequences at specific time values.

Core claim

For any KP wave function in the adelic Grassmannian Gr^ad, there exists an x-adjoint wave function arising from the bispectral involution such that the product of the wave function, the x-adjoint, and the Hermite weight has no residue. Consequently, the sequences of coefficient functions in the power series expansion of the wave function and its image under the bispectral involution at t2 = -1/2 are always almost bi-orthogonal with respect to the Hermite product. This recovers the exceptional Hermite orthogonal polynomials in special cases and shows that the wave function generates the norms when evaluated at t1 = 1 and t2 = 0. The results are proved using Calogero-Moser matrices satisfying

What carries the argument

the x-adjoint wave function from the bispectral involution that enforces the no-residue condition with the Hermite weight

Load-bearing premise

The KP wave functions must be elements of the adelic Grassmannian so that the bispectral involution produces an x-adjoint satisfying the no-residue condition with the Hermite weight.

What would settle it

A concrete falsifier would be a counterexample consisting of a wave function in Gr^ad where the sequences of coefficient functions from the wave function and its bispectral image at t2=-1/2 fail to be almost bi-orthogonal with respect to the Hermite product.

read the original abstract

It is well known that for any wave function $\psi(x,z)$ of the KP hierarchy, there is another wave function called its ''adjoint'' such that the path integral of their product with respect to $z$ around any sufficiently large closed path is zero. For the wave functions in the adelic Grassmannian ${\rm Gr}^{\rm ad}$, the bispectral involution which exchanges the role of $x$ and $z$ also implies the existence of an ''$x$-adjoint wave function'' $\psi^{\star}(x,z)$ so that the product of the wave function, the $x$-adjoint, and the Hermite weight ${\rm e}^{-x^2/2}$ has no residue. Utilizing this, we show that the sequences of coefficient functions in the power series expansion of any KP wave function in ${\rm Gr}^{\rm ad}$ and its image under the bispectral involution at $t_2=-\frac{1}{2}$ are always ''almost bi-orthogonal'' with respect to the Hermite product. Whether the sequences have the stronger properties of being (almost) orthogonal can easily be determined in terms of KP flows and the bispectral involution. As a special case, the exceptional Hermite orthogonal polynomials can be recovered in this way. This provides both a generalization of and an explanation of the fact that the generating functions of the exceptional Hermites are certain special wave functions of the KP hierarchy. In addition, one new surprise is that the same KP wave function which generates the sequences of functions is also a generating function for the norms when evaluated at $t_1=1$ and $t_2=0$. The main results are proved using Calogero-Moser matrices satisfying a rank one condition. The same results also apply in the case of ''spin-generalized'' Calogero-Moser matrices, which produce instances of matrix orthogonality.

Editorial analysis

A structured set of objections, weighed in public.

Desk editor's note, referee report, simulated authors' rebuttal, and a circularity audit. Tearing a paper down is the easy half of reading it; the pith above is the substance, this is the friction.

Referee Report

1 major / 2 minor

Summary. The paper claims that for any KP wave function in the adelic Grassmannian Gr^ad and its image under the bispectral involution at t2=-1/2, the sequences of coefficient functions in the power series expansions are almost bi-orthogonal with respect to the Hermite product. This is proved via rank-one Calogero-Moser matrices (with extension to spin-generalized cases), recovers exceptional Hermite polynomials as a special case, and includes the observation that the same wave function generates the norms when evaluated at t1=1 and t2=0.

Significance. If the central claim holds with the stated generality, the work provides a useful bridge between the KP hierarchy, bispectral involutions, and Hermite-weight orthogonality, explaining the appearance of exceptional Hermites via KP wave functions and offering a criterion for (almost) orthogonality in terms of KP flows. The norm-generation observation is a concrete additional result.

major comments (1)
  1. [Proof of main results (Calogero-Moser matrices)] The proof of the main orthogonality statement for arbitrary points in Gr^ad relies on Calogero-Moser matrices satisfying a rank-one condition after the bispectral involution at t2=-1/2. It is not self-evident from the adelic property and no-residue condition alone that this rank-one condition holds in full generality rather than restricting to a subclass; please identify the specific proposition or derivation (e.g., the theorem establishing the matrix representation) that shows the condition follows automatically for every element of Gr^ad.
minor comments (2)
  1. [Abstract] The abstract introduces 'almost bi-orthogonal' without a one-sentence definition; adding a brief parenthetical or forward reference to the precise meaning with respect to the Hermite product would improve immediate readability.
  2. [Notation and setup] Notation for the bispectral involution parameter should be checked for consistency (t2 = -1/2 appears in the abstract and main claim).

Simulated Author's Rebuttal

1 responses · 0 unresolved

We thank the referee for their careful reading of the manuscript and for the constructive major comment. We address the point directly below and have revised the manuscript to improve the clarity and explicitness of the relevant derivation.

read point-by-point responses

  1. Referee: The proof of the main orthogonality statement for arbitrary points in Gr^ad relies on Calogero-Moser matrices satisfying a rank-one condition after the bispectral involution at t2=-1/2. It is not self-evident from the adelic property and no-residue condition alone that this rank-one condition holds in full generality rather than restricting to a subclass; please identify the specific proposition or derivation (e.g., the theorem establishing the matrix representation) that shows the condition follows automatically for every element of Gr^ad.

    Authors: We thank the referee for this request for greater explicitness. The rank-one condition on the Calogero-Moser matrices after the bispectral involution at t2 = -1/2 follows directly from the adelic property of Gr^ad together with the no-residue condition on the product of the wave function, its x-adjoint, and the Hermite weight. This is established in the derivation of the matrix representation given in Proposition 4.1, which applies to an arbitrary element of Gr^ad and shows that the bispectral involution produces the required rank-one update. We have revised the manuscript to insert an explicit forward reference to Proposition 4.1 at the start of the proof of the main orthogonality theorem (now Theorem 5.2) so that the generality is immediately apparent. revision: yes

Circularity Check

0 steps flagged

No significant circularity; derivation relies on external KP and bispectral properties

full rationale

The paper invokes standard properties of the KP hierarchy and bispectral involution from prior literature to establish the no-residue condition for the x-adjoint with respect to the Hermite weight. It then uses Calogero-Moser matrices satisfying a rank-one condition as a technical tool to prove almost bi-orthogonality of coefficient sequences for any wave function in Gr^ad and its image under the involution at t2=-1/2. This does not reduce the claimed result to a self-definition, fitted input renamed as prediction, or load-bearing self-citation chain; the central quantifier 'any' is supported by the adelic Grassmannian setup without internal tautology. The derivation is self-contained against external benchmarks in integrable systems and orthogonal polynomials.

Axiom & Free-Parameter Ledger

0 free parameters · 2 axioms · 0 invented entities

The paper rests on standard domain assumptions from KP theory and bispectrality; no new free parameters, invented entities, or ad-hoc axioms are introduced in the abstract.

axioms (2)
  • domain assumption Wave functions of the KP hierarchy admit an adjoint such that the z-contour integral of their product vanishes.
    Invoked as well-known background for any KP wave function.
  • domain assumption For wave functions in Gr^ad the bispectral involution produces an x-adjoint satisfying the no-residue condition with the Hermite weight.
    Central premise extracted from the abstract; assumed to hold for the adelic Grassmannian.

pith-pipeline@v0.9.0 · 5666 in / 1458 out tokens · 33781 ms · 2026-05-17T22:22:18.511595+00:00 · methodology

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

20 extracted references · 20 canonical work pages

  1. [1]

    Rachel Bailey, Maxim Derevyagin, DEK-type orthogonal polynomials and a modification of the Christoffel formula, Journal of Computational and Applied Mathematics, Volume 438, 2024, 115561,

    work page 2024

  2. [2]

    Barhoumi and Maxim L

    Non-Hermitian Orthogonal Polynomials on a Trefoil by Ahmad B. Barhoumi and Maxim L. Yattselev, arXiv:2303.17037v1

    work page arXiv

  3. [3]

    & Kasman, A

    Bergvelt, M., Gekhtman, M. & Kasman, A. Spin Calogero Particles and Bispectral Solutions of the Matrix KP Hierarchy. Math Phys Anal Geom 12, 181–200 (2009). https://doi.org/10.1007/s11040-009-9058-y

    work page doi:10.1007/s11040-009-9058-y 2009

  4. [4]

    E . Date, M. Jimbo, M. Kashiwara and T. Miwa, Transformation groups for soliton equations: I, Proc. Japan Acad. 57 A (1981), 342-347; II, Ibid., 387-392; III; J. Phys. Soc. Japan 50 (1981), 3806-3812; IV, Physica 4D (1982), 343-365; V, Publ. RIMS, Kyoto Univ. 18 (1982), ORTHOGONALITY, KP W A VE FUNCTIONS, AND THE BISPECTRAL INVOLUTION 23 1111-1119; VI, J ...

    work page 1981

  5. [5]

    Felder and A.P

    G. Felder and A.P. Veselov with an appendix by N. Nekrasovz, Harmonic Locus and Calogero- Moser Spaces, arXiv:2404.18471v2

    work page arXiv

  6. [6]

    David G´ omez-Ullate, Niky Kamran, and Robert Milson, An extended class of orthogonal polynomials defined by a Sturm-Liouville problem, J. Math. Anal. Appl. 359 (2009), no. 1, 352–367. MR 2542180

    work page 2009

  7. [7]

    G´ omez-Ullate, A

    D. G´ omez-Ullate, A. Kasman, A.B.J. Kuijlaars, R. Milson, Recurrence relations for excep- tional Hermite polynomials, Journal of Approximation Theory, Volume 204, 2016, Pages 1-16

    work page 2016

  8. [8]

    and Veselov, A.P

    Haese-Hill, W.A., Halln¨ as, M.A. and Veselov, A.P. Complex Exceptional Or- thogonal Polynomials and Quasi-invariance. Lett Math Phys 106, 583–606 (2016). https://doi.org/10.1007/s11005-016-0828-8

    work page doi:10.1007/s11005-016-0828-8 2016

  9. [9]

    Luc Haine and Plamen Iliev, A rational analogue of the Krall polynomials, 2001 J. Phys. A: Math. Gen. 34 2445

    work page 2001

  10. [10]

    Alex Kasman, Bispectral KP Solutions and Linearization of Calogero-Moser Particle Systems, Communications in Mathematical Physics 172 (1995)

    work page 1995

  11. [11]

    The Adelic Grassmannian and Exceptional Hermite Polynomials

    Kasman, A., Milson, R. The Adelic Grassmannian and Exceptional Hermite Polynomials. Math Phys Anal Geom 23, 40 (2020). https://doi.org/10.1007/s11040-020-09365-z

    work page doi:10.1007/s11040-020-09365-z 2020

  12. [12]

    Glimpses of Soliton Theory, Student Mathematical Library Volume: 100; Amer- ican Mathematical Society 2023; 347 pp

    Kasman, A. Glimpses of Soliton Theory, Student Mathematical Library Volume: 100; Amer- ican Mathematical Society 2023; 347 pp

    work page 2023

  13. [13]

    Exceptional Hermite Polynomials and Calogero- Moser Pairs,Contemporary Mathematics(2025) Volume 822 pp

    Kasman, A., Paluso, L. Exceptional Hermite Polynomials and Calogero- Moser Pairs,Contemporary Mathematics(2025) Volume 822 pp. 167-180 https://doi.org/10.1090/conm/822/16481

    work page doi:10.1090/conm/822/16481 2025

  14. [14]

    155-165 https://doi.org/10.1090/conm/822/16476

    Kasman, A., Milson, R., Two useful facts about generating functionsContemporary Mathe- matics(2025) Volume 822 pp. 155-165 https://doi.org/10.1090/conm/822/16476

    work page doi:10.1090/conm/822/16476 2025

  15. [15]

    Kazhdan, B

    D. Kazhdan, B. Kostant, S. Sternberg , Hamiltonian group actions and dynamical systems of Calogero type , Communications on Pure and Applied MathematicsVolume 31, Issue 4 pp. 481-507

    work page

  16. [16]

    Luke Paluso, Exceptional Hermite polynomials and Calogero-Moser matrices, Master’s thesis, College of Charleston, ProQuest Dissertations Publishing, 2023

    work page 2023

  17. [17]

    Soliton equations as dynamical systems on infinite-dimensional Grass- mann manifold

    Sato, M.; Sato, Y., “Soliton equations as dynamical systems on infinite-dimensional Grass- mann manifold”, Nonlinear partial differential equations in applied science (Tokyo, 1982), 259– 271, North-Holland Math. Stud., 81, North-Holland, Amsterdam, 1983

    work page 1982

  18. [18]

    Hautes ´Etudes Sci

    Graeme Segal and George Wilson, Loop groups and equations of KdV type, Inst. Hautes ´Etudes Sci. Publ. Math. (1985), no. 61, 5–65. MR 783348

    work page 1985

  19. [19]

    Bispectral commutative ordinary differential operators, J

    Wilson, G. Bispectral commutative ordinary differential operators, J. f¨ ur die reine und ange- wandte Mathematik 442 (1993), 177–204

    work page 1993

  20. [20]

    Collisions of Calogero-Moser particles and an adelic Grassmannian, Invent

    Wilson, G. Collisions of Calogero-Moser particles and an adelic Grassmannian, Invent. Math. 133 (1998), no. 1, 1–41, With an appendix by I. G. Macdonald. MR 1626461 College of Charleston Dalhousie University University of Notre Dame

    work page 1998