[논문 리뷰] Homotopy relations for digital images

Laurence Boxer, P. Christopher Staecker|arXiv (Cornell University)|2015. 09. 22.

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

한 줄 요약

이 논문은 디지털 이미지에 대해 기존의 디지털 호모토피 동치 개념을 확장하여 유한하고 무한한 이미지를 비교할 수 있도록, 세 가지 새로운 호모토피 관계—호모토피 유사성, 동일한 장기 호모토피 유형, 동일한 실수 호모토피 유형—을 도입한다. 기존의 표준 호모토피 동치와 달리, 이러한 관계들은 기본군의 구조와 호모토피 행동이 일치하는 경우, 한 쪽 이미지가 무한한 지름을 가질지라도 유한하고 무한한 디지털 이미지를 유사하게 간주할 수 있도록 허용한다. 주요 기여는 이러한 관계들이 기본군의 동형을 유지하고, 와이드(wedges)와 카르테시안 곱에 대해 닫혀 있음을 보여주며, 무한한 디지털 공간의 호모토피 이론적 분석을 가능하게 한다.

ABSTRACT

We introduce three generalizations of homotopy equivalence in digital images, to allow us to express whether a finite and an infinite digital image are similar with respect to homotopy. We show that these three generalizations are not equivalent to ordinary homotopy equivalence, and give several examples. We show that, like homotopy equivalence, our three generalizations imply isomorphism of fundamental groups, and are preserved under wedges and Cartesian products.

연구 동기 및 목표

• 기존의 표준 정의에서는 유한하고 무한한 디지털 이미지가 호모토피 동치로 간주될 수 없음을 해결하기 위해.
• 유한하고 무한한 디지털 이미지가 호모토피 성질 측면에서 서로 비슷하게 간주될 수 있도록 새로운 호모토피 관계를 정의하기 위해.
• 기본군의 동형을 유지하고, 와이드와 카르테시안 곱과 같은 위상수학적 구성에 대해 닫혀 있도록 하기 위해.
• 유한한 지름을 가진 이미지 외에도 무한한 지름을 가진 이미지를 포함하도록 디지털 호모토피 이론을 일반화하면서도, 대수적 불변량을 유지하기 위해.

제안 방법

• 디지털 호모토피 동치를 일반화하는 세 가지 새로운 관계—호모토피 유사성, 동일한 장기 호모토피 유형, 동일한 실수 호모토피 유형—을 도입한다.
• 호모토피 유사성은 점점 커지는 크기의 부분이미지의 내재된 수열을 통해 정의되며, 각 부분이 다른 공간의 대응 부분과 호모토피 동치가 되도록 한다.
• 동일한 장기 호모토피 유형은 점점 증가하는 시간 간격을 거쳐 정의된 무한한 호모토피 동치의 사슬을 통해 정의된다.
• 동일한 실수 호모토피 유형은 실수 값 시간 간격에서 정의된 연속적인 호모토피를 통해 정의되며, 디지털 환경에 적응시킨다.
• 표준 $c_u$-접속성 프레임워크 내에서 디지털 연속성과 경로 기반 호모토피를 사용하여 잘 정의됨을 보장한다.
• 완화된 접속성(relaxed adjacencies)을 사용하여 구성 요소별 호모토피를 구성함으로써, 와이드와 유한한 카르테시안 곱에 대한 닫힘을 증명한다.

실험 결과

연구 질문

• RQ1 지름이 다를 수 있지만, 호모토피 성질 측면에서 의미 있게 동일하게 간주될 수 있는가?
• RQ2 제안된 관계들—호모토피 유사성, 동일한 장기 호모토피 유형, 동일한 실수 호모토피 유형—은 상호 포함 관계를 가지는가, 아니면 엄밀히 서로 다른가?
• RQ3 두 이미지가 모두 유한한 경우, 이러한 새로운 관계들이 표준 디지털 호모토피 동치와 동치인가?
• RQ4 이 관계들이 기본군의 동형을 유지하는가, 그리고 와이드와 곱과 같은 위상수학적 구성에 대해 존중하는가?
• RQ5 이 새로운 관계들은 지름이 무한한 디지털 이미지를 비교하는 데 사용될 수 있으며, 대수적 불변량을 유지하는가?

주요 결과

• 호모토피 유사성, 동일한 장기 호모토피 유형, 동일한 실수 호모토피 유형은 표준 디지털 호모토피 동치보다 엄밀히 더 일반적이며 상호 동치가 아니다.
• 세 관계 모두, 한 이미지가 무한한 지름을 가질지라도 기본군의 동형을 유도한다.
• 지정된 디지털 이미지의 와이드(wedging)에 대해 이 관계들이 유지되며, 이는 이러한 구성에서의 호모토피 유사성이 유지됨을 의미한다.
• 완화된 접속성을 사용할 경우, 유한한 카르테시안 곱은 세 관계 모두를 유지하며, 이는 곱의 구조와의 호환성을 보장한다.
• 동일한 장기 호모토피 유형은 동일한 실수 호모토피 유형을 함의하지만, 그 역은 일반적으로 성립하지 않는다.
• 한 이미지가 무한한 경우, 이러한 관계들이 표준 호모토피 동치와 동치가 아니며, 이는 유한한 이미지와 무한한 이미지 간의 행동에 근본적인 차이가 있음을 보여준다.