β모델 최대우도 존재 조건과 다항체 기하학적 분석

본 논문은 무방향 그래프의 β‑모델에 대한 최대우도추정량(MLE)의 존재 문제를 체계적으로 다룬다. β‑모델은 각 노드 i에 실수 파라미터 β_i 를 부여하고, 두 노드 i와 j 사이에 엣트가 존재할 확률을 p_{ij}=e^{β_i+β_j}/(1+e^{β_i+β_j}) 로 정의한다. 이 모델은 차수열 d(x)=A x 를 충분통계량으로 갖는 이산 지수족이며, A는 완전 그래프의 노드‑엣트 인시던스 행렬이다. 논문은 먼저 일반화된 실험 설계—각 엣트 (i,j) 가 N_{ij} 번 독립적으로 관측되는 상황—를 도입하고, 관측된 엣트 카운트 x_{ij} 를 Bin(N_{ij}, p_{ij}) 로 모델링한다. 핵심 아이디어는 관측된 데이터 x 로부터 얻어지는 정규화된 충분통계 ˜d(x)=A·(x./N) 가 차수 다항체 P_n 의 내부에 위치하는가 여부가 MLE 존재를 완전히 결정한다는 점이다. P_n 은 모든 단순 그래프의 차수열이 이루는 볼록다각체이며, 차수 다항체라고도 불린다. 저자들은 이 다항체가 이미 그래프 이론에서 풍부한 문헌을 가지고 있음을 강조하고, 차수 다항체의 경계에 해당하는 점들은 Erdős‑Gallai 부등식이 등호가 되는 경우와 동일함을 이용한다. 정리 3.1에 따르면, ˜d(x)∈int(P_n) ⇔ MLE 존재한다. 반대로 ˜d(x)가 경계에 있으면, 일부 β_i 가 무한대로 발산해 로그오즈가 무한대가 되므로 해당 엣트 확률이 0 혹은 1 로 고정된다. 이때 MLE는 존재하지 않으며, 실제로 추정 가능한 파라미터는 경계에 고정된 엣트들의 확률만이 된다. 저자들은 이러한 현상을 “금지 패턴”이라 부르고, 예를 들어 특정 부분그래프가 완전 그래프이면서 동시에 다른 부분에서 완전 이분 그래프가 되는 경우를 조합론적으로 기술한다. 다음으로 저자들은 확률적 차수열이 P_n 의 내부에 충분히 깊게 위치할 경우, 즉 기대 차수 𝔼