[논문 리뷰] Barycentric coordinate neighbourhoods in Riemannian manifolds

Ramsay Dyer, Gert Vegter외 1명|arXiv (Cornell University)|2016. 06. 05.

Morphological variations and asymmetry참고 문헌 4인용 수 10

한 줄 요약

이 논문은 리만다이안 다양체 위에서 바리센트릭 좌표가 유클리드 단체의 이웃에서 다양체의 이웃으로 미분동형사상이 되는 정량적 조건을 설정한다. 이로 인해 리만다이안 단체는 비퇴화하고 공유된 면을 정확히 공유한다. 핵심 결과는 곡률과 변 길이 제약 조건으로부터 유도된, 바리센트릭 좌표 매핑이 단사적이고 미분 가능해지는 이웃의 반경에 대한 하한이다.

ABSTRACT

We quantify conditions that ensure that a signed measure on a Riemannian manifold has a well defined centre of mass. We then use this result to quantify the extent of a neighbourhood on which the Riemannian barycentric coordinates of a set of $n+1$ points on an $n$-manifold provide a true coordinate chart, i.e., the barycentric coordinates provide a diffeomorphism between a neighbourhood of a Euclidean simplex, and a neighbourhood containing the points on the manifold.

연구 동기 및 목표

• 리만다이안 다양체 위에서 바리센트릭 좌표가 유효한 좌표 차트를 형성하는 조건을 규명하는 것.
• 바리센트릭 좌표 매핑이 미분동형사상이 되도록 보장하여 비퇴화된 리만다이안 단체를 가능하게 하는 것.
• 삼각분할 내 인접한 리만다이안 단체 간 공유 면의 기하학적 일致성을 해결하는 것.
• 바리센트릭 좌표 매핑이 여전히 단사적이고 미분 가능해지는 이웃의 크기를 정량화하는 것.

제안 방법

• 서명 측도에 대해 $ x \mapsto \frac{1}{2} \int d_M(x,y)^2 \, d\mu(y) $ 를 사용하여 리만다이안 중심 질량을 정의한다.
• 요르다 필드와 비교 정리를 통한 곡률 기반 추정을 적용하여 중심 질량의 볼록성과 유일성을 확보한다.
• 바리센트릭 좌표 매핑에 의한 거리 왜곡에 대한 리프시츠 유형의 경계를 유도: $ \left| d_M(b(u),b(w)) - |u-w| \right| \leq \frac{50\Lambda\rho^2}{t^2} |u-w| $.
• 유클리드 도메인의 크기를 제어하기 위해 $ s \geq \frac{3}{2} $ 인 척도 인자를 도입한다.
• 일정 곡률의 모델 공간을 사용한 비교 논증을 통해 바리센트릭 매핑의 이미지가 반경 $ \bar{r} = \left(s - \frac{18}{25s}\right)L $ 의 지지곡선 공 내에 포함됨을 유 bounds 한다.
• 두 리만다이안 단체가 면을 공유하고 동일한 조건을 만족할 경우, 그들의 교차는 정확히 공유된 리만다이안 면이 된다는 것을 증명한다.

실험 결과

연구 질문

• RQ1 리만다이안 다양체 위에서 바리센트릭 좌표 매핑이 유클리드 단체 이웃에서 다양체의 이웃으로 미분동형사상이 되는 조건은 무엇인가?
• RQ2 바리센트릭 좌표가 잘 정의되고 단사적인 좌표 체계를 유지하는 이웃의 최대 크기는 얼마인가?
• RQ3 공유된 면을 가진 두 리만다이안 단체의 교차가 정확히 그 면이 되도록 보장하는 방법은 무엇인가?
• RQ4 어떤 곡률 및 기하학적 제약 조건이 서명 측도의 중심 질량이 볼록 공 내부에 존재하고 유일하게 존재하도록 보장하는가?
• RQ5 바리센트릭 좌표 매핑이 곡률에 따라 조절 가능한 왜곡을 유지하도록 균일하게 제어할 수 있는가?

주요 결과

• 리만다이안 다양체의 곡률과 변 길이가 $ \rho^2 \leq \frac{9t^2}{625s^2\Lambda} $ 를 만족할 경우, 유클리드 도메인 내 반경 $ sL $ 의 이웃에서 바리센트릭 좌표 매핑은 미분동형사상이 된다.
• 바리센트릭 매핑의 이미지는 각 정점 중심에 반경 $ \bar{r} = \left(s - \frac{18}{25s}\right)L $ 의 지지곡선 공을 포함하며, $ s \geq \frac{3}{2} $ 일 때 $ \bar{r} \geq L $ 이다.
• $ s = \frac{3}{2} $ 일 경우, 바리센트릭 매핑의 이미지는 전체 리만다이안 단체를 포함하므로 비퇴화됨을 보장한다.
• 두 리만다이안 단체가 면을 공유하고 $ s = \frac{3}{2} $ 를 만족할 경우, 그들의 교차는 정확히 공유된 리만다이안 면이 된다.
• 바리센트릭 좌표 매핑은 거리 왜곡을 최대 $ \frac{50\Lambda\rho^2}{t^2} |u-w| $ 까지 허용하여 곡률 경계 하에서 왜곡이 제어됨을 보장한다.
• 공유된 면은 반대 정점의 바리센트릭 좌표가 0이 되는 집합이며, 이 경계에서 두 매핑은 정확히 일致한다.