English

Positivity and universal Pl\"ucker coordinates for spaces of quasi-exponentials

Complex Variables 2025-07-17 v2 Mathematical Physics Combinatorics math.MP Quantum Algebra Representation Theory

Abstract

A quasi-exponential is an entire function of the form ecup(u)e^{cu}p(u), where p(u)p(u) is a polynomial and cCc \in \mathbb{C}. Let V=eh1up1(u),,ehNupN(u)V = \langle e^{h_1u}p_1(u), \dots, e^{h_Nu}p_N(u) \rangle be a vector space with a basis of quasi-exponentials. We show that if h1,,hNh_1, \dots, h_N are nonnegative and all of the complex zeros of the Wronskian Wr(V)\operatorname{Wr}(V) are real, then VV is totally nonnegative in the sense that all of its Grassmann-Pl\"{u}cker coordinates defined by the Taylor expansion about u=tu=t are nonnegative, for any real tt greater than all of the zeros of Wr(V)\operatorname{Wr}(V). Our proof proceeds by showing that the higher Gaudin Hamiltonians TλG(t)T_\lambda^G(t) introduced in [ALTZ14] are universal Pl\"ucker coordinates about u=tu=t for the Wronski map on spaces of quasi-exponentials. The result that VV is totally nonnegative follows from the fact that TλG(t)T_\lambda^G(t) is positive semidefinite, which we establish using partial traces. We also show that if h1==hN=0h_1 = \cdots = h_N = 0 then TλG(t)T_\lambda^G(t) equals βλ(t)\beta^\lambda(t), which is the universal Pl\"ucker coordinate for the Wronski map on spaces of polynomials introduced in [KP23].

Keywords

Cite

@article{arxiv.2405.20229,
  title  = {Positivity and universal Pl\"ucker coordinates for spaces of quasi-exponentials},
  author = {Steven N. Karp and Evgeny Mukhin and Vitaly Tarasov},
  journal= {arXiv preprint arXiv:2405.20229},
  year   = {2025}
}

Comments

24 pages. v2: Final version