A General Incidence Bound in ${\mathbb R}^d$ and Related Problems

We derive a general upper bound for the number of incidences with $k$-dimensional varieties in ${\mathbb R}^d$. The leading term of this new bound generalizes previous bounds for the special cases of $k=1, k=d-1,$ and $k= d/2$, to every $1\le k <d$. We derive lower bounds showing that this leading term is tight in various cases. We derive a bound for incidences with transverse varieties, generalizing a result of Solymosi and Tao. Finally, we derive a bound for incidences with hyperplanes in ${\mathbb C}^d$, which is also tight in some cases. (In both ${\mathbb R}^d$ and ${\mathbb C}^d$, the bounds are tight up to sub-polynomial factors.) To prove our incidence bounds, we define the \emph{dimension ratio} of an incidence problem. This ratio provides an intuitive approach for deriving incidence bounds and isolating the main difficulties in each proof. We rely on the dimension ratio both in ${\mathbb R}^d$ and in ${\mathbb C}^d$, and also in some of our lower bounds.

[1]  Micha Sharir,et al.  Incidences between points and lines in R4: Extended Abstract , 2014, SoCG.

[2]  J. Bourgain,et al.  New Bounds for the Discrete Fourier Restriction to the Sphere in 4D and 5D , 2014 .

[3]  Jiri Matousek,et al.  Lectures on discrete geometry , 2002, Graduate texts in mathematics.

[4]  Saugata Basu,et al.  Refined Bounds on the Number of Connected Components of Sign Conditions on a Variety , 2011, Discret. Comput. Geom..

[5]  Micha Sharir,et al.  Large Complete Bipartite Subgraphs In Incidence Graphs Of Points And Hyperplanes , 2007, SIAM J. Discret. Math..

[6]  Micha Sharir,et al.  Incidences with Curves in ℝ d , 2015, ESA.

[7]  Micha Sharir,et al.  Incidences with Curves in R , 2016 .

[8]  J JacobFox,et al.  A semi-algebraic version of Zarankiewicz's problem , 2014 .

[9]  J. Bourgain,et al.  A Problem on Sums of Two Squares , 2014 .

[10]  Marie-Françoise Roy,et al.  Real algebraic geometry , 1992 .

[11]  Micha Sharir,et al.  Incidences with curves in R^d , 2015 .

[12]  József Solymosi,et al.  An Incidence Theorem in Higher Dimensions , 2012, Discret. Comput. Geom..

[13]  Saugata Basu,et al.  Polynomial Partitioning on Varieties of Codimension Two and Point-Hypersurface Incidences in Four Dimensions , 2014, Discret. Comput. Geom..

[14]  Adam Sheffer,et al.  Lower bounds for incidences with hypersurfaces , 2015, 1511.03298.

[15]  Joshua Zahl,et al.  Cutting algebraic curves into pseudo-segments and applications , 2016, J. Comb. Theory A.

[16]  L. Guth,et al.  On the Erdős distinct distances problem in the plane , 2015 .

[17]  J. Pach,et al.  A semi-algebraic version of Zarankiewicz's problem , 2014, 1407.5705.