정점 차수와 식별 코드 크기의 새로운 상한

초록

본 논문은 최대 차수 d를 갖는 연결 그래프 G에 대해 최소 식별 코드 크기 γ_ID(G)가 n−Θ(n/d) 이하임을 보이며, 일반 그래프에서는 n−Θ(n/d³)까지 강한 상한을 제시한다. 또한 최소 차수 δ와 girth ≥5인 그래프에 대해 γ_ID(G) ≤ (1+o_δ(1))·(3 log δ)/(2δ)·n을 증명하고, 무작위 d-정규 그래프의 경우 γ_ID(G)≈(log d)/d·n임을 얻는다.

상세 분석

논문은 식별 코드(identifying code)의 최소 크기 γ_ID(G)를 그래프의 차수 파라미터와 연결시켜 새로운 상한을 도출한다. 먼저, 최대 차수 d≥3인 트윈 프리(twin‑free) 그래프 G에 대해, 강제 정점(forced vertices)의 비율 f(G)와 무작위 선택 집합 S를 이용해 “나쁜 사건(bad events)”을 정의한다. 사건 A_j, B_j, C_j, D는 각각 한 정점이 전부 S에 포함되는 경우, 인접 정점 쌍의 대칭 차이가 S에 포함되는 경우, 거리 2인 정점 쌍의 차이가 S에 포함되는 경우, 그리고 거짓 쌍(false twins) 사이의 차이가 {u,v}인 경우를 의미한다. 각 사건에 가중치를 부여하고, 가중 로컬 레마(Weighted Local Lemma)를 적용해 모든 사건이 동시에 일어나지 않을 확률이 양수임을 보인다. 이어서 체르노프(Chernoff) 경계를 이용해 |S|가 기대값 근처에 머무르는 것을 보장함으로써, 강제 정점 집합 F와 V\F\S의 합이 식별 코드가 됨을 증명한다. 이 과정에서 얻은 상한은
γ_ID(G) ≤ n − n·f(G)·2·10⁻³/d
이며, f(G)≥1/(d+1)인 경우 n−Θ(n/d) 형태가 된다. 따라서 정규 그래프, 클리크 수가 제한된 그래프 등에서 f(G)=Ω(1)임을 보이면, 기존의 n−Θ(n/d⁵)··· 상한을 크게 개선한다.

다음으로 최소 차수 δ와 girth≥5인 경우를 다룬다. 여기서는 각 정점이 적어도 δ개의 이웃을 가지며, 사이클이 짧지 않으므로 거리 2 이내에서 중복된 이웃 구조가 제한된다. 이를 이용해 임의의 정점 집합을 확률적으로 선택하고, 각 정점이 코드에 포함될 확률을 p= (c·log δ)/δ 로 잡는다. 그러면 기대 코드 크기는 (c·log δ)/δ·n이 되고, 로컬 레마와 체르노프 경계로 “식별 가능성”(domination 및 separation)이 동시에 만족될 확률이 양수가 된다. 최적 상수 c=3/2를 선택하면
γ_ID(G) ≤ (1+o_δ(1))·(3 log δ)/(2δ)·n
이라는 강력한 상한을 얻는다.

마지막으로 무작위 d‑정규 그래프 G_{n,d}에 대해 위 결과를 적용한다. 정규 그래프는 모든 정점이 강제 정점이 아니므로 f(G)=1이며, 앞서 증명한 n−Θ(n/d) 상한이 적용된다. 더 정밀히는, 랜덤 정규 그래프의 국소 구조가 거의 트리와 유사함을 이용해 각 정점이 코드에 포함될 확률을 (log d)/d 로 잡을 수 있다. 따라서 거의 모든 d‑정규 그래프에 대해
γ_ID(G_{n,d}) = (1+o(1))·(log d)/d·n
임을 보이며, 이는 기존 알려진 하한과 일치하는 최적 결과다. 전체적으로 논문은 로컬 레마와 체르노프 경계를 결합한 확률적 방법을 통해 식별 코드의 상한을 차수와 girth에 따라 정밀하게 추정했으며, 정규 그래프와 무작위 정규 그래프에 대한 정확한 비율을 제시한다.