Nondegenerate Spheres in Four Dimensions
Name
454_2021_366_ReferencePDF.pdf
Size
457.46 KB
Format
Adobe PDF
Checksum (MD5)
aa0175403de5bc5417901876540e95af
Author(s)
Do, Thao
Date Issued
June 14, 2022
Journal
Discrete & Computational Geometry
Publisher
Springer US
Citation
Do, Thao. 2022. "Nondegenerate Spheres in Four Dimensions." Discrete & Computational Geometry, 68.
Version
Author's final manuscript
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.
MIT Department
Massachusetts Institute of Technology. Department of Mathematics
Terms of Use
Article is made available in accordance with the publisher's policy and may be subject to US copyright law. Please refer to the publisher's site for terms of use.
Persistent DSpace Link
DOI of Published Version
https://doi.org/10.1007/s00454-021-00366-5
