일반 임계값을 갖는 그래프의 동적 독점자와 저항 서브그래프 연구

초록

본 논문은 정점마다 임의의 정수 임계값을 부여한 그래프에서, 초기 활성 집합(동적 독점자)이 전체 정점을 순차적으로 활성화시키는 최소 크기를 조사한다. 저항 서브그래프 개념을 도입해 동적 독점자와의 관계를 밝히고, 다양한 임계값 설정에 대한 상·하한을 제시한다. 또한 동적 독점자 크기가 그래프 규모에 비례하지 않는 ‘dynamo‑unbounded’ 그래프 군을 정의하고, 확률적 임계값을 갖는 동질 사회 모델에 대한 특수한 경계를 얻는다. 마지막으로 라인 그래프에 대한 동적 독점자 크기를 분석해 몇몇 특수 경우에 정확한 값을 구한다.

상세 분석

논문은 먼저 τ:V(G)→ℕ 로 정의된 임계값 함수에 대해, D⊆V(G)가 동적 독점자(dynamo)임을 “D₀=D, D₁,…,D_k” 라는 단계적 전파 과정으로 공식화한다. 이때 각 단계 i+1에서 새롭게 활성화되는 정점 v는 이전 단계까지 활성화된 집합 D₀∪…∪D_i와의 인접 관계가 τ(v) 이상이어야 한다. 이러한 정의는 전염성 확산 모델, 특히 ‘irreversible’(비가역) 전파를 수학적으로 포착한다.

핵심 개념인 ‘저항 서브그래프(resistant subgraph)’는 서브그래프 H⊆G가 내부 정점들에 대해 외부 이웃 수가 각 정점의 임계값보다 작을 때 형성된다. 즉, H 안의 모든 정점 v에 대해 |N_G(v)∖V(H)|<τ(v) 이면 H는 저항성을 가진다. 저항 서브그래프가 존재하면, 그 내부 정점들은 외부에서 절대로 활성화될 수 없으므로, 동적 독점자는 반드시 H와 겹치해야 한다. 따라서 저항 서브그래프의 최소 정점 수는 dyn(G)의 하한을 제공한다. 논문은 이 관계를 정리하고, 기존 연구에서 사용된 ‘closed set’ 개념과의 차이를 명확히 한다.

다음으로 임계값 유형별 상·하한을 도출한다. 균등 임계값 t(모든 정점에 동일)인 경우, 기존 결과인 dyn(G)≥⌈|V|/t⌉ 와 유사한 식을 일반화한다. 비균등 임계값에 대해서는 정점의 평균 임계값 (\bar τ)와 최소 차수 δ를 이용해
\