Smooth points on semi-algebraic sets. (May 2023)

• Record Type: Journal Article
• Authors: Harris, Katherine; Hauenstein, Jonathan D.; Szanto, Agnes
• Is Part Of: Journal of symbolic computation. Volume 116(2023)
• Page Start: 183
• Page End: 212
• Publication Date: 2023-05
• Subjects: Computational real algebraic geometry -- Real smooth points -- Real dimension -- Polar varieties -- Numerical algebraic geometry -- Kuramoto model; Mathematics -- Data processing -- Periodicals; Numerical analysis -- Data processing -- Periodicals; Automatic programming (Computer science) -- Periodicals; Mathématiques -- Informatique -- Périodiques; Analyse numérique -- Informatique -- Périodiques; Programmation automatique -- Périodiques; Automatic programming (Computer science); Mathematics -- Data processing; Numerical analysis -- Data processing; Periodicals; Electronic journals; 510.285
• DOI: 10.1016/j.jsc.2022.09.003
• Languages: English
• ISSNs: 0747-7171

Abstract

Abstract: Many algorithms for determining properties of real algebraic or semi-algebraic sets rely upon the ability to compute smooth points. In this paper, we present a procedure based on computing the critical points of some well-chosen function that guarantees the computation of smooth points in each bounded connected component of a (real) atomic semi-algebraic set. Our technique is intuitive in principal, performs well on previously difficult examples, and is straightforward to implement using existing numerical algebraic geometry software. The practical efficiency of our approach is demonstrated by solving a conjecture on the number of equilibria of the Kuramoto model for the n = 4 case. We also apply our method to design an algorithm to compute the real dimension of algebraic sets, the original motivation for this research. We compare the efficiency of our method to existing methods to compute the real dimension on a benchmark family.