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.

On VC-minimal fields and dp-smallness

On dp-minimal fields

Almost real closed fields with real analytic structure

Definable henselian valuations on dp-minimal real fields

A Construction of Minimal Linear Codes from Partial Difference Sets

On non-abelian dp-minimal groups

The classification of dp-minimal integral domains

C-minimal fields have the exchange property

On dp-minimal expansions of the integers II

A note on uniform definability of types over finite sets in partial orders of finite width

A dichotomy for $T$-convex fields with a monomial group

Closed bounded sets in 1-h-minimal valued fields

Minimal Prüfer-Dress rings and products of idempotent matrices

$V$-minimal submanifolds

Approximation by $O$-minimal sets in power-bounded $T$-convex valued fields

Strongly minimal group relics of algebraically closed valued fields

Definable quotients in d-minimal structures

Minimal models for minimal BCOV theories

Strongly Minimal Relics of T-convex Fields

Visceral theories without assumptions

On Minimal and Minimum Cylindrical Algebraic Decompositions