200 research outputs found
Semi-algebraic Ramsey numbers
Given a finite point set , a -ary semi-algebraic
relation on is the set of -tuples of points in , which is
determined by a finite number of polynomial equations and inequalities in
real variables. The description complexity of such a relation is at most if
the number of polynomials and their degrees are all bounded by . The Ramsey
number is the minimum such that any -element point set
in equipped with a -ary semi-algebraic relation , such
that has complexity at most , contains members such that every
-tuple induced by them is in , or members such that every -tuple
induced by them is not in .
We give a new upper bound for for and fixed.
In particular, we show that for fixed integers , establishing a subexponential upper bound on .
This improves the previous bound of due to Conlon, Fox, Pach,
Sudakov, and Suk, where is a very large constant depending on and
. As an application, we give new estimates for a recently studied
Ramsey-type problem on hyperplane arrangements in . We also study
multi-color Ramsey numbers for triangles in our semi-algebraic setting,
achieving some partial results
An Efficient Algorithm for Generalized Polynomial Partitioning and Its Applications
In 2015, Guth proved that if S is a collection of n g-dimensional semi-algebraic sets in R^d and if D >= 1 is an integer, then there is a d-variate polynomial P of degree at most D so that each connected component of R^d Z(P) intersects O(n/D^{d-g}) sets from S. Such a polynomial is called a generalized partitioning polynomial. We present a randomized algorithm that computes such polynomials efficiently - the expected running time of our algorithm is linear in |S|. Our approach exploits the technique of quantifier elimination combined with that of epsilon-samples.
We present four applications of our result. The first is a data structure for answering point-enclosure queries among a family of semi-algebraic sets in R^d in O(log n) time, with storage complexity and expected preprocessing time of O(n^{d+epsilon}). The second is a data structure for answering range search queries with semi-algebraic ranges in O(log n) time, with O(n^{t+epsilon}) storage and expected preprocessing time, where t > 0 is an integer that depends on d and the description complexity of the ranges. The third is a data structure for answering vertical ray-shooting queries among semi-algebraic sets in R^{d} in O(log^2 n) time, with O(n^{d+epsilon}) storage and expected preprocessing time. The fourth is an efficient algorithm for cutting algebraic planar curves into pseudo-segments
Semi-algebraic colorings of complete graphs
We consider -colorings of the edges of a complete graph, where each color
class is defined semi-algebraically with bounded complexity. The case
was first studied by Alon et al., who applied this framework to obtain
surprisingly strong Ramsey-type results for intersection graphs of geometric
objects and for other graphs arising in computational geometry. Considering
larger values of is relevant, e.g., to problems concerning the number of
distinct distances determined by a point set.
For and , the classical Ramsey number is the
smallest positive integer such that any -coloring of the edges of ,
the complete graph on vertices, contains a monochromatic . It is a
longstanding open problem that goes back to Schur (1916) to decide whether
, for a fixed . We prove that this is true if each color
class is defined semi-algebraically with bounded complexity. The order of
magnitude of this bound is tight. Our proof is based on the Cutting Lemma of
Chazelle {\em et al.}, and on a Szemer\'edi-type regularity lemma for
multicolored semi-algebraic graphs, which is of independent interest. The same
technique is used to address the semi-algebraic variant of a more general
Ramsey-type problem of Erd\H{o}s and Shelah
Combinatorial Bounds in Distal Structures
We provide polynomial upper bounds for the minimal sizes of distal cell
decompositions in several kinds of distal structures, particularly weakly
-minimal and -minimal structures. The bound in general weakly -minimal
structures generalizes the vertical cell decomposition for semialgebraic sets,
and the bounds for vector spaces in both -minimal and -adic cases are
tight. We apply these bounds to Zarankiewicz's problem and sum-product bounds
in distal structures
Motion Planning via Manifold Samples
We present a general and modular algorithmic framework for path planning of
robots. Our framework combines geometric methods for exact and complete
analysis of low-dimensional configuration spaces, together with practical,
considerably simpler sampling-based approaches that are appropriate for higher
dimensions. In order to facilitate the transfer of advanced geometric
algorithms into practical use, we suggest taking samples that are entire
low-dimensional manifolds of the configuration space that capture the
connectivity of the configuration space much better than isolated point
samples. Geometric algorithms for analysis of low-dimensional manifolds then
provide powerful primitive operations. The modular design of the framework
enables independent optimization of each modular component. Indeed, we have
developed, implemented and optimized a primitive operation for complete and
exact combinatorial analysis of a certain set of manifolds, using arrangements
of curves of rational functions and concepts of generic programming. This in
turn enabled us to implement our framework for the concrete case of a polygonal
robot translating and rotating amidst polygonal obstacles. We demonstrate that
the integration of several carefully engineered components leads to significant
speedup over the popular PRM sampling-based algorithm, which represents the
more simplistic approach that is prevalent in practice. We foresee possible
extensions of our framework to solving high-dimensional problems beyond motion
planning.Comment: 18 page
On Range Searching with Semialgebraic Sets II
Let be a set of points in . We present a linear-size data
structure for answering range queries on with constant-complexity
semialgebraic sets as ranges, in time close to . It essentially
matches the performance of similar structures for simplex range searching, and,
for , significantly improves earlier solutions by the first two authors
obtained in~1994. This almost settles a long-standing open problem in range
searching.
The data structure is based on the polynomial-partitioning technique of Guth
and Katz [arXiv:1011.4105], which shows that for a parameter , , there exists a -variate polynomial of degree such that
each connected component of contains at most points
of , where is the zero set of . We present an efficient randomized
algorithm for computing such a polynomial partition, which is of independent
interest and is likely to have additional applications
- …