[논문 리뷰] A Discrete Morse Theory for Hypergraphs

Shiquan Ren, Chong Wang외 2명|arXiv (Cornell University)|2018. 04. 19.

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

한 줄 요약

이 논문은 단순 복합체에서 초그래프로 이산 모어스 이론을 확장하며, 초모서리에 이산 모어스 함수를 정의하고 관련 단순 복합체의 임계 단순체로부터 부분사슬 복합체를 구성한다. 초그래프의 임bedded 호모로지가 이러한 부분복합체의 호모로지와 동형임을 증명하며, 포르만의 원래 결과를 일반화하고 초그래프에 대한 모어스 부등식과 붕괴 정리를 수립한다.

ABSTRACT

A hypergraph can be obtained from a simplicial complex by deleting some non-maximal simplices. By [11], a hypergraph gives an associated simplicial complex. By [4], the embedded homology of a hypergraph is the homology of the infimum chain complex, or equivalently, the homology of the supremum chain complex. In this paper, we generalize the discrete Morse theory for simplicial complexes by R. Forman [5-7] and give a discrete Morse theory for hypergraphs. We use the critical simplices of the associated simplicial complex to construct a sub-chain complex of the infimum chain complex and a sub-chain complex of the supremum chain complex, then prove that the embedded homology of a hypergraph is isomorphic to the homology of the constructed chain complexes. Moreover, we define discrete Morse functions on hypergraphs and compute the embedded homology in terms of the critical hyperedges. As by-products, we derive some Morse inequalities and collapse results for hypergraphs.

연구 동기 및 목표

• 원래 단순 복합체에서 개발된 이산 모어스 이론을 초그래프의 맥락으로 일반화하기.
• 초모서리에 이산 모어스 함수를 정의하고, 관련 단순 복합체의 임계 단순체와 연결하기.
• 임계 단순체에서 유도된 부분사슬 복합체를 구성하여 초그래프의 임베딩된 호모로지를 계산하기.
• 고전적 이산 모어스 이론에서의 것들과 유사한 초그래프에 대한 모어스 부등식과 붕괴 결과를 수립하기.
• 초그래프의 임베딩된 호모로지가 적절한 불변 조건 하에서 임계 단순체에 의해 생성된 사슬 복합체의 호모로지와 동형임을 증명하기.

제안 방법

• 초그래프 $ \nH $의 초모서리에 이산 모어스 함수 $ f $ 를 정의하고, 이 함수를 관련 단순 복합체 $ \Delta\mathcal{H} $ 로 확장한다.
• 관련 단순 복합체 $ \Delta\mathcal{H} $ 를 사용하여 초그래프 $ \mathcal{H} $ 의 하한 및 상한 사슬 복합체를 정의하며, 이들은 임베딩된 호모로지를 계산한다.
• 모어스 함수 $ \overline{f} $ 가 유도하는 이산 기울기 벡터장에 의해 $ \Delta\mathcal{H} $ 내의 임계 단순체를 식별한다.
• 하한 사슬 복합체와의 교차에서 임계 단순체로부터 부분사슬 복합체를 구성하고, 그 호모로지가 $ H_*(\mathcal{H}; R) $ 과 동형임을 증명한다.
• 레벨 초그래프 $ \mathcal{H}[c] $ 는 $ f(\sigma) \leq c $ 를 만족하는 초모서리의 합집합으로 정의하며, 이는 관련 단순 복합체의 레벨 집합과 연결된다.
• 포르만 이론의 붕괴 결과와 기울기 벡터장에 의한 사슬 복합체의 불변성을 활용하여, 레벨 초그래프에 대한 붕괴와 호모토피 동치를 증명한다.

실험 결과

연구 질문

• RQ1 초그래프는 단순체의 면 구조를 갖지 않기 때문에, 단순 복합체에서의 이산 모어스 이론을 초그래프로 확장할 수 있는가?
• RQ2 초모서리에 정의된 이산 모어스 함수는 어떻게 초그래프의 호모로지를 제어하는 임계 요소를 정의할 수 있는가?
• RQ3 초그래프의 임베딩된 호모로지가 임계 단순체에 의해 생성된 사슬 복합체의 호모로지와 동형이 되는 조건은 무엇인가?
• RQ4 고전적 모어스 부등식과 붕괴 정리의 초그래프 버전은 어떤가?
• RQ5 레벨 초그래프 $ \mathcal{H}[c] $ 는 모어스 이론적 붕괴에서 어떻게 행동하며, 언제 변형 수축하는가?

주요 결과

• 초그래프의 임베딩된 호모로지 $ H_*(\mathcal{H}; R) $ 는 $ \mathcal{H} $ 의 하한 사슬 복합체와의 교차에서 유도된 임계 단순체로 구성된 사슬 복합체의 호모로지와 동형이다.
• 기울기 벡터장이 둘 다 복합체를 보존하는 한, 상한 사슬 복합체를 사용할 경우에도 동일한 동형관계가 성립한다.
• 논문은 초그래프에 대한 모어스 부등식을 수립하여, 단순 복합체에서의 고전적 부등식을 일반화한다.
• 붕괴 결과를 증명한다: $ a < b $ 이고 구간 $[a,b]$ 에 임계 값이 없으며, $ \mathcal{H}[b] \setminus \mathcal{H}[a] $ 가 관련 단순 복합체의 차이와 일치하는 경우, $ \mathcal{H}[b] \searrow \mathcal{H}[a] $ 가 원소적 붕괴를 통해 성립한다.
• 적절한 조건 하에서 레벨 초그래프 $ \mathcal{H}[c] $ 는 관련 단순 복합체의 레벨 집합 $ \Delta\mathcal{H}[c] $ 와 호모토피 동치임을 보였다.
• 구성은 배경 단순 복합체 $ \mathcal{K} $ 의 선택에 의존하지 않으며, 오직 최소한의 관련 복합체 $ \Delta\mathcal{H} $ 에만 의존한다.