[논문 리뷰] The genealogy of convex solids

G. Domokos, Zsolt Lángi외 1명|arXiv (Cornell University)|2012. 04. 24.

Topological and Geometric Data Analysis인용 수 1

한 줄 요약

이 논문은 구면의 모든 2색 칠해진 사각형 분할이 볼록체의 질량중심으로부터의 거리 함수의 모어스-스말 함수로 나타남을 증명하며, 볼록성을 유지하는 귀납적 정점 분할 알고리즘을 사용한다. 이 결과는 이전의 분류를 일반화하며, S² 상의 볼록 모어스-스말 함수의 클래스가 이러한 복합체의 모든 조합적 유형을 포괄함을 보여준다.

ABSTRACT

The shape of homogeneous, generic, smooth convex bodies as described by the Euclidean distance with nondegenerate critical points, measured from the center of mass represents a rather restricted class M_C of Morse-Smale functions on S^2. Here we show that even M_C exhibits the complexity known for general Morse-Smale functions on S^2 by exhausting all combinatorial possibilities: every 2-colored quadrangulation of the sphere is isomorphic to a suitably represented Morse-Smale complex associated with a function in M_C (and vice versa). We prove our claim by an inductive algorithm, starting from the path graph P_2 and generating convex bodies corresponding to quadrangulations with increasing number of vertices by performing each combinatorially possible vertex splitting by a convexity-preserving local manipulation of the surface. Since convex bodies carrying Morse-Smale complexes isomorphic to P_2 exist, this algorithm not only proves our claim but also generalizes the known classification scheme in [36]. Our expansion algorithm is essentially the dual procedure to the algorithm presented by Edelsbrunner et al. in [21], producing a hierarchy of increasingly coarse Morse-Smale complexes. We point out applications to pebble shapes.

연구 동기 및 목표

• 부드럽고 볼록하며 균일한 볼록체의 질량중심으로부터의 거리 함수로부터 유도되는 모든 가능한 모어스-스말 복합체를 분류하는 것.
• 이러한 함수의 클래스—M_C로 표기됨—이 S² 상의 일반 모어스-스말 함수의 전체 조합적 복잡성을 나타내는지 여부를 규명하는 것.
• 모든 유효한 2색 칠해진 구면 사각형 분할에 대응하는 볼록체를 생성하는 구축 가능한 알고리즘을 개발하는 것.
• 계산기하학에서의 기존 분류 체계를 볼록기하학의 범위로 확장하여 일반화하는 것.

제안 방법

• 경로 그래프 P₂에서 시작하여, 모어스-스말 복합체에 대한 귀납적 정점 분할 연산을 수행하여 점점 더 복잡한 사각형 분할을 생성한다.
• 각 정점 분할은 볼록체의 볼록성을 유지하는 국소적 표면 변형을 통해 구현된다.
• 구축 과정은 모든 2색 칠해진 구면 사각형 분할이 M_C 내의 어떤 함수의 모어스-스말 복합체와 동형임을 보장한다.
• 알고리즘은 에델브루너 등이 제시한 계층적 굴곡 방법의 이중 구조이며, 그들의 단순화 과정에 대한 개선 기반 대안을 제공한다.
• 사각형 분할과 모어스-스말 복합체 사이의 조합적 동형은 명시적 구축과 위상적 동치성에 의해 확립된다.
• 이 방법은 S² 상의 모어스-스말 함수와 그에 관련된 기울기 흐름 그래프 이론에 기반하며, 볼록체에 국한된다.

실험 결과

연구 질문

• RQ1 모든 2색 칠해진 구면 사각형 분할이 볼록체의 질량중심으로부터의 거리 함수의 모어스-스말 복합체로 실현 가능한가?
• RQ2 일반적인 S² 상의 모어스-스말 함수에 비해 볼록체로부터 유도되는 모어스-스말 복합체에 대해 조합적 제약 조건이 존재하는가?
• RQ3 최소 기준점에서 출발하여 모든 이러한 모어스-스말 복합체를 생성하는 구축 가능하고 볼록성을 유지하는 방법이 존재하는가?
• RQ4 제안된 알고리즘은 계산기하학에서 기존의 계층적 단순화 기법과 어떻게 관련이 있는가?

주요 결과

• 모든 2색 칠해진 구면 사각형 분할은 부드럽고 볼록한 볼록체의 질량중심으로부터의 거리 함수에 속하는 M_C 내의 함수의 모어스-스말 복합체와 동형이다.
• 귀납적 알고리즘은 각 단계에서 볼록성을 유지함으로써 M_C 내의 모든 조합적으로 가능한 모어스-스말 복합체에 대응하는 볼록체를 성공적으로 생성한다.
• 이 알고리즘은 [36]의 분류 체계를 모든 가능한 2색 칠해진 사각형 분할으로 확장함으로써 일반화한다.
• 이 구축 과정은 M_C가 기하학적 제약 조건이 있음에도 불구하고 S² 상의 모어스-스말 함수의 전체 조합적 복잡성을 포괄함을 증명한다.
• 이 방법은 에델브루너 등의 굴곡 알고리즘에 대한 이중 절차를 제공하여, 모어스-스말 복합체의 계층적 개선을 가능하게 한다.
• 경로 그래프 P₂를 모어스-스말 복합체로 실현하는 볼록체의 존재는 기저 사례를 확인하며 귀납적 확장을 가능하게 한다.