[논문 리뷰] Limits of subcritical random graphs and random graphs with excluded minors

Agelos Georgakopoulos, Stephan Wagner|arXiv (Cornell University)|2015. 12. 11.

Stochastic processes and statistical mechanics참고 문헌 19인용 수 8

한 줄 요약

이 논문은 유한도 그래프의 수렴 개념을 일반화하여, 고도가 무한인 극한 물체를 허용하는 가산 루트 그래프 공간의 컴팩티피케이션을 도입함으로써, 하위임계적 가족(예: 카타스, 외평면, 병렬-직렬 그래프 등)에서 균일하게 랜덤으로 선택된 레이블링된 및 레이블링되지 않은 그래프에 대해 거의 확실한 벤자민-슈람 컨버전스를 확립한다. 주요 기여는 고도가 높은 정점이 루트 이웃에 나타나는 마이너-폐쇄 가족에서 표준 BS-수렴이 실패하는 문제를 해결하기 위해, 모든 마이너-폐쇄 가족에서의 랜덤 그래프 수열이 수렴하는 부분수열을 갖는 일반화된 수렴 개념을 도입한 것이다.

ABSTRACT

We prove local convergence results for the uniformly random, labelled or unlabelled, graphs from subcritical families. As an example special case, we prove Benjamini-Schramm convergence for the uniform random unlabelled tree. We introduce a compactification of the space of countable (connected) rooted graphs, and use it to generalise the notion of Benjamini-Schramm convergence in order to allow for vertices of infinite degree in the limit object.

연구 동기 및 목표

• 하위임계적 가족에서 균일하게 랜덤으로 선택된 레이블링된 및 레이블링되지 않은 그래프에 대해 거의 확실한 벤자민-슈람 수렴을 확립하기 위해.
• 고도가 높은 정점들이 루트 이웃에 나타나는 마이너-폐쇄 가정에서 표준 BS-수렴이 실패하는 이유를 다루기 위해.
• 가산 루트 그래프의 동형류 공간에 대해, 고도가 무한인 정점들을 가진 극한 물체를 허용하는 컴팩티피케이션을 도입하기 위해.
• 로컬로 유한한 그래프를 초월하는 수렴 개념을 일반화하여, 모든 이러한 수열에 대해 컴팩티피니시티와 부분수열 수렴을 보장하기 위해.
• 모든 마이너-폐쇄 가정에서 균일하게 랜덤으로 선택된 그래프가 이 일반화된 프레임워크 하에서 수렴할 것임을 추측하기 위해.

제안 방법

• 모든 유한 루트 그래프의 동형류에 대해, $ d(G,H) = 0 $ 이 되는 조건이 $ G $와 $ H $가 임의의 유한 반경까지 동형인 이웃을 가질 때 성립하는 거리 $ d $ 를 정의한다.
• 유한 루트 그래프 공간의 완비화 $ (bG^*, d) $ 를 구성하며, 이 공간이 완비이자 전반구이므로 컴팩트함을 보인다.
• 공간 $ bG^* $ 상의 확률측도 위에 약한 위상을 정의하며, 컴팩티피니시티를 활용하여 모든 랜덤 그래프 수열이 수렴하는 부분수열을 갖는다.
• 루트 그래프 $ G $ 의 코어 구조 $ C(G) $ 는 바닥층과 첫 번째 층에 해당하는 부분그래프로 정의되며, 이는 $ d=0 $ 동치류의 표준 대표를 식별하는 데 사용된다.
• 하위임계적 가정에서, $ n $-정점 그래프의 균일한 랜덤 수열이 이 일반화된 의미에서 거의 확실하게 수렴함을 증명한다.
• 무작위 루트 그래프로 구성된 무작위 루트 트리의 극한 물체는 무한 별 모양의 코어를 가진 무한 트리로 일반화된 트리 극한을 일반화한다.

실험 결과

연구 질문

• RQ1 균일하게 랜덤으로 선택된 무작위 트리는 벤자민-슈람 의미에서 수렴하는가? 만약 그렇다면 그 극한은 무엇인가?
• RQ2 벤자민-슈람 수렴은 고도가 무한인 극한 물체를 허용하도록 일반화될 수 있는가?
• RQ3 표준 BS-수렴이 아피크 숲과 같은 일부 마이너-폐쇄 가정에서 실패하는 이유는 무엇이며, 이를 어떻게 해결할 수 있는가?
• RQ4 모든 마이너-폐쇄 가정에서의 랜덤 그래프 수열은 일반화된 수렴 프레임워크 하에서 반드시 수렴하는 부분수열을 갖는가?
• RQ5 루트 그래프의 코어는 컴팩티피케이션된 공간에서 $ d=0 $ 동치류의 표준 대표로 사용될 수 있는가?

주요 결과

• 모든 하위임계적 가정에서 균일하게 랜덤으로 선택된 연결된 레이블링된 그래프 수열은 거의 확실하게 벤자민-슈람 수렴을 하며, 극한 물체는 트리 유사한 구조를 가진 무작위 루트 그래프이다.
• 균일하게 랜덤으로 선택된 무작위 트리는 일반화된 벤자민-슈람 수렴의 의미에서 거의 확실하게 수렴함을 확인하였으며, 이는 스툴러가 별도로 확보한 결과를 지지한다.
• 가산 루트 그래프의 동형류 공간 $ (bG^*, d) $ 는 컴팩트함을 보이며, 이는 모든 랜덤 그래프 수열이 수렴하는 부분수열을 갖는다.
• 무작위 루트 그래프의 경우, 무루트 그래프의 BS-극한과 루트 그래프의 약한 극한은 다를 수 있으며, 이는 수렴 행동의 구조적 차이를 강조한다.
• 모든 $ d=0 $ 동치류에 속하는 루트 그래프의 코어 $ C(G) $ 는 서로 동형이므로, 극한 물체의 표준 대표를 제공한다.
• 일반화된 수렴 프레임워크는 고도가 무한인 정점들을 가진 극한을 허용하며, 아피크 숲과 같은 가정에서 표준 BS-수렴의 실패를 해결한다.