Abstract: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.

Computing Cylindrical Algebraic Decomposition Via Triangular Decomposition

A Geometric Approach to Cylindrical Algebraic Decomposition

Computing with Semi-Algebraic Sets Represented by Triangular Decomposition

Cylindrical Algebraic Decomposition Using Local Projections

Cylindrical Algebraic Decomposition With Frontier Condition

Cylindrical Algebraic Sub-Decompositions

Triangular Decomposition of Semi-algebraic Systems

Algebraic algorithms for computing intersections between Torus and natural Quadrics

Choosing a variable ordering for truth-table invariant cylindrical algebraic decomposition by incremental triangular decomposition

Stability of Triangular Decomposition and Comprehensive Triangular Decomposition

Hierarchical Comprehensive Triangular Decomposition.

Operational Flexibility Analysis of High-Dimensional Systems via Cylindrical Algebraic Decomposition

An improvement upon unmixed decomposition of an algebraic variety

Flexibility Analysis Of High-Dimensional Systems Via Cylindrial Algebraic Decomposition

On Minimal and Minimum Cylindrical Algebraic Decompositions

Choosing the Variable Ordering for Cylindrical Algebraic Decomposition Via Exploiting Chordal Structure.

Square-Free Pure Triangular Decomposition of Zero-Dimensional Polynomial Systems

Modified Affine Arithmetic in Tensor Form for Trivariate Polynomial Evaluation and Algebraic Surface Plotting

On SVD and Polar Decomposition in Real and Complexified Clifford Algebras

Generic Regular Decompositions for Parametric Polynomial Systems

On Projective Delineability