Abstract:Schubert coefficients are nonnegative integers $c^w_{u,v}$ that arise in Algebraic Geometry and play a central role in Algebraic Combinatorics. It is a major open problem whether they have a combinatorial interpretation, i.e, whether $c^w_{u,v} \in \#{\sf P}$. We study the closely related vanishing problem of Schubert coefficients: $\{c^w_{u,v}=^?0\}$. Until this work it was open whether this problem is in the polynomial hierarchy ${\sf PH}$. We prove that $\{c^w_{u,v}=^?0\}$ in ${\sf coAM}$ assuming the GRH. In particular, the vanishing problem is in ${\Sigma_2^{\text{p}}}$. Our approach is based on constructions lifted formulations, which give polynomial systems of equations for the problem. The result follows from a reduction to Parametric Hilbert's Nullstellensatz, recently studied in <a class="link-https" data-arxiv-id="2408.13027" href="https://arxiv.org/abs/2408.13027">arXiv:2408.13027</a>. We apply our construction to show that the vanishing problem is in ${\sf NP}_{\mathbb{C}} \cap {\sf P}_{\mathbb{R}}$ in the Blum--Shub--Smale (BSS) model of computation over complex and real numbers respectively. Similarly, we prove that computing Schubert coefficients is in $\#{\sf P}_{\mathbb{C}}$, a counting version of the BSS model. We also extend our results to classical types. With one notable exception of the vanishing problem in type $D$, all our results extend to all types.

On the number of quadratic polynomials with a given portrait

Portraits of quadratic rational maps with a small critical cycle

On the Diophantine Equation F (X) F (Y) = F (Z(2))

A proof of a Dumortier-Roussarie's conjecture

On Poincaré polynomials for plane curves with quasi-homogeneous singularities

Geometry of PCF parameters in spaces of quadratic polynomials

On the realization of fixed point portraits (an addendum to Goldberg, Milnor: Fixed point portraits)

Conjectures involving primes and quadratic forms

A proof of a conjecture on permutation trinomials

Congruence relations of Ankeny$\unicode{x2013}$Artin$\unicode{x2013}$Chowla type for real quadratic fields

Some results on the Flynn–Poonen–Schaefer conjecture

Quadratic fields, Artin-Schreier extensions, and Bell numbers

Exponential sums over singular binary quartic forms and applications

Congruent Numbers, Quadratic Forms and $$K_2$$

Vanishing of Schubert Coefficients

Genus Polynomials of Cubic Graphs with Non-Real Roots

A positive proportion of monic odd-degree hyperelliptic curves of genus $g \geq 4$ have no unexpected quadratic points

Counting cusp forms by analytic conductor

Generalized Ramsey numbers at the linear and quadratic thresholds

Diophantine problems related to cyclic cubic and quartic fields

Quadratic polynomials at prime arguments