[논문 리뷰] Closed surfaces with different shapes that are indistinguishable by the SRNF

Eric Klassen, Peter W. Michor|arXiv (Cornell University)|2019. 10. 23.

3D Shape Modeling and Analysis참고 문헌 8인용 수 6

한 줄 요약

이 논문은 R³ 내에서 형태 분석에 널리 사용되는 제곱근 정규장(SRNF) 방법이 표면 형태를 유일하게 결정하지 못함을 보여준다. 특히, 서로 다른 닫힌 표면과 열린 표면이 동일한 SRNF를 가질 수 있음을 증명하며, 이는 이 측도 하에서 구별할 수 없음을 의미한다. 이러한 비유일성에도 불구하고, SRNF는 이심 이동을 제외한 표준 구와 엄격한 볼록 임bedded 표면을 유일하게 식별한다.

ABSTRACT

The Square Root Normal Field (SRNF), introduced by Jermyn et al. in [3], provides a way of representing immersed surfaces in $\mathbb R^3$, and equipping the set of these immersions with a "distance function" (to be precise, a pseudometric) that is easy to compute. Importantly, this distance function is invariant under reparametrizations (i.e., under self-diffeomorphisms of the domain surface) and under rigid motions of $\mathbb R^3$. Thus, it induces a distance function on the shape space of immersions, i.e., the space of immersions modulo reparametrizations and rigid motions of $\mathbb R^3$. In this paper, we give examples of the degeneracy of this distance function, i.e., examples of immersed surfaces (some closed and some open) that have the same SRNF, but are not the same up to reparametrization and rigid motions. We also prove that the SRNF does distinguish the shape of a standard sphere from the shape of any other immersed surface, and does distinguish between the shapes of any two embedded strictly convex surfaces.

연구 동기 및 목표

• 형태 공간에서 SRNF 사상의 단사성, 특히 닫힌 표면에 대해 조사하기.
• 일부 표면 클래스에 대해 SRNF 준거리가 비유일적(즉, 단사적이지 않음)임을 보여주기.
• SRNF가 여전히 표면 형태를 유일하게 식별하는 조건을 규명하기.
• 서로 비등장하는 표면이 동일한 SRNF를 가질 수 있는 명시적 예시를 구성하기, 특히 닫힌 표면 포함.
• 닫힌 표면에서 이러한 비유일성 발생에 평평한 부분이 필수적인지에 대한 열린 질문 해결하기.

제안 방법

• SRNF 사상 Φ(f) = √a(x)·n(x)를 정의하되, a(x)는 면적 승수 요소이고 n(x)는 단위 법선이다.
• SRNF 차이의 L² 노름을 사용해 준거리 d(f₁,f₂) = ||Φ(f₁) − Φ(f₂)||을 Imm(M, R³)에 정의한다.
• 면적을 유지하는 미분동형사상(평평한 부분, 즉 구멍이 있는 디스크)을 통해 SRNF는 유지하지만 형태는 유지하지 않는 반례를 구성한다.
• Hirsch 등이 제시한 정리 4를 활용해 평평한 부분에서 면적을 유지하는 미분동형사를 구성한다.
• 가우스 사상 성질과 가우스-بون네 정리를 이용해 구와 볼록 표면에 대해 유일성을 증명한다.
• 가우시안 곡률로부터 표면 재구성에 관한 민코프스키 정리를 사용해, 동일한 SRNF를 가진 볼록 표면은 이심 이동을 제외하고 동일함을 보인다.

실험 결과

연구 질문

• RQ1 서로 합동이 아니며 재매arametrization되지 않은 두 표면이 동일한 SRNF를 가질 수 있는가?
• RQ2 SRNF 사상은 닫힌 표면의 형태 공간에서 단사적인가?
• RQ3 닫힌 표면에서 SRNF의 비유일성 발생에 평평한 부분이 필수적인가?
• RQ4 표준 구는 모든 임베딩된 표면 중에서 SRNF로 유일하게 식별될 수 있는가?
• RQ5 SRNF는 두 엄격한 볼록 임베딩된 표면을 구분하는가?

주요 결과

• SRNF 사상은 닫힌 표면의 형태 공간에서 단사적이지 않다. 서로 다른 닫힌 표면이 동일한 SRNF를 가질 수 있다.
• 반례로는 선형 스케일링을 거친 실린더와 동일한 ab 곱을 가진 포물면이 있으며, 이들은 정지운동이나 재매arametrization으로 연결되지 않는다.
• 평평한 부분이 있는 닫힌 표면(구멍이 있는 디스크)의 경우, 경계를 고정하고 내부 디스크의 순서를 바꾸는 면적을 유지하는 미분동형사는 SRNF를 유지한다.
• 표준 구는 SRNF로 유일하게 결정된다: 동일한 SRNF를 가진 임베딩은 반드시 단위 구의 이심 이동이어야 한다.
• 동일한 SRNF를 가진 두 엄격한 볼록 임베딩된 표면은 반드시 상호 이심 이동이어야 하며, 이는 동일한 가우시안 곡률과 민코프스키 정리에 기반한다.
• 평평한 부분이 존재할 경우 SRNF는 형태를 구분하지 못하지만, 구와 볼록 표면에 대해서는 여전히 단사적이며, 이는 그 방법의 한계와 강점을 드러낸다.