다중 터미널 비밀키 용량의 상호 의존성 상한의 정확성 분석

초록

본 논문은 Csiszár‑Narayan이 제시한 비밀키 용량의 상한식 I(A)를 다중 터미널 시스템에서 실제 용량과 일치하는지 검증한다. 모든 사용자가 활성일 때는 다항체(polymatroid) 구조와 Slepian‑Wolf 제약의 결합을 이용해 I(M)=C_SK(M)임을 증명하고, 일부 사용자가 헬퍼인 경우 6‑터미널 예시를 들어 상한이 느슨함을 보인다.

상세 분석

논문은 먼저 비밀키 생성(SK) 문제와 공용 토론을 최소화하는 통신 전개(Communication for Omniscience, CO)를 동일한 선형계획(LP) 형태로 기술한다. CO의 실현 가능한 속도벡터 집합 R(A)는 모든 비어 있지 않은 부분집합 B⊆M, B⊈A에 대해 Slepian‑Wolf 제약 SW(R,B)≥0을 만족하는 R의 모임이며, 여기서 SW(R,B)=∑{j∈B}R_j−h(B)이고 h(B)=H(X_B|X{B^c})는 조건부 엔트로피다. 비밀키 용량 C_SK(A)는 전체 엔트로피 h(M)에서 최소 CO 속도 R_CO(A)를 뺀 값으로 정의된다(식 1b).

Csiszár‑Narayan은 C_SK(A)≤I(A)라는 상한을 제시했으며, 여기서 I(A)=min_{2≤k≤|A|} min_{(C_1,…,C_k)∈P_k(A)}