[논문 리뷰] Exactly computable and continuous metrics on isometry classes of finite and 1-periodic sequences

Vitaliy Kurlin|arXiv (Cornell University)|2022. 05. 09.

Time Series Analysis and Forecasting인용 수 7

한 줄 요약

이 논문은 임의의 유클리드 공간 내 유한하고 1-주기적 순서의 등장변환 클래스에 대해 연속적이고 정확하게 계산 가능한 새로운 측도—탄성 측도 $φ^o$—를 소개한다. 순환 거리 행렬과 시간 투영 불변량을 조합함으로써, 다항식 시간 내에 계산 가능하면서도 소규모 변형에 대해 안정성을 확보하는 방법을 제공하며, 위상적 데이터 분석 분야에서 오랫동안 미해결이었던 문제를 해결한다.

ABSTRACT

The inevitable noise in real measurements motivates the problem to continuously quantify the similarity between rigid objects such as periodic time series and proteins given by ordered points and considered up to isometry maintaining inter-point distances. The past work produced many Hausdorff-like distances that have slow or approximate algorithms due to minimizations over infinitely many isometries. For finite and 1-periodic sequences under isometry in any high-dimensional Euclidean space, we introduce continuous metrics with faster algorithms. The key novelty in the periodic case is the continuity of new metrics under perturbations that change the minimum period.

연구 동기 및 목표

• 유클리드 공간 내 유한하고 1-주기적 순서의 등장변환 클래스에 대해 연속적이고 계산 가능한 측도를 구성하는 데 있어 오랜 동안 미해결이었던 문제를 해결한다.
• 측도가 대칭성, 삼각 부등식, 등장변환된 순서에 대해서만 0이 되는 등 모든 측도 공리(axiom)를 만족하도록 보장한다.
• 등장변환에 대한 최소화를 통한 근사 또는 느린 알고리즘을 피하고, 다항식 시간 내에 정확한 계산을 달성한다.
• 최소 주기의 변화를 초래할 수 있는 변형에 대해서도 연속성을 보장함으로써, 주기적 구조에서의 핵심 과제를 해결한다.
• 순환 거리 행렬과 시간 투영 불변량을 사용하여 등장변환 분류에 대해 완전하고 안정적인 불변량을 제공한다.

제안 방법

• 탄성 측도 $φ^o(S,Q)$를 두 성분의 최대값으로 제안한다: 순환적으로 순열된 시간 투영 거리 목록의 $∞$-노름과 순환 거리 행렬(CDM)의 민코프스키 노름.
• 기저 점을 고정하고 순환 순서로 모든 쌍의 거리를 계산하여 순서에 대한 순환 거리 행렬(CDM)을 정의함으로써 등장변환에 대해 불변성을 확보한다.
• 시간 투영 불변량 $π^o(S)$를 사용하여 시간 축에 따라 정렬된 점 간 거리의 순서를 순환 순열까지 고려하여 인코딩한다.
• 전체 불변량 $τνι(S) = (π^o(S), \mathrm{CDM}(S))$를 구성하여 $ℝ^n$ 내에서 등장변환에 대해 순서를 유일하게 재구성할 수 있도록 한다.
• 순환 순열과 등장변환에 대한 불변성에 기반하여, $φ^o$가 최소가 아닌 주기의 영향을 받지 않음을 증명한다.
• Hausdorff 거리 $d_B$를 사용한 경계 $|φ^o(S,Q)| \leq 2d_B(S,Q)$를 통해 연속성을 확립함으로써 소규모 변형에 대한 안정성을 보장한다.

실험 결과

연구 질문

• RQ1 최소 주기의 변화를 초래할 수 있는 변형에 대해 안정성이 확보되면서도 다항식 시간 내에 정확하게 계산 가능한 측도를 구성할 수 있는가?
• RQ2 유한하고 1-주기적 순서에 대해 등장변환에 대해 완전한 등장변환 불변량을 제공할 수 있는가? 이는 측도로부터 등장변환에 대해 정확한 재구성 가능성을 보장한다.
• RQ3 모티프 점의 소규모 변형에 대해 주기적 구조가 변화하더라도 측도가 안정성을 유지할 수 있도록 설계할 수 있는가?
• RQ4 측도를 시간 투영 성분과 공간 성분으로 분해할 수 있는가? 이 성분들은 각각 등장변환에 대해 불변이며, 함께 등장변환 탐지에 충분한가?
• RQ5 제안된 측도가 대칭성과 삼각 부등식을 포함한 모든 측도 공리를 만족하면서도 계산 효율성이 높은가?

주요 결과

• 크기가 $m$인 순서에 대해 탄성 측도 $φ^o(S,Q)$는 $O(m^3)$ 시간 내에 정확하게 계산 가능하며, 다항식 시간 계산 가능성 요구 조건을 충족한다.
• 측도는 연속적이다: $S$의 각 점이 $\varepsilon$-근접 영역 내로 변형되면 $\u03c6^o(S,Q) \leq C\varepsilon$가 되며, 이는 노이즈에 대한 안정성을 보장한다. 여기서 $C$는 보편 상수이다.
• 측도가 0이 되는 것은 $S$와 $Q$가 등장변환된 경우에만 성립하므로, 불변량 $\mathrm{CDM}$이 등장변환 분류에 대해 완전함을 증명한다.
• 기저 점을 고정하고 순차적 거리 제약 조건을 갖춘 경우, 순환 거리 행렬 $\mathrm{CDM}(S)$는 $\u211d^n$ 내에서 순서 $S$를 등장변환에 대해 유일하게 재구성할 수 있다.
• 시간 투영 불변량 $\mathrm{DL}^o(S)$와 $\mathrm{CDM}(S)$의 조합을 통해 $S$는 등장변환에 대해 완전히 재구성 가능하며, 이는 두 불변량이 충분함을 증명한다.
• 측도는 삼각 부등식과 대칭성을 만족하며, 이는 순환 순열과 민코프스키 노름 성질에 기반한 증명에 의존한다.