Incidences between points and curves with almost two degrees of freedom

We study incidences between points and algebraic curves in three dimensions, taken from a family $C$ of curves that have almost two degrees of freedom, meaning that every pair of curves intersect in $O(1)$ points, for any pair of points $p$, $q$, there are only $O(1)$ curves of $C$ that pass through both points, and a pair $p$, $q$ of points admit a curve of $C$ that passes through both of them iff $F(p,q)=0$ for some polynomial $F$. We study two specific instances, one involving unit circles in $R^3$ that pass through some fixed point (so called anchored unit circles), and the other involving tangencies between directed points (points and directions) and circles in the plane; a directed point is tangent to a circle if the point lies on the circle and the direction is the tangent direction. A lifting transformation of Ellenberg et al. maps these tangencies to incidences between points and curves in three dimensions. In both instances the curves in $R^3$ have almost two degrees of freedom. We show that the number of incidences between $m$ points and $n$ anchored unit circles in $R^3$, as well as the number of tangencies between $m$ directed points and $n$ arbitrary circles in the plane, is $O(m^{3/5}n^{3/5}+m+n)$. We derive a similar incidence bound, with a few additional terms, for more general families of curves in $R^3$ with almost two degrees of freedom. The proofs follow standard techniques, based on polynomial partitioning, but face a novel issue involving surfaces that are infinitely ruled by the respective family of curves, as well as surfaces in a dual 3D space that are infinitely ruled by the respective family of suitably defined dual curves. The general bound that we obtain is $O(m^{3/5}n^{3/5}+m+n)$ plus additional terms that depend on how many curves or dual curves can lie on an infinitely-ruled surface.

[1]  Gábor Tardos,et al.  Intersection reverse sequences and geometric applications , 2004, J. Comb. Theory, Ser. A.

[2]  Joshua Zahl,et al.  Breaking the 3/2 barrier for unit distances in three dimensions , 2017, International Mathematics Research Notices.

[3]  Arnaud Bodin,et al.  Families of polynomials and their specializations , 2015, 1510.06145.

[4]  Micha Sharir,et al.  On the Number of Incidences Between Points and Curves , 1998, Combinatorics, Probability and Computing.

[5]  Endre Szemerédi,et al.  Extremal problems in discrete geometry , 1983, Comb..

[6]  Donal O'Shea,et al.  Ideals, varieties, and algorithms - an introduction to computational algebraic geometry and commutative algebra (2. ed.) , 1997, Undergraduate texts in mathematics.

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

[8]  Joachim von zur Gathen,et al.  Irreducibility of Multivariate Polynomials , 1985, J. Comput. Syst. Sci..

[9]  Larry Guth,et al.  Algebraic curves, rich points, and doubly-ruled surfaces , 2015, ArXiv.

[10]  L. Guth Polynomial partitioning for a set of varieties , 2014, Mathematical Proceedings of the Cambridge Philosophical Society.

[11]  Joshua Zahl,et al.  Improved bounds for incidences between points and circles , 2012, SoCG '13.

[12]  Micha Sharir,et al.  Lenses in arrangements of pseudo-circles and their applications , 2004, JACM.

[13]  Niels Lubbes,et al.  Surfaces that are covered by two families of circles , 2013, 1302.6710.

[14]  Micha Sharir,et al.  Incidences with curves and surfaces in three dimensions, with applications to distinct and repeated distances , 2017, SODA.

[15]  Joshua Zahl,et al.  New bounds on curve tangencies and orthogonalities , 2015, ArXiv.