Current browse context:
math.AG
Change to browse by:
References & Citations
Mathematics > Algebraic Geometry
Title: A primal-dual formulation for certifiable computations in Schubert calculus
(Submitted on 3 Jun 2014 (v1), last revised 20 Mar 2015 (this version, v2))
Abstract: 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.
Submission history
From: Frank Sottile [view email][v1] Tue, 3 Jun 2014 20:18:33 GMT (24kb)
[v2] Fri, 20 Mar 2015 11:58:22 GMT (25kb)
Link back to: arXiv, form interface, contact.