[논문 리뷰] Bisector energy and few distinct distances

Ben Lund, Adam Sheffer외 1명|arXiv (Cornell University)|2014. 11. 25.

Digital Image Processing Techniques참고 문헌 12인용 수 4

한 줄 요약

이 논문은 평면에서 서로 다른 거리의 수가 적은 점 집합을 연구하기 위한 새로운 도구로 이분모양 에너지를 도입한다. 어떤 직선이나 원에 많은 점이 포함되어 있지 않다는 가정 하에 이분모양 에너지를 유계화함으로써, 서로 수직인 이등분선의 수에 대한 향상된 상한을 도출하고, $O(n/\sqrt{\log n})$개의 서로 다른 거리를 가지는 점 집합은 반드시 $n^\alpha$개의 점을 포함하는 직선 또는 원을 가져야 하거나($\alpha \leq 1/4$), $\Omega(\sqrt{\log n})$개의 점을 포함하는 많은 직선을 가져야 한다는 것을 보이며, 오랫동안 남아있던 에르되시의 추측을 발전시킨다.

ABSTRACT

We introduce the bisector energy of an $n$-point set $P$ in $\mathbb{R}^2$, defined as the number of quadruples $(a,b,c,d)$ from $P$ such that $a$ and $b$ determine the same perpendicular bisector as $c$ and $d$. If no line or circle contains $M(n)$ points of $P$, then we prove that the bisector energy is $O(M(n)^{\frac{2}{5}}n^{\frac{12}{5}+ε} + M(n)n^2).$. We also prove the lower bound $Ω(M(n)n^2)$, which matches our upper bound when $M(n)$ is large. We use our upper bound on the bisector energy to obtain two rather different results: (i) If $P$ determines $O(n/\sqrt{\log n})$ distinct distances, then for any $0

연구 동기 및 목표

• 서로 다른 거리의 수가 적은 점 집합의 구조에 관해 오랫동안 남아있던 에르되시의 추측을 다루며, 특히 이러한 집합이 $n^\alpha$개의 점을 포함하는 직선을 가져야 하는지 여부를 다룬다($\alpha > 0$).
• 평면 $\mathbb{R}^2$ 내 점 집합의 기하학적 및 조합적 구조를 연구하기 위한 새로운 분석 도구인 이분모양 에너지를 제공한다.
• 직선 또는 원 위의 점의 수와 점 집합이 결정하는 서로 다른 수직이등분선의 수 사이의 정량적 상호보완 관계를 확립한다.
• Guth-Katz 정리에 기반한 기존 결과를 초월하여, 어떤 직선이나 원에도 많은 점이 포함되어 있지 않다는 조건 하에, $O(n/\sqrt{\log n})$개의 서로 다른 거리를 가지는 점 집합이 $\Omega(\sqrt{\log n})$개의 공선점을 가져야 한다는 결과를 더 강력한 구조적 대안으로 개선한다.
• 다항식 분할과 교차 기하학의 새로운 응용을 통해 평면 내 수직이등분선의 확산 성질을 분석한다.

제안 방법

• 이분모양 에너지는 $a \neq b$, $c \neq d$인 쌍 $a,b,c,d$의 수로 정의되며, $a,b$의 수직이등분선과 $c,d$의 수직이등분선이 일치할 때를 세며, 반복되는 이등분선의 구조를 포착한다.
• 논문은 이분모양 에너지에 대한 상한을 증명한다: $\mathcal{E}(\mathcal{P}) = O\left(M(n)^{2/5}n^{12/5+\varepsilon} + M(n)n^2\right)$, 여기서 $M(n)$은 어떤 직선이나 원 위에 포함된 점의 최대 수이다.
• 이 유계를 고르스키-카츠 정리와 결합함으로써, $O(n/\sqrt{\log n})$개의 서로 다른 거리를 가지는 점 집합에 대한 구조적 결과를 도출한다.
• 분석은 다항식 분할과 교차 기하학을 사용하며, 특히 점과 다양체 사이의 교차 수에 대한 유계를 활용하여 이분모양 에너지의 성장을 통제한다.
• 대부분의 다항식 다항식의 다항식 확산 성질을 이용하기 위해, 대수적 다양체의 차원에 대한 귀납법을 사용한다.
• 헤이더의 부등식과 셀 분할을 사용하여, 분할된 영역 내의 교차 수를 유계화함으로써 핵심 부등식을 도출하고, 최종적인 에너지 유계에 도달한다.

실험 결과

연구 질문

• RQ1 어떤 직선이나 원에 $M(n)$개 이하의 점만 포함되어 있을 때, $\mathbb{R}^2$ 내 유한한 점 집합의 최대 이분모양 에너지는 얼마인가?
• RQ2 어떤 직선이나 원에 점 집합의 많은 점이 포함되어 있지 않다면, 서로 다른 수직이등분선의 수는 어떻게 증가하는가?
• RQ3 $O(n/\sqrt{\log n})$개의 서로 다른 거리를 가지는 점 집합이 $n^\alpha$개의 점을 포함하는 직선이나 원을 포함하지 않는다면 어떤 구조적 제약 조건이 발생하는가?
• RQ4 서로 다른 거리의 수가 적은 점 집합에서 공선점의 수에 대한 유계를 $\Omega(\sqrt{\log n})$를 초월하여 향상시킬 수 있는가?
• RQ5 높은 다중성의 직선이나 원이 존재하지 않는다면, 많은 수의 서로 다른 수직이등분선이 존재하는가?

주요 결과

• 어떤 직선이나 원에 $M(n)$개 이하의 점만 포함되어 있을 때, $\mathbb{R}^2$ 내 $n$개 점의 집합 $\mathcal{P}$에 대한 이분모양 에너지는 $\mathcal{E}(\mathcal{P}) = O\left(M(n)^{2/5}n^{12/5+\varepsilon} + M(n)n^2\right)$로 유계화된다.
• 상한이 $M(n)$이 클 경우에 대해 정확히 맞는 하한 $\mathcal{E}(\mathcal{P}) = \Omega(M(n)n^2)$이 확립되어, 상한이 타당함을 보여준다.
• 만약 점 집합이 $O(n/\sqrt{\log n})$개의 서로 다른 거리를 결정한다면, 어떤 직선이나 원이 $n^\alpha$개의 점을 포함해야 하거나($0 < \alpha \leq 1/4$), $\Omega(n^{8/5 - 12\alpha/5 - \varepsilon})$개의 서로 다른 직선이 각각 $\Omega(\sqrt{\log n})$개의 점을 포함해야 한다.
• 점 집합 $\mathcal{P}$가 결정하는 서로 다른 수직이등분선의 수는 $\Omega\left(\min\left\{M(n)^{-2/5}n^{8/5-\varepsilon}, M(n)^{-1}n^2\right\} ight)$이다. 이는 엘레케스-로스 프레임워크 내에서 처음으로 고차원 확산 결과를 제공한다.
• 이분모양 에너지의 유계는 다항식 분할과 교차 기하학을 사용하여 유도되었으며, 고르스키-카츠 정리에 기반한 서로 다른 거리의 수에 대한 핵심 입력을 필요로 한다.
• 에너지 유계의 응용을 통해, 서로 다른 거리의 수가 적은 점 집합은 이전에 알려진 것보다 훨씬 더 많은 조밀한 직선을 가져야 하거나, 높은 직선/원 다중성을 가져야 함을 보여주며, 수제르에르의 결과를 향상시킨다.