[논문 리뷰] Computing Homotopy Types of Directed Flag Complexes

Dejan Govc|arXiv (Cornell University)|2020. 06. 09.

Topological and Geometric Data Analysis참고 문헌 36인용 수 4

한 줄 요약

이 논문은 단순체의 붕괴, 호모로지 계산, 콘 작용을 조합한 반복 계산 절차를 사용하여 선형 뉴런 네트워크인 Caenorhabditis elegans의 유도 플래그 복합체의 호모토피 유형을 계산한다. 이 복합체는 구의 와이어드(wedge)와 호모토피 동치임을 입증하며, 이는 어떤 뇌 네트워크의 경우에도 처음으로 그 호모토피 유형이 완전히 규명된 사례이다. 동시에 동일한 그래프의 플래그 터나플렉스에서 토르션(torsion)을 확인하였다.

ABSTRACT

Combinatorially and stochastically defined simplicial complexes often have the homotopy type of a wedge of spheres. A prominent conjecture of Kahle quantifies this precisely for the case of random flag complexes. We explore whether such properties might extend to graphs arising from nature. We consider the brain network (as reconstructed by Varshney & al.) of the Caenorhabditis elegans nematode, an important model organism in biology. Using an iterative computational procedure based on elementary methods of algebraic topology, namely homology, simplicial collapses and coning operations, we show that its directed flag complex is homotopy equivalent to a wedge of spheres, completely determining, for the first time, the homotopy type of a flag complex corresponding to a brain network. We also consider the corresponding flag tournaplex and show that torsion can be found in the homology of its local directionality filtration. As a toy example, directed flag complexes of tournaments from McKay's collection are classified up to homotopy. Moore spaces other than spheres occur in this classification. As a tool, we prove that the fundamental group of the directed flag complex of any tournament is free by considering its cell structure.

연구 동기 및 목표

• 실제 생물학적 네트워크로는 이전에 완전히 분석되지 않은 C. elegans 신경망의 유도 플래그 복합체의 호모토피 유형을 규명하는 것.
• 일반적인 무작위 플래그 복합체에서 자주 관찰되는 호모토피 유형이 구의 와이어드임을 알려진 결과를 바탕으로 실제 생물학적 네트워크로 확장하는 것.
• 단순체 붕괴, 호모로지 탐지, 콘 작용을 통한 대규모 유도 플래그 복합체의 단순화를 가능하게 하는 체계적인 계산 방법을 개발하고 구현하는 것.
• 실제 자연 네트워크의 유도 플래그 복합체와 터나플렉스의 정수 호모로지에서 토르션이 존재하는지 조사하는 것.
• 실제 방향성 그래프의 구조적 특성(예: 자동사상)이 호모토피 유형과 같은 위상적 성질과 상관관계가 있는지 탐색하는 것.

제안 방법

• 유도 플래그 복합체의 단순화를 위해 Mathematica에서 반복 계산 파이프라인을 구현하여 단계적 단순체 붕괴를 수행하였다.
• 각 단계의 단순화 과정에서 비자명한 호모로지의 생성자인 구형 사이클을 탐지하기 위해 호모로지 계산을 사용하였다.
• 식별된 구형 합성원을 분리하기 위해 콘 작용을 적용하여 복합체를 단순화하면서도 호모토피 유형을 유지하였다.
• 콘 작용을 위한 히우리스틱으로는 탐색적 하위복합체 구성과 중간 점검을 위한 상대 호모로지 사용을 포함하였다.
• 정수 호모로지(ℤ 위에서)를 계산하여 토르션을 탐지하였으며, 이는 이전의 ℤ₂ 계산 결과와 비교되었다.
• C. elegans 복합체를 한 점으로 단순화하는 데 성공함으로써, 이 복합체가 구의 와이어드와 호모토피 동치임을 확인함으로써 방법의 타당성을 검증하였다.

실험 결과

연구 질문

• RQ1 C. elegans 신경망의 유도 플래그 복합체는 구의 와이어드와 호모토피 동치인가?
• RQ2 실제 생물학적 네트워크의 플래그 터나플렉스의 정수 호모로지에서 토르션을 탐지할 수 있는가?
• RQ3 C. elegans와 같은 자연 방향성 그래프의 위상적 풍부성은 Erdős-Rényi 무작위 그래프와 상당히 다를까?
• RQ4 붕괴, 호모로지, 콘 작용에 기반한 반복 계산 절차가 대규모 유도 플래그 복합체의 호모토피 유형을 효과적으로 규명할 수 있는가?
• RQ5 자동사상과 같은 그래프의 구조적 불변량이 호모토피 유형이나 토르션과 같은 위상적 특성과 상관관계가 있는가?

주요 결과

• C. elegans 그래프의 유도 플래그 복합체는 구의 와이어드와 호모토피 동치이며, 이는 처음으로 그 호모토피 유형이 완전히 규명된 사례이다.
• 복합체의 유리수 베텨리 수는 ℤ₂ 위에서의 값과 일치하며, 정수 호모로지에서 토르션은 발견되지 않았다.
• 플래그 터나플렉스에서 토르션이 탐지되었으며, 특히 d ∈ [2,10) 범위의 국소적 방향성 필터링에서 비구형 위상 구조가 나타남을 시사한다.
• 플래그 터나플렉스는 0에서 7까지의 모든 차수에서 비자명한 호모로지를 가지며, 베텰리 수는 1에서 2652까지 다양하게 나타나 풍부한 위상적 구조를 가짐을 보여준다.
• McKay의 수집 자료에서 유도된 토너먼트(tournament)의 플래그 복합체에는 구 이외의 무어 공간(Moore spaces)이 포함되어 있어, 이러한 복합체가 항상 구의 와이어드가 아니라는 것을 시사한다.
• C. elegans 그래프의 자동사상군은 ℤ₂ ⊕ ℤ₂이며, 275개의 정점은 이중도수(bidegree)와 이웃 구조에 의해 고유하게 식별 가능하다.