[논문 리뷰] On the limit of large girth graph sequences

Gábor Elek|ArXiv.org|2008. 11. 07.

Graph theory and applications참고 문헌 2인용 수 4

한 줄 요약

이 논문은 최대 차수 $ d $를 가진 루트가 있는 트리 위의 임의의 인벌루션-불변 확률 측도가 최대 차수 $ d $를 가진 유한 그래프 수열의 국소 약한 극한으로 나타남을 증명한다. 증명은 가중치가 부여된 레이블이 있는 트리와 변-매칭 구조를 통해 이러한 그래프를 구성하며, 이는 큰 고리 길이를 가진 그래프 수열이 임의의 그러한 측도를 국소 극한으로 실현할 수 있음을 보여주며, 볼로바스와 리오르단이 제기한 질문에 답한다.

ABSTRACT

We prove that any involution-invariant probability measure on the space of trees with maximum degrees at most d arises as the local limit of a convergent large girth graph sequence. This answers a question of Bollobas and Riordan.

연구 동기 및 목표

• 볼로바스와 리오르단의 질문 6.8에서 제기된, 국소 극한이 트리 위의 임의의 인벌루션-불변 측도를 실현하는 그래프 수열의 존재성 문제를 해결하기 위해.
• 최대 차수 $ d $를 가진 루트가 있는 트리 위의 모든 인벌루션-불변 측도가 최대 차수 $ d $를 가진 유한 그래프 수열의 국소 약한 극한임을 증명하기 위해.
• 그러한 그래프 수열이 점점 트리와 유사해져야 하므로, 고리 길이가 큰 수열과 대응됨을 보여주기 위해.
• 주어진 인벌루션-불변 측도를 임의의 정밀도로 근사하는 국소 이웃 분포를 가진 유한 그래프를 구성하기 위해.

제안 방법

• 최대 차수 $ d $를 가진 루트가 있는 가산적이고 연결된 그래프의 공간 $ extrm{Gr}_d $를 정의하며, 루트 주변의 $ r $-구의 동형에 기반한 거리 구조를 부여한다.
• 측도 $ extrm{Gr}_d $ 위에서의 인벌루션-불변성 개념을 도입하며, 루트 간선 방향을 뒤집는 인벌루션에 대해 불변임을 요구한다.
• 측도 $ u_n $ 이론의 $ r+1 $-구에 대한 정보를 담은 유한한 레이블이 부여된 그래프 $ H $를 구성하며, 변-구에 대한 측도의 유리수 근사값 $ w_ ho $ 를 사용한다.
• 크기가 $ N w_ ho(A) $인 정점 집합 $ Q(A) $를 가지며, 변 무게 $ w_ ho(A, L_A, B) $ 에 따라 분할된 변이 없는 그래프 $ Q $ 를 구성한다.
• $ Q(A, L_A, B) $ 와 $ Q(B, L_B, A) $ 사이에 전단사 $ Z_{A,B} $ 를 통해 변을 추가하여 국소 구조가 통제된 그래프 $ R $ 를 형성한다.
• 최종 그래프 $ G $ 는 레이블이 부여된 루트 트리 $ M $ 에 대응하는 슈퍼-정점으로 $ R $ 의 정점을 군집화함으로써 구성되며, $ M $ 이 레이블 분리되어 있다면 슈퍼-정점 주변의 $ r+1 $-구가 $ M $ 과 동형이 되도록 보장한다.

실험 결과

연구 질문

• RQ1 최대 차수 $ d $를 가진 루트가 있는 트리 위의 임의의 인벌루션-불변 확률 측도가 최대 차수 $ d $를 가진 유한 그래프 수열의 국소 약한 극한으로 나타날 수 있는가?
• RQ2 모든 그러한 측도가 큰 고리 길이를 가진 그래프 수열의 국소 극한으로 실현될 수 있는가?
• RQ3 측도가 국소 약한 위상에서 유한 그래프에 의해 근사될 수 있도록 하기 위한 구조적 조건은 무엇인가?
• RQ4 측도가 인벌루션-불변성을 만족할 경우, 그 측도가 국소 극한으로 실현될 수 있으며, 이러한 그래프는 어떻게 명시적으로 구성할 수 있는가?

주요 결과

• 최대 차수 $ d $를 가진 트리 위에 지지되는 임의의 인벌루션-불변 확률 측도 $ u $ 는 최대 차수 $ d $를 가진 유한 그래프 수열의 국소 약한 극한으로 나타난다.
• 모든 $ r \to \rho $ 와 $ \rho > 0 $ 에 대해, $ |p_G(\beta) - \nu(T(\textrm{Gr}_d, \beta))| < \rho $ 를 만족하는 유한 그래프 $ G $ 가 존재한다. 이는 국소 약한 위상에서의 근사성을 증명한다.
• 구성은 비-레이블 분리 트리의 $ r+1 $-구가 동형인 정점 비율이 $ \frac{\rho}{10} + \rho d |U^{r,d}_n| $ 이하로 제한됨을 보장하며, 이는 임의로 작게 만들 수 있다.
• 레이블 분리 트리 $ M $ 에 대해, 국소 이웃 빈도 $ p_G(M) $ 는 $ \nu(T(\textrm{Gr}_d, M)) $ 와 $ d\rho $ 이내로 근사되며, $ \rho $ 를 작게 선택함으로써 이 오차를 임의로 줄일 수 있다.
• 이 방법은 유리수 가중치가 부여된 변-매칭을 통해 그래프를 구성함으로써, 결과 그래프의 국소 구조가 목표 측도와 임의의 정밀도로 일치함을 보장한다.
• 핵심 통찰은 인벌루션-불변성이 대칭적인 변-가중치 그래프 $ H $ 를 구성할 수 있게 하며, 정수 스케일링과 전단사 기반의 변 매칭을 통해 이를 유한 그래프로 실현할 수 있다는 것이다.