[논문 리뷰] Graph colouring and the total Betti number

Alexander Engström|arXiv (Cornell University)|2014. 12. 29.

Topological and Geometric Data Analysis참고 문헌 16인용 수 3

한 줄 요약

이 논문은 이산 모스 이론과 체계적 맵을 사용하여, 그래프의 독립 복합체의 총 베티 수에 대한 상한을, 정점에 대해 서로소인 사이클의 수에 따라 설정한다. 이는 라만두잔 그래프의 부분그래프 중에서 높은 색수와 로그 스케일의 둘레를 가진 그래프들이 같은 크기의 평면 그래프보다 여전히 낮은 총 베티 수를 가지며, 이는 작은 부분그래프가 베티 수를 통해 높은 색수를 탐지할 수 없음을 시사한다.

ABSTRACT

The total Betti number of the independence complex of a graph is an intriguing graph invariant. Kalai and Meshulam have raised the question on its relation to cycles and the chromatic number of a graph, and a recent conjecture on that theme was proved by Bonamy, Charbit and Thomasse. We show an upper bound on the total Betti number in terms of the number of vertex disjoint cycles in a graph. The main technique is discrete Morse theory and building poset maps. Ramanujan graphs with arbitrary chromatic number and girth log(n) is a classical construction. We show that any subgraph of them with less than n^0.003 vertices have smaller total Betti number than some planar graph of the same order, although it is part of a graph with high chromatic number.

연구 동기 및 목표

• 그래프의 색수와 그 독립 복합체의 총 베티 수 사이의 관계를 이해하는 것.
• 높은 총 베티 수가 부분그래프에서 색수에 대한 위상수학적 하한이 될 수 있는지 조사하는 것.
• 높은 색수를 가진 그래프의 작은 부분그래프가 높은 베티 수를 나타낼 수 있는 정도를 규명하는 것.
• 같은 순서의 라만두잔 그래프와 평면 그래프의 베티 수 증가율을 비교하는 것.
• 그래프의 사이클 구조에 기반하여 총 베티 수에 대한 정량적 상한을 설정하는 것.

제안 방법

• 독립 복합체 위에 야코비안 매칭의 최소 임계 셀 수를 통해 총 베티 수를 제한하기 위해 이산 모스 이론을 사용한다.
• 체계적 맵과 매칭 분해 기법을 적용하여 그래프의 독립 복합체를 순환적으로 분석한다.
• 보스의 에르되시-포사 정리 증명의 개선된 버전을 활용하여 사이클 구조와 베티 수 상한을 연결한다.
• 루카스 수를 포함한 조합적 수세기 기법을 통해 날카운 점근적 상한을 유도한다.
• 색수 χ와 로그 스케일 둘레를 가진 라만두잔 그래프의 부분그래프를 분석하고, 평면 그래프의 부분그래프와 비교한다.
• 초합성 다이머 격자 기반의 명시적 평면 그래프를 구성하여, 초다항적으로 증가하는 베티 수를 가지며 비교 기준으로 삼는다.

실험 결과

연구 질문

• RQ1 그래프의 독립 복합체의 총 베티 수가 그 색수에 대한 위상수학적 하한이 될 수 있는가?
• RQ2 그래프의 정점에 대해 서로소인 사이클의 수는 그 독립 복합체의 총 베티 수에 어떤 제약을 가하는가?
• RQ3 색수가 높고 둘레가 약 log n인 라만두잔 그래프의 부분그래프는 여전히 평면 그래프보다 낮은 총 베티 수를 가지는가?
• RQ4 고둘레 그래프에서 색수를 베티 수 증가율을 통해 탐지하기 위해 필요한 최소 부분그래프 크기는 얼마인가?
• RQ5 k개의 정점에 대해 서로소인 사이클에 대한 총 베티 수 상한이 날카로운가, 그리고 현재의 지수를 초월해 개선될 수 있는가?

주요 결과

• 정점에 대해 서로소인 사이클이 최대 k ≥ 2개인 그래프에 대해 총 베티 수는 (1+√5/2)^((2+o(1))k log k) 이하로 제한된다.
• 이 상한은 K₅의 서로소 복제본을 통한 구성으로 인해 지수 상수의 측면에서 날카로운 것으로 밝혀졌다.
• 색수 χ와 둘레 ~log n인 라만두잔 그래프의 부분그래프는 같은 크기의 일부 평면 그래프보다 낮은 총 베티 수를 가진다.
• 특히, (log n)/(3 log χ) · n^{0.003 / log χ} 개 이하의 정점을 가진 부분그래프는 해당 평면 부분그래프보다 낮은 베티 수를 가진다.
• 초합성 다이머 격자 기반 평면 그래프는 크기가 m인 부분그래프에서 베티 수가 2^{(m−40√m)/36} 으로 증가한다.
• 결과적으로, 고색수 라만두잔 그래프에서 크기가 o(n^{0.003})인 부분그래프는 베티 수 증가율을 통해 색수를 탐지할 수 없다.