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.