일반화된 해밍 큐브에서의 부트스트랩 퍼콜레이션 임계값과 최소 전염 집합

초록

본 논문은 정점 집합이 {0,1}ⁿ인 그래프에 Hamming 거리 1부터 k까지( k≥2 )인 모든 쌍을 연결한 일반화 해밍 큐브 Qₙ,ₖ에서 r‑이웃 부트스트랩 퍼콜레이션을 연구한다. r=2,3에 대해 임계 확률 p_c의 정확한 비대칭 형태를 구하고, 퍼콜레이션을 일으키는 최소 초기 감염 집합의 크기 m(r)에 대한 상·하한을 제시한다. 주요 도구는 2차 모멘트법, Janson–Łuczak–Ruciński 부등식, FKG, 그리고 포아송 수렴 정리이다.

상세 분석

논문은 먼저 Qₙ,ₖ라는 그래프를 정의한다. V={0,1}ⁿ이고, 두 정점 x,y 사이에 Hamming 거리 d(x,y)≤k이면 간선을 둔다. 이는 기존의 하이퍼큐브(Qₙ,₁)에서 이웃 범위를 확대한 형태이며, 거리 k가 커질수록 그래프의 연결성이 급격히 증가한다. 저자는 r‑이웃 부트스트랩 퍼콜레이션을 고려한다. 초기 집합 A₀⊂V를 임의로 선택하고, 매 단계마다 현재 감염된 정점 집합 A_{t-1}에 대해 “이웃이 r개 이상인” 비감염 정점을 모두 감염시킨다. 과정이 정지하거나 전체 V가 감염될 때까지 반복한다.

임계 확률(정확도 r=2,3)
Theorem 1은 r=2인 경우 p_c의 스케일을 p≈2^{-n^{2-n-k}}로 제시한다. 구체적으로 p≫2^{-n^{2-n-k}}이면 퍼콜레이션 확률이 1에 수렴하고, p≪2^{-n^{2-n-k}}이면 0에 수렴한다. 경계선 p=c·2^{-n^{2-n-k}}에서는 “무질서한” 전이 대신 포아송 한계가 나타나며, 거리 ≤2k인 무순서 쌍의 개수가 평균 λ=c²/(2(2k)!)인 포아송 변수로 수렴한다. Theorem 2는 r=3에 대해 유사한 형태를 보이지만, 임계 스케일이 p≈2^{-n^{3-n-k}}이며, 거리 ≤2k인 무순서 삼중쌍이 평균 λ=c³·(2k choose k)/(6(2k)!k!)인 포아송 변수로 나타난다. 두 결과 모두 “sharp threshold”(폭이 o(p_c)인 전이) 대신 “coarse threshold”(폭이 같은 차수)임을 강조한다. 이는 기존 Qₙ(=Qₙ,₁)에서 r=2일 때 존재하던 sharp threshold와 대조된다.

기술적 접근
임계값을 찾기 위해 저자는 먼저 퍼콜레이션이 일어나기 위한 최소 구조를 규명한다. Lemma 5에 따르면, 초기 감염 집합에 (r−1)‑차원 서브큐브가 포함되면 몇 단계 안에 전체가 감염된다. 따라서 퍼콜레이션은 “거리 ≤2k인 정점 쌍(또는 삼중쌍)의 존재”와 동치가 된다. 이를 바탕으로 기대값 E