[논문 리뷰] A Relative Theory of Interleavings

Magnus Bakke Botnan, Justin Curry외 1명|arXiv (Cornell University)|2020. 04. 29.

Labor market dynamics and wage inequality인용 수 5

한 줄 요약

이 논문은 비선형 이동이 존재하지 않는 포지트(예: 지그재그 포지트, 면 포지트 등)에 대해 이중화 거리 이론을 일반화하는 상대 이중화 이론을 제안한다. 이를 위해 이러한 포지트를 초선형 이동 가중 가속도를 갖는 타겟 포지트에 통합한다. 핵심 기여는 끌어올림 및 내림 함수를 통한 상대 이중화 거리 정의로, 이는 타겟 포지트에서 원래 거리와 등거리임을 증명하여 안정적인 추론과 픽셀화 기반 근사치를 가능하게 한다. 이는 위상적 데이터 분석에서 유용하다.

ABSTRACT

The interleaving distance, although originally developed for persistent homology, has been generalized to measure the distance between functors modeled on many posets or even small categories. Existing theories require that such a poset have a superlinear family of translations or a similar structure. However, many posets of interest to topological data analysis, such as zig-zag posets and the face relation poset of a cell-complex, do not admit interesting translations, and consequently don't admit a nice theory of interleavings. In this paper we show how one can side-step this limitation by providing a general theory where one maps to a poset that does admit interesting translations, such as the lattice of down sets, and then defines interleavings relative to this map. Part of our theory includes a rigorous notion of discretization or "pixelization" of poset modules, which in turn we use for interleaving inference. We provide an approximation condition that in the setting of lattices gives rise to two possible pixelizations, both of which are guaranteed to be close in the interleaving distance. Finally, we conclude by considering interleaving inference for cosheaves over a metric space and give an explicit description of interleavings over a grid structure on Euclidean space.

연구 동기 및 목표

• 기존 이중화 이론의 한계를 해결하기 위해, 색인 포지트에 초선형 이동 가속도 가족이 필요하다는 조건을 충족하지 못하는 TDA의 핵심 포지트(예: 지그재그 포지트, 면 포지트)에 적용 가능한 이론을 개발한다.
• 임의의 포지트에 대해 이중화 거리를 정의하는 일반적 프레임워크를 개발하기 위해, 비틀림이 존재하는 이동을 허용하는 타겟 포지트 Q에 포지트 P를 매핑하는 방식을 제안한다.
• 끌어올림 및 내림 함수를 통한 포지트 모듈의 이산화 또는 '픽셀화' 개념을 체계화하여 연속적 구조의 근사치를 가능하게 한다.
• 이중화 거리의 근사치가 제한된 오차 내에서 유지되는 조건을 확립하여 추론에 대한 이론적 안정성을 확보한다.

제안 방법

• 포지트 사상 f: P → Q를 정의하여 Q가 초선형 이동 가속도 가족을 갖는다.
• 끌어올림 함수 f*와 내림 함수 f*를 사용하여 모듈과 이중화를 P에서 Q로, 그리고 Q에서 P로 이동시킨다.
• 사상 f: P → Q에 대해 δ-근사 조건을 도입하여 이중화 거리의 왜곡을 제한한다.
• 내림 함수 f*가 그 이미지 위에서 등거리임을 증명하여, Q로 올릴 때 P의 거리가 유지됨을 보장한다.
• f* f* M을 통한 두 가지 유형의 픽셀화를 구성하고, 삼각 부등식을 활용하여 이들이 2δ 이내로 이중화되어 있음을 보인다.
• 메트릭 공간 위의 코셰이브에 이 те올리를 적용하기 위해 R^n에 격자 구조를 도입하고, 셀의 이격된 오프셋이 충분히 이중화 추론을 가능하게 함을 보였다.

실험 결과

연구 질문

• RQ1 지그재그 포지트나 세포 복합체의 면 포지트처럼 비틀림이 존재하지 않는 이동이 없는 포지트에 대해 이중화 거리를 정의할 수 있는가?
• RQ2 초선형 이동 가속도 가족을 갖는 타겟 포지트 Q에 포지트 P를 매핑함으로써 안정적이고 상대적인 이중화 거리를 정의할 수 있는가?
• RQ3 이중화 거리를 제한된 오차 범위 내에서 유지하면서, 포지트 모듈을 이산화(픽셀화)하여 근사할 수 있는가?
• RQ4 사상 f: P → Q에 의해 Q-모듈의 끌어올림이 이중화 거리를 소수의 왜곡으로 유지하는 조건은 무엇인가?
• RQ5 메트릭 공간 위의 코셰이브에 대한 이중화 추론을 연속적인 열린 집합의 성장에서 이격된 격자 기반 계산으로 줄일 수 있는가?

주요 결과

• 내림 함수 f*는 그 이미지 위에서 등거리이므로, P 위의 상대 이중화 거리는 Q 위의 이중화 거리와 등거리이며, 안정성이 유지된다.
• 두 가지 픽셀화 연산 f* f* M이 2δ-이중화되어 있음을 입증하여, 격자 기반 구조를 통한 P-모듈의 안정적 근사치를 가능하게 한다.
• L이 격자이고 f: L → Q가 δ-근사인 경우, 끌어올림 함수 f*는 이중화 거리를 최대 2δ 이내로 왜곡하며, 이는 왜곡의 상한을 제공한다.
• 이론은 연속적인 열린 집합의 성장을 이격된 셀 오프셋으로 대체함으로써 R^n 위의 코셰이브에 대해 안정적인 이중화 추론을 가능하게 한다.
• 격자 간격이 δ 이하로 제한될 경우, 코셰이브의 이중화는 오직 셀의 이격된 오프셋만으로 계산 가능하며, 이는 실용적인 계산 축소를 검증한다.
• 아무 포지트든 내림 집합의 번영적 래티스에 임베딩함으로써 이 이론은 이중화 이론의 적용 범위를 이전에는 다루기 어려웠던 경우로 확장한다.