[논문 리뷰] Remarks on pointed digital homotopy

Laurence Boxer, P. Christopher Staecker|arXiv (Cornell University)|2015. 03. 10.

Digital Image Processing Techniques참고 문헌 13인용 수 3

한 줄 요약

이 논문은 기존의 임의의 확장 방식을 피하기 위해 결국 일정한(EC) 순환을 사용하는 디지털 기본군의 새로운 변종을 제안한다. 이는 기존의 방법보다 다루기 쉬운 방식이다. 이전 연구에서 잘못된 증명을 수정하여, 기저점 보존이 없더라도 호모토피 동치인 디지털 이미지의 기본군이 서로 동형임을 입증하고, 기저점에 대한 호모토피 동치가 아닌 첫 번째 예시를 제시한다.

ABSTRACT

We present and explore in detail a pair of digital images with $c_u$-adjacencies that are homotopic but not pointed homotopic. For two digital loops $f,g: [0,m]_Z ightarrow X$ with the same basepoint, we introduce the notion of {\em tight at the basepoint (TAB)} pointed homotopy, which is more restrictive than ordinary pointed homotopy and yields some different results. We present a variant form of the digital fundamental group. Based on what we call {\em eventually constant} loops, this version of the fundamental group is equivalent to that of Boxer (1999), but offers the advantage that eventually constant maps are often easier to work with than the trivial extensions that are key to the development of the fundamental group in Boxer (1999) and many subsequent papers. We show that homotopy equivalent digital images have isomorphic fundamental groups, even when the homotopy equivalence does not preserve the basepoint. This assertion appeared in Boxer (2005), but there was an error in the proof; here, we correct the error.

연구 동기 및 목표

• 호모토피 동치인 디지털 이미지의 기본군이 서로 동형임을 주장하는 [3]의 증명에서 오류를 수정하는 것.
• 기존 연구에서 사용된 복잡한 임의의 확장을 피하기 위해 결국 일정한(이하 EC) 순환을 기반으로 하는 디지털 기본군의 새로운 형태를 제안하는 것.
• cu-접근성(접근성)을 갖는 디지털 이미지 중에서 호모토피 동치이지만 기저점에 대한 호모토피 동치가 아닌 첫 번째 예시를 제공하는 것.
• 기저점에서 단단한(이하 TAB) 기반점에 대한 더 엄격한 기반점 호모토피 관계를 정의하고, 이가 순환 동치성에 끼치는 영향을 분석하는 것.
• 기저점이 보존되지 않더라도 호모토피 동치가 기본군에 대해 동형을 유도함을 입증하는 것.

제안 방법

• 유한한 색인 이후 상수값으로 수렴하는 결국 일정한(이하 EC) 순환의 개념을 도입하여, 새로운 기본군 구성의 기초를 마련한다.
• 기저점이 호모토피 전반에 걸쳐 고정되어야 하는 '기저점에서 단단한'(이하 TAB) 새로운 호모토피 관계를 정의한다. 이는 표준 기반점 호모토피보다 더 엄격한 조건을 갖는다.
• 유한 순환의 동치류에서 EC 순환으로 사상하는 준동형사상 $F: \Pi_1(X,x_0) \to G(X,x_0)$를 구성하고, 이것이 동형임을 보인다.
• $H: X \times [0,m]_\mathbb{Z} \to X$ 라는 호모토피를 통해 $1_X$ 에서 $G \circ F$ 로의 변환을 정의하고, 이에 따라 $q(t) = H(p,t)$ 라는 경로를 구성함으로써 기저점을 유지하는 순환 호모토피를 구성할 수 있다.
• 보조정리 5.2의 $q_\#$ 를 적용하여, $F_*$ 가 $q_\#$ 와의 복합을 통해 동형임을 보임으로써 기본군에 대한 유도 사상 $F_*$ 가 동형임을 증명한다.
• $f$ 와 $q_\infty * f * (q_\infty)^{-1}$ 사이의 호모토피 $K$ 를 구성하여 끝점을 고정함으로써 $F_*$ 가 동형임을 증명한다.

실험 결과

연구 질문

• RQ1 기저점 보존이 없는 호모토피 동치인 디지털 이미지의 기본군이 서로 동형일 수 있는가?
• RQ2 호모토피 동치이지만 기저점에 대한 호모토피 동치가 아닌 디지털 이미지 쌍이 존재하는가?
• RQ3 기본군을 결국 일정한 순환을 기반으로 재정의하여 기존의 임의의 확장에 의존하지 않을 수 있는가?
• RQ4 '기저점에서 단단한'(TAB) 호모토피 관계는 표준 기반점 호모토피와 순환 동치성에 미치는 영향에서 어떻게 다를 수 있는가?
• RQ5 디지털 위상수학에서 호모토피 동치가 기본군에 대해 동형을 유도한다는 올바른 증명은 무엇인가?

주요 결과

• 이 논문은 $c_u$-접근성을 갖는 디지털 이미지 중에서 호모토피 동치이지만 기저점에 대한 호모토피 동치가 아닌 첫 번째 예시를 제공한다.
• 기본군을 결국 일정한(EC) 순환을 기반으로 정의한 결과, 기존의 유한 순환 기반 기본군과 동형이지만, EC 순환은 종종 다루기 더 쉽다.
• 사상 $F: \Pi_1(X,x_0) \to G(X,x_0)$ 가 $F([f]_X) = [f_\infty]_X$ 로 정의될 때, 이는 동형임을 보여주어 새로운 기본군 구성과 기존의 구성 간의 동치성을 입증한다.
• [3]에서 호모토피 동치인 디지털 이미지의 기본군이 동형임을 주장하는 증명에서 오류를 수정하였으며, 이는 경로에 의해 유도되는 동형사상 $q_\#$ 와의 복합을 통해 $F_*$ 가 동형임을 보여줌으로써 이루어졌다.
• 경로 $q$ 와 끝점을 고정하는 호모토피 $K$ 를 사용하여 $F_*$ 가 단사 및 전사임을 증명함으로써, $F_*$ 가 동형임을 입증하였다.
• 경로 $q$ 와 호모토피 $K$ 를 통해 $q_\# \circ G_* \circ F_*$ 가 항등사상임을 보이고, $q_\#$ 가 동형이므로 $F_*$ 는 반드시 동형이어야 한다는 점을 증명함으로써, $F_*$ 가 동형임을 확립하였다.