Nondegenerate Spheres in Four Dimensions

Abstract

Abstract Non-degeneracy was first defined for hyperplanes by Elekes–Tóth, and later extended to spheres by Apfelbaum–Sharir: given a set P of m points in

$$\mathbb {R}^d$$

R

d

and some

$$\beta \in (0,1)$$

β ∈ ( 0 , 1 )

, a

$$(d-1)$$

( d - 1 )

-dimensional sphere (or a

$$(d-1)$$

( d - 1 )

-sphere) S in

$$\mathbb {R}^d$$

R

d

is called

$$\beta $$

β

-nondegenerate with respect to P if S does not contain a proper subsphere

$$S'$$

S ′

such that

$$|S'\cap P|\ge \beta |S\cap P|$$

|

S ′

∩ P | ≥ β | S ∩ P |

. Apfelbaum–Sharir found an upper bound for the number of incidences between points and nondegenerate spheres in

$$\mathbb {R}^3$$

R

3

, 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

$$\beta $$

β

-nondegenerate 3-spheres in

$$\mathbb {R}^4$$

R

4

is

$$O_{\beta ,\varepsilon }(m^{{15}/{19}+\varepsilon }n^{{16}/{19}}+mn^{{2}/{3}})$$

O

β , ε

(

m

15 / 19 + ε

n

16 / 19

+ m

n

2 / 3

)

. As a consequence, we obtain a bound of

$$O_{\varepsilon }(n^{2+4/11+\varepsilon })$$

O ε

(

n

2 + 4 / 11 + ε

)

on the number of similar triangles formed by n points in

$$\mathbb {R}^4$$

R

4

, an improvement over the previously best known bound

$$O(n^{2+2/5})$$

O (

n

2 + 2 / 5

)

. While proving this, we find it convenient to work with a more general definition of nondegeneracy: a bipartite graph

$$G=(P,Q)$$

G = ( P , Q )

is called

$$\beta $$

β

-nondegenerate if

$$|N(q_1)\cap N(q_2)|<\beta |N(q_1)|$$

| N

(

q 1

)

∩ N

(

q 2

)

| < β | N

(

q 1

)

|

for any two distinct vertices

$$q_1,q_2\in Q$$

q 1

,

q 2

∈ Q

; here N(q) denotes the set of neighbors of q and

$$\beta $$

β

is some positive constant less than 1. A

$$\beta $$

β

-nondegenerate graph can have up to

$$\Theta (|P||Q|)$$

Θ ( | 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 Elekes–Tóth’s bound for nondegenerate hyperplanes, Apfelbaum–Sharir’s bound for nondegenerate spheres in

$$\mathbb {R}^3$$

R

3

, and our new bound for nondegenerate spheres in

$$\mathbb {R}^4$$

R

4

, all hold under this new definition.