Solving Schubert problems with Littlewood-Richardson homotopies

DOI10.1145/1837934.1837971MaRDI QIDQ2946537zbMATH OpenOpenAlexFDO

Authors R. Vakil, J. Verschelde, Frank Sottile

Publication date 17 September 2015

Published in Proceedings of the 2010 International Symposium on Symbolic and Algebraic Computation (Search for Journal in Brave)

Full work available at URL https://arxiv.org/abs/1001.4125

zbMATH Keywords

continuationpolynomial systemGrassmannianpath followinghomotopiesgeometric Littlewood-Richardson rulenumerical Schubert calculusSchubert problems

Mathematics Subject Classification ID

Symbolic computation and algebraic computation (68W30) Grassmannians, Schubert varieties, flag manifolds (14M15) Classical problems, Schubert calculus (14N15)

Abstract: We present a new numerical homotopy continuation algorithm for finding all solutions to Schubert problems on Grassmannians. This Littlewood-Richardson homotopy is based on Vakil's geometric proof of the Littlewood-Richardson rule. Its start solutions are given by linear equations and they are tracked through a sequence of homotopies encoded by certain checker configurations to find the solutions to a given Schubert problem. For generic Schubert problems the number of paths tracked is optimal. The Littlewood-Richardson homotopy algorithm is implemented using the path trackers of the software package PHCpack.

Recommendations

• Numerical Schubert calculus via the Littlewood-Richardson homotopy algorithm
• Pieri’S Formula Via Explicit Rational Equivalence
• Numerical Schubert calculus
• Numerical Schubert Calculus by the Pieri Homotopy Algorithm
• Numerical homotopies from Khovanskii bases

Cites work

• scientific article; zbMATH DE number 3762913 (Why is no real title available?)
• scientific article; zbMATH DE number 45257 (Why is no real title available?)
• scientific article; zbMATH DE number 3490133 (Why is no real title available?)
• scientific article; zbMATH DE number 2038305 (Why is no real title available?)
• scientific article; zbMATH DE number 2142844 (Why is no real title available?)
• scientific article; zbMATH DE number 3015982 (Why is no real title available?)
• scientific article; zbMATH DE number 802623 (Why is no real title available?)
• Differential algebra for derivations with nontrivial commutation rules
• Differential invariants of a Lie group action: syzygies on a generating set
• Differential invariants of conformal and projective surfaces
• Generating differential invariants
• Higher order contact of submanifolds of homogeneous spaces
• Invariants différentiels d'un pseudogroupe de Lie. I
• Invariants différentiels d'un pseudogroupe de Lie. II
• Moving coframes. II: Regularization and theoretical foundations
• Projective-type differential invariants and geometric curve evolutions of KdV-type in flat homogeneous manifolds
• Rational invariants of a group action. Construction and rewriting
• Smooth and algebraic invariants of a group action: Local and global constructions

Cited in

(4)

• Numerical Schubert calculus via the Littlewood-Richardson homotopy algorithm
• Solving determinantal systems using homotopy techniques
• A primal-dual formulation for certifiable computations in Schubert calculus
• A lifted square formulation for certifiable Schubert calculus

Describes a project that uses

Uses Software

• NumericalSchubertCalculus
• AIDA
• DIFFALG
• PHCpack
• Macaulay2

This page was built for publication: Solving Schubert problems with Littlewood-Richardson homotopies

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2946537)