Solving Schubert problems with Littlewood-Richardson homotopies

DOI10.1145/1837934.1837971zbMATH Open1321.68541arXiv1001.4125OpenAlexW2143746847MaRDI QIDQ2946537FDOQ2946537

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)

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.

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

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

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)

Cites Work

• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Rational invariants of a group action. Construction and rewriting
• Title not available (Why is that?)
• Differential invariants of a Lie group action: syzygies on a generating set
• Moving coframes. II: Regularization and theoretical foundations
• Title not available (Why is that?)
• Differential algebra for derivations with nontrivial commutation rules
• Generating differential invariants
• Smooth and algebraic invariants of a group action: Local and global constructions
• Invariants différentiels d'un pseudogroupe de Lie. II
• Differential invariants of conformal and projective surfaces
• Projective-type differential invariants and geometric curve evolutions of KdV-type in flat homogeneous manifolds
• Higher order contact of submanifolds of homogeneous spaces
• Invariants différentiels d'un pseudogroupe de Lie. I
• Title not available (Why is that?)
• Title not available (Why is that?)

Cited In (4)

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

Uses Software

• Macaulay2
• PHCpack
• DIFFALG
• AIDA
• NumericalSchubertCalculus

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)