English

Zero-free sector of the Wronski map on the totally nonnegative Grassmannian

Classical Analysis and ODEs 2025-09-25 v2 Combinatorics Complex Variables

Abstract

A classical result states that if f(z)f(z) is a polynomial of degree at most nn with nonnegative coefficients, then f(z)f(z) has no zeros in the sector arg(z)<πn|\arg(z)| < \frac{\pi}{n} of the complex plane, and the bound πn\frac{\pi}{n} is tight. Motivated by the Shapiro--Shapiro conjecture and related problems in real Schubert calculus, we generalize this result to Wronskians of polynomials. Namely, let f1(z),,fk(z)f_1(z), \dots, f_k(z) be linearly independent polynomials of degree at most nn whose coefficient matrix has all nonnegative k×kk\times k minors (that is, the polynomials span an element of the totally nonnegative Grassmannian in the sense of Lusztig and Postnikov). We show that the Wronskian polynomial Wr(f1,,fk)\operatorname{Wr}(f_1, \dots, f_k) has no complex zeros in the sector arg(z)<πn|\arg(z)| < \frac{\pi}{n} (independent of kk), and the bound πn\frac{\pi}{n} is tight. Our proof uses classical results of Gantmakher and Krein (1950) and Obreschkoff (1923) on sign variation.

Keywords

Cite

@article{arxiv.2508.18478,
  title  = {Zero-free sector of the Wronski map on the totally nonnegative Grassmannian},
  author = {Steven N. Karp},
  journal= {arXiv preprint arXiv:2508.18478},
  year   = {2025}
}

Comments

v2: Withdrawn due to an error in the proof of Theorem 1.6