밀도 그래프에 무작위 교란을 가했을 때 퇴화 그래프와 정규 그래프의 임계값

논문은 무작위 교란 그래프 G∪G(n,p) 모델에서 특정 스패닝 서브그래프의 존재 임계값을 조사한다. 서론에서는 임계값 개념과 기존 결과들을 정리하고, 특히 무작위 교란을 통한 해밀턴성, 제한 차수 트리 삽입, 그리고 d‑퇴화 그래프에 대한 기존 연구들을 언급한다. 기존 연구들은 보통 최소 차수 αn을 갖는 기본 그래프 G와 p=Θ(1/n) 정도의 교란으로 충분함을 보였지만, 퇴화 그래프와 같은 보다 복잡한 구조에 대해서는 아직 충분히 작은 p에 대한 결과가 부족했다. 첫 번째 주요 결과인 정리 1.1은 d≥2와 Δ>0에 대해 η>0가 존재함을 보인다. 여기서 G는 Ω(n²)개의 간선을 가진 임의의 그래프이며, H는 n‑정점 d‑퇴화 그래프이며 최대 차수가 Δ이다. p=n^{‑1/d‑η}이면, 거의 확실히 G∪G(n,p)에 H의 복사본이 존재한다. 이때 G는 최소 차수 조건이 아니라 단순히 조밀함(ℓΩ(n²) 간선)만을 요구한다는 점이 기존 결과와 차별화된다. 논문은 이를 위해 H의 1‑밀도 m₁(H)≤d−o(1)임을 이용하고, 무작위 부분 그래프가 H의 대부분을 담당하도록 설계한다. 남은 O(n)개의 간선은 G가 메꿔줄 수 있기 때문에 전체 삽입이 가능해진다. 두 번째 주요 결과인 정리 1.2는 d‑정규 그래프에 대한 확장성을 고려한다. H가 d‑정규이며 모든 2≤|X|≤γn에 대해 |∂(X)|≥d+1을 만족하면, 같은 조밀한 G와 p=n^{‑2/d‑η}이면 H가 삽입된다. 이 임계값은 기존 K_{d+1}‑팩터에 대한 n^{‑2/(d+1)}보다 다항식 수준 더 작다. 논문은 이 조건이 최적임을 보이며, |∂(X)|≥d인 경우에는 임계값이 로그‑다항식 수준으로 제한됨을 예시를 통해 설명한다. 정리 1.2를 바탕으로 두 개의 코롤라리가 도출된다. 코롤라리 1.3은 d≥4인 거의 모든 d‑정규 그래프가 위의 확장성 조건을 만족한다는 사실을 이용해, 임의의 조밀한 G와 p=n^{‑2/d‑η}이면 거의 확실히 임의의 d‑정규 그래프가 삽입된다고 주장한다. 이는 무작위 d‑정규 그래프가 작은 절단을 거의 갖지 않음(절단 크기가 d 이하인 경우는 정점 하나만 포함)이라는 알려진 사실에 기반한다. 코롤라리 1.4는 짝수 d에 대해 (d/2)‑멱 해밀턴 사이클이 같은 임계값 n^{‑1/d‑η}으로 삽입될 수 있음을 보여준다. 이는 기존에 최소 차수 αn을 요구하던 결과를 조밀한 G만으로 일반화한 것이다. 핵심 기술은 정리 1.5에 제시된 프레임워크이다. 여기서는 H에 대한 비순환 방향 D를 잡고, K‑볼 B⁺_K(v) 크기가 K/2 이상인 정점 집합 V′를 정의한다. 두 가지 조건을 만족하는 모든 부분그래프 H′에 대해 (1) 큰 부분그래프는 평균 차수가 d−ε′ 이하이거나 V′에 속한 정점의 K‑볼 전체가 포함되고, (2) 작은 부분그래프는 e(H′)≤d(m−1)−½ 를 만족한다. 이러한 구조적 제약은 “대부분의 부분그래프가 충분히 희박”함을 보장한다. 저자들은 이를 이용해 H의 삽입을 위한 q‑스프레드 분포를 구성하고, 프랭크스턴·칸·나라얀·박의 스프레드 정리(정리 2.2)를 적용한다. 스프레드성은 “q‑스프레드” 하이퍼그래프에 대해 p≥Kq log r이면 무작위 부분집합이 하이퍼엣지를 포함한다는 강력한 확률적 보장을 제공한다. 정리 1.5는 이 스프레드성을 vertex‑spread 형태로 변환해, 삽입 확률을 제어한다. 증명 과정은 크게 두 단계로 나뉜다. 첫 단계에서는 위의 K‑볼 조건을 만족하는 독립 집합 X를 찾아 H에서 O(n)개의 간선을 제거하고, 남은 그래프 H*가 모든 부분그래프에 대해 평균 차수가 d−ε 이하임을 보인다. 두 번째 단계에서는 H*에 대해 vertex‑spread 분포를 구축하고, 이를 통해 G(n,p)에서 H*를 거의 확실히 찾을 수 있음을 보인다. 마지막으로, G가 제공하는 O(n)개의 추가 간선으로 H*에 남은 부분을 메꾸어 전체 H를 완성한다. 논문은 또한 임계값의 최적성을 논의한다. 정리 1.2의 절단 조건 |∂(X)|≥d+1은 예시를 통해 필요함을 보이며, 절단이 d 이하인 경우에는 임계값이 로그‑다항식 수준으로 제한된다. 이는 정리 1.1의 조밀성 조건이 최소 차수 조건보다 약함에도 불구하고, 퇴화 그래프에 대해 다항식 절감이 가능함을 강조한다. 결론에서는 현재 결과가 무작위 교란 모델에서 “다항식 절감”이라는 새로운 수준을 제시함을 정리하고, 향후 연구 방향으로 η를 최적화하거나, 비정규·비퇴화 그래프, 혹은 더 일반적인 스패닝 구조에 대한 확장을 제시한다. 또한, 스프레드성 기반 방법론이 다른 조합론적 임계값 문제에도 적용 가능함을 암시한다.