10 research outputs found
The Secant Conjecture in the real Schubert calculus
We formulate the Secant Conjecture, which is a generalization of the Shapiro
Conjecture for Grassmannians. It asserts that an intersection of Schubert
varieties in a Grassmannian is transverse with all points real, if the flags
defining the Schubert varieties are secant along disjoint intervals of a
rational normal curve. We present theoretical evidence for it as well as
computational evidence obtained in over one terahertz-year of computing, and we
discuss some phenomena we observed in our data.Comment: 19 page
alphaCertified: certifying solutions to polynomial systems
Smale's alpha-theory uses estimates related to the convergence of Newton's
method to give criteria implying that Newton iterations will converge
quadratically to solutions to a square polynomial system. The program
alphaCertified implements algorithms based on alpha-theory to certify solutions
to polynomial systems using both exact rational arithmetic and arbitrary
precision floating point arithmetic. It also implements an algorithm to certify
whether a given point corresponds to a real solution to a real polynomial
system, as well as algorithms to heuristically validate solutions to
overdetermined systems. Examples are presented to demonstrate the algorithms.Comment: 21 page
A primal-dual formulation for certifiable computations in Schubert calculus
Formulating a Schubert problem as the solutions to a system of equations in
either Pl\"ucker space or in the local coordinates of a Schubert cell typically
involves more equations than variables. We present a novel primal-dual
formulation of any Schubert problem on a Grassmannian or flag manifold as a
system of bilinear equations with the same number of equations as variables.
This formulation enables numerical computations in the Schubert calculus to be
certified using algorithms based on Smale's \alpha-theory.Comment: 21 page
Wronskians, total positivity, and real Schubert calculus
A complete flag in is a sequence of nested subspaces such that each has dimension . It is
called totally nonnegative if all its Pl\"ucker coordinates are nonnegative. We
may view each as a subspace of polynomials in of degree
at most , by associating a vector in to
the polynomial . We show that a complete flag
is totally nonnegative if and only if each of its Wronskian polynomials
is nonzero on the interval . In the language of
Chebyshev systems, this means that the flag forms a Markov system or ECT-system
on . This gives a new characterization and membership test for the
totally nonnegative flag variety. Similarly, we show that a complete flag is
totally positive if and only if each is nonzero on . We
use these results to show that a conjecture of Eremenko (2015) in real Schubert
calculus is equivalent to the following conjecture: if is a
finite-dimensional subspace of polynomials such that all complex zeros of
lie in the interval , then all Pl\"ucker coordinates of
are real and positive. This conjecture is a totally positive strengthening
of a result of Mukhin, Tarasov, and Varchenko (2009), and can be reformulated
as saying that all complex solutions to a certain family of Schubert problems
in the Grassmannian are real and totally positive. We also show that our
conjecture is equivalent to a totally positive strengthening of the secant
conjecture (2012).Comment: 24 pages. v2: Updated reference
Reality and Computation in Schubert Calculus
The Mukhin-Tarasov-Varchenko Theorem (previously the Shapiro Conjecture) asserts that a Schubert problem has all solutions distinct and real if the Schubert varieties involved osculate a rational normal curve at real points. When conjectured, it sparked interest in real osculating Schubert calculus, and computations played a large role in developing the surrounding theory. Our purpose is to uncover generalizations of the Mukhin-Tarasov-Varchenko Theorem, proving them when possible. We also improve the state of the art of computationally solving Schubert problems, allowing us to more effectively study ill-understood phenomena in Schubert calculus.
We use supercomputers to methodically solve real osculating instances of Schubert problems. By studying over 300 million instances of over 700 Schubert problems, we amass data significant enough to reveal generalizations of the Mukhin-Tarasov- Varchenko Theorem and compelling enough to support our conjectures. Combining algebraic geometry and combinatorics, we prove some of these conjectures. To improve the efficiency of solving Schubert problems, we reformulate an instance of a Schubert problem as the solution set to a square system of equations in a higher- dimensional space.
During our investigation, we found the number of real solutions to an instance of a symmetrically defined Schubert problem is congruent modulo four to the number of complex solutions. We proved this congruence, giving a generalization of the Mukhin-Tarasov-Varchenko Theorem and a new invariant in enumerative real algebraic geometry. We also discovered a family of Schubert problems whose number of real solutions to a real osculating instance has a lower bound depending only on the number of defining flags with real osculation points.
We conclude that our method of computational investigation is effective for uncovering phenomena in enumerative real algebraic geometry. Furthermore, we point out that our square formulation for instances of Schubert problems may facilitate future experimentation by allowing one to solve instances using certifiable numerical methods in lieu of more computationally complex symbolic methods. Additionally, the methods we use for proving the congruence modulo four and for producing a