[논문 리뷰] On the Average Complexity of the $k$-Level

Man-Kwun Chiu, Stefan Felsner외 4명|arXiv (Cornell University)|2019. 11. 06.

Computational Geometry and Mesh Generation참고 문헌 22인용 수 1

한 줄 요약

이 논문은 구 위의 무작위 큰 원 배열에서 k-레벨의 기대 복잡도에 대한 처음으로 비자명한 상계를 확립하며, 남극이 균일하게 무작위로 선택될 경우 이 복잡도가 O((k+1)²)임을 보여준다. 또한 이 결과를 d차원 구로 일반화하여, 무작위 큰 (d−1)-구에서 기대 k-레벨 복잡도가 Θ((k+1)^{d−1})임을 증명한다. 이 결과들은 구 거리의 확률적 분석과 베타 함수 적분을 통해 도출되었으며, 무작위 점 집합에서의 k-세트 및 선 배열에서의 k-레벨과의 관련이 있다.

ABSTRACT

$ ewcommand{\LL}{\mathcal{L}} ewcommand{\SS}{\mathcal{S}}$Let \(\LL\) be an arrangement of \(n\) lines in the Euclidean plane. The \(k\)-level of \(\LL\) consists of all vertices \(v\) of the arrangement which have exactly \(k\) lines of \(\LL\) passing below \(v\). The complexity (the maximum size) 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})\). Due to the correspondence between lines in the plane and great-circles on the sphere, the asymptotic bounds carry over to arrangements of great-circles on the sphere, where the \(k\)-level denotes the vertices at distance \(k\) to a marked cell, the south pole. We prove an upper bound of \(O((k+1)^2)\) on the expected complexity of the \((\le k)\)-level in great-circle arrangements if the south pole is chosen uniformly at random among all cells. We also consider arrangements of great \((d-1)\)-spheres on the \(d\)-sphere \(\SS^d\) which are orthogonal to a set of random points on \(\SS^d\). In this model, we prove that the expected complexity of the \(k\)-level is of order \(\Theta((k+1)^{d-1})\). In both scenarios, our bounds are independent of $n$, showing that the distribution of arrangements under our sampling methods differs significantly from other methods studied in the literature, where the bounds do depend on $n$.

연구 동기 및 목표

• 남극이 균일하게 무작위로 선택될 경우 2차원 구 S² 위의 무작위 큰 원 배열에서 k-레벨의 기대 복잡도를 결정하는 것.
• 이 분석을 d차원 구 S^d 위의 큰 (d−1)-구 배열로 일반화하는 것.
• 균일하게 무작위로 선택된 점으로부터 구 거리가 최대 k 이내인 정점의 기대 수에 대한 날카운 점근적 상한을 확립하는 것.
• 이러한 결과들을 이중성에 의해 무작위 점 집합에서의 k-세트 및 무작위 선 배열에서의 k-레벨의 평균 복잡도와 연결하는 것.
• 기준 셀을 균일하게 무작위로 선택할 경우 중간 레벨의 기대 크기가 초선형이 될 수 있는지 탐구하여 알려진 최악의 경우 구성과 도전하는 것.

제안 방법

• S^d 위에 독립적이고 균일하게 무작위로 선택된 n개의 큰 (d−1)-구로 이루어진 배열을 모델링하는 것.
• k-레벨을 균일하게 무작위로 선택된 점(남극)으로부터 구 거리가 최대 k 이내인 정점의 집합으로 정의하는 것.
• 중앙 투영을 사용하여 구 배열을 평면 선 배열로 변환하며, 이는 거리와 복잡도를 상수 인자 범위 내에서 유지한다.
• 구 각도에 대한 적분을 통해 무작위 정점이 남극으로부터 정확히 거리 k에 있을 확률 q_k를 도출하는 것.
• 각도 확률 분포에서 발생하는 ∫₀¹ t^k(1−t)^{n−k} dt 형태의 적분을 평가하기 위해 오일러 베타 함수를 적용하는 것.
• sin(φ)와 φ에 대한 부등식을 적용하여 q_k의 상한과 하한을 확립하고, 점근적으로 Θ((k+1)^{d−1}/n^{d−1})의 척도를 이끌어내는 것.

실험 결과

연구 질문

• RQ1 기준점(남극)이 균일하게 무작위로 선택될 경우, 2차원 구 S² 위의 무작위 큰 원 배열에서 k-레벨의 기대 복잡도는 얼마인가요?
• RQ2 S^d 위의 큰 (d−1)-구 배열에서 기대 k-레벨 복잡도는 k와 차원 d에 따라 어떻게 척도가 정해지나요?
• RQ3 균일하게 무작위로 기준 점을 선택할 경우, 알려진 최악의 경우 Ω(n log n) 하한이 중간 레벨에 대해 기대값에서 회피될 수 있을까요?
• RQ4 무작위 구 배열에서의 기대 k-레벨 복잡도와 평면 상의 무작위 점 집합에서의 기대 k-세트 수 사이의 연결 고리는 무엇인가요?
• RQ5 임의의 순서 유형 또는 볼록 도형 위의 균일한 점 집합에서 k-세트의 평균 복잡도는 구 모델의 예측과 일치하는가요?

주요 결과

• S² 위의 무작위 큰 원 배열에서 k-레벨의 기대 복잡도는 O((k+1)²)이며, 이는 최악의 경우 O(n(k+1)^{1/3})의 상한보다 향상된 것이다.
• S^d 위의 큰 (d−1)-구 배열에서 기대 k-레벨 복잡도는 Θ((k+1)^{d−1})이며, 이는 차원과 k에 대한 깔끔한 의존성을 보여준다.
• 큰 n에 대해, 무작위 정점이 균일하게 무작위로 선택된 기준점으로부터 정확히 거리 k에 있을 확률은 Θ((k+1)^{d−1}/n^{d−1})이다.
• 분석 결과는 무작위 구 배열이 최악의 경우 초선형 중간 레벨 복잡도를 피함을 확인하며, 이는 Ω(n log n) 하한이 균일하게 무작위 기준 선택 하에 안정적이지 않음을 시사한다.
• 이 결과들은 평면 이중성에 의해 무작위 점 집합에서의 k-세트 및 무작위 선 배열에서의 k-레벨로 확장되며, 이는 평균 복잡도가 최악의 경우보다 상당히 작다는 것을 암시한다.
• 이 연구는 무작위 구 모델에서의 볼록 hull(0-레벨)의 기대 크기가 상수이거나 느리게 증가할 수 있으며, 이는 디스크 위의 균일한 점 집합에서의 O(n^{1/3}) 증가와 대조됨을 시사한다.