K수신자 방송채널 비밀용량 영역

논문은 무선 통신에서 물리층 보안을 위한 기본 모델인 K수신자 감소형 방송채널(BC)을 확장한다. 서론에서는 와이어탭퍼가 존재하는 상황에서의 비밀 전송 필요성을 강조하고, 기존 연구(2수신자 BC, 공통 메시지 포함 K수신자 BC, 그리고 비밀 메시지만을 다룬 연구)와의 차별점을 제시한다. 특히, 외부 와이어탭퍼가 존재함에도 불구하고 각 수신자에게 독립적인 비밀 메시지를 전송하는 문제를 다루는 것이 본 논문의 핵심이다. II절에서는 채널 모델을 정식화한다. 입력 알파벳 X와 K개의 출력 알파벳 Y₁,…,Y_K, 그리고 와이어탭퍼 출력 Z 로 구성된 메모리리스 확률 전이 p(y₁,…,y_K,z|x) 를 정의한다. 각 수신자는 독립적인 메시지 W_k 를 받아야 하며, 전송 코드는 확률적 인코더 f와 K개의 디코더 g_k 로 구성된다. 오류 확률 P_e와 완전 비밀성 조건 I(W_k;Z)=0 (또는 H(W_k|Z)=H(W_k)) 를 명시한다. III절에서는 주요 결과인 정리 1을 제시한다. 보조 확률변수 U₂,…,U_K 를 도입하고, 각 수신자 k에 대해 R₁ ≤ I(X;Y₁|U₂)−I(X;Z|U₂) R_k ≤ I(U_k;Y_k|U_{k+1})−I(U_k;Z|U_{k+1}) (k=2,…,K−1) R_K ≤ I(U_K;Y_K)−I(U_K;Z) 를 만족하는 모든 (R₁,…,R_K) 의 폐포가 비밀용량 영역임을 주장한다. III‑A에서는 achievability 증명을 위해 슈퍼포지션 코딩과 Wyner의 무작위 코드 파티셔닝을 결합한다. 코드북 생성 단계에서 먼저 최상위 레이어 U_K 를 2^{n(R_K+R'_K)}개의 코드워드로 무작위 생성하고, 이를 2^{nR_K}개의 서브코드로 나눈다. 각 서브코드 안에는 비밀 레이어 R'_K 가 포함된다. 동일한 과정을 레이어 k=K−1,…,2까지 반복하고, 최하위 레이어에서는 실제 전송 심볼 X 를 생성한다. 각 레이어의 조건부 분포는 (11)‑(12)식에 따라 정의되며, 이는 채널의 감소형 구조와 와이어탭퍼에 대한 마코프 체인을 만족한다. 코딩 단계에서는 메시지 w_k 와 비밀 인덱스 w'_k 를 결합한 쌍 w''_k=(w_k,w'_k) 를 사용한다. 전송자는 최상위 레이어부터 차례로 해당 서브코드에서 무작위로 하나를 선택해 슈퍼포지션 방식으로 겹쳐 전송한다. 디코딩은 각 수신자가 자신에게 할당된 레이어부터 역순으로 공동 전형 집합 A_ε에 속하는 코드를 찾는 방식이다. K번째 수신자는 (U_K, Y_K) 쌍을, 그 위의 수신자는 (U_{k+1},…,U_K, Y_k) 를 이용해 (ŵ_k,…,ŵ_K) 를 복원한다. IV‑A에서는 서브코드 크기 L'_k 를 Wyner의 파티셔닝 이론을 이용해 I(U_k;Z|U_{k+1}) 와 연결시킨다. Fano 부등식과 전형성 분석을 통해 log L'_k ≤ n I(U_k;Z|U_{k+1}) + nδ 를 얻고, 따라서 비밀 레이트 R'_k = (1/n) log L'_k 를 I(U_k;Z|U_{k+1})−τ 로 설정하면 비밀성 조건을 만족한다. IV‑B에서는 전체 오류 확률을 분석한다. 각 레이어별 오류 사건 E(Y_k) 를 정의하고, 연합 경계와 전형 집합의 성질을 이용해 P_e^{(k)} ≤ ε_k 를 보인다. n→∞ 일 때 모든 ε_k 가 0 으로 수렴함을 확인한다. V절에서는 converse 증명을 제시한다. 여기서 핵심은 보조 변수 U_k 를 “(W_{k+1},…,W_K, Z^{i-1})” 로 정의함으로써, 감소형 구조와 와이어탭퍼의 존재를 동시에 반영한다. 이를 통해 nR_k ≤ I(U_k;Y_k|U_{k+1}) − I(U_k;Z|U_{k+1}) + nε 를 도출하고, 결국 정리 1의 부등식을 얻는다. 저자들은 기존 2수신자 BC와 K수신자 BC(공통 메시지 포함)에서 사용된 보조 변수 정의와 차이가 있음을 강조한다. 마지막으로 결론에서는 본 연구가 K수신자 BC에 비밀 메시지를 일반화한 최초의 결과 중 하나이며, 슈퍼포지션 코딩과 Wyner 파티셔닝을 결합한 접근법이 비밀 전송에 효과적임을 재확인한다. 또한, 보조 변수 선택이 converse 증명에 결정적인 역할을 함을 언급하며, 향후 연구 방향으로는 비감소형 채널, 다중 와이어탭퍼, 그리고 실제 MIMO 구현을 제시한다.