[논문 리뷰] Graph Representations and Topology of Real and Angle Valued Maps

Dan Burghelea, Stefan Haller|arXiv (Cornell University)|2012. 02. 06.

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

한 줄 요약

이 논문은 실수 및 각도 값의 흐름이 있는 맵에 대해 그래프 표현과 위상적 불변량인 바 코드(bar codes) 및 조르당 블록(Jordan cells)을 도입하며, 인접한 차원에서 닫힌 바 코드와 열린 바 코드의 합, 그리고 단형성(monodromy, 즉 조르당 블록)의 호모토피 불변성을 증명한다. 이는 임계 값과 지속성 불변량을 기반으로 한 모스–노비코프 이론의 재해석을 제공하여, 전통적인 기울기 기반 접근법보다 더 넓은 프레임워크를 제시한다.

ABSTRACT

In this paper we review the definition of the invariants "bar codes" and "Jordan cells" of real and angle valued tame maps as proposed in Burghelea and Dey and Carlsson et al and prove the homotopy invariance of the sum # B^c_r +#B^o_{r-1}$ and of the Jordan cells. Here B^c_r resp. B^o_r denote the sets of closed resp. open bar codes in dimension r and # denotes cardinality. In addition we provide calculation of some familiar topological invariants in terms of bar codes and Jordan cells. The presentation provides a different perspective on Morse-Novikov theory based on critical values, bar codes and Jordan cells rather than on critical points instantons and closed trajectories of a gradient of a real or angle valued map.

연구 동기 및 목표

• 바 코드와 조르당 블록을 불변량으로 사용하여 실수 및 각도 값 맵에 대한 새로운 위상적 프레임워크를 수립하기 위해.
• 짝 $(X, \xi_f)$에 대해 $\sharp\mathcal{B}^{c}_{r} + \sharp\mathcal{B}^{o}_{r-1}$ 과 조르당 블록의 집합이 호모토피 불변량임을 증명하기 위해, 여기서 $\xi_f \in H^1(X; \mathbb{Z})$이다.
• 임계점과 기울기 궤도 대신 임계 값, 바 코드, 단형성(monodromy)을 기반으로 한 모스–노비코프 이론의 재구성하기 위해.
• 지속성 이론적 불변량을 흐름이 있는 맵에 대해 일반화하여, 컴act ANR 섬유를 가진 연속 맵으로 확장하기 위해.
• 기본 변환을 사용한 그래프 표현을 통해 바 코드와 조르당 블록에 대한 계산 방법을 제공하기 위해.

제안 방법

• 실수선 상의 구간 $[a,b]$, $(a,b)$, 또는 혼합형 $[a,b)$, $(a,b]$ 로 정의된 바 코드를, 흐름이 있는 맵의 섬유에서 호모로지 클래스의 지속성을 나타내도록 정의한다.
• 유한 차원 벡터 공간 위에서 정의된 체 $\kappa$ 상의 선형 자기변환의 분해 불가능한 블록으로서 조르당 블록을 정의하며, 이는 각도 값 맵에서의 단형성을 포착한다.
• 레벨 집합의 구조와 그 사이의 전이 사상들을 그래프 표현으로 코딩하여, 기본 변환을 통해 불변량을 계산할 수 있도록 한다.
• 흐름이 있는 맵에 관련된 표준 장점 정렬을 적용하여, 부분수준 집합의 호모로지를 바 코드와 조르당 블록과 연결한다.
• 기본 변환 $T_i(j)$ 를 사용하여 표현을 단순화하고 바 코드를 단계적으로 제거하며, 이 과정에서 불변량을 추적한다.
• 호모토피 동치가 $\xi_f$의 코homology 클래스를 유지하는 동안, 수 $N_r(f) = \sharp\mathcal{B}^{c}_{r}(f) + \sharp\mathcal{B}^{o}_{r-1}(f)$ 와 단형성 $(V_r(f), T_r(f))$ 가 변화하지 않음을 보여, 호모토피 불변성을 증명한다.

실험 결과

연구 질문

• RQ1 실수 및 각도 값 맵에 대해 바 코드와 조르당 블록를 어떻게 불변량으로 정의할 수 있는가?
• RQ2 합 $\sharp\mathcal{B}^{c}_{r} + \sharp\mathcal{B}^{o}_{r-1}$ 과 조르당 블록 집합의 호모토피 불변성 상태는 어떠한가?
• RQ3 임계점과 기울기 궤도 대신 임계 값과 지속성 불변량을 사용하여 모스–노비코프 이론을 재해석할 수 있는가?
• RQ4 바 코드와 조르당 블록는 전통적인 위상 불변량인 베티 수와 호모로지 군과 어떻게 관련이 있는가?
• RQ5 이 프레임워크는 흐름이 있는 맵 뿐 아니라, 컴팩트 ANR 섬유를 가진 연속 맵으로 확장할 수 있는가?

주요 결과

• 짝 $(X, \xi_f)$ 에 대해 합 $\sharp\mathcal{B}^{c}_{r}(f) + \sharp\mathcal{B}^{o}_{r-1}(f)$ 는 호모토피 불변량이며, 여기서 $\xi_f \in H^1(X; \mathbb{Z})$ 는 맵 $f$ 의 코homology 클래스이다.
• 조르당 블록 집합 $\mathcal{J}_r(f)$ 도 역시 짝 $(X, \xi_f)$ 의 호모토피 불변량이며, 단형성 $(V_r(f), T_r(f))$ 는 호모토피 동치 하에서도 유지된다.
• 섹션 7의 예시에서 바 코드는 $[2,3]$, $(4,5)$, 그리고 $(\theta_6, \theta_1 + 2\pi]$ 를 포함하며, 유일한 조르당 블록은 차원 1에서 $(2,2)$ 이다.
• 차원 1에서의 단형성은 맵 $\omega_1$ 과 $\omega_2$ 가 정의하는 선형 관계의 정규 부분으로 식별되며, 이는 조르당 블록 $(2,2)$ 를 유도한다.
• 기본 변환 $T_i(j)$ 는 그래프 표현을 기초로 하여 기초 성분으로 분해하고, 바 코드를 체계적으로 제거하며 불변량을 추출할 수 있도록 한다.
• 차원 0에서는 오직 조르당 블록 $\rho^{II}(1;1)$ 만이 불변량이며, 이는 그 차원에서 모든 섬유가 연결되어 있음을 반영한다.