[논문 리뷰] Monotonicity of the Sample Range of 3-D Data: Moments of Volumes of Random Tetrahedra

Stefan Kunis, Benjamin Reichenwallner외 1명|arXiv (Cornell University)|2016. 12. 06.

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

한 줄 요약

이 논문은 3차원에서 볼록체 내의 임의의 점들의 볼록결합의 기대체적이 포함관계에 대해 단조성이 성립한다는 추측을 반증한다. 정사면체의 무한소 변형과 한 면의 중심에 고정된 꼭짓점을 가진 임의의 단체의 체적에 대한 짝수 모멘트를 계산하여, 더 작은 집합에서의 기대체적이 더 큰 집합에서의 것보다 큰 반례를 구성함으로써 Meckes가 제기한 열린 문제를 해결한다. 또한 이러한 체적에 대한 짝수 모멘트의 명시적 공식을 제공한다.

ABSTRACT

The sample range of uniform random points $X_1, \dots , X_n$ chosen in a given convex set is the convex hull ${ m conv}[X_1, \dots, X_n]$. It is shown that in dimension three the expected volume of the sample range is not monotone with respect to set inclusion. This answers a question by Meckes in the negative. The given counterexample is the three-dimensional tetrahedron together with an infinitesimal variation of it. As side result we obtain an explicit formula for all even moments of the volume of a random simplex which is the convex hull of three uniform random points in the tetrahedron and the center of one facet.

연구 동기 및 목표

• 3차원에서 i.i.d. 균일 임의의 점들이 볼록체에 포함될 때 볼록결합의 기대체적이 포함관계에 대해 단조형인가를 규명하는 것.
• 더 작은 볼록체가 더 큰 것보다 더 큰 기대 볼록결합 체적을 가질 수 있는 반례를 구성하여 Meckes의 추측을 반박하는 것.
• 정사면체의 세 균일 임의의 점과 한 면의 중심으로 이루어진 임의의 단체의 체적에 대한 짝수 모멘트를 계산하는 것.
• 모멘트 정보만을 사용하여 기대 체적을 상한으로 bound하기 위해 다항식 근사 기법을 개발하고 적용하는 것.
• 정사면체 내에서 이러한 임의의 단체 체적에 대한 모든 짝수 모멘트에 대한 명시적 공식을 제공하여 반례의 정밀한 수치적 검증을 가능하게 하는 것.

제안 방법

• Rademacher의 보조정리를 활용하여, 단조성 문제를 한 꼭짓점을 경계점에 고정한 임의의 단체의 기대체적이 그 점을 임의의 점으로 대체한 경우의 기대체적보다 상한으로 bound되는지 확인하는 것으로 환원한다.
• 정사면체의 한 면의 중심에 임의의 단체의 한 꼭짓점을 고정하여 대칭성을 활용해 계산을 단순화한다.
• 한 점이 고정된 경우의 임의의 단체 체적에 대한 짝수 모멘트를 해석적 적분 기법과 기호 계산을 사용해 계산한다.
• 구간 $[-1/3, 1/3]$에서 절댓값 함수에 대한 한쪽 방향 다항식 근사법을 적용하여 $P(x) \to |x|$가 위에서 수렴하도록 하며, 이는 기대 체적에 대한 상한을 제공한다.
• 최적의 다항식 근사를 찾기 위해 유한차원 선형계획법을 사용하며, $n=13$이고 $L=1000$개의 보간 노드를 사용하여 유리수 계수를 갖는 다항식을 유도한다.
• 계산된 모멘트와 다항식 상한을 사용하여 $\mathbb{E}|\text{conv}[X_1,X_2,X_3,c]| < \mathbb{E}|\text{conv}[X_1,X_2,X_3,X_4]|$임을 보여 반례를 증명한다.

실험 결과

연구 질문

• RQ1 3차원에서 $n=4$개의 i.i.d. 균일 임의의 점들이 볼록체 $K \subset \mathbb{R}^3$에 포함될 때 볼록결합의 기대체적이 포함관계에 대해 단조형인가?
• RQ2 더 작은 볼록체 $L \subset K$가 더 큰 것보다 더 큰 기대 볼록결합 체적을 가질 수 있는 반례를 구성할 수 있는가?
• RQ3 정사면체 내에서 세 균일 임의의 점과 한 면의 중심으로 이루어진 임의의 단체의 체적에 대한 짝수 모멘트는 무엇인가?
• RQ4 모멘트 정보만을 사용하여 다항식 근사 기법을 통해 이러한 단체의 기대 체적을 상한으로 bound할 수 있는가?
• RQ5 정사면체 설정에서 체적에 대한 짝수 모멘트에 대한 명시적 공식은 비단조성의 수치적 검증을 가능하게 하는가?

주요 결과

• 3차원 정사면체 내에서 네 개의 균일 임의의 점들의 볼록결합의 기대체적은 $\frac{13}{720} - \frac{\pi^2}{15015} \approx 0.01739$이다.
• 세 균일 임의의 점과 한 면의 중심으로 이루어진 임의의 단체의 체적에 대한 기대체적은 차수 26의 짝수 다항식 근사를 통해 $0.0173791\ldots$ 이하로 bound된다.
• 이 상한은 전체 정사면체 내에서의 기대체적보다 엄밀히 작으며, 따라서 $\mathbb{E}|\text{conv}[X_1,X_2,X_3,c]| < \mathbb{E}|\text{conv}[X_1,X_2,X_3,X_4]|$임을 증명한다.
• 반례는 정사면체의 무한소 변형을 고려하여 구성되며, 이는 $\mathbb{R}^3$에서 포함관계에 대해 기대체적이 단조적이지 않음을 보여준다.
• 한 면의 중심에 고정된 꼭짓점을 가진 임의의 단체 체적에 대한 모든 짝수 모멘트에 대한 명시적 공식이 유도되었으며, 이는 정밀한 수치적 검증을 가능하게 한다.
• 직접적인 체적 계산의 비가용성을 극복하기 위해 모멘트 계산과 다항식 근사를 조합함으로써 엄밀한 상한을 제공하는 데 성공하였다.