Title
A primal-dual formulation for certifiable computations in Schubert calculus
Abstract
Formulating a Schubert problem as solutions to a system of equations in either Plücker space or 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.
Year
DOI
Venue
2016
10.1007/s10208-015-9270-z
Foundations of Computational Mathematics
Keywords
Field
DocType
Schubert calculus,Square systems,Certification,14N15,14Q20
Plucker,Algebra,Generalized flag variety,System of linear equations,Local coordinates,Mathematical analysis,Schubert calculus,Pure mathematics,System of bilinear equations,Grassmannian,Schubert variety,Mathematics
Journal
Volume
Issue
ISSN
16
4
1615-3375
Citations 
PageRank 
References 
0
0.34
14
Authors
3
Name
Order
Citations
PageRank
Jonathan D. Hauenstein126937.65
Nickolas Hein261.54
Frank Sottile3265.10