Nondegenerate spheres in four dimensions

From MaRDI portal
Publication:2167310



Abstract: Non-degeneracy was first defined for hyperplanes by Elekes-T'oth, and later extended to spheres by Apfelbaum-Sharir: given a set P of m points in mathbbRd and some , a (d−1)-dimensional sphere (or a (d−1)-sphere) S in mathbbRd is called -nondegenerate with respect to P if S does not contain a proper subsphere S′ such that . Apfelbaum-Sharir found an upper bound for the number of incidences between points and nondegenerate spheres in three dimensions, which was recently used by Zahl to obtain the best known bound for the unit distance problem in three dimensions. In this paper, we show that the number of incidences between m points and n -nondegenerate 3-spheres in mathbbR4 is . As a consequence, we obtain a bound of Ovarepsilon(n2+4/11+varepsilon) on the number of similar triangles formed by n points in mathbbR4, an improvement over the previously best known bound O(n2+2/5). While proving this, we find it convenient to work with a more general definition of nondegeneracy: a bipartite graph G=(P,Q) is called -nondegenerate if for any two distinct vertices q1,q2inQ; here N(q) denotes the set of neighbors of q and is some positive constant less than 1. A -nondegenerate graph can have up to Theta(|P||Q|) edges without any restriction, but must have much fewer edges if the graph is semi-algebraic or has bounded VC-dimension. We show that previous results for planes and spheres in three dimensions still hold under this new definition, and so does our new bound for spheres in four dimensions.




Cites work









This page was built for publication: Nondegenerate spheres in four dimensions

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2167310)