[논문 리뷰] Depth with respect to a family of convex sets

Leonardo Martínez-Sandoval, Roee Tamam|arXiv (Cornell University)|2016. 12. 11.

Numerical Methods and Algorithms인용 수 1

한 줄 요약

이 논문은 Rd에서 유한한 볼록 집합의 가족 F에 대해 새로운 깊이 개념 depF를 도입하며, Tukey 깊이를 일반화한다. 기하학적 깊이와 조합적 충족 집합 문제 사이의 이중성을 확립하여, αd,k + βd+1,k = 1 이 성립함을 증명한다. 여기서 αd,k는 보장되는 최소 깊이이고, βm,k는 충족 집합 임계값이다. 이는 k ≈ d일 때 날카러진 경계를 제공하며, 분수 전이자 및 중심점 이론 분야에서 새로운 결과를 이끌어낸다.

ABSTRACT

We propose a notion of depth with respect to a finite family $\mathcal{F}$ of convex sets in $\mathbb{R}^d$ which we call $ ext{dep}_\mathcal{F}$. We begin showing that $ ext{dep}_\mathcal{F}$ satisfies some expected properties for a measure of depth and that this definition is closely related to the notion of depth proposed by J. Tukey. We show that some properties of Tukey depth extend to $ ext{dep}_\mathcal{F}$ and we point out some key differences. We then focus on the following centerpoint-type question: what is the best depth $\alpha_{d,k}$ that we can guarantee under the hypothesis that the family $\mathcal{F}$ is $k$-intersecting? We show a key connection between this problem and a purely combinatorial problem on hitting sets. The relationship is useful in both directions. On the one hand, for values of $k$ close to $d$ the combinatorial interpretation gives a good bound for $k$. On the other hand, for low values of $k$ we can use the classic Rado's centerpoint theorem to get combinatorial results of independent interest. For intermediate values of $k$ we present a probabilistic framework to improve the bounds and illustrate its use in the case $k\approx d/2$. These results can be though of as an interpolation between Helly's theorem and Rado's centerpoint theorem. As an application of these results we find a Helly-type theorem for fractional hyperplane transversals. We also give an alternative and simpler proof for a transversal result of A. Holmsen.

연구 동기 및 목표

• Rd에서 볼록 집합의 유한한 가족 F에 대해 새로운 기하학적 깊이 측정법 depF를 정의하고 연구한다.
• 기하학적 깊이 매개변수 αd,k와 조합적 충족 집합 매개변수 βm,k 사이의 이중성을 확립한다.
• k-교차 가족의 볼록 집합에 대해 보장되는 깊이 αd,k에 대한 향상된 경계를 도출한다.
• 이 이론을 적용하여 분수 초평면 전이자에 대한 새로운 헬리 유형 정리를 증명하고, Holmsen의 선 전이자 결과를 재증명한다.

제안 방법

• 점 p를 포함하는 모든 닫힌 반공간이 F의 몇 개의 집합과 교차하는지의 최솟값을 depF(p)로 정의한다.
• depF ≥ r인 점들의 집합 Cr(F) — 즉, r-중심 — 이 볼록임을 증명하며, Tukey 깊이의 성질을 일반화한다.
• 핵심 이중성: αd,k + βd+1,k = 1을 확립하여, 기하학적 깊이를 조합적 충족 집합 매개변수 βm,k와 연결한다.
• Rado의 중심점 정리를 활용해 고정된 k에 대해 βm,k의 경계를 도출하고, 빛의 손상 기법을 사용한 확률적 방법으로 중간 k에 대한 경계를 향상시킨다.
• 이중성을 적용하여 분수 초평면 전이자에 대한 새로운 헬리 유형 정리를 증명한다.
• Holmsen의 결과에 대한 간결한 증명을 제시한다: 삼중 볼록 쌍체 조건을 만족하는 k-교차 가족은 적어도 1/8의 집합을 가로지르는 선 전이자를 가진다.

실험 결과

연구 질문

• RQ1 Rd에서 k-교차 가족의 볼록 집합에 대해 보장되는 최적의 깊이 αd,k는 무엇인가?
• RQ2 기하학적 깊이 매개변수 αd,k는 충족 집합을 지배하는 조합적 매개변수 βm,k와 어떻게 관련되어 있는가?
• RQ3 αd,k와 βm,k 사이의 이중성은 기하학과 조합론 양쪽에서 새로운 결과를 도출하는 데 사용될 수 있는가?
• RQ4 k가 d에 가까울 때 αd,k의 날카러진 경계는 무엇이며, Rado의 중심점 정리와 비교해보면 어떻게 되는가?
• RQ5 이 프레임워크는 분수 초평면 전이자와 같은 새로운 전이자 정리를 도출하는 데 적용될 수 있는가?

주요 결과

• αd,k + βd+1,k = 1 이 모든 양의 정수 d와 k ∈ [d+1]에 대해 정확히 성립한다.
• k = d일 때, 보장되는 깊이는 정확히 αd,d = d/(d+1)이며, 이는 날카럽고 일반적 경계를 향상시킨다.
• 고정된 k에 대해, 충족 집합 매개변수는 βm,k = 1 − Ω(1/(k√m))를 만족하며, m → ∞일 때 점점 더 날카러진다.
• m = 2k인 경우, 경계는 β2k,k ≤ 1 − 1/(k√15)로 향상되며, 이는 α2k−1,k ≥ 1/(k√15)를 의미한다.
• 이 프레임워크는 헬리 유형 정리를 유도한다: F가 k-교차이면, 모든 초평면이 그를 통과할 때마다 적어도 Ω(|F|/(k√d+1))개의 집합을 가로지르는 점이 존재한다.
• Holmsen의 결과에 대한 대안적이고 더 단순한 증명을 제시한다: 삼중 볼록 쌍체 조건을 만족하는 k-교차 가족은 적어도 1/8의 집합을 가로지르는 선 전이자를 가진다.