[논문 리뷰] Linear relations, monodromy and Jordan cells of a circle valued map

Dan Burghelea|arXiv (Cornell University)|2015. 01. 11.

Topological and Geometric Data Analysis참고 문헌 12인용 수 3

한 줄 요약

이 논문은 무한 순환 덮개나 그래프 표현을 사용하지 않고, 선형 관계를 이용하여 원주 값을 갖는 사상의 조르당 블록을 계산하는 새로운 알고리즘을 제안한다. 이는 단순 복합체 위의 단순 맵을 통해 노비코프 베텨리 수와 앨리오크산 다항식과 같은 위상적 불변량을 효율적으로 계산할 수 있도록 하며, 단순성과 기하학적 증명을 통해 모노드로미의 호모토피 불변성을 보여준다.

ABSTRACT

In this paper we consider the definition of " monodromy of an angle valued map" based on linear relations as proposed in Burghelea-Haller (3). This definition provides an alternative treatment of monodromy and computationally an alternative calculation of the "Jordan cells", topological persistence invariants of a circle valued maps introduced in Burghelea-Day (2). We give a new geometric proof that the monodromy is actually a homotopy invariant of a pair consisting of a compact ANR and an integral degree one cohomology class without any reference to the infinite cyclic cover associated to cohomology class as in (3), or to the graph representation associated an angle valued map defining the cohomology class as in (2). Most important, we describe an algorithm to calculate the monodromy for a simplicial angle valued map defined on a finite simplicial complex, providing a new algorithm for the calculation of the Jordan cells of the map, shorter than the one proposed in (2). We indicate the computational usefulness of "Jordan cells", and in particular of the proposed algorithm, for the calculation of other basic topological invariants of the pair.

연구 동기 및 목표

• 무한 순환 덮개나 그래프 표현을 사용하지 않고, 쌍 $(X, \tilde{\theta})$ 에 대한 모노드로미가 호모토피 불변임을 기하학적으로 증명하는 것.
• 유한 단순 복합체 위의 단순 각도 값 사상에 대해 조르당 블록을 계산하는 알고리즘을 개발하여 이전 방법보다 더 짧은 계산 경로를 제공하는 것.
• 노비코프 베텨리 수, $L^2$-베텨리 수, 앨리오크산 다항식과 같은 기본적인 위상적 불변량을 계산하는 데 조르당 블록을 활용하는 것.
• 모노드로미와 조르당 블록이 특정 대표 사상 $f: X \to \mathbb{S}^1$ 에 의존하지 않고 쌍 $(X, \tilde{\theta})$ 에만 의존함을, 호모토피 및 안정화에 대한 불변성에 기반해 증명하는 것.
• 선형 관계와 관계의 정규 부분과 같은 선형 대수적 구조를 통해 원주 값 사상에 대한 영속성 불변량의 계산을 통합하고 단순화하는 것.

제안 방법

• 모노드로미는 수준 집합의 호모로지 군 위의 선형 관계를 통해 정의되며, 무한 순환 덮개나 그래프 표현을 필요로 하지 않는다.
• 알고리즘은 인접한 수준 집합의 호모로지 군 간 사상에서 유도된 선형 관계의 복합체의 정규 부분 $R(A,B)_{\text{reg}}$ 를 계산한다.
• 조르당 블록은 선형 관계 $R(\rho)$ 와 관련된 $G_{2m}$-표현을 갖는 모노드로미 연산자 $T^{(X,\xi)}(r)$ 의 정규 부분에서 추출된다.
• 모든 각도가 약하게 정규적이 되도록 보장하기 위해 유한 복합체 위의 단순 맵을 사용하여 알고리즘의 계산 가능성을 확보한다.
• 선형 관계를 정규 부분과 특이 부분으로 분해하는 데 기반하며, 조르당 블록은 정규 부분에 의해 결정된다.
• 명시적인 예제를 통한 검증을 통해 이전 방법보다 더 짧은 계산 경로를 확보하였으며, 영속성 호모로지 불변량 계산에 있어 계산적 우수성을 입증하였다.

실험 결과

연구 질문

• RQ1 노비코프 호모로지나 무한 순환 덮개를 사용하지 않고도 원주 값 사상의 모노드로미가 호모토피 불변임을 증명할 수 있는가?
• RQ2 그래프 표현 기반 방법보다 더 효율적인 원주 값 사상의 조르당 블록 계산 알고리즘이 존재하는가?
• RQ3 조르당 블록을 어떻게 활용하여 노비코프 베텨리 수나 앨리오크산 다항식과 같은 위상적 불변량을 계산할 수 있는가?
• RQ4 사상의 조르당 블록과 관련된 선형 관계의 정규 부분 사이의 관계는 무엇인가?
• RQ5 모든 컴acts ANR와 정수 코호모로지 클래스에 대해 단순화된 근사법을 통해 모노드로미를 일관되게 정의하고 계산할 수 있는가?

주요 결과

• 모노드로미 연산자 $T^{(X,\xi)}(r)$ 는 쌍 $(X, \xi)$ 에 대한 호모토피 불변량이며, 무한 순환 덮개나 노비코프 호모로지에 대한 참조 없이 기하학적으로 증명되었다.
• 유한 단순 복합체 위의 단순 각도 값 사상에 대해 조르당 블록 $\mathcal{J}_r(X;\xi)$ 을 계산하는 새로운 알고리즘이 제안되었으며, 이는 이전 방법보다 계산 복잡도가 감소된 것으로 확인되었다.
• 조르당 블록은 모노드로미 관계 $R(\rho)_{\text{reg}}$ 와 동치이며, 그 구조는 선형 관계 $R(\rho) = R^\dagger(\beta_m) \cdot R(\alpha_m) \cdots R^\dagger(\beta_1) \cdot R(\alpha_1)$ 에 의해 완전히 기술된다.
• 알고리즘은 $R(A,B)_{\text{reg}}$ 를 효율적으로 계산하여 바코드와 조르당 블록과 같은 영속성 불변량의 빠른 계산을 가능하게 한다.
• 이 방법은 조르당 블록 분해를 통해 $L^2$-베텨리 수와 노비코프 베텨리 수를 계산할 수 있으며, 기존의 무한 덮개 구성 방식에 대한 계산적 대안을 제공한다.
• 이 구성은 약한 애시모트릭 ANR에 대한 안정화에 대해 안정적이며, 호모토피 동치를 유지하므로 위상적 데이터 분석에서 강건성을 확보한다.