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

A classical result states that if $f(z)$ is a polynomial of degree at most $n$ with nonnegative coefficients, then $f(z)$ has no zeros in the sector $|\arg(z)| < \fracπ{n}$ of the complex plane, and the bound $\fracπ{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 $f_1(z), \dots, f_k(z)$ be linearly independent polynomials of degree at most $n$ whose coefficient matrix has all nonnegative $k\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 $\operatorname{Wr}(f_1, \dots, f_k)$ has no complex zeros in the sector $|\arg(z)| < \fracπ{n}$ (independent of $k$), and the bound $\fracπ{n}$ is tight. Our proof uses classical results of Gantmakher and Krein (1950) and Obreschkoff (1923) on sign variation.

Publication Details

Journal
ArXiv.org
Published
2025-08-25
Primary Topic
Geochemistry and Geologic Mapping
Type
article
Field-Weighted Citation Impact
0.00
Controls
|||
ALL TIME
JAN
FEB
MAR
APR
MAY
JUN
JUL
AUG
SEP
OCT
article

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

ArXiv.org
Geochemistry and Geologic Mapping
article

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

article en

Abstract

A classical result states that if $f(z)$ is a polynomial of degree at most $n$ with nonnegative coefficients, then $f(z)$ has no zeros in the sector $|\arg(z)| < \fracπ{n}$ of the complex plane, and the bound $\fracπ{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 $f_1(z), \dots, f_k(z)$ be linearly independent polynomials of degree at most $n$ whose coefficient matrix has all nonnegative $k\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 $\operatorname{Wr}(f_1, \dots, f_k)$ has no complex zeros in the sector $|\arg(z)| < \fracπ{n}$ (independent of $k$), and the bound $\fracπ{n}$ is tight. Our proof uses classical results of Gantmakher and Krein (1950) and Obreschkoff (1923) on sign variation.

ArXiv.org
Openalex Percentile: Top 61%
Geochemistry and Geologic Mapping
AI Navigator

Ask Laika to Summarize, Analyze, and Connect papers live on the map.

Summarize Papers & Methodologies

Extract key findings, datasets, and comparative methods across publications.

Benchmark Rankings & Visual Analytics

Rank top research institutions, authors, funders, topics, and journals by Field-Weighted Citation Impact (FWCI) and paper volume with instant charts.

Connect Distant Disciplines

Bridge topological clusters on the map to find hidden collaborative intersections.