[논문 리뷰] Qualitative graph limit theory. Cantor Dynamical Systems and Constant-Time Distributed Algorithms

Gábor Elek|arXiv (Cornell University)|2018. 12. 18.

Graph theory and applications참고 문헌 29인용 수 9

한 줄 요약

이 논문은 희박한 그래프에 대한 정성적 그래프 극한 이론을 수립하며, 자유 캄토르 작용의 약한 동치류를 극한 대상으로 도입하고, 초유한성의 정성적 대응으로 거의 유한성(almost finiteness)을 정의한다. 약한 동치류의 공간의 컴팩트성을 증명하고, 거의 유한성 및 강한 거의 유한성 그래프 계열에서의 근사 문제에 대해 일정 시간 분산 알고리즘을 구축하며, 이러한 수열에 대한 스펙트럼 수렴 결과를 도출한다.

ABSTRACT

The goal of the paper is to lay the foundation for the qualitative analogue of the classical, quantitative sparse graph limit theory. In the first part of the paper we introduce the qualitative analogues of the Benjamini-Schramm and local-global graph limit theories for sparse graphs. The natural limit objects are continuous actions of finitely generated groups on totally disconnected compact metric spaces. We prove that the space of weak equivalent classes of free Cantor actions is compact and contains a smallest element, as in the measurable case. We will introduce and study various notions of almost finiteness, the qualitative analogue of hyperfiniteness, for classes of bounded degree graphs. We prove the almost finiteness of a new class of étale groupoids associated to Cantor actions and construct an example of a nonamenable, almost finite totally disconnected étale groupoid, answering a query of Suzuki. Motivated by the notions and results on qualitative graph limits, in the second part of our paper we give a precise definition of constant-time distributed algorithms on sparse graphs. We construct such constant-time algorithms for various approximation problems for hyperfinite and almost finite graph classes. We also prove the Hausdorff convergence of the spectra of convergent graph sequences in the strongly almost finite category.

연구 동기 및 목표

• 희박한 그래프의 정량적 그래프 극한 이론에 대한 정성적 대응을 개발하며, 특히 유계도 그래프에 초점을 맞춘다.
• 희박한 그래프의 극한 대상으로서 자유 캄토르 작용의 약한 동치류를 정의하고 연구한다.
• 그래프 이론에서 초유한성의 정성적 대응으로 거의 유한성을 도입하고 분석한다.
• 초유한성 및 거의 유한성 그래프 계열에서 근사 문제에 대한 일정 시간 분산 알고리즘을 정의한다.
• 강한 거의 유한성 그래프 수열의 스펙트럼이 하우스도르프 수렴을 보임을 증명한다.

제안 방법

• 그래프에서 루트를 가진 구역의 난이도 없는 수렴을 사용하여 정성적 그래프 극한을 정의하며, 벤자민-스프람 수렴을 일반화한다.
• 극한 대상을 유한 생성 군이 완전히 분리된 컴팩트 메트릭 공간(캄토르 공간) 위에서 연속 작용으로 모델링한다.
• 안정적인 작용과 기하적 에탈 군이론을 통해 거의 유한성을 정의함으로써 초유한성을 일반화한다.
• 지역적 구성(유형 A 및 B 알고리즘)을 사용하는 분산 알고리즘 프레임워크를 적용하여 분할과 근사 해를 구축한다.
• 프랙탈 구성과 반복적인 구역 커버링을 통해 이중성 그래프에서 강한 거의 유한성을 달성한다.
• 스펙트럼 분석과 $(\varepsilon, K_\varepsilon)$-분할을 사용하여 강한 거의 유한성 범주에서 스펙트럼의 하우스도르프 수렴을 증명한다.

실험 결과

연구 질문

• RQ1 희박한 그래프에 대해 벤자민-스프람 수렴의 정성적 대응은 무엇이며, 그 극한 대상은 무엇인가?
• RQ2 캄토르 작용과 에탈 군이론의 맥락에서 거의 유한성은 어떻게 정의되고 특성화될 수 있는가?
• RQ3 거의 유한성 그래프 계열에서 근사 문제에 대해 일정 시간 분산 알고리즘을 구성할 수 있는가?
• RQ4 자유 캄토르 작용의 약한 동치류의 공간은 컴팩트한가, 그리고 가장 작은 원소를 포함하는가?
• RQ5 강한 거의 유한성 그래프 수열의 스펙트럼은 하우스도르프 수렴을 보이는가?

주요 결과

• 자유 캄토르 작용의 약한 동치류의 공간은 컴팩트하며, 측도적 경우와 유사하게 가장 작은 원소를 포함한다.
• 캄토르 작용과 관련된 새로운 에탈 군이론 계열이 거의 유한함을 증명하며, 기존의 알려진 거의 유한 시스템의 범주를 확장한다.
• 비유한성, 그러나 거의 유한한 완전히 분리된 에탈 군이론을 구성함으로써 스즈키의 질문에 답한다.
• 거의 유한성 그래프 계열에서 최대 독립 집합, 최대 매칭, 가중치가 있는 독립 부분집합을 근사하기 위한 일정 시간 분산 알고리즘을 구성한다.
• 강한 거의 유한성 그래프 수열의 경우, 스펙트럼이 하우스도르프 거리에서 수렴함을 증명하며, 스펙트럼 안정성을 확립한다.
• D-이중성 그래프 계열이 강한 거의 유한성을 띤다는 것을 보이며, 지역 서브루틴을 통해 강한 거의 유한성에 대한 분산 알고리즘을 구성한다.