On Minimal and Minimum Cylindrical Algebraic Decompositions

We consider cylindrical algebraic decompositions (CADs) as a tool for representing semi-algebraic subsets of \(\mathbb{R}^n\). In this framework, a CAD \(\mathscr{C}\) is adapted to a given set \(S\) if \(S\) is a union of cells of \(\mathscr{C}\). Different algorithms computing an adapted CAD may p...

Celý popis

Uloženo v:
Podrobná bibliografie
Vydáno v:arXiv.org
Hlavní autoři: Lucas, Michel, Mathonet, Pierre, Zénaïdi, Naïm
Médium: Paper
Jazyk:angličtina
Vydáno: Ithaca Cornell University Library, arXiv.org 20.11.2024
Témata:
Algebra
Algorithms
Decomposition
Set theory
ISSN:2331-8422
On-line přístup:Získat plný text
Tagy: Přidat tag
Žádné tagy, Buďte první, kdo vytvoří štítek k tomuto záznamu!
Popis
Shrnutí:We consider cylindrical algebraic decompositions (CADs) as a tool for representing semi-algebraic subsets of \(\mathbb{R}^n\). In this framework, a CAD \(\mathscr{C}\) is adapted to a given set \(S\) if \(S\) is a union of cells of \(\mathscr{C}\). Different algorithms computing an adapted CAD may produce different outputs, usually with redundant cell divisions. In this paper we analyse the possibility to remove the superfluous data. More precisely we consider the set CAD\((S)\) of CADs that are adapted to \(S\), endowed with the refinement partial order and we study the existence of minimal and minimum elements in this poset. We show that for every semi-algebraic set \(S\) of \(\mathbb{R}^n\) and every CAD \(\mathscr{C}\) adapted to \(S\), there is a minimal CAD adapted to \(S\) and smaller (i.e. coarser) than or equal to \(\mathscr{C}\). Moreover, when \(n=1\) or \(n=2\), we strengthen this result by proving the existence of a minimum element in CAD\((S)\). Astonishingly for \(n \geq 3\), there exist semi-algebraic sets whose associated poset of adapted CADs does not admit a minimum. We prove this result by providing explicit examples. We finally use a reduction relation on CAD\((S)\) to define an algorithm for the computation of minimal CADs. We conclude with a characterization of those semi-algebraic sets \(S\) for which CAD\((S)\) has a minimum by means of confluence of the associated reduction system.
Bibliografie:SourceType-Working Papers-1
ObjectType-Working Paper/Pre-Print-1
content type line 50
ISSN:2331-8422
DOI:10.48550/arxiv.2411.13218