확장 그래프에서 정점 퍼콜레이션의 놀라운 안정성

**1. 서론 및 동기** 논문은 정점 퍼콜레이션, 즉 그래프의 정점을 독립적으로 일정 확률로 삭제하는 과정을 연구한다. 기존 연구는 주로 무작위 \(d\)-정규 그래프에 초점을 맞추었으며, 연결성 유지와 거대 성분의 존재 여부를 확률적으로 분석했다. 저자들은 이러한 결과를 보다 일반적인 “β‑확장 그래프”라는 구조적 가정 하에 재해석하고, 결정론적 조건을 통해 동일하거나 더 강한 결론을 얻고자 한다. **2. 기본 정의와 표기법** - **β‑확장 그래프**: 모든 \(|U|\le n/2\) 에 대해 \(|N_G(U)|\ge \beta|U|\). - **f‑확장 그래프**: \(|N_G(U)|\ge f(|U|)\cdot|U|\) 로, \(f\) 가 상수 \(\beta\) 일 때 β‑확장. - **삭제 모델**: 각 정점이 확률 \(p=n^{-\alpha}\) 로 삭제, 남은 그래프를 \(\widehat G\) 로 표기. - **\(K\) 의 정의**: \(K=\min\{u:\forall k\ge u,\;k f(k) > 1/\alpha\}\). **3. 주요 결과 (Theorem 1.2)** 임의의 상수 \(\alpha,c,\Delta>0\) 와 \(f\ge c\) 를 만족하는 \(n\) 정점, 최대 차수 \(\Delta\) 인 그래프 \(G\) 에 대해, \(\widehat G\) 는 w.h.p. - (i) 크기 \(n-o(n)\) 인 거대 연결 성분 \(\widehat V_1\) 를 가진다. - (ii) \(\widehat V_1\) 은 새로운 확장 상수 \(\beta>0\) 를 만족하는 β‑확장 그래프이다. - (iii) 나머지 모든 연결 성분의 크기는 \(K-1\) 이하이며, \(K<1/(c\alpha)\) 로 제한된다. **4. 증명 개요** 1) **삭제된 정점 수 집중**: 베르누이 변수의 Chernoff 경계로 \(r\) 가 \((1\pm o(1))n^{1-\alpha}\) 임을 보인다. 2) **거대 성분 존재**: 만약 가장 큰 성분이 \(n/2\) 이하라면, 확장성에 의해 그 이웃이 \(\Theta(n)\) 가 되지만 이는 삭제된 정점 집합에 포함돼야 하므로 모순이다. 따라서 \(|\widehat V_1|>n/2\). 3) **작은 성분 크기 제한**: 최대 차수 \(\Delta\) 를 이용해 크기 \(k\) 인 연결 부분 그래프의 개수를 \(n(e\Delta)^k\) 로 상한한다. 각 작은 성분이 남아있으려면 그 이웃 전체가 삭제돼야 하므로, 해당 사건의 확률을 \(\binom{w}{\le pw}\) 로 추정하고 합을 취해 \(K\) 이하의 크기만이 w.h.p. 발생함을 증명한다. 4) **거대 성분의 확장성**: 원 그래프의 확장성 \(f\) 와 Chernoff 경계를 결합해, \(\widehat V_1\) 의 모든 중간 크기 집합 \(U\) 가 \(|\widehat N(U)|\ge (\alpha c/4) |U|\) 를 만족함을 보인다. 이를 통해 \(\widehat V_1\) 이 β‑확장임을 얻는다. **5. 스펙트럼 기반 확장과 \((n,d,\lambda)\)-그래프** 알론–밀먼 정리로부터 \(\lambda\) 가 충분히 작으면 \((n,d,\lambda)\)-그래프는 \(\beta\)-확장성을 갖는다. 저자는 추가적으로 - \(\lambda \le d/2\) (또는 \(\lambda \le d/4\) 등) 조건을 두어 \(f(k)\) 를 구체화하고, - \(\alpha\) 의 임계값을 \(\alpha>1/(d-1)\) (연결성 유지)와 \(\alpha>1/(2(d-1))\) (고립 정점만 남음) 로 정확히 산출한다. 이 결과는 무작위 \(d\)-정규 그래프가 위 조건을 w.h.p. 만족한다는 사실과 결합해, Greenhill‑Holt‑Wormald의 정리 1.1을 결정론적 방법으로 재증명하고, 실제 확장 상수 \(\beta\) 를 명시함으로써 강화를 제공한다. **6. 고차원 정규 그래프와 무한 확장 비율** 섹션 4에서는 \(|U|=o(n)\) 에 대해 \(|N(U)|/|U|\to\infty\) 인 경우를 다룬다. 이러한 “무한 확장 비율”을 갖는 그래프에서도 동일한 분석을 적용해, 삭제 후에도 전체 그래프가 연결되고 확장성을 유지함을 보인다. 특히 \(1\ll d\ll \sqrt n\) 인 경우에도 결과가 성립한다. **7. 결론 및 향후 과제** 논문은 확장성이라는 구조적 특성을 이용해 정점 퍼콜레이션의 임계 현상을 정확히 규정하였다. 주요 기여는 - 확장 그래프에 대한 일반적인 정리 제공, - 기존 확률적 결과를 결정론적 방식으로 강화, - 높은 차수와 무한 확장 비율까지 포괄하는 적용 범위 확대이다. 향후 연구로는 비정규 그래프, 동적 삭제/삽입 모델, 그리고 실제 네트워크에서의 복원력 설계 등이 제시된다.