[논문 리뷰] Strong Proximities on Smooth Manifolds and Vorono\" i Diagrams

James F. Peters, C. Guadagni|arXiv (Cornell University)|2015. 06. 13.

Computational Geometry and Mesh Generation참고 문헌 16인용 수 14

한 줄 요약

이 논문은 매끄러운 다양체 위에서 강한 근접성을 도입하고, 특히 정규 열린 집합들의 라도 도약 공간 위의 강한 만족 및 먼 떨어진 위상의 분리 가능성을 포함한 위상적 및 기하학적 성질을 규명한다. 다수의 다층 다각형에서의 강한 근접성은 그들이 공통의 내부를 가진다는 것을 의미하며, 이러한 결과를 보로노이 다이어그램과 근접 다층 다각체에서의 묘사적 근접성에 적용하여 공간적 데이터 구조의 새로운 위상적 특성화를 가능하게 한다.

ABSTRACT

This article introduces strongly near smooth manifolds. The main results are (i) second countability of the strongly hit and far-miss topology on a family $\mathcal{B}$ of subsets on the Lodato proximity space of regular open sets to which singletons are added, (ii) manifold strong proximity, (iii) strong proximity of charts in manifold atlases implies that the charts have nonempty intersection. The application of these results is given in terms of the nearness of atlases and charts of proximal manifolds and what are known as Vorono\" i manifolds.

연구 동기 및 목표

• 매끄러운 다층 다각체 위에서 강한 근접성을 수립하고, 그 위상적 성질을 정의한다.
• 정규 열린 집합들의 라도 도약 공간 위의 강한 만족 및 먼 떨어진 위상의 분리 가능성을 증명한다.
• 다층 다각체 아틀라스 내의 차트들 간의 강한 근접성이 공통의 내부를 가짐을 보여준다.
• 강한 근접성을 보로노이 다이어그램과 근접 다층 다각체, 특히 묘사적 근접성을 통해 적용한다.
• 특징 벡터와 차트의 교차를 사용하여 다층 다각체 간의 묘사적 강한 근접성을 정의하고 분석한다.

제안 방법

• 비어 있지 않은 내부 교차와 단일 원소 포함을 기반으로 집합 간의 근접성을 정의하기 위해 강한 근접성 공리(N0–N6)를 사용한다.
• 라도 도약 공간의 하이퍼위상 구조를 정의하기 위해 하위기저 요소를 사용한다: $V^{\text{doublewedge}} = \{E \in \text{CL}(X) : E \mathop{\delta}\limits^{\text{doublewedge}} V\}$ 와 $A^{++} = \{E \in \text{CL}(X) : E \not\delta X\setminus A\}$.
• 특징 매핑 $\Phi: \mathcal{M}_1 \cup \mathcal{M}_2 \to \mathbb{R}^n$ 를 사용하여 공통의 특징 벡터를 기반으로 집합을 비교함으로써 묘사적 강한 근접성 $\mathop{\delta_\Phi}\limits^{\text{doublewedge}}$ 를 정의한다.
• 아틀라스 수준의 강한 근접성을 정의하기 위해 기술적 교차 $\hat{U}_i \mathop{\cap}\limits_{\Phi,\hat{\mathcal{A}}} \hat{V}_j = \{x \in \hat{U}_i \cup \hat{V}_j : \Phi(x) \in \Phi(\hat{U}_i), \Phi(x) \in \Phi(\hat{V}_j)\}$ 를 정의한다.
• 지역 차트를 유클리드 공간으로 매핑하고 근접성을 좌표 공간에서 분석하기 위해 호메오모르피즘 $\varphi: S_1 \to \varphi(S_1)$, $\psi: S_2 \to \psi(S_2)$ 를 사용한다.
• 결과를 보로노이 다이어그램에 적용하기 위해, 영역 간의 공통 경계가 존재하면 해당 다층 다각체들 간에 강한 근접성이 성립함을 보여준다.

실험 결과

연구 질문

• RQ1 매끄러운 다층 다각체의 정규 열린 집합의 가족에서 강한 만족 및 먼 떨어진 위상은 강한 근접성 하에서 분리 가능성을 갖는가?
• RQ2 다층 다각체 아틀라스 내의 차트들 간의 강한 근접성은 위상적으로 특징화될 수 있으며, 이는 공통 내부를 가짐을 의미하는가?
• RQ3 특징 벡터를 사용하여 매끄러운 다층 다각체 간의 묘사적 강한 근접성을 어떻게 정의할 수 있으며, 이는 아틀라스 수준의 근접성에 어떤 함의를 갖는가?
• RQ4 보로노이 다이어그램과 근접 다층 다각체 내의 강한 근접성 간의 관계는 무엇인가?
• RQ5 다층 다각체 차트 간의 강한 근접성이 기저 다층 다각체 간의 강한 근접성을 유도하는 조건은 무엇인가?

주요 결과

• 라도 도약 공간의 정규 열린 집합의 부분집합의 가족 $\mathcal{B}$ 위에서의 강한 만족 및 먼 떨어진 위상 $\tau^{\text{doublewedge}}_{\mathscr{B}}$ 는 분리 가능하다.
• 다층 다각체의 강한 근접성은 아틀라스 내에서 공통 내부를 가진 두 차트가 강한 근접성 관계에 있음을 의미한다.
• 두 차트 $U_i$ 와 $V_j$ 가 $\hat{U}_i \mathop{\cap}\limits_{\Phi,\hat{\mathcal{A}}} \hat{V}_j \neq \emptyset$ 를 만족하면, $U_i \mathop{\delta}\limits^{\text{doublewedge}}_{\hat{\mathcal{A}},\Phi} V_j$ 가 성립한다.
• 묘사적 강한 근접성 $\mathcal{M}_1 \mathop{\delta_\Phi}\limits^{\text{doublewedge}} \mathcal{M}_2$ 가 성립하는 것은, $\Phi(\varphi(S_1)) \mathop{\delta}\limits^{\text{doublewedge}} \Phi(\psi(S_2))$ 를 만족하는 차트 $(S_1,\varphi), (S_2,\psi)$ 가 존재하는 것과 동치이다.
• 역방향 함의 $\hat{U}_i \mathop{\delta_\Phi}\limits^{\text{doublewedge}} \hat{V}_j \Rightarrow U_i \mathop{\delta}\limits^{\text{doublewedge}}_{\hat{\mathcal{A}},\Phi} V_j$ 는 일반적으로 성립하지 않으며, 특징 벡터의 겹침이 영상 공간에서의 강한 근접성을 보장하지는 않는다.