퇴화된 유한 상태 방송 채널의 용량 영역 완전 해석

본 논문은 유한한 상태 집합을 갖는 퇴화된 방송 채널(Finite‑State Broadcast Channel, 이하 FSBC)의 용량 영역을 체계적으로 규명한다. 먼저, 채널 모델을 입력 알파벳 X, 두 수신기 출력 알파벳 Y·Z, 그리고 이전 상태 S′와 현재 상태 S 로 구성된 5‑튜플 (X×S, p(y,z,s|x,s′), Y×Z×S) 로 정의한다. 이때 상태 전이는 입력과 이전 상태에 의존하며, 메모리를 포함한다는 점에서 기존 메모리리스 방송 채널과 근본적으로 다르다. 논문은 두 종류의 퇴화를 구분한다. 물리적 퇴화(Definition 2)는 조건 (3a)와 (3b) 로 표현되는데, (3a)는 Z의 이전 출력 Z_{i‑1} 가 Y_{i‑1} 의 퇴화된 형태임을, (3b) 는 Z_i 가 Y_i 만을 조건으로 결정된다는 의미다. 이 경우에도 Z는 상태 S 에 의존하므로 메모리 효과가 남아 있다. 확률적 퇴화(Definition 3)는 존재하는 고정 확률 질량 함수 ˜p(z|y) 가 모든 상태와 입력에 대해 동일하게 적용될 수 있음을 요구한다. 즉, p(z,s|x,s′)=∑_y p(y,s|x,s′)·˜p(z|y) 로 분해 가능하면 확률적 퇴화라 정의한다. 두 정의는 퇴화 구조는 동일하지만, 확률적 퇴화는 퇴화 채널이 상태에 무관하다는 점에서 차이가 있다. 다음으로 채널이 인디컴포저블(Definition 4)인지 여부를 논한다. 인디컴포저블이란 충분히 큰 블록 길이 n 에 대해 초기 상태 s₀ 와 s₀′ 가 서로 다르더라도 상태 분포 p(s_n|x,s₀) 와 p(s_n|x,s₀′) 가 임의의 ε 이하로 수렴한다는 성질이다. 이 경우 n→∞ 로 갈 때 초기 상태의 영향이 사라지므로 용량 영역을 초기 상태에 대한 최악‑최선 교집합으로 표현할 수 있다. 비인디컴포저블 경우에도 동일한 한계가 존재하지만, 초기 상태에 대한 최악‑최선 분석이 필요하다. 핵심 정리(Theorem 1)는 물리적 퇴화 FSBC에 대해 용량 영역을 다음과 같이 제시한다. n‑길이 공동 분포 q_n ∈ Q_n (여기서 Q_n 은 (Uⁿ,Xⁿ) 의 모든 가능한 분포 집합이며, 보조 변수 Uⁿ 의 알파벳 크기는 |Uⁿ| ≤ min{|X|,|Y|,|Z|}ⁿ 로 제한) 를 고려한다. 각 q_n 에 대해 R₁,n(q_n,s₀) = (1/n) I(Xⁿ;Yⁿ | Uⁿ, s₀) – (log₂‖S‖)/n, R₂,n(q_n,s₀) = (1/n) I(Uⁿ;Zⁿ | s₀) – (log₂‖S‖)/n 로 정의한다. 그 후 R₀≥0, R₁≥0, R₂≥0, R₁ ≤ R₁,n, R₀+R₂ ≤ R₂,n 을 만족하는 (R₀,R₁,R₂) 의 볼록 폐합을 R_n(s₀) 로 두고, 최종 용량 영역 C_pd = lim_{n→∞} sup_{s₀∈S} R_n(s₀) 로 정의한다. 식 (11) 에서 한계가 존재함을 증명한다. Corollary 1 은 확률적 퇴화 FSBC 의 경우에도 물리적 퇴화와 동일한 용량 영역을 갖는다는 것을 보인다. 여기서는 p(z|s,y,x,s′) 를 ˜p(z|y) 로 대체하면 된다. Corollary 2 는 인디컴포저블 경우 초기 상태가 사라지므로 C_pd 를 단순히 lim_{n→∞} R_n(s₀) 로 표현할 수 있음을 강조한다. 증명 개요에서는 슈퍼포지션 코딩을 핵심 전략으로 채택한다. 공통 메시지와 두 사설 메시지를 각각 Uⁿ 과 Xⁿ 에 매핑하고, 각 수신기는 자신의 출력과 상태 정보를 이용해 순차적으로 디코딩한다. 메모리 효과 때문에 Uⁿ 와 (Yⁿ,Zⁿ) 사이의 채널이 Xⁿ 와 (Yⁿ,Zⁿ) 사이의 채널과 다르게 동작한다는 점을 강조한다. 또한, 오류 확률을 초기 상태별 최악값으로 정의하고, ε‑δ 정의에 따라 충분히 큰 n 에 대해 오류를 임의로 작게 만들 수 있음을 보인다. 논문의 주요 기여는 다음과 같다. (1) 물리적·확률적 퇴화 두 경우에 대해 정확한 용량 영역을 제시하고, 인디컴포저블 여부에 따라 초기 상태의 영향을 명확히 구분하였다. (2) 슈퍼포지션 코딩이 메모리와 퇴화가 동시에 존재하는 방송 채널에서도 최적임을 증명하였다. (3) 보조 변수 Uⁿ 의 알파벳 크기 제한과 상태 의존성 사이의 복잡한 관계를 분석하여, 기존 메모리리스 BC 혹은 MAC 와는 다른 새로운 구조적 특징을 밝혀냈다. (4) 실제 무선 시스템, 예를 들어 시간 변동 페이딩과 다중 사용자 전송이 동시에 발생하는 5G·6G 환경에서 적용 가능한 이론적 토대를 제공한다. 결론적으로, 이 연구는 퇴화된 유한 상태 방송 채널의 용량 이론을 완성함으로써, 메모리와 퇴화가 결합된 복합 채널 모델에 대한 이해를 크게 확장하고, 향후 실용적인 코딩 설계와 시스템 최적화에 중요한 지침을 제공한다.