[논문 리뷰] Fractional Helly theorem for the diameter of convex sets

Silouanos Brazitikos|arXiv (Cornell University)|2015. 11. 12.

Point processes and geometric inequalities참고 문헌 14인용 수 3

한 줄 요약

이 논문은 유클리드 공간 ℝⁿ 내의 볼록 집합의 지름에 대해 새로운 정량적 헬리 유형 정리(定理)를 수립한다. 비어 있지 않은 내부 교차를 가진 유한한 볼록 몰록의 가족에 대해, 전체 교차의 스케일링된 복사본 안에 포함되는 O(n) 개의 집합을 갖는 부분가족이 존재함을 보여준다. 특히, 원래 집합의 O(n^{3/2}) 배 이내에 포함된다. 대칭적인 경우, 이 상한은 O(√n)로 향상되며, 차원에 대한 다항식 의존성을 확보하고, 헬리 유형 설정에서 지름 제어에 관한 추측을 해결한다.

ABSTRACT

We provide a new quantitative version of Helly's theorem: there exists an absolute constant $α>1$ with the following property: if $\{P_i: i\in I\}$ is a finite family of convex bodies in ${\mathbb R}^n$ with ${ m int}\left (\bigcap_{i\in I}P_i ight ) eq\emptyset $, then there exist $z\in {\mathbb R}^n$, $s\leq αn$ and $i_1,\ldots i_s\in I$ such that \begin{equation*} z+P_{i_1}\cap\cdots\cap P_{i_s}\subseteq cn^{3/2}\left(z+\bigcap_{i\in I}P_i ight), \end{equation*} where $c>0$ is an absolute constant. This directly gives a version of the "quantitative" diameter theorem of Bárány, Katchalski and Pach, with a polynomial dependence on the dimension. In the symmetric case the bound $O(n^{3/2})$ can be improved to $O(\sqrt{n})$.

연구 동기 및 목표

• 볼록 집합의 지름에 대해 헬리의 정리의 정량적 형태를 수립함으로써, '큰 지름'이 볼록 집합에 대해 헬리 유형 성질인지 여부를 다룸.
• 이전 연구에서의 지수적 상한에 비해, 지름 제어에서 차원에 대한 다항식 의존성을 달성함.
• 바라니, 캐치알스키, 패치가 제기한 추측을 해결함: 부분교차의 지름이 O((cn)^{n/2}) 대신 O(√n)로 유계화될 수 있는가?
• 체적 외에 지름으로의 정량적 헬리 정리의 프레임워크를 확장함. 기하학적 및 스펙트럼 기법을 사용함.
• 최소한의 교차 가정 하에 볼록 집합의 교차 지름에 대해 명시적이고 차원에 의존하는 상한을 제공함.

제안 방법

• 바르비노크(2005)의 레미나에서 유도된 보조정리(lemma)를 활용함. 이는 볼록 기하학과 스펙트럼 그래프 이론을 연결함.
• 바츠온, 스피르만, 스리바스타바(2012)의 그래프 스퍼피어라이저 정리(정리)를 적용하여 ℝⁿ 내의 유한한 점 집합의 기하학을 제어함.
• 볼록 몰록과 그의 폴라 몰록의 루너의 위치(positon) 개념을 사용하여 문제를 양의 정부호 행렬의 스펙트럼 제어로 환원함.
• 존-루너의 타원체와 지지 함수 분석을 활용하여 유한한 점 집합의 볼록 코일의 커버링 추정치를 유도함.
• [3]의 감소 체계(reduction scheme)를 적용하여 부분가족 내 집합의 수를 최소화하면서도 지름 상한을 유지함.
• 폴라 몰록이 최소 부피 타원체와 접촉하는 점들이, 제어된 교차 기하학을 갖는 부분가족을 제공한다는 사실에 의존함.

실험 결과

연구 질문

• RQ1 지수 함수나 초다항 함수 대신, 지수에 대한 다항식 함수로 부분교차의 지름을 유계화할 수 있는가?
• RQ2 볼록 집합에 대해 '교차가 큰 지름을 가짐'이라는 성질은 헬리 유형 성질인가? 만약 그렇다면, 지름을 제어하기 위해 필요한 최소 집합 수는 얼마인가?
• RQ3 바라니, 캐치알스키, 패치의 O((cn)^{n/2}) 상한이 대칭적인 경우 O(√n)으로 향상될 수 있는가?
• RQ4 전체 교차의 지름이 1일 때, 부분교차의 지름에 대한 최선의 차원 의존성은 무엇인가?
• RQ5 지름 상한이 다항식이 유지되는 동안 부분가족의 집합 수를 O(n)으로 줄일 수 있는가?

주요 결과

• 비어 있지 않은 내부 교차를 가진 ℝⁿ 내의 유한한 볼록 몰록의 가족에 대해, 전체 교차의 지름의 O(n^{3/2}) 배 이내에 포함되는, 크기가 최대 αn(절대 상수 α > 1)인 부분가족이 존재함.
• 대칭적인 경우, 상한은 O(√n)로 향상되며, 상수는 d > 1 인 매개변수에 대해 γ_d = (√d + 1)/(√d − 1)로 명시적으로 표현되며, 이는 날카로움을 보임.
• 이 결과는 부분교차의 지름에 대해 차원에 대한 다항식 의존성을 제공하며, 이전 연구의 지수적 상한보다 향상됨.
• 증명 기법은 스펙트럼 방법과 볼록 기하학에 기반하며, 특히 최소 부피 타원체와 폴라 몰록의 접촉점의 사용이 핵심임.
• 이 방법은 명시적인 상수를 갖는 정량적 헬리 정리의 형태로 지름에 대해 유도되며, 절대 상수의 차이를 제외하고는 최적임이 입증됨.
• 결과는 지름 제어 문제에 대해 다항식 의존성의 헬리 유형 성질을 만족함을 시사하며, 추측의 질적 형태를 확인함.