유클리드 구를 이용한 관용 식별 코드

초록

본 논문은 정수 격자 ℤ² 위에 반경 r 의 유클리드 구를 센서의 탐지 영역으로 설정하고, 각 센서가 Δ 만큼 탐지 반경이 변동할 수 있는 상황에서 (r, Δ)‑관용 식별 코드를 정의한다. 존재 조건, 하한·상한 밀도 분석, 그리고 특정 (r, Δ) 쌍에 대해 최적 코드를 구성하는 방법을 제시한다. 특히 r 이 커질 때와 Δ 이 1에 가까워질 때의 비대칭적 행동을 정밀히 조사한다.

상세 분석

논문은 먼저 기존의 식별 코드 개념을 ℤ² 위의 유클리드 그래프에 적용하고, 센서가 정확히 반경 r 의 구 B_r(c) 를 감시한다는 가정을 완화한다. Δ ≥ 0 인 파라미터를 도입해 실제 감시 영역을 B_{r+Δ}(c) 의 부분집합으로 허용함으로써 ‘관용’(tolerant) 식별 코드를 정의한다. 핵심 정의는 두 정점 u, v 에 대해
S_{r,Δ}(u,v)=\bigl(B_r(u)\setminus B_{r+Δ}(v)\bigr)\cup\bigl(B_r(v)\setminus B_{r+Δ}(u)\bigr)
이며, (r,Δ)‑코드 C는 모든 u 에 대해 B_r(u)∩C≠∅ 와 모든 u≠v 에 대해 S_{r,Δ}(u,v)∩C≠∅ 을 만족한다. 이 정의는 기존 (r,0)‑코드와 일치한다.

존재 조건은 Proposition 2에서 S_{r,Δ}((0,0),(-1,0)) 가 비어 있지 않으면 충분하고 필요함을 보인다. 이를 통해 Δ_m(r) = sup{Δ | (r,Δ)‑코드 존재}를 정의하고, Δ_m(r)≤1임을 확인한다. 정수 r 에 대해서는 Δ_m(r)=1이며, 비정수 r 에 대해서는 r→∞ 일 때 Δ_m(r)≥1−r^{-2}·r+O(r^{-1})라는 하한을 얻는다.

핵심 기술적 도구는 ‘수평 패턴’ S_{r,Δ}((0,0),(-1,0)) 의 구조 분석이다. x₀(r,Δ)는 이 집합에 속하는 최소 비음수 x, x₁(r,Δ)는 h_{r,Δ}(x)=1을 만족하는 최대 x, m(r,Δ)는 가장 큰 x에 대한 높이 차이를 나타낸다. 이 세 파라미터를 이용해 집합 S_{r,Δ} 의 원소 개수를 정확히 추정하고, Proposition 5를 통해 밀도 하한 D(r,Δ)≥1/|S_{r,Δ}((0,0),(-1,0))| 을 얻는다. Δ가 1에 가까워질수록 |S|는 약 r·√r·ε(r)^2 (ε=1−Δ) 정도로 감소하므로, 밀도 하한은 Ω(1/(r·√r·ε^2)) 가 된다.

상한 구성은 격자 라인 L_v^k={x≡0(mod k)}와 L_h^k={y≡0(mod k)}을 결합한 C_{r,Δ}=L_v^k∪L_h^k 으로 만든다. 여기서 k=⌊r⌋−x₁(r,Δ) 이면 모든 S_{r,Δ}(u,v) 가 C_{r,Δ}와 교차함을 보이며, 밀도는 2/k 이다. 이를 이용해 D(r,Δ)≤4r(2−Δ−√(2−Δ^2))+K와 같은 상한을 얻는다.

특히 (r,Δ)=(1,√2−1) 인 경우, 수평·수직·대각선 패턴을 모두 포함하는 주기적 코드가 밀도 1/2 로 최적임을 보인다. 일반 r에 대해서는 무한히 많은 (r,Δ) 쌍이 D=1/2 인 최적 코드를 가짐을 증명하고, 작은 r(≤3) 값에 대해서는 직접적인 구성과 비최적성 증명을 제공한다. 전체적으로 논문은 관용성을 도입한 식별 코드의 존재·비존재 경계, 밀도 상·하한, 그리고 최적 구성을 체계적으로 정리한다.