무선 센서망 커버리지 정정 논문의 핵심 분석

본 논문은 2006년 IEEE Transactions on Information Theory에 게재된 P.J. Wan과 C.W. Yi의 “Coverage by Randomly Deployed Wireless Sensor Networks”에서 핵심적인 Lemma 4가 잘못 기술·증명되었음을 지적하고, 이를 정정한 새로운 보조정리와 증명을 제시한다. 원 논문은 원형 영역 \(\Omega\)에 무작위로 배치된 센서들의 커버리지 문제를 다루며, 특히 경계점 \(z\in\partial\Omega\)에서의 커버리지 확률 \(\phi_{n,r_n}(z)\)를 포아송 근사를 이용해 정확히 표현한다는 Lemma 4를 제시한다. 이 Lemma는 두 가지 가정, 즉 \(n\pi r_n^2\to\infty\)와 \(n\pi r_n^3\to0\)를 동시에 만족한다는 전제를 둔다. Gupta는 첫 번째 가정이 논리적 모순을 일으킨다고 주장한다. \(n\pi r_n^2\to\infty\)이면 지수항 \(e^{-n\pi r_n^2/2}\)이 급격히 0으로 수렴하므로 \(\phi_{n,r_n}(z)\) 자체도 0에 수렴한다. 그러나 Lemma 4는 \(\phi_{n,r_n}(z)\)가 \(\sum_{i=0}^{k}\frac{(n\pi r_n^2/2)^i}{i!}e^{-n\pi r_n^2/2}\)와 “동등하게” (\(\sim\)) 행동한다고 주장한다. 이는 명백히 잘못된 결론이다. 또한 증명 과정에서 하한을 구할 때 부등식 \(\sum_{i=0}^{k}a_i > a_k\)를 이용해 “\(\sim\)” 로 치환한 점은 수학적으로 허용되지 않는다. 이러한 오류를 바로잡기 위해 Gupta는 Lemma 4의 전제 조건을 수정한다. 그는 \(n\pi r_n^2\to\infty\)를 완전히 삭제하고, 오직 \(n\pi r_n^3\to0\)만을 가정한다. 이는 센서 반경이 충분히 작아 경계 근처에서 독립적인 커버리지 사건을 근사할 수 있음을 의미한다. 새로운 Lemma 1.2는 다음과 같이 제시된다. \