Improved Bounds for Incidences Between Points and Circles

Abstract

We establish an improved upper bound for the number of incidences betweenmpoints andncircles in three dimensions. The previous best known bound, originally established for the planar case and later extended to any dimension ≥ 2, isO*(m2/3n2/3+m6/11n9/11+m+n), where theO*(⋅) notation hides polylogarithmic factors. Since all the points and circles may lie on a common plane (or sphere), it is impossible to improve the bound in ℝ3without first improving it in the plane.Nevertheless, we show that if the set of circles is required to be ‘truly three-dimensional’ in the sense that no sphere or plane contains more thanqof the circles, for someq≪n, then for any ϵ > 0 the bound can be improved to\[ O\bigl(m^{3/7+\eps}n^{6/7} + m^{2/3+\eps}n^{1/2}q^{1/6} + m^{6/11+\eps}n^{15/22}q^{3/22} + m + n\bigr). \]For various ranges of parameters (e.g., whenm= Θ(n) andq=o(n7/9)), this bound is smaller than the lower bound Ω*(m2/3n2/3+m+n), which holds in two dimensions.We present several extensions and applications of the new bound.(i)For the special case where all the circles have the same radius, we obtain the improved boundO(m5/11+ϵn9/11+m2/3+ϵn1/2q1/6+m+n).(ii)We present an improved analysis that removes the subpolynomial factors from the bound whenm=O(n3/2−ϵ) for any fixed ϵ < 0.(iii)We use our results to obtain the improved boundO(m15/7) for the number of mutually similar triangles determined by any set ofmpoints in ℝ3.Our result is obtained by applying the polynomial partitioning technique of Guth and Katz using a constant-degree partitioning polynomial (as was also recently used by Solymosi and Tao). We also rely on various additional tools from analytic, algebraic, and combinatorial geometry.