23
Views
5
CrossRef citations to date
0
Altmetric
Original Articles

Numerical Evidence for a Conjecture in Real Algebraic Geometry

Pages 183-196 | Published online: 04 Apr 2012
 

Abstract

Homotopies provide computational evidence for a challenging instance of a conjecture about whether all solutions are real. By a homotopy we mean a family of polynomial systems that describes algebraically the geometric transition from an easier configuration in special position into the general configuration for the problem we want to solve. The solutions to our problem lie at the end of the solution paths we trace with numerical continuation methods starting at the solutions of the easier, special problem. The numerical difficulties are overcome if we work in the true synthetic spirit of the Schubert calculus, selecting the numerically most favorable equations to represent the geometric problem. Since a well-conditioned polynomial system allows perturbations on the input data without destroying the reality of the solutions we obtain not just one instance, but a whole manifold of systemsthat satisfy the conjecture. Also an instance that involves totally positive matrices has been verified. The optimality of the solving procedure is a promising first step towards the development of numerically stable algorithms for the pole placement problem in linear systems theory.

Reprints and Corporate Permissions

Please note: Selecting permissions does not provide access to the full text of the article, please see our help page How do I view content?

To request a reprint or corporate permissions for this article, please click on the relevant link below:

Academic Permissions

Please note: Selecting permissions does not provide access to the full text of the article, please see our help page How do I view content?

Obtain permissions instantly via Rightslink by clicking on the button below:

If you are unable to obtain permissions via Rightslink, please complete and submit this Permissions form. For more information, please visit our Permissions help page.