[논문 리뷰] An analogue of the Szemeredi Regularity Lemma for bounded degree graphs

Gábor Elek, Gábor Lippner|ArXiv.org|2008. 09. 17.

Limits and Structures in Graph Theory참고 문헌 5인용 수 7

한 줄 요약

이 논문은 최대 차수 d인 유한 그래프에 대해 쿼اسي호모제너스 분해를 도입함으로써, 수잔드레 정규화 렘마의 유계 차수 버전을 수립한다. 이에 따라 충분히 큰 이러한 그래프는 소수의 간선을 제거한 후 유계 수의 쿼اسي호모제너스 부분으로 분할될 수 있으며, 분할의 구조는 통계 수렴 하에 유지되며, 파레르-바라다라잔 에르고딕 분해 정리가 유한 그래프로 확장된다.

ABSTRACT

We show that a sufficiently large graph of bounded degree can be decomposed into quasi-homogeneous pieces. The result can be viewed as a "finitarization" of the classical Farrell-Varadarajan Ergodic Decomposition Theorem.

연구 동기 및 목표

• 유계 차수를 가진 유한 그래프에 대해 파레르-바라다라잔 에르고딕 분해 정리의 유한 버전을 개발하기 위해.
• 큰 유계 차수 그래프를 하위그래프 밀도 통계를 유지하는 쿼اسي호모제너스 성분들로 분해하기 위해.
• 기존의 정규화 방법이 실패하는 희박한 그래프에 적용 가능한 수잔드레 정규화 렘마의 유한 그래프 버전을 수립하기 위해.
• 그래프 수열의 통계 수렴이 그들의 쿼اسي호모제너스 분할 수렴을 유도함을 보장하기 위해.
• 에르고딕 이론과 그래프 이론을 연결하기 위해, 그래프 극한에서의 불변 측도를 근사하는 가측성 색칠을 구성하기 위해.

제안 방법

• 유도된 공액 구조의 밀도를 기반으로 통계적 거리 $ d_s(G,H) $ 를 정의하여, 유계 차수 그래프 공간 위에 준거리형을 형성한다.
• 큰 부분그래프들이 적은 수의 간선으로 연결되어 있을 때 유사한 하위그래프 밀도를 가지는 $ (\u000003c9;\lambda,\delta) $-쿼اسي호모제너스 그래프의 개념을 도입한다.
• 파레르-바라다라잔 에르고딕 분해 정리의 유한화를 사용하여, 유한 수준의 색칠을 통해 루트 그래프 공간 위의 불변 측도를 근사한다.
• M-근접 이웃을 이용해 가측성 색칠을 정의하는 바탕이 되는, 그래프 공간 위의 보렐 함수의 단계 함수 근사 $ c_M $ 를 구성한다.
• 큰 $ n $ 에 대해 $ G_n $ 내의 M-근접 이웃의 경험 분포가 $ \varepsilon/10 $ 이내의 오차로 불변 측도를 근사함을 증명하여 수렴을 보장한다.
• 정점 및 간선 색칠 기법을 사용하여 $ \binom{d^2+1}{2} $ 개의 색을 사용함으로써, 극한에서 수렴성을 유지하며, 결과적으로 간선 색칠된 그래프 수열이 여전히 통계적으로 수렴함을 보장한다.

실험 결과

연구 질문

• RQ1 파레르-바라다라잔 에르고딕 분해 정리의 유한화가 유계 차수를 가진 유한 그래프에 적용될 수 있는가?
• RQ2 소수의 간선을 제거한 후, 유계 차수 그래프가 일정 수의 쿼اسي호모제너스 부분으로 분할될 수 있는가?
• RQ3 두 유계 차수 그래프가 하위그래프 밀도에서 통계적으로 유사할 경우, 그들의 쿼اسي호모제너스 분할도 수렴하는가?
• RQ4 결과 그래프 수열이 통계적 수렴성을 유지하도록 간선 색칠을 구성할 수 있는가?
• RQ5 최대 차수 d인 희박한 그래프에 대해 수잔드레 정규화 렘마의 유한 대체 버전이 존재하는가?

주요 결과

• 모든 $ \delta > 0 $, $ \lambda > 0 $ 에 대해, $ K = K(\delta,\lambda) $, $ N = N(\delta,\lambda) $, $ \varepsilon = \varepsilon(\delta,\lambda) < \delta $ 가 존재하여, $ |V(G)| \geq N $ 인 연결 그래프 $ G \in \textrm{Graph}_d $ 는 최대 $ \delta |E(G)| $ 개의 간선을 제거한 후 $ K+1 $ 개의 부분으로 분할된다.
• 분할은 $ K $ 개의 비어 있지 않은 부분과 $ |V(G_\emptyset)|/|V(G)| < \delta $ 를 만족하는 무시할 만한 부분 $ G_\emptyset $ 로 이루어져 있다.
• 각 비어 있지 않은 부분은 $ |V(G_i)|/|V(G)| > \delta^2/(10dK) $ 를 만족하여 균형 잡힌 크기 분포를 확보한다.
• 만약 $ d_s(G,H) < \tau $ 이면, $ G $ 와 $ H $ 의 쿼اسي호모제너스 분할은 통계적으로 유사하다: 충분히 작은 $ \tau $ 에 대해 모든 $ i $ 에 대해 $ d_s(G_i,H_i) < \sigma $ 이고, $ \left| |V(G_i)|/|V(G)| - |V(H_i)|/|V(H)| \right| < \sigma $ 이다.
• 색상 수 $ \binom{d^2+1}{2} $ 를 사용한 정점 및 간선 색칠의 구성은 결과 간선 색칠된 그래프 수열이 여전히 통계적으로 수렴함을 보장한다.
• 이 방법은 루트 그래프 공간 위의 불변 측도의 유한 근사에 기반한 수렴의 구성적 증명을 제공하며, M-근접 이웃 색칠을 통해 에르고딕 극한을 시뮬레이션한다.