2011
DOI: 10.1007/s00454-011-9391-3
|View full text |Cite
|
Sign up to set email alerts
|

Refined Bounds on the Number of Connected Components of Sign Conditions on a Variety

Abstract: Let R be a real closed field, P, Q ⊂ R[X 1 , . . . , X k ] finite subsets of polynomials, with the degrees of the polynomials in P (resp., Q) bounded by d (resp., d 0 ). Let V ⊂ R k be the real algebraic variety defined by the polynomials in Q and suppose that the real dimension of V is bounded by k . We prove that the number of semi-algebraically connected components of the realizations of all realizable sign conditions of the family P on V is bounded by k j =0

Help me understand this report

Search citation statements

Order By: Relevance

Paper Sections

Select...
2
1
1
1

Citation Types

2
95
0

Year Published

2012
2012
2022
2022

Publication Types

Select...
4
1
1

Relationship

0
6

Authors

Journals

citations
Cited by 44 publications
(101 citation statements)
references
References 26 publications
(43 reference statements)
2
95
0
Order By: Relevance
“…In the latter case we apply a generalization of a classical result established independently by Oleinik and Petrovsky [32], Milnor [29], and Thom [51], such that the number of connected components of ℓ\{Q = 0} is at most O(C k 1 ); we give a proof of this fact in Theorem A.2. Recently a more general bound was proved by Barone and Basu [4].…”
Section: L|mentioning
confidence: 96%
See 1 more Smart Citation
“…In the latter case we apply a generalization of a classical result established independently by Oleinik and Petrovsky [32], Milnor [29], and Thom [51], such that the number of connected components of ℓ\{Q = 0} is at most O(C k 1 ); we give a proof of this fact in Theorem A.2. Recently a more general bound was proved by Barone and Basu [4].…”
Section: L|mentioning
confidence: 96%
“…) Recently a more general bound was presented by Barone and Basu [4]. They gave tight estimates on the dependence on the various parameters which are hidden in the big-Oh notation in Theorem A.2.…”
Section: This Implies Thatmentioning
confidence: 98%
“…The state-of-the-art upper bounds are by (i) Chan [6], who, building on many earlier results, provides a linear-size data structure with O(n log n) expected preprocessing time and O(n 1−1/d ) query time, and (ii) Matoušek [22], who provides a data structure with O(n d ) storage, O((log n) d+1 ) query time, and O(n d (log n) ε ) preprocessing time. 3 A trade-off between space and query time can be obtained by combining these two data structures [22].…”
Section: Introductionmentioning
confidence: 99%
“…Theorem 2.5 (Barone and Basu [BB12]). Let V be a k-dimensional algebraic variety in R d defined by a finite set F of d-variate real polynomials, each of degree at most D, and let G be a set of s polynomials of degree at most E ≥ D. Then the number of those cells of the arrangement of the zero sets of F ∪ G that are contained in V is bounded by…”
Section: Algebraic Preliminariesmentioning
confidence: 99%
“…Moreover, using a more recent result of Barone and Basu [BB12] discussed below, one obtains that an algebraic variety X of dimension k defined by polynomials of constant-bounded degrees crosses at most O(r k/d ) components of R d \ Z(f ). In this respect, polynomial partitions match the performance of simplicial partitions concerning hyperplanes and give a crucial advantage for other varieties.…”
Section: Introductionmentioning
confidence: 97%