[논문 리뷰] Homotopy theory for digraphs

Alexander Grigorʼyan, Yong Lin외 2명|arXiv (Cornell University)|2014. 07. 01.

Homotopy and Cohomology in Algebraic Topology참고 문헌 8인용 수 6

한 줄 요약

이 논문은 기존에 정의된 동치 이론과는 독립적이지만 깊이 연결된 방향성 있는 그래프(digraphs)에 대한 호모토피 이론을 수립한다. 논문은 호모토피 불변성에 대한 호모로지 증명, C-호모토피를 통한 고리의 기본군 정의, 그리고 고전적 대수적 토폴로지와 유사하게 첫 번째 호모로지 군이 기본군의 아벨화와 동형임을 보여준다. 이 이론은 자연스럽게 무방향 그래프로 확장되며, 기존 결과를 회복하면서도 새로운 호모로지 불변량을 도입한다.

ABSTRACT

We introduce a homotopy theory of digraphs (directed graphs) and prove its basic properties, including the relations to the homology theory of digraphs constructed by the authors in previous papers. In particular, we prove the homotopy invariance of homologies of digraphs and the relation between the fundamental group of the digraph and its first homology group. The category of (undirected) graphs can be identified by a natural way with a full subcategory of digraphs. Thus we obtain also consistent homology and homotopy theories for graphs. Note that the homotopy theory for graphs coincides with the one constructed in the paper of Babson et.

연구 동기 및 목표

• 기존의 호모로지 이론과 독립적이지만 호환 가능한 일致한 방향성 있는 그래프(digraphs)에 대한 호모토피 이론을 개발하는 것.
• 방향성 있는 그래프의 호모로지 군이 호모토피에 대해 불변임을 증명하여 고전적 불변 원리가 방향성 설정으로 확장됨을 보이는 것.
• 표준 호모토피를 일반화하는 새로운 C-호모토피 개념을 사용하여, 기반 고리의 동치류로 구성된 기본군 π₁을 정의하는 것.
• 첫 번째 호모로지 군 H₁과 기본군 π₁의 아벨화 사이의 정확한 대수적 관계를 확립하여 고전적 토폴로지와 유사한 형태로 만드는 것.
• 그래프를 방향성 있는 그래프의 완전한 부분범주로 간주함으로써, 방향성 있는 그래프에서의 호모토피 및 호모로지 이론을 무방향 그래프로 일致하고 의미 있는 방식으로 확장하는 것.

제안 방법

• 지역적 경로 및 고리 변환을 통한 C-호모토피 개념을 사용하여, 방향성 있는 그래프에 대한 새로운 호모토피 관계를 도입하는 것.
• 기반 고리의 동치류 집합으로서 기본군 π₁를 정의하고, 경로 연결을 통한 군 연산을 유도하는 것.
• 방향성 있는 그래프 사상에 대한 실린더를 구성하고, 이를 통해 사상 간의 호모토피를 정의하며, 호모로지의 호모토피 불변성을 증명하는 것.
• 무방향 그래프의 범주와 방향성 있는 그래프의 완전한 부분범주 사이의 자연스러운 동형을 확립하여, 호모토피 및 호모로지 이론의 전달을 가능하게 하는 것.
• O 및 그 역함수 O⁻¹를 사용하여 방향성 있는 그래프와 이중 방향성 그래프 간의 관계를 설정하고, 이를 통해 루프 그래프를 통해 고차 호모토피 군을 정의하는 것.
• 이론을 적용하여 방향성 있는 그래프의 기본군을 사용한 Sperner의 보조정리의 새로운 형태를 증명함으로써, 조합론 분야에의 적용 가능성을 보여주는 것.

실험 결과

연구 질문

• RQ1 기존 호모로지 이론과 독립적이지만 호환 가능한 방향성 있는 그래프에 대한 호모토피 이론은 어떻게 구성할 수 있는가?
• RQ2 방향성 있는 그래프의 기본군 π₁과 첫 번째 호모로지 군 H₁ 사이의 정확한 관계는 무엇인가?
• RQ3 기본 구조의 방향성 있는 그래프에 대한 호모로지가 그에 대한 호모토피에 대해 불변인가?
• RQ4 방향성 있는 그래프의 호모토피 및 호모로지 이론은 일致하고 의미 있는 방식으로 어떻게 무방향 그래프로 전이될 수 있는가?
• RQ5 새로운 호모토피 이론 프레임워크는 Sperner의 보조정리와 같은 고전적 조합론 결과에 대해 새로운 증명이나 통찰을 제공할 수 있는가?

주요 결과

• 논문은 방향성 있는 그래프의 호모로지 군이 호모토피에 대해 불변임을 증명하여, 고전적 대수적 토폴로지와 유사한 핵심 성질을 확립한다 (정리 3.3).
• 표준 호모토피를 일반화하는 새로운 C-호모토피 개념이 도입되었으며, 이는 방향성 있는 그래프의 기본군 π₁에 대해 잘 정의된 군 연산을 가능하게 한다.
• 정수 ℤ 위에서의 첫 번째 호모로지 군 H₁은 기본군 π₁의 아벨화와 동형이며, 즉 H₁ ≅ π₁/[π₁, π₁]로 표현되며, 이는 정리 4.23에서 입증되었다.
• 그래프를 방향성 있는 그래프에 통합함으로써 유도된 무방향 그래프에 대한 호모토피 이론은 Babson 등 [1,2]의 기존 이론과 일치하지만, 관련된 호모로지 이론은 새로운 것으로, 호모토피 불변성을 갖는다.
• 기반 그래프 G*의 기본군은 그 이중 방향성 그래프 O⁻¹(G*)의 기본군과 동형이며, 이는 정리 6.18에서 증명되었다.
• 고차 호모토피 군 πₙ은 루프 그래프를 통해 귀납적으로 정의되며, πₙ(G*) = πₙ₋₁(LG*)를 만족하여, 방향성 있는 그래프에 대한 완전한 호모토피 이론 프레임워크를 제공한다.