[논문 리뷰] On the Dimension and Euler characteristic of random graphs

Oliver Knill|arXiv (Cornell University)|2011. 12. 24.

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

한 줄 요약

이 논문은 유한 그래프에 대한 계산 가능한 귀납적 차원을 도입하고 에르되시-레니의 무작위 그래프 모델 G(n,p)에서 그 통계적 성질을 연구한다. 기대 차원과 오일러 특성에 대한 명시적인 다항식 표현을 유도하여, 평균 차원은 n이 증가함에 따라 감소하고 분산은 감소함을 보이며, 유한 그래프에서 차원과 오일러 특성 간에 비트리비얼한 상관관계가 있음을 드러낸다.

ABSTRACT

The inductive dimension dim(G) of a finite undirected graph G=(V,E) is a rational number defined inductively as 1 plus the arithmetic mean of the dimensions of the unit spheres dim(S(x)) at vertices x primed by the requirement that the empty graph has dimension -1. We look at the distribution of the random variable "dim" on the Erdos-Renyi probability space G(n,p), where each of the n(n-1)/2 edges appears independently with probability p. We show here that the average dimension E[dim] is a computable polynomial of degree n(n-1)/2 in p. The explicit formulas allow experimentally to explore limiting laws for the dimension of large graphs. We also study the expectation E[X] of the Euler characteristic X, considered as a random variable on G(n,p). We look experimentally at the statistics of curvature K(v) and local dimension dim(v) = 1+dim(S(v)) which satisfy the Gauss-Bonnet formula X(G) = sum K(v) and by definition dim(G) = sum dim(v)/|V|. We also look at the signature functions f(p)=E[dim], g(p)=E[X] and matrix values functions A(p) = Cov[{dim(v),dim(w)], B(p) = Cov[K(v),K(w)] on the probability space G(p) of all subgraphs of a host graph G=(V,E) with the same vertex set V, where each edge is turned on with probability p. If G is the complete graph or a union of cyclic graphs with have explicit formulas for the signature polynomials f and g.

연구 동기 및 목표

• 단위 구면 차원에 기반한 새로운 유한 그래프에 대한 귀납적 차원을 정의하고 분석한다.
• 에르되시-레니 모델 G(n,p)에서 차원과 오일러 특성이 무작위 변수로서 통계적으로 어떻게 행동하는지 연구한다.
• G(n,p)에서 기대 차원과 오일러 특성에 대한 명시적인 다항식 표현을 도출한다.
• 무작위 그래프에서 차원, 오일러 특성, 곡률 간의 상관관계를 조사한다.
• 이러한 무작위 변수들이 복잡한 네트워크에서 기하학적·위상수학적 의미를 어떻게 갖는지 탐색한다.

제안 방법

• 귀납적 차원을 재귀적으로 정의: 각 정점 v에 대해 dim(G) = 1 + (1/|V|)∑dim(S(v))이며, dim(∅) = -1이다.
• G(n,p)에서 기대 차원 E[dim]을 p에 대한 차수 n(n-1)/2의 다항식으로 계산하며, 간선 확률에 대한 기댓값의 선형성에 기반한다.
• 오일러 특성 χ(G)를 가우스-بون네 정리에 의해 국소 곡률 K(v)의 합으로 표현: χ(G) = ∑K(v).
• E[χ]에 대한 명시적 공식을 도출하여, 일차원 주최 그래프인 C_n의 경우 E[χ] = |V|(1 - p)임을 보인다.
• 작은 n에 대해 몬테카를로 시뮬레이션과 정확한 순열을 사용하여 dim과 χ 간의 공분산, 분산, 상관관계를 계산한다.
• 특히 n이 작고 p = 1/2일 때, 곡률 분포와 국소 차원 분포를 분석한다.

실험 결과

연구 질문

• RQ1 무작위 그래프 G(n,p)의 기대 귀납적 차원은 무엇이며, p에 대한 계산 가능한 다항식으로 표현될 수 있는가?
• RQ2 기대 오일러 특성 E[χ]는 p의 함수로서 어떻게 행동하며, 그 정확한 형태는 무엇인가?
• RQ3 무작위 그래프에서 차원과 오일러 특성 간의 상관관계는 어떻게 구성되어 있으며, n이 증가함에 따라 어떻게 변화하는가?
• RQ4 무작위 그래프에서 곡률과 국소 차원은 정점 간에 어떻게 변할 수 있으며, 그 극값은 무엇인가?
• RQ5 G(n,p)에서 차원과 오일러 특성의 분산은 무엇이며, n에 따라 어떻게 척도가 변하는가?

주요 결과

• G(n,p)에서 기대 차원 E[dim]은 p에 대한 차수 n(n-1)/2의 다항식이며, 작은 n에 대해서는 명시적으로 계산 가능하다.
• p = 1/2일 때, 차원의 분산은 n이 증가함에 따라 감소하여 n = 20에서 약 0.1에 도달함을 보이며, 큰 그래프에서 수렴함을 시사한다.
• 일차원 주최 그래프(예: C_n)의 경우 기대 오일러 특성 E[χ]는 |V|(1 - p)이다. 일반적으로는 주최 그래프의 구조에 따라 달라진다.
• p = 1/2에서 n ≥ 7일 때, 차원과 오일러 특성 간의 상관관계가 양성이 되며, 비단조화적인 관계임을 시사한다.
• 최소 곡률 -2는 중심 차수 6인 별 그래프에서 도달되며, n = 7일 때 곡률 값은 -2에서 1까지 변동하며, 총 47개의 서로 다른 값이 관측된다.
• n = 7일 때, 총 7×2^(21)개의 그래프 중 2,784,810개가 곡률 0을 가지며, 이는 작은 무작위 그래프에서 평탄성이 흔함을 시사한다.