[논문 리뷰] Duality in Persistent Homology of Images

Adélie Garin, Teresa Heiss외 3명|arXiv (Cornell University)|2020. 05. 10.

Topological and Geometric Data Analysis참고 문헌 13인용 수 9

한 줄 요약

이 논문은 회색조 디지털 영상의 표현에 사용되는 두 개의 이중 필터링 입방체 복합체인 V-구성(픽셀을 정점으로 간주)과 T-구성(픽셀을 최고차원 세포로 간주)의 영구 호몰로지 바코드 사이의 이중성 관계를 수립한다. 이는 바코드 간의 전단사 관계를 증명함으로써, 필터링 값의 반전과 차원의 이동 $d-k-1$을 통한 변환을 가능하게 하여, 어느 한 쪽 모델에 최적화된 소프트웨어를 사용하여 효율적인 계산을 가능하게 하며, 고차원 영상 분석으로의 응용을 가능하게 한다.

ABSTRACT

We derive the relationship between the persistent homology barcodes of two dual filtered CW complexes. Applied to greyscale digital images, we obtain an algorithm to convert barcodes between the two different (dual) topological models of pixel connectivity.

연구 동기 및 목표

• 디지털 영상 분석에서 이중 필터링 CW 복합체의 영구 호몰로지 바코드 간 수학적 이중성을 수립하기 위해.
• 이미지 위상 계산을 위한 V-구성(픽셀을 정점으로 간주)과 T-구성(픽셀을 세포로 간주) 사이의 선택 곤란 문제를 해결하기 위해.
• 반대되는 구성에서의 낮은 차원의 바코드를 활용하여 고차원에서의 영구 호몰로지 계산을 효율적으로 수행할 수 있도록 하기 위해.
• 기존의 구 또는 표준 호몰로지에 국한된 제약 조건을 초월하여, 디지털 영상의 맥락에서 필터링된 입방체 복합체에 대해 앨리오크산 이중성을 일반화하기 위해.

제안 방법

• 셀 단위의 이중성에 기반하여 이중 필터링 복합체 $(X,f)$ 와 $(X^*,f^*)$ 를 정의하되, $X$ 내의 $k$-셀은 $X^*$ 내의 $(d-k)$-셀에 대응하고, 인접성과 필터링 순서는 반전되며, $f^*(\sigma^*) = -f(\sigma)$ 를 만족한다.
• 절대 코호사슬 복합체 $(X,f)$ 와 상대 사슬 복합체 $(X^*,f^*)$ 사이의 이동된 필터링 사슬 동형사상(이sovorphism)을 수립하여, 영구 코호몰로지 및 영구 호몰로지에서의 동형사상 유도.
• 문헌 [15]의 결과를 활용하여, 이중 복합체의 절대 영구 호몰로지 바코드 간의 전단사 관계로 확장.
• 디지털 영상에 이중성을 적용하기 위해, 이중 필터링 복합체인 $I_V$(V-구성)와 $I_T$(T-구성)를 구성하며, $f^* = -f$ 를 적용.
• 무한한 영구성을 다루기 위해 큰 값 $N$ 을 사용한 한점 컴actification을 수행한 후, $N \to \infty$ 의 극한을 취하여 최종 변환 규칙 유도.
• 바코드 간의 변환 알고리즘 유도: $[p,q)_k \leftrightarrow [-q,-p)_{d-k-1}$ 와 $[p,\infty)_k \leftrightarrow [-p,\infty)_{d-k}$

실험 결과

연구 질문

• RQ1 그레이스케일 영상의 V-구성과 T-구성의 영구 호몰로지 바코드는 이중성 하에서 어떻게 관련되어 있는가?
• RQ2 특정 위상 모델(예: V-구성)의 바코드는 반대 모델(예: T-구성)을 위해 설계된 소프트웨어를 통해 효율적으로 계산할 수 있는가?
• RQ3 디지털 영상에서 이중 필터링 복합체 간의 바코드를 연결하는 정확한 수학적 변환은 무엇인가?
• RQ4 영구 호몰로지의 이중성은 고전적 앨리오크산 이중성의 범위를 어떻게 필터링된 입방체 복합체 및 디지털 영상으로 확장하는가?
• RQ5 고차원 영구 호몰로지($Dgm_2$ 등)는 반대 구성에서의 낮은 차원 바코드를 활용하여 더 효율적으로 계산할 수 있는가?

주요 결과

• 이중 필터링 복합체의 영구 호몰로지 바코드 간 전단사 관계 존재: $[p,q)_k \in Dgm_k(X,f)$ 는 $[-q,-p)_{d-k-1} \in Dgm_{d-k-1}(X^*,f^*)$ 로 사상됨.
• 무한 영구성 간격은 $[p,\infty)_k \leftrightarrow [-p,\infty)_{d-k}$ 로 변환되며, 컴actification 하에서도 이중성 유지.
• 이 변환은 디지털 영상의 V-구성과 T-구성 바코드 간의 상호 변환을 가능하게 하여, 어느 한 쪽 모델에 최적화된 소프트웨어를 활용할 수 있도록 함.
• 반대 구성의 이중 $Dgm_{d-k-1}$ 을 계산함으로써 $k > 0$ 인 $Dgm_k$ 의 계산을 효율적으로 수행할 수 있으며, 계산 비용 감소.
• 이중성은 이산 모스 이론에서 유도된 추상 사슬 복합체로 일반화되며, [1]의 결과를 일반화하고 V-경로 및 모스 함수의 이중성을 정밀화함.
• 기존의 확장된 영구성 및 디지털 위상수학에 대한 연구를 일반화하고 확장하며, 구나 표준 호몰로지 또는 특정 함수에 국한된 제약 조건을 제거함.