[논문 리뷰] Quantitative $(p,q)$ theorems in combinatorial geometry

David Rolnick, Pablo Soberón|arXiv (Cornell University)|2015. 04. 07.

Computational Geometry and Mesh Generation참고 문헌 27인용 수 9

한 줄 요약

이 논문은 볼륨, 표면적, 이산 점 수와 같은 볼록집합 크기를 측정하는 함수로 고전 결과를 일반화하여 조합기하학에서 정량적 $(p,q)$ 정리들을 수립한다. 만약 어떤 가족의 모든 $p$ 개 집합이 함수 값이 크다는 조건을 만족하는 $q$ 개의 교차 부분집합을 가진다면, 전체 가족은 유계 이면 또는 큰 공통 교차를 가지며, 그에 상응하는 명시적 상한이 함수와 차원에 따라 결정된다.

ABSTRACT

We show quantitative versions of classic results in discrete geometry, where the size of a convex set is determined by some non-negative function. We give versions of this kind for the selection theorem of Bárány, the existence of weak epsilon-nets for convex sets and the $(p,q)$ theorem of Alon and Kleitman. These methods can be applied to functions such as the volume, surface area or number of points of a discrete set. We also give general quantitative versions of the colorful Helly theorem for continuous functions.

연구 동기 및 목표

• 연속적 또는 이산 함수로 측정된 볼록집합 크기에 대해 고전적인 $(p,q)$ 정리를 정량적 설정으로 확장하는 것.
• 함수 기반 교차 조건 하에서 이면 점 또는 공통 교차 크기의 효과적 상한을 확보하는 데 도전하는 것.
• 볼륨, 격자점, 표면적에 대한 기존의 정량적 헬리 유형 정리를 하나의 프레임워크로 통합하고 일반화하는 것.
• 연속적 및 이산 측정 모두에 적용 가능한 함수가 정량적 $(p,q)$ 정리를 지원하기 위한 일반 기준을 제공하는 것.
• 연속 함수에 대해 정량적 헬리 정리의 색다운 버전을 제시하고 오차 매개변수 $\varepsilon$ 에 대한 명시적 의존성을 포함하는 것.

제안 방법

• 볼륨 또는 표면적과 같은 함수가 헬리 정리를 만족하고 플로팅 바디 구조를 허용하는 일반적인 함수 클래스 $f: \mathcal{C}_d \to \mathbb{R}^+ \cup \{\infty\}$ 를 정의한다.
• 함수 $f$ 에 대해 플로팅 바디 $K(f, \varepsilon)$ 를 도입하여, $f$ 가 적어도 $1 - \varepsilon$ 이상인 최대 부분집합을 포괄한다.
• 플로팅 바디 구조를 이용해 문제를 유한 부분가족 조건으로 환원하며, 이때 헬리 수 $H(f,d,\varepsilon)$ 를 활용한다.
• 색다운 반평면의 색칠 및 극값 논증을 적용하여 색다운 헬리 정리를 증명한다: 모든 색다운 $h$-튜플이 $f$-크기가 1 이상이면, 어떤 색 클래스도 $f$-크기가 적어도 $1 - \delta(\varepsilon)$ 이상이다.
• 함수 $f(K) = \text{vol}(K)$ 가 필요한 조건을 만족함을 증명하여, 색 클래스 수에 대한 상한 $\Theta(\varepsilon^{-(d-1)/2})$ 를 이끌어낸다.
• 정수 격자와 같은 유한한 헬리 수를 가진 이산 집합 $S$ 에 대해 $f(K) = |K \cap S|$ 와 같은 이산 함수에 대해 이 방법을 적응시킨다.

실험 결과

연구 질문

• RQ1 어떤 조건에서 함수 $f$ 가 $\mathbb{R}^d$ 에서의 볼록집합에 대해 정량적 $(p,q)$ 정리가 성립하는가?
• RQ2 교차 크기가 볼륨 또는 점 수로 측정될 때, 고전적 $(p,q)$ 정리가 큰 공통 교차 또는 이면을 보장하도록 강화될 수 있는가?
• RQ3 연속 함수인 볼륨에 대해 색다운 헬리 정리를 증명할 수 있는가? 이 경우 색 클래스 수가 단색 헬리 수와 일치하는가?
• RQ4 볼륨 기반 색다운 헬리 정리에서 필요한 색 클래스 수가 오차 매개변수 $\varepsilon$ 에 대해 최적의 의존성을 가지는가?
• RQ5 분수 또는 색다운 헬리 정리는 동일한 함수에 대해 단색 대비 더 많은 가족을 요구하는가?

주요 결과

• 이 논문은 볼륨, 표면적, 이산 점 수를 포함한 모든 함수 $f$ 가 헬리 정리를 만족하고 플로팅 바디를 가진다면 정량적 $(p,q)$ 정리가 성립하는 일반적 프레임워크를 수립한다.
• 볼륨 함수의 경우 색다운 헬리 정리에서 필요한 색 클래스 수는 $\Theta(\varepsilon^{-(d-1)/2})$ 이며, 이는 단색 헬리 수와 일치한다.
• 볼륨 기반 색다운 헬리 정리는 어떤 색 클래스도 볼륨이 적어도 $1 - c\varepsilon^{2/(d+1)}$ 이상이라는 보장을 한다. 여기서 상수 $c$ 는 $d$ 에만 의존한다.
• 이산 $(p,q)$ 정리는 임의의 유한한 헬리 수를 가진 이산 집합 $S$ 에 대해 성립하며, 모든 $c(k,d)$ 개의 집합이 $S$ 의 $k$ 개 점을 포함하면 전체 가족도 $S$ 의 $k$ 개 점을 포함함을 보장한다.
• 이 방법은 볼륨 기반 헬리 정리의 새로운 증명을 제공하며, 오차 매개변수 $\varepsilon$ 와 차원 $d$ 에 대한 명시적 의존성을 포함한다.
• 결과는 도이그논 정리와 이전의 정량적 헬리 정리를 더 넓은 함수 클래스로 일반화하여 이산 및 연속 설정을 통합한다.