English

Incidences between points and curves with almost two degrees of freedom

Computational Geometry 2020-06-24 v3 Combinatorics

Abstract

We study incidences between points and algebraic curves in three dimensions, taken from a family CC of curves that have almost two degrees of freedom, meaning that every pair of curves intersect in O(1)O(1) points, for any pair of points pp, qq, there are only O(1)O(1) curves of CC that pass through both points, and a pair pp, qq of points admit a curve of CC that passes through both of them iff F(p,q)=0F(p,q)=0 for some polynomial FF. We study two specific instances, one involving unit circles in R3R^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 R3R^3 have almost two degrees of freedom. We show that the number of incidences between mm points and nn anchored unit circles in R3R^3, as well as the number of tangencies between mm directed points and nn arbitrary circles in the plane, is O(m3/5n3/5+m+n)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 R3R^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(m3/5n3/5+m+n)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.

Cite

@article{arxiv.2003.02190,
  title  = {Incidences between points and curves with almost two degrees of freedom},
  author = {Micha Sharir and Noam Solomon and Oleg Zlydenko},
  journal= {arXiv preprint arXiv:2003.02190},
  year   = {2020}
}

Comments

Author Noam Solomon added. Some revisions