9 research outputs found
A Szemeredi-Trotter type theorem in
We show that points and two-dimensional algebraic surfaces in
can have at most
incidences, provided that the
algebraic surfaces behave like pseudoflats with degrees of freedom, and
that . As a special case, we obtain a
Szemer\'edi-Trotter type theorem for 2--planes in , provided
and the planes intersect transversely. As a further special case, we
obtain a Szemer\'edi-Trotter type theorem for complex lines in
with no restrictions on and (this theorem was originally proved by
T\'oth using a different method). As a third special case, we obtain a
Szemer\'edi-Trotter type theorem for complex unit circles in . We
obtain our results by combining several tools, including a two-level analogue
of the discrete polynomial partitioning theorem and the crossing lemma.Comment: 50 pages. V3: final version. To appear in Discrete and Computational
Geometr
An improved bound on the number of point-surface incidences in three dimensions
We show that points and smooth algebraic surfaces of bounded degree
in satisfying suitable nondegeneracy conditions can have at most
incidences, provided that any
collection of points have at most O(1) surfaces passing through all of
them, for some . In the case where the surfaces are spheres and no
three spheres meet in a common circle, this implies there are point-sphere incidences. This is a slight improvement over the previous
bound of for an (explicit) very
slowly growing function. We obtain this bound by using the discrete polynomial
ham sandwich theorem to cut into open cells adapted to the set
of points, and within each cell of the decomposition we apply a Turan-type
theorem to obtain crude control on the number of point-surface incidences. We
then perform a second polynomial ham sandwich decomposition on the irreducible
components of the variety defined by the first decomposition. As an
application, we obtain a new bound on the maximum number of unit distances
amongst points in .Comment: 17 pages, revised based on referee comment
On the number of rich lines in truly high dimensional sets
We prove a new upper bound on the number of -rich lines (lines with at
least points) in a `truly' -dimensional configuration of points
. More formally, we show that, if the number
of -rich lines is significantly larger than then there must exist
a large subset of the points contained in a hyperplane. We conjecture that the
factor can be replaced with a tight . If true, this would
generalize the classic Szemer\'edi-Trotter theorem which gives a bound of
on the number of -rich lines in a planar configuration. This
conjecture was shown to hold in in the seminal work of Guth and
Katz \cite{GK10} and was also recently proved over (under some
additional restrictions) \cite{SS14}. For the special case of arithmetic
progressions ( collinear points that are evenly distanced) we give a bound
that is tight up to low order terms, showing that a -dimensional grid
achieves the largest number of -term progressions.
The main ingredient in the proof is a new method to find a low degree
polynomial that vanishes on many of the rich lines. Unlike previous
applications of the polynomial method, we do not find this polynomial by
interpolation. The starting observation is that the degree Veronese
embedding takes -collinear points to linearly dependent images. Hence,
each collinear -tuple of points, gives us a dependent -tuple of images.
We then use the design-matrix method of \cite{BDWY12} to convert these 'local'
linear dependencies into a global one, showing that all the images lie in a
hyperplane. This then translates into a low degree polynomial vanishing on the
original set