희소 β 모델에서 삼각형 개수의 점근 정규성

초록

본 논문은 정점 이질성을 반영하는 희소 β-모델에서 삼각형 개수 (T_n)의 평균·분산을 정규화하고, Malliavin‑Stein 방법을 이용해 Kolmogorov 거리의 비대칭 상한을 제시한다. 추가적인 이질성 제약을 두면 (T_n)는 정규분포로 수렴함을 증명한다.

상세 분석

β‑모델은 각 정점 (i)에 양의 파라미터 (\mu_i=e^{\beta_i})를 부여해 엣지 존재 확률을 (p_{ij}= \frac{\mu_i\mu_j}{1+\mu_i\mu_j}) 로 정의한다. 논문은 두 가지 희소성 가정 (\mu_{\max}\to0)와 (|\mu|2\to\infty)을 전제로, 삼각형 개수 (T_n=\sum{i<j<k}I_{ij}I_{jk}I_{ki})의 1차·2차 모멘트를 (|\mu|_6^2)·(1/6)와 (\frac{1}{6}|\mu|_4^2\bigl(3|\mu|_6^3-|\mu|_6^6\bigr)+|\mu|_2^2) 형태로 정확히 추정한다. 이때 (|\mu|_s)는 (L^s) 노름이다.

정규화 변수 (F_n=(T_n-\mathbb{E}T_n)/\sqrt{\operatorname{Var}T_n})에 대해 Malliavin‑Stein 프레임워크를 적용한다. 핵심은 독립 베르누이 변수들의 1차·2차 이산 그라디언트를 정의하고, Lemma 1을 통해 Kolmogorov 거리 (d_K(F_n,N))를 다섯 개의 복합 항 (B_1,\dots,B_5)의 합으로 상한한다. 각 (B_\ell)는 (\mu)의 다양한 노름 비율(예: (|\mu|_5^2/|\mu|_2^2), (|\mu|_3^4/|\mu|_5^4) 등)으로 표현되며, 일반적인 이질성 상황에서도 유효한 비대칭적 결과를 제공한다.

그러나 (4)만으로는 상한이 0으로 수렴하지 않을 수 있다. 이를 보완하기 위해 두 가지 추가 제약을 도입한다. 첫째는 (|\mu|{3/2}^3 = O(|\mu|6^2)) 로 L_{3/2} 노름의 성장 속도를 제한하고, 둘째는 (\mu{\max}\mu{\min}=O(|\mu|_3^2)) 로 극단값 비율을 제어한다. 어느 하나라도 만족하면 Theorem 2에 의해 (F_n)는 표준 정규분포로 수렴한다.

예시 1에서는 (\mu_i=\theta_r n^{-\alpha/2}) 형태의 블록 구조를 가정하고, (\alpha)에 따라 상한이 (n^{-\eta(\alpha)}) 로 수렴함을 확인한다. 특히 (\alpha\in(0,1))이면 기존 ER 그래프 결과와 일치한다.

기술적으로는 변량을 중심으로 한 1차·2차 그래디언트 계산, 독립성에 의한 공분산 소거, 그리고 정규화 상수의 정확한 추정이 핵심이다. 논문은 이러한 계산을 통해 기존 이질 그래프 모델에서 서브그래프 카운팅에 대한 명시적 Berry‑Esseen 경계를 최초로 제공한다는 점에서 의의가 크다.