Computing roadmaps in unbounded smooth real algebraic sets I: Connectivity results

Answering connectivity queries in real algebraic sets is a fundamental problem in effective real algebraic geometry that finds many applications in e.g. robotics where motion planning issues are topical. This computational problem is tackled through the computation of so-called roadmaps which are re...

Celý popis

Uložené v:
Podrobná bibliografia
Vydané v:Journal of symbolic computation Ročník 120; s. 102234
Hlavní autori: Prébet, Rémi, Safey El Din, Mohab, Schost, Éric
Médium: Journal Article
Jazyk:English
Vydavateľské údaje: Elsevier Ltd 01.01.2024
Elsevier
Predmet:
Algebraic Geometry
Computational real algebraic geometry
Computer Science
Critical points
Mathematics
Real algebraic sets
Roadmaps
Symbolic Computation
14Q30
68W30
Critical points
14Q20
Real algebraic sets
14P05
Roadmaps
Computational real algebraic geometry
ISSN:0747-7171, 1095-855X
On-line prístup:Získať plný text
Tagy: Pridať tag
Žiadne tagy, Buďte prvý, kto otaguje tento záznam!
Popis
Shrnutí:Answering connectivity queries in real algebraic sets is a fundamental problem in effective real algebraic geometry that finds many applications in e.g. robotics where motion planning issues are topical. This computational problem is tackled through the computation of so-called roadmaps which are real algebraic subsets of the set V under study, of dimension at most one, and which have a connected intersection with all semi-algebraically connected components of V. Algorithms for computing roadmaps rely on statements establishing connectivity properties of some well-chosen subsets of V, assuming that V is bounded. In this paper, we extend such connectivity statements by dropping the boundedness assumption on V. This exploits properties of so-called generalized polar varieties, which are critical loci of V for some well-chosen polynomial maps.
ISSN:0747-7171
1095-855X
DOI:10.1016/j.jsc.2023.102234