[논문 리뷰] Strong General Position

Micha A. Perles, Moriah Sigron|arXiv (Cornell University)|2014. 09. 09.

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

한 줄 요약

이 논문은 ℝᵈ 내 유한 점 집합이 강한 일반 위치(SGP)에 있는지 판단하기 위한 간소화된 기준을 제시하며, 기존에 지수적으로 많은 조건을 확인해야 했던 SGP 검증을 최소의 본질적으로 최적의 조합으로 줄인다. 핵심 결과는 SGP가 성립함과 동시에, 총 크기가 m인 상호소거 부분집합들의 집합에 대해, m = T(d,r) = (d+1)(r−1)+1일 때 그 아핀 폐쇄의 교점이 하나의 점이 되거나, m < T(d,r)일 때는 교점이 공집합이 되는 것과 동치임을 보여준다. 이러한 특성화는 검증을 효율적으로 가능하게 하며, SGP가 일반적 성질임을 증명한다. 즉, 모멘트 곡선의 점들은 거의 확실히 SGP에 속한다.

ABSTRACT

We say that a finite set S of points in R^d is in "strong general position" if for any collection {F_1,..., F_r} of r pairwise disjoint subsets of S (1 &lt;= r &lt;= |S|) we have: d-dim (the intersection of aff F_1,aff F_2,...,aff F_r) = min{d+1, (d-dim aff F_1)+(d-dim aff F_2)+...+(d-dim aff F_r)}. In this paper we reduce the set of conditions that one has to check in order to determine if S is in "strong general position".

연구 동기 및 목표

• ℝᵈ 내 유한 점 집합이 강한 일반 위치(SGP)에 있는지 확인하기 위해 기존에 지수적으로 많은 교차 조건을 확인해야 하는 문제를 줄이기 위해.
• SGP를 보장하는 최소의 본질적으로 최적의 조건 집합을 확립하여, 큰 점 집합에 대해서도 검증이 가능하도록 하기 위해.
• SGP가 일반적 성질임을 입증하기 위해: 임의의 n과 d에 대해, ℝᵈ 내 일반적인 n-튜플은 SGP에 속한다. 이는 좌표에 대한 영이 아닌 다항식 조건으로 정의된다.
• Tverberg 유형 정리에서 SGP를 사용하기 위한 이론적 기반을 제공하기 위해. 여기서 SGP는 Tverberg 분할이 Tverberg 임계값을 충족하지 않는 한 불가능함을 보장한다.

제안 방법

• 논문은 SGP 검증을 2 ≤ r ≤ d+1 이며 각 부분집합 Fi의 크기가 최대 d인 상호소거 부분집합들의 집합에 국한하여 확인하는 것으로 줄인다.
• Tverberg 수 T(d,r) = (d+1)(r−1)+1을 임계값으로 사용한다: 총 크기 m = T(d,r)일 때 아핀 폐쇄의 교점은 하나의 점이어야 하고, m < T(d,r)일 때는 공집합이어야 한다.
• 방법론은 상호소거 부분집합의 아핀 폐쇄로부터 선형방정식계 A·Λ = (1,0,…,0)ᵗ를 구성하고, 비어 있지 않은 교점이 존재할 경우 행렬식이 0이 되는 조건을 보이는 것이다.
• 비제로 행렬식 조건을 만족시키기 위해, 자unc된 행렬 A⁻의 q×q 부분행렬의 제곱합으로 이루어진 다항식 P를 정의한다. 이때 P = 0이 되는 것은 아핀 폐쇄가 비자명하게 교차함을 의미한다.
• 특정한 점 구성(단일 선형 종속성을 가진 벡터들로 구성)을 통해 P가 항등적으로 0이 아님을 보이며, 이는 동차 선형계의 유일한 해가 자명함을 의미하고, 따라서 rank(A⁻) = q임을 유도한다.
• 이 구성은 비-SGP 구성이 올바른 대수적 다양체로 정의됨을 증명하며, 따라서 SGP는 일반적으로 성립한다.

실험 결과

연구 질문

• RQ1 ℝᵈ 내 유한 점 집합이 강한 일반 위치(SGP)에 있는 데 필요한 최소 조건 집합은 무엇인가?
• RQ2 모든 상호소거 부분집합의 조합을 확인하지 않고도 큰 점 집합에 대해 SGP를 효율적으로 검증할 수 있는 방법은 무엇인가?
• RQ3 강한 일반 위치(SGP)는 일반적 성질인가? 즉, ℝᵈ 내 n개 점의 거의 모든 구성에서 SGP가 성립하는가?
• RQ4 SGP와 Tverberg 정리 사이의 정확한 관계는 무엇인가? 특히 아핀 폐쇄의 교차 조건 측면에서.
• RQ5 SGP 조건을 r ≤ d+1 이며 |Fi| ≤ d 인 구성들로만 확인하도록 줄일 수 있는가?

주요 결과

• 유한 점 집합 S ⊂ ℝᵈ 는 다음 조건을 만족할 때이고 그때에만 SGP에 속한다: 임의의 r개의 상호소거 부분집합 F₁,…,Fᵣ에 대해 2 ≤ r ≤ d+1 이고 |Fᵢ| ≤ d 이며, ∑|Fᵢ| = T(d,r)일 때 그 아핀 폐쇄의 교점이 하나의 점이 되거나, ∑|Fᵢ| < T(d,r)일 때는 교점이 공집합이어야 한다.
• SGP를 검증하기 위해 필요한 조건의 수가 크게 줄었다: r ≤ d+1 이며 부분집합 크기가 제한된 구성들만 확인하면 된다.
• SGP는 일반적 성질이다. 좌표에 대한 nd개 변수에서 정의된 영이 아닌 다항식 P가 존재하여, 임의의 n개 점이 SGP에 속하는 것은 P(𝐱₁,…,𝐱ₙ) ≠ 0와 동치이다.
• SGP에 속하지 않는 n-튜플 점들의 집합은 올바른 대수적 부분다양체를 이룬다. 따라서 SGP는 거의 모든 구성에서 성립한다.
• 논문은 모멘트 곡선 Mᵈ = {(t,t²,…,tᵈ) : t ∈ ℝ}의 점들이 거의 확실히 SGP에 속함을 증명한다. 이는 일반적인 다항식 조건을 만족하기 때문이다.