[논문 리뷰] Fundamental groups of neighborhood complexes

Takahiro Matsushita|arXiv (Cornell University)|2012. 10. 10.

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

한 줄 요약

이 논문은 기반 그래프 (G,v)의 r-기본군 π₁ʳ(G,v)을 도입하여, π₁²ʳ(G,v)의 짝수 부분군과 r-근접성 복합체 Nᵣ(G)의 기본군 사이에 조합적 동형을 수립한다. 주요 결과로는 π₁³(KG₂ₖ₊₁,ₖ) ≅ ℤ/2를 증명하여, Kneser 그래프 KG₂ₖ₊₁,ₖ에서 5순환 C₅로의 그래프 호모모르피즘이 존재하지 않음을 보이며, 이는 기존의 홀수 둘레나 표준적 근접성 복합체 위상에 의해 드러나지 않는 위상적 차단 요소를 제공한다.

ABSTRACT

The neighborhood complexes of graphs were introduced by Lovász in his proof of the Kneser conjecture. He showed that a certain topological property of $N(G)$ gives a lower bound for the chromatic number of $G$. In this paper, we study a combinatorial description of the fundamental groups of the neighborhood complexes. For a positive integer $r$, we introduce the $r$-fundamental group $π_1^r(G,v)$ of a based graph $(G,v)$ and the $r$-neighborhood complex $N_r(G)$ of $G$. The $1$-neighborhood complex is the neighborhood complex. We show that the even part $π_1^{2r}(G,v)_{ev}$, which is a subgroup of $π_1^{2r}(G,v)$ with index 1 or 2, is isomorphic to the fundamental group of $(N_r(G),v)$ if $v$ is not isolated. We can use the $r$-fundamental groups to show the non-existence of graph homomorphisms. For example, we show that $π_1^3(KG_{2k+1,k})$ is isomorphic to $\mathbb{Z} /2$, and this implies that there is no graph homomorphism from $KG_{2k+1,k}$ to the 5-cycle graph $C_5$. We discuss the covering maps associated to $r$-fundamental groups.

연구 동기 및 목표

• 이웃성 복합체의 기본군에 대한 조합적 기술을 개발하여, Lovász의 위상적 접근을 그래프 색칠 문제에 확장한다.
• G의 2r-사이클을 모두 붙인 2-복합체 Xᵣ(G)로부터 유도되는 기본군의 일반화로서 r-기본군 π₁ʳ(G,v)을 정의한다.
• 비고립점인 v에 대해 π₁²ʳ(G,v)의 짝수 부분군과 π₁(Nᵣ(G),v) 사이의 정확한 동형을 수립함으로써, 그래프 호모모르피즘에 대한 새로운 차단 요소를 가능하게 한다.
• r-코버링 사상과 그들이 r-기본군의 부분군과 어떻게 대응되는지 조사하여, 이웃성 복합체 위의 코버링 공간을 그래프 이론적으로 실현한다.

제안 방법

• 모든 s ≤ r에 대해 G의 (2s)-사이클에 2-세포를 부착하여 만든 2-복합체 Xᵣ(G) 위에서의 변로군으로서 r-기본군 π₁ʳ(G,v)을 정의한다.
• 모든 정점들이 거리 r 이내에서 공통 이웃을 가진 유한 정점 집합을 단체로 가지는 단체 복합체로서 r-이웃성 복합체 Nᵣ(G)를 정의한다.
• v가 고립점이 아닐 경우, 엣지로드 군 기법을 사용하여 π₁²ʳ(G,v)ₑᵥ와 π₁(Nᵣ(G),v) 사이의 자연스러운 동형을 증명한다.
• 대상 및 소스 그래프의 기본군을 비교하여 r-기본군을 사용해 그래프 호모모르피즘의 차단 요소를 탐지한다.
• 위상적 코버링 사상의 그래프 이론적 해석으로서 r-코버링 사상을 정의하고, π₁ʳ(G,v)의 부분군과 연결된 r-코버링 사이의 1:1 대응을 보인다.
• G가 비이분할일 경우, Nᵣ(G) 위의 연결 코버링 공간과 K₂×G 위의 연결 2-코버링 사이의 대응 관계를 수립하며, 특히 이는 Kronecker 이중복합체를 통한 위상적 코버링 공간의 그래프 이론적 실현을 제공한다.

실험 결과

연구 질문

• RQ1 이웃성 복합체의 기본군은 그래프 위의 새로운 대수적 불변량을 통해 조합적으로 기술될 수 있는가?
• RQ2 r-기본군 π₁ʳ(G,v)은 홀수 둘레나 표준적 이웃성 복합체 위상으로는 탐지되지 않는 그래프 호모모르피즘의 위상적 장애를 포착하는가?
• RQ3 위상적 코버링 이론에 대응하는 순수한 그래프 이론적 기술로, 이웃성 복합체 위의 코버링 공간을 기술할 수 있는가?
• RQ4 r-기본군은 Kneser 그래프의 구조와 어떻게 관련되어 있으며, 특히 C₅와 같은 작은 순환으로의 호모모르피즘을 차단하는 데 어떤 역할을 하는가?
• RQ5 r-코버링 이론을 이용해, Kronecker 이중복합체와 같은 표준적 그래프 구성법을 통해 이웃성 복합체 위의 코버링 공간을 분류할 수 있는가?

주요 결과

• 비고립점인 v에 대해, r-기본군 π₁²ʳ(G,v)의 짝수 부분군 π₁²ʳ(G,v)ₑᵥ는 r-이웃성 복합체 Nᵣ(G)의 기본군과 동형이다.
• Kneser 그래프 KG₂ₖ₊₁,ₖ에 대해, 3-기본군 π₁³(KG₂ₖ₊₁,ₖ)는 ℤ/2와 동형이며, 비자명한 유한군이다.
• 이 동형은 KG₂ₖ₊₁,ₖ에서 5순환 C₅로의 그래프 호모모르피즘이 존재하지 않음을 시사하며, k ≥ 2이므로 Kneser 그래프의 홀수 둘레는 2k+1 ≥ 5이다.
• 이 장애는 홀수 둘레나 표준적 이웃성 복합체 N(G)의 위상으로서는 탐지되지 않으며, N(C₃)과 N(C₅) 모두 S¹ 위상과 동형이기 때문이다.
• r-기본군 π₁ʳ(G,v)의 부분군과 연결된 r-코버링 사이에 1:1 대응이 존재하며, 이는 고전적 코버링 공간 이론을 그래프에 일반화한 것이다.
• G가 비이분할일 경우, Nᵣ(G) 위의 연결 코버링 공간은 Kronecker 이중복합체 K₂×G 위의 연결 2-코버링과 일대일 대응되며, 이는 위상적 코버링 공간을 그래프 이론적으로 실현한다.