[논문 리뷰] Connectedness in graph limits

Svante Janson|ArXiv.org|2008. 02. 26.

Limits and Structures in Graph Theory참고 문헌 16인용 수 10

한 줄 요약

이 논문은 가중 조합을 사용하여 그래프 극한의 직접 합을 정의함으로써 그래프 극한에 대한 연결성의 개념을 도입한다. 이에 따라 모든 그래프 극한은 고유한 연결 성분으로 분해됨을 증명한다. 주요 기여는 그래프 극한의 연결성에 대한 특성화로, 이는 수렴하는 그래프 수열에서의 점근적 성분 크기, 최소 컷, 그리고 유도된 무한 무작위 그래프의 거의 확실한 연결성과의 동치성을 포함한다.

ABSTRACT

We define direct sums and a corresponding notion of connectedness for graph limits. Every graph limit has a unique decomposition as a direct sum of connected components. As is well-known, graph limits may be represented by symmetric functions on a probability space; there are natural definitions of direct sums and connectedness for such functions, and there is a perfect correspondence with the corresponding properties of the graph limit. Similarly, every graph limit determines an infinite random graph, which is a.s. connected if and only if the graph limit is connected. There are also characterizations in terms of the asymptotic size of the largest component in the corresponding finite random graphs, and of minimal cuts in sequences of graphs converging to a given limit.

연구 동기 및 목표

• 밀도 있는 그래프 수열의 극한 객체인 그래프 극한으로의 그래프 연결성 개념을 확장하기 위해.
• 유한 그래프의 분리합과 일반화된 가중치를 사용한 그래프 극한에 대한 직접 합 연산을 정의하기 위해.
• 모든 그래프 극한이 고유하게 연결 성분으로 분해됨을 증명하여, 유한 그래프와 유사하게 하기 위해.
• 수렴하는 유한 그래프 수열의 점근적 성질과 최소 컷을 통한 그래프 극한의 연결성 특성화를 위해.
• 그래프 극한의 연결성과 그에 유도된 무한 무작위 그래프의 거의 확실한 연결성 간의 동치성을 확립하기 위해.

제안 방법

• 그래프 극한 Γ₁, Γ₂와 α ∈ [0,1]에 대해 수렴하는 유한 그래프 수열을 바탕으로 가중 직접 합 연산 αΓ₁ ⊕ (1−α)Γ₂를 정의한다.
• 컷 거리 위상과 컷 노름을 사용하여 그래프 수열의 수렴을 정의함으로써, 직접 합 구성과의 호환성을 확보한다.
• 두 그래프 수열이 극한 Γ와 Γ′으로 수렴하고, 정점 비율이 각각 α와 1−α로 수렴한다면, 그 분리합은 αΓ ⊕ (1−α)Γ′로 수렴함을 증명한다.
• 그래프 극한의 성분을, α ∈ (0,1]과 그래프 극한 Γ₂에 대해 Γ = αΓ₁ ⊕ (1−α)Γ₂를 만족하는 연결된 극한 Γ₁로 정의한다.
• 비가역적으로 무한한 수의 그래프 극한에 대한 직접 합을, 비음수 가중치 합이 1 이하가 되도록 확장하여 성분으로의 분해를 가능하게 한다.
• 그래프 극한의 연결성과 수렴하는 유한 그래프 수열의 성분 크기 및 최소 컷의 점근적 행동 간의 동치성을 확립한다.

실험 결과

연구 질문

• RQ1 유한 그래프의 연결성 개념을 의미 있는 방식으로 그래프 극한으로 확장할 수 있는가?
• RQ2 모든 그래프 극한이 고유하게 연결 성분으로 분해될 수 있는가? 이는 유한 그래프와 유사하게.
• RQ3 그래프 극한의 연결성은 수렴하는 유한 그래프의 최대 성분 크기의 점근적 크기와 어떻게 관련이 있는가?
• RQ4 유한 그래프 수열의 최소 컷과 그 극한의 연결성 간의 관계는 무엇인가?
• RQ5 그래프 극한과 관련된 무한 무작위 그래프는 극한의 연결성과 어떻게 관련이 있는가?

주요 결과

• 모든 그래프 극한 Γ ∈ U∞는 비음수 가중치 합이 1이 되는 연결 성분들의 직접 합으로 고유하게 분해된다. 이 성분은 유한하거나 무한할 수 있다.
• 그래프 극한이 비연결임은, 그로 수렴하는 유한 그래프 수열의 정점 집합이 o(v²)개의 간선을 가진 컷을 가로지르는 균형 잡힌 분할을 허용할 때이고, 그 경우에만 성립한다.
• 그래프 극한과 관련된 무한 무작위 그래프가 거의 확실하게 연결되어 있음은, 그래프 극한 자체가 연결되어 있을 때이고, 그 경우에만 성립한다.
• 수렴하는 유한 그래프에서 최대 성분 크기가 o(v²)이면, 그 극한 Γ는 비연결임이 증명된다.
• 그래프 극한이 비연결임은, 그로 수렴하는 유한 그래프의 부분수열과 선형 크기의 부분집합을 가지며, 그 사이에 o(v²)개의 간선이 존재하는 분할의 수열이 존재할 때이고, 그 경우에만 성립한다.
• 그래프 극한에 대한 직접 합 연산 αΓ₁ ⊕ (1−α)Γ₂는 잘 정의되어 있으며, 유한 그래프 수열의 수렴과 호환된다.