[논문 리뷰] The stability of persistent homology of hypergraphs

Shiquan Ren, Jie Wu|arXiv (Cornell University)|2020. 02. 06.

Topological and Geometric Data Analysis참고 문헌 23인용 수 6

한 줄 요약

이 논문은 필터링 변형에 대해 초그래프에서 지속 임bedded 호모로지의 안정성을 확립하며, 기존의 단체 복합체에 대한 고전적 안정성 결과를 초그래프로 확장한다. 하향 집합이 동일한 단순-호모토피 유형을 유지할 경우, 지속 베티 수는 필터링이 변형되어도 일정하게 유지됨을 증명하여, 군집 상호작용을 포함하는 복잡한 네트워크에 대한 강력한 위상적 데이터 분석을 보장한다.

ABSTRACT

Hypergraph is the most general model for complex networks involving group interactions. Taking the ideas of path homology from Alexander Grigor'yan, Yong Lin, Yuri Muranov and Shing-Tung Yau [18-22], Stephane Bressan, Jingyan Li and the authors of this article introduced embedded homology of hypergraphs [6] in 2019, which has leaded to successful applications in protein-ligand binding network [24, 25] in 2021. A fundamental question arising from practical applications is about the stability of the persistent embedded homology of hypergraphs. In this paper, we prove the stability of the persistent embedded homology as well as the persistent homology of the associated simplicial complex with respect to perturbations of the filtration on a hypergraph. We apply the persistent homology methods to morphisms of hypergraphs and prove the stability with respect to perturbations of the filtrations. We prove the constancy of the persistent Betti numbers under some conditions on the simple-homotopy types of hypergraphs.

연구 동기 및 목표

• 복잡한 시스템에서 신뢰할 수 있는 위상적 데이터 분석을 위해 필수적인, 초그래프에서 지속 임bedded 호모로지의 이론적 안정성을 확립하는 것.
• 지속 호모로지에서 유도된 위상적 특징이 입력 데이터의 소규모 변형에 대해 강건한지 여부라는 기본적인 과제를 다루는 것.
• 단체 복합체에서의 고전적 안정성 정리들을 군집 상호작용을 더 자연스럽게 모델링하는 초그래프로 일반화하는 것.
• 지속 베티 수가 필터링 변화 동안 일정하게 유지되는 조건을 조사하여 위상적 일관성을 확보하는 것.
• 실제 초그래프 데이터(예: 단백질-리간드 상호작용 네트워크 등)에 지속 호모로지를 적용하기 위한 이론적 기반을 제공하는 것.

제안 방법

• 실수 값을 갖는 필터링을 초그래프에 적용하여 포함 관계를 갖는 하향 하이퍼그래프의 가족을 정의함으로써, 위상적 지속성의 연구를 가능하게 한다.
• 경로 호모로지와 체인 복합체를 기반으로 한 임bedded 호모로지 이론을 초그래프에 적용하여, 동일한 호모토피 유형을 갖는 최소 및 최대 복합체를 구성한다.
• 하향 집합의 임bedded 호모로지를 통해 초그래프의 지속 호모로지를 정의하고, 이와 관련된 단체 복합체의 지속 호모로지와 비교한다.
• 강한 및 약한 단순-호모토피 유형을 사용하여 위상적 불변성을 분석하며, 기본적인 붕괴 및 확장에 의해 유도되는 체인 사상들을 활용한다.
• 지속 다이어그램과 베티 수의 다중도를 사용하여 위상적 특징을 표현하며, 지속 베티 수는 특정 시간 간격 제약 조건을 만족하는 다이어그램 내 점들에 대한 합으로 정의된다.
• 이전의 단체 호모로지 연구 결과(예: [13, 섹션 2.3])를 적용하여 지속 베티 수를 바코드 분해 내 다중도와 연결한다.

실험 결과

연구 질문

• RQ1 초그래프의 지속 임bedded 호모로지가 필터링 함수의 소규모 변형에 대해 안정적인가?
• RQ2 지속 베티 수가 필터링 간격 동안 일정하게 유지되는 조건은 무엇인가?
• RQ3 하향 하이퍼그래프의 강한 및 약한 단순-호모토피 유형은 지속 호모로지의 안정성에 어떻게 영향을 미치는가?
• RQ4 지속 호모로지의 안정성은 단체 복합체에서 초그래프로 군집 상호작용을 포함한 경우로 확장될 수 있는가?
• RQ5 기본 붕괴에 의해 유도되는 체인 사상은 필터링 수준 간에 호모로지 군을 어떻게 유지하는가?

주요 결과

• 초그래프의 임bedded 호모로지의 지속 다이어그램은 필터링 함수의 소규모 변형에 대해 안정하다.
• 모든 정점이 0-하이퍼모서리일 경우, 하향 집합 ℋₜᶠ와 ℋₛᶠ가 동일한 강한 단순-호모토피 유형을 갖는다면 지속 베티 수 βₙ^{t,s}는 일정하게 유지된다.
• 하향 집합이 동일한 약한 단순-호모토피 유형을 갖는다면 지속 베티 수 β_Δ,n^{t,s}는 일정하다.
• 하향 집합이 레미마 3.5의 조건을 만족하는 약한 기본 붕괴의 순서로 연결되어 있을 경우, 지속 베티 수 β_δ,n^{t,s}는 변화하지 않는다.
• 하향 집합 포함에 의해 유도되는 호모로지 군의 동형사상은 지정된 호모토피 동치 조건 하에서 지속 베티 수의 불변성을 보장한다.
• 이 안정성 결과는 고전적 지속 호모로지 안정성의 초그래프로의 일반화로, 복잡한 네트워크에서 위상적 데이터 분석을 위한 강력한 프레임워크를 제공한다.