Some Quantitative Results in Real Algebraic Geometry
Salvador Barone

TL;DR
This thesis investigates quantitative measures of topological complexity in real algebraic geometry, providing bounds on Betti numbers, homotopy types, and a new decomposition theorem in o-minimal structures.
Contribution
It introduces new upper bounds on Betti numbers and homotopy types of semi-algebraic sets, and presents a more efficient decomposition theorem in o-minimal structures.
Findings
Established upper bounds on Betti numbers of semi-algebraic sets.
Bounded the number of homotopy types for sets with fixed description complexity.
Proposed a new decomposition theorem with fewer cells in o-minimal structures.
Abstract
Real algebraic geometry is the study of semi-algebraic sets, subsets of defined by Boolean combinations of polynomial equalities and inequalities. The focus of this thesis is to study quantitative results in real algebraic geometry, primarily upper bounds on the topological complexity of semi-algebraic sets as measured, for example, by their Betti numbers. Another quantitative measure of topological complexity which we study is the number of homotopy types of semi-algebraic sets of bounded description complexity. The description complexity of a semi-algebraic set depends on the context, but it is simply some measure of the complexity of the polynomials in the formula defining the semi-algebraic set (e.g., the degree and number of variables of a polynomial, the so called dense format). We also provide a description of the Hausdorff limit of a one-parameter family of semi-algebraic…
Peer Reviews
No public reviews on file for this paper yet. If you reviewed it on a platform where reviews are public (OpenReview, ICLR, NeurIPS, ICML), you can paste yours below so the community can read it here.
Videos
No videos yet. Explain this paper in a talk, walkthrough, or lecture? Add one.
Taxonomy
TopicsPolynomial and algebraic computation · Commutative Algebra and Its Applications · Computational Geometry and Mesh Generation
