A Hybrid Procedure for Finding Real Points on a Real Algebraic Set
Motivated by the idea of Shen, et al.’s work, which proposed a hybrid procedure for real root isolation of polynomial equations based on homotopy continuation methods and interval analysis, this paper presents a hybrid procedure to compute sample points on each connected component of a real algebraic set by combining a special homotopy method and interval analysis with a better estimate on initial intervals. For a real algebraic set given by a polynomial system, the new method first constructs a square polynomial system which represents the sample points, and then solve this system by a special homotopy continuation method introduced recently by Wang, et al. (2017). For each root returned by the homotopy continuation method, which is a complex approximation of some (complex/real) root of the polynomial system, interval analysis is used to verify whether it is an approximation of a real root and finally get real points on the given real algebraic set. A new estimate on initial intervals is presented which helps compute smaller initial intervals before performing interval iteration and thus saves computation. Experiments show that the new method works pretty well on tested examples.
KeywordsHomotopy continuation interval arithmetic polynomial system real variety
Unable to display preview. Download preview PDF.
- Collins G, Quantifier elimination for real closed fields by cylindrical algebraic decompostion, Automata Theory and Formal Languages, LNCS 33, Springer, 1975, 134–183.Google Scholar
- Safey El Din M and Schost E, Polar varieties and computation of one point in each connected component of a smooth real algebraic set, Proc. ISSAC’03, Philadelphia, 2003, 224–231.Google Scholar
- Lu Y, Bates D J, Sommese A J, et al., Finding all real points of a complex curve, Algebra, Geometry and Their Interactions, 2006.Google Scholar
- Wu W and Reid G, Finding points on real solution components and applications to differential polynomial systems, Proc. ISSAC’13, Boston, 2013, 339–346.Google Scholar
- Shen F, Wu W, and Xia B, Real root isolation of polynomial equations based on hybrid computation, Computer Mathematics: 9th Asian Symposium (ASCM 2009), Eds. by Feng R, Lee W S, and Sato Y, Beijing, 2014, 375–396.Google Scholar
- Sommese A J, Verschelde J, and Wampler C W, Numerical algebraic geometry, The Mathematics of Numerical Analysis, volume 32 of Lectures in Applied Mathematics, AMS, 1996, 749–763.Google Scholar
- Moore R E, Methods and Application of Interval Analysis, Philadelphia, SIAM, 1995.Google Scholar
- Rump S M, INTLAB — INTerval LABoratory, Developments in Reliable Computing, Ed. by Csendes T, Kluwer Academic Publishers, Dordrecht, 1999, 77–104.Google Scholar