[논문 리뷰] Higher Independence Complexes of graphs and their homotopy types

Priyavrat Deshpande, Anurag Singh|arXiv (Cornell University)|2020. 01. 15.

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

한 줄 요약

이 논문은 이산 모스 이론을 사용하여 완전 s-분할 그래프, 완전히 빗자루가 붙은 그래프, 사이클 그래프, 완벽한 m-진 수열 트리 등의 그래프 가족에 대해 r-독립 복합체의 호모토피 유형을 결정한다. 이 복합체들이 수축 가능하거나 동차 차원의 구의 와이어드와 호모토피 동치임을 보이며, 그래프 매개변수와 r에 기반한 그들의 위상적 구조에 대한 폐형 공식을 제공한다.

ABSTRACT

For $r\geq 1$, the $r$-independence complex of a graph $G$ is a simplicial complex whose faces are subset $I \subseteq V(G)$ such that each component of the induced subgraph $G[I]$ has at most $r$ vertices. In this article, we determine the homotopy type of $r$-independence complexes of certain families of graphs including complete $s$-partite graphs, fully whiskered graphs, cycle graphs and perfect $m$-ary trees. In each case, these complexes are either homotopic to a wedge of equi-dimensional spheres or are contractible. We also give a closed form formula for their homotopy types.

연구 동기 및 목표

• r ≥ 2인 경우에 대해 고차원 독립 복합체(r-Ind(G))의 체계적인 연구를 시작함으로써 고전적 독립 복합체를 일반화함.
• 완전 s-분할 그래프, 완전히 빗자루가 붙은 그래프, 사이클 그래프, 완벽한 m-진 수열 트리 등의 특정 그래프 가족에 대해 r-Ind(G)의 호모토피 유형을 결정함.
• 호모토피 유형에 대한 폐형 공식을 제공함. 이는 구의 차원과 와이어드 분해에서의 구의 수 포함.
• r-Ind(G)의 위상적 성질과 독립 번호 및 색칠 수와 같은 조합적 불변량 간의 관계 탐색.

제안 방법

• r-독립 복합체의 호모토피 유형을 유도하기 위해 이산 모스 이론을 사용하여 최적의 모스 함수를 구성함.
• r-독립 복합체 Ind_r(G)는 G[I]의 각 연결 성분이 최대 r개의 정점만을 갖는 부분집합 I ⊆ V(G)의 단순 복합체로 정의됨.
• 각 그래프 유형에 대해, 와이어드 분해에 해당하는 구와 대응하는 임계 세포를 갖는 이산 모스 함수를 구성함.
• 호모토피 유형에서의 차원과 구의 수는 임계 세포의 구조와 정점 수, 트리 깊이 등의 그래프 불변량으로 유도됨.
• SageMath와 Macaulay2와 같은 계산 도구를 사용하여 호모로지 군을 검증하고 격자 그래프에 대한 추측을 뒷받침함.
• 이론적 결과는 그래프 유형에 대한 명시적 구성과 귀납적 추론에 의해 지지됨.

실험 결과

연구 질문

• RQ1 어떤 그래프 가족에 대해 r-독립 복합체가 구의 와이어드와 호모토피 동치이거나 수축 가능할까?
• RQ2 완전 s-분할 그래프에 대해 Ind_r(G)의 와이어드 분해에서 정확한 차원과 구의 수는 무엇인가?
• RQ3 G가 사이클 그래프이거나 완벽한 m-진 수열 트리일 경우, Ind_r(G)의 호모토피 유형에 대한 폐형 공식을 유도할 수 있는가?
• RQ4 r-독립 복합체와 그래프의 r-독립 번호 또는 r-색칠 수 사이에 일반적인 관계가 존재하는가?
• RQ5 어떤 조건에서 끈적한 그래프의 r-독립 복합체가 정점 분해 가능하거나 셸러블한가?

주요 결과

• 완전 s-분할 그래프의 r-독립 복합체는 차원 r−1의 구의 와이어드와 호모토피 동치이며, 구의 수는 s와 r를 포함하는 조합적 공식에 의해 결정됨.
• 완전히 빗자루가 붙은 그래프의 경우, r-독립 복합체는 수축 가능하거나 (r−1)-차원 구의 와이어드와 호모토피 동치이며, 구의 수는 빗자루의 수와 기초 정점의 수에 따라 달라짐.
• 사이클 그래프 C_n의 r-독립 복합체는 (r−1)-차원 구의 와이어드와 호모토피 동치이며, 구의 수는 n과 r의 함수로 명시적으로 계산됨.
• 높이 h인 완벽한 m-진 수열 트리의 경우, r-독립 복합체는 수축 가능하거나 (r−1)-차원 구의 와이어드와 호모토피 동치이며, 구의 수는 부분수열의 순환적 세기로 결정됨.
• 경로 그래프의 r-독립 복합체는 (r−1)-차원 구의 와이어드와 호모토피 동치이며, 구의 수는 폐형 표현식으로 주어짐.
• 격자 그래프 G_{2,n}에서의 계산적 증거는 Ind_r(G_{2,n})가 여러 차원에서 비자명한 호모로지를 가질 수 있음을 보이며, 더 큰 격자에서는 구의 와이어드를 초월한 복잡한 호모토피 유형을 가질 수 있음을 시사함.