[논문 리뷰] Natural pseudo-distance and optimal matching between reduced size functions

Michele D’Amico, Patrizio Frosini외 1명|ArXiv.org|2008. 04. 22.

Advanced Image and Video Retrieval Techniques참고 문헌 17인용 수 8

한 줄 요약

이 논문은 감소된 크기 함수 사이의 새로운 매칭 거리에 기반하여, 크기 쌍 간의 자연적 의사거리에 대해 안정적이고 계산 가능한 하한을 제안한다. 비교를 이러한 함수의 코너포인트 간 최적의 매칭 문제로 모델링함으로써, 이 방법은 자연적 의사거리에 대해 가능한 한 낮은 하한을 제공하며, 이 하한이 날카롭고 소음에 대해 안정적임을 증명한다.

ABSTRACT

This paper studies the properties of a new lower bound for the natural pseudo-distance. The natural pseudo-distance is a dissimilarity measure between shapes, where a shape is viewed as a topological space endowed with a real-valued continuous function. Measuring dissimilarity amounts to minimizing the change in the functions due to the application of homeomorphisms between topological spaces, with respect to the $L_\infty$-norm. In order to obtain the lower bound, a suitable metric between size functions, called matching distance, is introduced. It compares size functions by solving an optimal matching problem between countable point sets. The matching distance is shown to be resistant to perturbations, implying that it is always smaller than the natural pseudo-distance. We also prove that the lower bound so obtained is sharp and cannot be improved by any other distance between size functions.

연구 동기 및 목표

• 측정 함수가 있는 위상적 형태 간의 자연적 의사거리의 직접 계산이 계산적으로 불가능한 문제를 해결하기 위해.
• 명시적인 호메오모르피 검색을 피하기 위해 안정적이고 계산 가능한 자연적 의사거리의 하한을 개발하기 위해.
• 제안된 감소된 크기 함수 간의 매칭 거리가 자연적 의사거리에 대해 가능한 한 최선의 하한임을 입증하기 위해.
• 측정 함수에 대한 $L_∞$-위상에서 매칭 거리의 연속성을 증명함으로써 소음 및 변형에 대한 안정성을 확보하기 위해.
• 기타 크기 함수 간의 거리 중 어떤 것이라도 제안된 매칭 거리보다 더 낫지 않은 하한을 제공할 수 없음을 입증하기 위해.

제안 방법

• 경로 연결성 대신 연결성을 사용하여 감소된 크기 함수를 정의함으로써, 더 나은 이론적 및 계산적 성질를 확보한다.
• 감소된 크기 함수를 확장된 실수 평면 상의 이산 점 집합인 코너포인트로 표현함으로써 이산적 비교를 가능하게 한다.
• 코너포인트 집합 간의 최적 매칭 비용으로 매칭 거리를 정의하며, 이는 대응하는 점들 사이의 $L_∞$-유사 거리의 최소화를 포함한다.
• 측정 함수에 대한 $L_∞$-노름에 대해 매칭 거리의 연속성을 증명함으로써, 소음에 대한 안정성을 보장한다.
• 구성적 보조정리(보조정리 30)를 사용하여, 임의의 두 감소된 크기 함수에 대해 그 매칭 거리가 자연적 의사거리로 실현될 수 있는 위상공간과 측정 함수가 존재함을 보여준다.
• 모순을 통한 증명을 통해 매칭 거리가 가능한 한 최선의 하한임을 입증하며, 다른 어떤 거리도 이를 향상시킬 수 없음을 보여준다.

실험 결과

연구 질문

• RQ1 명시적인 호메오모르피 계산 없이도 안정적이고 계산 가능한 자연적 의사거리의 하한을 구성할 수 있는가?
• RQ2 제안된 감소된 크기 함수 간의 매칭 거리가 자연적 의사거리에 대해 가능한 한 최선의 하한인가?
• RQ3 매칭 거리는 기존의 크기 함수 기반 하한(예: [7] 참조)과 어떻게 관련이 있는가?
• RQ4 측정 함수의 노이즈 및 변형에 대해 매칭 거리를 안정적으로 만들 수 있는가?
• RQ5 자연적 의사거리가 정확히 감소된 크기 함수 간의 매칭 거리와 일치하는 형태 쌍을 구성하는 것이 가능한가?

주요 결과

• 감소된 크기 함수 간의 매칭 거리는 [7]에서 제안된 보다 더 정교하지 않은 크기 함수 비교에 기반한 하한보다 엄격히 더 나은 자연적 의사거리의 하한을 제공한다.
• 매칭 거리는 측정 함수에 대한 $L_∞$-위상에서 연속적이며, 소규모 변형에 대해 안정됨을 보장한다.
• 매칭 거리가 가능한 한 최선의 하한임을 증명하였다: 다른 어떤 크기 함수 간 거리라도 더 낫지 않은 하한을 제공할 수 없다.
• 임의의 감소된 크기 함수 쌍에 대해, 그 자연적 의사거리가 매칭 거리와 정확히 일치하는 위상공간과 측정 함수가 존재한다.
• 타이드 함수의 경우 매칭 거리는 뼈대 거리로 축소되며, 이는 영속 homology 이론과 연결된다.
• 조건 $\ell^*_{(\mathcal{M},\varphi)}(x,y) > \ell^*_{(\mathcal{N},\psi)}(\xi,\eta)$ 를 만족하는 쌍에 대해 $s = \sup_A \min\{\xi - x, y - \eta\}$ 의 상한은 하한을 제공하며, 이 하한은 매칭 거리에 의해 향상되며, 매칭 거리가 적어도 $s$ 이상임이 입증된다.