[논문 리뷰] Shape Theories. II. Compactness Selection Principles

Edward Anderson|arXiv (Cornell University)|2018. 11. 15.

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

한 줄 요약

이 논문은 기술적으로 다룰 수 있는 형태(-척도) 이론을 식별하기 위해 밀도 기반의 위상수학적 선택 원칙을 도입한다. 약간의 조건을 만족하는 경우, 컴팩트 공간을 컴팩트 리 군으로 나눈 몫 공간은 분할 다양체로서 분석적으로 잘 다뤄지며, 하우스도르프, 두 번째 가산, 국소 컴팩트(이하 LCHS)인 성질을 갖는다. 이러한 조건들은 양호한 분석적 행동을 보장한다. 제안된 형태 이론들 중에서, 켄달의 유사도 형태 이론을 포함한 소수의 형태 이론만이 이러한 기준을 충족한다. 반면, 영상 분석에서 중요한 역할을 하는 애핀 및 사영 형태 이론들은 단지 콜모고로프 분리 성질을 갖는 것으로 나타나, 기술적 다루기 어려운 성격을 띤다.

ABSTRACT

Shape(-and-scale) spaces - configuration spaces for generalized Kendall-type Shape(-and-Scale) Theories - are usually not manifolds but stratified manifolds. While in Kendall's own case - similarity shapes - the shape spaces are analytically nice - Hausdorff - for the Image Analysis and Computer Vision cases - affine and projective shapes - they are not: merely Kolmogorov. We now furthermore characterize these results in terms of whether one is staying within, or straying outside of, some compactness conditions which provide protection for nice analytic behaviour. We furthermore list which of the recent wealth of proposed shape theories lie within these topological-level selection principles for technical tractability. Most cases are not protected, by which the merely-Kolmogorov behaviour may be endemic and the range of technically tractable Shape(-and-Scale) Theories very limited. This is the second of two great bounds on Shape(-and-Scale) Theories, each of which moreover have major implications for the Comparative Theory of Background Independence as per Article III.

연구 동기 및 목표

• 형태(-척도) 이론에서 기술적 다루기 쉬운 성질을 보장하기 위해 압축 조건을 분석함으로써 위상수학적 선택 원칙을 규명하는 것.
• 왜 켄달의 유사도 형태 이론은 분석적으로 잘 다뤄지지만, 많은 현대 형태 이론들(예: 애핀 및 사영 형태 이론)은 그렇지 않은지 설명하는 것.
• 자동사상군으로 나누어진 별자리 공간의 몫으로 얻어지는 관계공간의 위상수학적 분리 성질(하우스도르프 대비 콜모고로프)을 규명하는 것.
• 표준 다각형체가 실패하는 분할 다각형체 설정에서 미분기하학 도구(예: 군집, 층)의 적용 가능성을 평가하는 것.
• 이러한 결과들이 관계 기반 물리학과 기하학에서의 비교적 배경 독립성에 미치는 영향을 평가하는 것.

제안 방법

• 관계공간을 별자리 공간의 자동사상군으로 나눈 몫으로 간주함: $\mathfrak{R}(d,N;\mathfrak{g}) = \mathfrak{q}(d,N)/\mathfrak{g}$, 여기서 $\mathfrak{g} = \text{Aut}(\mathfrak{M},\boldsymbol{\sigma})$.
• 컴팩트 공간을 컴팩트 리 군으로 나눈 몫은 LCHS(국소 컴팩트, 하우스도르프, 두 번째 가산) 분할 다각형체를 만들어내며, 이는 양호한 분석적 행동을 보장함.
• 형태 이론들을 세 가지 위상수학적 밴드로 분류함: 유형 1(하우스도르프), 유형 2(고립된 나쁜 점들을 제거한 후 하우스도르프), 유형 3(단지 콜모고로프 분리).
• Śniatycki의 하위카르테시안 미분 공간과 Kreck/Pflaum의 (분할 다각형체, 층) 프레임워크를 사용하여, 다각형체가 아닌 분할 공간에도 분석 도구를 확장함.
• 현재의 밀도 기반 기준을 기존 결과들과 비교함. 이는 켄달 등이 제시한 유사도 형태 공간 위상수학과 Mumford의 주장([49] 참조)을 포함함.
• 표준 군집 방법이 분할 설정에서 실패하는 이유를 분석함. 이는 다양한 분할에 걸쳐 비균일한 군집을 유도하기 때문이며, 이에 따라 층 또는 미분 공간 기반의 대체 방법이 필요함.

실험 결과

연구 질문

• RQ1 어느 형태 이론들이 분석적으로 잘 다뤄지는(LCHS) 관계공간을 보장하는 압축 조건을 충족하는가?
• RQ2 왜 켄달의 유사도 형태 이론은 애핀 및 사영 형태 이론보다 더 뛰어난 기술적 다루기 쉬움을 보이는가?
• RQ3 애핀 및 사영 형태 이론에서 나타나는 단지 콜모고로프 분리 성질을 갖는 분할 다각형체는 표준 미분기하학 도구의 적용 가능성을 어느 정도 제한하는가?
• RQ4 Śniatycki의 하위카르테시안 미분 공간 프레임워크는 비하우스도르프 경우에도 분석적 구조를 복원하기 위해 형태-척도 공간에 적용될 수 있는가?
• RQ5 이러한 밀도 기반 선택 원칙은 관계 기반 물리학과 기하학에서의 비교적 배경 독립성의 범위를 어떻게 제약하는가?

주요 결과

• 켄달의 유사도 형태 이론은 두 가지 압축 조건을 모두 충족한다. 즉, 컴팩트한 프리셰이프 구면 $\mathbb{S}^{nd-1}$ 을 컴팩트한 회전군 $SO(d)$ 로 나눈 몫으로 표현되며, 이는 LCHS 분할 다각형체를 생성한다.
• 애핀 및 사영 형태 이론은 영상 분석 및 컴퓨터 시각 분야에서 중요하지만, 압축 조건을 충족하지 못하며 단지 콜모고로프 분리 성질을 갖는다. 이는 악화된 분석적 행동을 초래한다.
• 컴팩트 공간을 컴팩트 리 군으로 나눈 몫은 LCHS 몫 공간을 보장하며, 이는 파라콤팩트성을 확보하고 표준 분석 도구의 사용을 가능하게 한다.
• LCHS가 아닌 분할 다각형체(예: 애핀 및 사영 이론에서 나타나는 것들)는 비균일한 분할을 지닌다. 따라서 표준 군집 방법을 사용할 수 없으며, 층 또는 미분 공간 기반의 대체 방법이 필요하다.
• 제안된 관계 이론들 중에서 오직 소수의 이론들(켄달의 이론 포함)만이 보존적 압축 조건 기준을 충족한다. 이는 기술적으로 다룰 수 있는 형태 이론이 극히 드물다는 것을 의미한다.
• LCHS 분할 다각형체는 Śniatycki의 하위카르테시안 미분 공간 프레임워크와 Kreck/Pflaum의 (분할 다각형체, 층) 방법론의 범위에 포함되며, 이는 향후 분석적 연구를 가능하게 한다.