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)- \texttt{SubalgebraBases} in Macaulay2
- scientific article; zbMATH DE number 3894367 (Why is no real title available?)
- Numerical Properties of Fat Schemes with Special Support
- Effective algorithms for computing triangular operator in Schubert calculus
- Numerical Macaulification
- An intrinsic homotopy for intersecting algebraic varieties
- Numerical homotopies from Khovanskii bases
- Spherical Radon transform and the average of the condition number on certain Schubert subvarieties of a Grassmannian
- A sagbi basis for the quantum Grassmannian
- Pieri Homotopies for Problems in Enumerative Geometry Applied to Pole Placement in Linear Systems Control
- Certified numerical homotopy tracking
- Khovanskii bases, higher rank valuations, and tropical geometry
- Numerical Schubert calculus via the Littlewood-Richardson homotopy algorithm
- The special Schubert calculus is real
- On the solvability of polynomial systems arising in control
- Galois groups of Schubert problems via homotopy computation
- Real rational curves in Grassmannians
- Real Schubert Calculus: Polynomial Systems and a Conjecture of Shapiro and Shapiro
- Chern numbers of smooth varieties via homotopy continuation and intersection theory
- A primal-dual formulation for certifiable computations in Schubert calculus
- Solving Schubert problems with Littlewood-Richardson homotopies
- A lifted square formulation for certifiable Schubert calculus
- Numerical Evidence for a Conjecture in Real Algebraic Geometry
- 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)
