[논문 리뷰] Limits of multiplicative inhomogeneous random graphs and Lévy trees: The continuum graphs

Nicolas Broutin, Thomas Duquesne외 1명|arXiv (Cornell University)|2018. 04. 16.

Stochastic processes and statistical mechanics참고 문헌 13인용 수 5

한 줄 요약

이 논문은 이산 그래프를 갈톤-워슨 삼림에 새로운 방식으로 통합함으로써, 에르되시-레니의 그래프 및 구성 모델을 포함한 비균일 임계 무작위 그래프의 보편적인 척도 극한으로서 연속 승법 그래프를 도입한다. 깊이 우선 탐색 과정을 레비 과정과 연결함으로써, 거리 구조를 정의하는 국소 시간 기능의 존재를 확립하며, 이는 연속 극한에서 분수 차원과 컴팩트성의 명확한 유도를 가능하게 한다.

ABSTRACT

Motivated by limits of critical inhomogeneous random graphs, we construct a family of sequences of measured metric spaces that we call continuous multiplicative graphs, that are expected to be the universal limit of graphs related to the multiplicative coalescent (the Erdős--Rényi random graph, more generally the so-called rank-one inhomogeneous random graphs of various types, and the configuration model). At the discrete level, the construction relies on a new point of view on (discrete) inhomogeneous random graphs that involves an embedding into a Galton--Watson forest. The new representation allows us to demonstrate that a processus that was already present in the pionnering work of Aldous [Ann. Probab., vol.~25, pp.~812--854, 1997] and Aldous and Limic [Electron. J. Probab., vol.~3, pp.~1--59, 1998] about the multiplicative coalescent actually also (essentially) encodes the limiting metric: The discrete embedding of random graphs into a Galton--Watson forest is paralleled by an embedding of the encoding process into a Lévy process which is crucial in proving the very existence of the local time functionals on which the metric is based; it also yields a transparent approach to compactness and fractal dimensions of the continuous objects. In a companion paper, we show that the continuous Lévy graphs are indeed the scaling limit of inhomogeneous random graphs.

연구 동기 및 목표

• 임계 비균일 무작위 그래프의 보편적 척도 극한이 되는 측도 거리 공간—연속 승법 그래프—의 가족을 구성하는 것.
• 극한에서 거리 구조를 어떻게 유지할 수 있을지의 문제를 해결하기 위해, 그래프를 갈톤-워슨 삼림에 새로운 이산 통합을 도입하는 것.
• 탐색 과정을 레비 과정에 통합함으로써 연속 극한에서 국소 시간 기능의 존재를 확립하는 것.
• 극한 거리 공간의 분수 차원과 컴팩트성 분석을 위한 투명한 프레임워크를 제공하는 것.
• 연속 승법 그래프가 랭크-원 비균일 무작위 그래프(에르되시-레니 및 구성 모델 포함)의 척도 극한으로 나타나는 것을 증명하기 위한 기초를 마련하는 것.

제안 방법

• 국소 시간 기능을 통해 구성 구조와 거리 구조를 모두 코딩하는 깊이 우선 탐색 과정을 통해 이산 비균일 무작위 그래프를 표현하는 것.
• 독립성과 극한 분석의 단순화를 위해 그래프를 갈톤-워슨 삼림에 새로운 방식으로 통합하는 것.
• 이산 탐색 과정을 연속 극한에서 레비 과정으로 매핑함으로써, 거리 정의에 필수적인 국소 시간 기능의 존재를 보장하는 것.
• 한정된 수의 핀칭 점 주변에서 거리 ε 이내의 점들을 식별하는 핀칭 구조를 통해 극한 거리를 정의하는 것: 핀칭 점 외부에서는 국소 등장성을 유지한다.
• 원래 공간과 핀칭된 공간의 하우스도르프 및 패킹 차원을 비교하기 위해 몰입 사상에 의한 유한 측도의 전이를 사용하는 것.
• 하우스도르프 및 패킹 측도에 관한 로저스-테일러 및 테일러-트리코의 결과를 활용하여 극한 거리 공간의 차원을 유계화하는 것.

실험 결과

연구 질문

• RQ1 임계 비균일 무작위 그래프의 척도 극한으로서 보편적인 연속 승법 그래프의 가족을 구성할 수 있는가?
• RQ2 이러한 그래프의 거리 구조는 어떻게 표현되어야 하며, 이는 극한 과정에서도 유지되는가?
• RQ3 레비 과정은 연속 극한에서 거리 구조를 정의하는 데 필수적인 국소 시간 기능의 존재를 어떻게 보장하는가?
• RQ4 극한 거리 공간의 분수 차원은 원래 이산 그래프의 차원과 어떻게 관련되는가?
• RQ5 깊이 우선 탐색 과정은 어떤 의미에서 극한에서 승법 융합 과정과 동치인가?

주요 결과

• 연속 승법 그래프는 에르되시-레니 및 구성 모델을 포함한 임계 랭크-원 비균일 무작위 그래프의 척도 극한으로 구성된다.
• 이산 모델에서 사용된 깊이 우선 탐색 과정은 극한에서 레비 과정으로 대응되며, 이는 거리 구조를 정의하는 데 필수적인 국소 시간 기능의 존재를 보장한다.
• 극한 거리 공간은 유한한 핀칭 점 집합 외부에서는 원래 공간과 국소 등장성을 유지하며, 국소 기하학을 보존한다.
• 적절한 측도 조건 하에, 극한 공간의 하우스도르프 및 패킹 차원은 $ a \leq \mathrm{dim}_{\mathrm{H}}(E^\prime) \leq \mathrm{dim}_{\mathrm{H}}(E_0) $ 및 $ b \leq \mathrm{dim}_{\mathrm{p}}(E^\prime) \leq \mathrm{dim}_{\mathrm{p}}(E_0) $ 를 만족한다.
• 이 구성은 극한 대상의 컴팩트성 증명과 분수 성질 기술을 위한 투명한 프레임워크를 제공한다.
• 핀칭 구조는 몫 공간 $ E/\!\equiv_{\boldsymbol{\Pi},\varepsilon} $ 가 핀칭 점 외부에서 국소 등장성을 유지하는 방식으로 거리 구조를 계승한다.