[논문 리뷰] The number of graphs and a random graph with a given degree sequence

Alexander Barvinok, J. A. Hartigan|arXiv (Cornell University)|2010. 03. 01.

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

한 줄 요약

이 논문은 주어진 차수 배열을 가진 레이블이 부여된 그래프의 수를 추정하기 위한 계산적으로 효율적인 渐近 공식을 개발한다. 엣지 확률을 모델링하기 위해 최대 엔트로피 행렬을 사용한다. '은둔성'이 있는 차수 배열에 대해, 공식이 n이 증가함에 따라 진짜 수와의 상대 오차가 점점 줄어들게 되며, 그러한 차수 배열을 가진 무작위 그래프가 최대 엔트로피 모델에 잘 근사됨을 보여준다.

ABSTRACT

We consider the set of all graphs on n labeled vertices with prescribed degrees D=(d_1, ..., d_n). For a wide class of tame degree sequences D we prove a computationally efficient asymptotic formula approximating the number of graphs within a relative error which approaches 0 as n grows. As a corollary, we prove that the structure of a random graph with a given tame degree sequence D is well described by a certain maximum entropy matrix computed from D. We also establish an asymptotic formula for the number of bipartite graphs with prescribed degrees of vertices, or, equivalently, for the number of 0-1 matrices with prescribed row and column sums.

연구 동기 및 목표

• 주어진 차수 배열 D를 가진 레이블이 부여된 그래프의 수에 대한 효율적인 渐近 공식을 유도하기.
• G(D)에 속한 균일하게 무작위로 선택된 그래프의 구조가 최대 엔트로피 모델에 잘 근사됨을 특성화하기.
• 渐近 공식의 상대 오차가 n → ∞일 때 0으로 수렴하는 조건을 확립하기.
• 이론적 수량 계산 방법을 이원형 그래프와 주어진 행 및 열 합을 가진 0-1 행렬로 확장하기.

제안 방법

• 주어진 행 합 d_i를 가진 실수 대칭 0-1 행렬의 다각형 P(D)를 정의하여, 차수 배열 D를 가진 모든 그래프를 표현한다.
• P(D) 위에서 정의된 엔트로피 함수 H(x)를 도입하며, 이 함수의 유일한 최대화자 z는 D에 대한 최대 엔트로피 행렬이다.
• δ-은둔성 차수 배열에 대해, z 내의 모든 엣지 확률 ζ_{j,k}가 [δ, 1−δ] 내에 엄밀히 포함되도록 보장하여 경계에서의 비정상성 문제를 피한다.
• H를 z 주위에서 두 번째 차수 테일러 전개한 것에 기반한 이차형식 q(t)를 구성하여 局부 곡률을 포착한다.
• 헤시안 행렬 Q의 행렬식과 보정 항 μ 및 ν를 이용한 가우시안 근사를 통해 渐近 추정치를 정밀화한다.
• 공식 2e^{H(z)} / ((2π)^{n/2} √det Q) × exp(−μ/2 + ν)가 n이 증가함에 따라 |G(D)|를 상대 오차가 점점 줄어들게 근사함을 증명한다.

실험 결과

연구 질문

• RQ1 어떤 종류의 차수 배열 D에 대해 그래프 수 |G(D)|가 계산적으로 효율적인 공식으로 渐近적으로 근사 가능한가?
• RQ2 G(D)에 속한 균일하게 무작위로 선택된 그래프의 구조는 D에 관련된 최대 엔트로피 행렬 z와 어떻게 관련이 있는가?
• RQ3 n → ∞일 때 |G(D)|의 渐近 공식의 상대 오차가 0으로 수렴하는 조건은 무엇인가?
• RQ4 이론적 수량 계산 방법을 이원형 그래프와 주어진 행 및 열 합을 가진 0-1 행렬로 확장할 수 있는가?

주요 결과

• |G(D)|의 渐近 공식은 2e^{H(z)} / ((2π)^{n/2} √det Q) × exp(−μ/2 + ν)로 주어지며, 여기서 z는 최대 엔트로피 행렬이고 Q는 z로부터 유도된 양의 정부호 행렬이다.
• 모든 δ > 0에 대해, D가 δ-은둔성이라면 상대 오차는 n → ∞일 때 0으로 수렴하며, 임의의 ε > 0에 대해 n ≥ (1/ε)^γ(δ)를 만족한다.
• G(D)에서 무작위로 선택된 그래프의 구조는 최대 엔트로피 행렬 z에 의해 잘 묘사되며, 이는 엣지 확률이 약간 ζ_{j,k}와 같다는 의미이다.
• 동일한 프레임워크를 통해 공식은 이원형 그래프와 주어진 행 및 열 합을 가진 0-1 행렬로 확장된다.
• 최대 엔트로피 행렬 z는 ζ_{j,k} = 1 / (1 + e^{λ_j + λ_k})를 만족하며, 어떤 실수 매개변수 λ_j에 대해 성립한다. 이때 λ_j는 δ에 따라 유계이다.
• 증명 과정에서 δ-은둔성 차수 배열은 모든 j ≠ k에 대해 ζ_{j,k} ∈ [ε^4 / (1 + ε^4), 1 / (1 + ε^6)]를 만족함을 보여주며, 이는 최대화점이 내부에 있음을 보장한다.