Symbolic computation and algebraic computation (68W30) Gröbner bases; other bases for ideals and modules (e.g., Janet and border bases) (13P10) Global methods, including homotopy approaches to the numerical solution of nonlinear equations (65H20) Enumerative problems (combinatorial problems) in algebraic geometry (14N10) Configurations and arrangements of linear subspaces (14N20) Computational aspects of higher-dimensional varieties (14Q15)
Abstract: We develop numerical homotopy algorithms for solving systems of polynomial equations arising from the classical Schubert calculus. These homotopies are optimal in that generically no paths diverge. For problems defined by hypersurface Schubert conditions we give two algorithms based on extrinsic deformations of the Grassmannian: one is derived from a Gr"obner basis for the Pl"ucker ideal of the Grassmannian and the other from a SAGBI basis for its projective coordinate ring. The more general case of special Schubert conditions is solved by delicate intrinsic deformations, called Pieri homotopies, which first arose in the study of enumerative geometry over the real numbers. Computational results are presented and applications to control theory are discussed.
Recommendations
- Numerical Schubert Calculus by the Pieri Homotopy Algorithm
- Numerical Schubert calculus via the Littlewood-Richardson homotopy algorithm
- Numerical algebraic geometry
- scientific article; zbMATH DE number 953044
- scientific article; zbMATH DE number 563656
- An arithmetic Schubert calculus
- scientific article; zbMATH DE number 3946345
- Generalized Schubert calculus
- scientific article; zbMATH DE number 4067098
- scientific article; zbMATH DE number 3927106
Cited in
(24)- Numerical Schubert calculus via the Littlewood-Richardson homotopy algorithm
- On the solvability of polynomial systems arising in control
- Numerical Properties of Fat Schemes with Special Support
- The special Schubert calculus is real
- Real Schubert Calculus: Polynomial Systems and a Conjecture of Shapiro and Shapiro
- Galois groups of Schubert problems via homotopy computation
- Spherical Radon transform and the average of the condition number on certain Schubert subvarieties of a Grassmannian
- Khovanskii bases, higher rank valuations, and tropical geometry
- \texttt{SubalgebraBases} in Macaulay2
- Numerical homotopies from Khovanskii bases
- An intrinsic homotopy for intersecting algebraic varieties
- Effective algorithms for computing triangular operator in Schubert calculus
- Real rational curves in Grassmannians
- A primal-dual formulation for certifiable computations in Schubert calculus
- Pieri Homotopies for Problems in Enumerative Geometry Applied to Pole Placement in Linear Systems Control
- Chern numbers of smooth varieties via homotopy continuation and intersection theory
- Numerical Macaulification
- A sagbi basis for the quantum Grassmannian
- scientific article; zbMATH DE number 3894367 (Why is no real title available?)
- Numerical Evidence for a Conjecture in Real Algebraic Geometry
- A lifted square formulation for certifiable Schubert calculus
- Certified numerical homotopy tracking
- Solving Schubert problems with Littlewood-Richardson homotopies
- Numerical Schubert Calculus by the Pieri Homotopy Algorithm
This page was built for publication: Numerical Schubert calculus
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1281850)
