Current browse context:
cs.CG
Change to browse by:
References & Citations
Computer Science > Computational Geometry
Title: On the Average Complexity of the $k$-Level
(Submitted on 6 Nov 2019 (this version), latest version 9 Mar 2020 (v2))
Abstract: Let ${\cal A}$ be an arrangement of $n$ lines in the Euclidean plane. The <i>$k$-level<i> of ${\cal A}$ consists of all intersection points $v$ of lines in ${\cal A}$ which have exactly $k$ lines of ${\cal A}$ passing below $v$. The complexity of the $k$-level in a line arrangement has been widely studied. In 1998 Dey proved an upper bound of $O(n\cdot (k+1)^{1/3})$. We investigate the complexity of $k$-levels in random line and hyperplane arrangements. When the arrangement is obtained from any fixed projective line arrangement of $n$ lines by choosing a random cell to contain the south-pole, we prove an upper bound of $O((k+1)^2)$ on the expected complexity of the $k$-level. As a byproduct we show that the complexity of any ($\leq j$)-zone in a $d$-dimensional simple arrangement of $n$ hyperplanes is of order $\Theta((j+1)n^{d-1})$. The classical zone theorem is the case $j=0$.
We also consider arrangements of great $(d-1)$-spheres on the sphere $\mathbb{S}^d$ which are orthogonal to a set of random points on $\mathbb{S}^d$. In this model we prove that the expected complexity of the $k$-level is of order $\Theta((k+1)^{d-1})$.
Submission history
From: Manfred Scheucher [view email][v1] Wed, 6 Nov 2019 14:25:19 GMT (354kb,D)
[v2] Mon, 9 Mar 2020 12:46:55 GMT (328kb,D)
Link back to: arXiv, form interface, contact.