유한 상태 다중접속 채널의 용량 영역에 대한 새로운 상·하한 및 피드백 효과 분석

본 논문은 피드백이 출력의 시간 불변 함수인 경우를 포함한 유한 상태 다중접속 채널(FS‑MAC)의 용량 영역을 체계적으로 분석한다. 서론에서는 메모리 없는 MAC의 고전적 결과(Ahlswede, Cover‑Leung, Ozarow 등)와 최근의 피드백을 이용한 다중 사용자 채널 연구(Kramer 등)를 소개하고, 이를 유한 상태 채널(FSC)로 확장하는 필요성을 제기한다. II절에서는 채널 모델을 구체화한다. 두 송신기 \(l\in\{1,2\}\)는 각각 메시지 \(m_l\)를 선택하고, 피드백 \(z_{l,i}=f_l(y_i)\)를 한 단계 지연된 형태로 수신한다. 채널은 상태 \(S_i\in\mathcal S\)를 갖고, 조건부 확률 \(P(y_i,s_i|x_{1,i},x_{2,i},s_{i-1})\)에 의해 동작한다. 피드백이 없을 경우 \(z_{l,i}\)는 null이다. III절에서는 인과적 조건부 확률과 지시된 정보 개념을 정리한다. \(P(y^N\|\!x^{N-d})\)와 \(I(X^N\to Y^N)\)를 정의하고, Lemma 1을 통해 여러 성질(연쇄 규칙, 상태 의존성에 대한 경계 등)을 제시한다. 또한, 2차원 영역의 합, 스칼라 곱, sup‑additivity, sub‑additivity, 수렴 개념을 정의하고, Lemma 2·3을 통해 sup‑additive(또는 sub‑additive) 영역 수열이 각각 합집합·교집합으로 수렴함을 증명한다. IV절에서는 피드백이 있는 경우의 내부 경계를 제시한다. 블록 길이 \(n\)에 대해, 입력 분포를 \(Q(w)Q(x_1^n\|\!z_1^{n-1},w)Q(x_2^n\|\!z_2^{n-1},w)\) 형태로 두고, 각 사용자별 지시된 정보와 전체 지시된 정보를 1/n으로 정규화한 세 개의 부등식(식 22)을 정의한다. Theorem 1은 이 영역 \(R_n\)이 달성 가능함을 증명한다. 증명은 Gallager식과 ML 디코더 분석을 기반으로 하며, 피드백이 있을 때는 코드‑트리를 사용하고, 이를 여러 블록에 걸쳐 연결(concatenated code‑trees)함으로써 오류 확률을 제어한다. Lemma 4는 \(\{R_n\}\)이 sup‑additive임을 보이며, 따라서 \(\lim_{n\to\infty}R_n\)이 존재하고 내부 경계와 동일함을 보인다. V절에서는 외부 경계를 제시한다. Fano 부등식을 이용해 임의의 달성 가능한 \((R_1,R_2)\)에 대해, 어떤 입력 분포 \(Q(x_1^n\|\!z_1^{n-1})Q(x_2^n\|\!z_2^{n-1})\)가 존재해 식 24의 부등식을 만족함을 보인다. 여기서 \(\epsilon_n\to0\)이다. 따라서 \(\liminf R_n\)이 외부 경계가 된다. 두 경계가 일치하는 경우는 두 가지다. 첫 번째는 상태 전이 확률이 입력에 독립적이며 정상·에르고딕한 경우(식 26). 이때 Theorem 3은 용량 영역이 \(\lim_{n\to\infty}R_n\)이며, 수열이 수렴함을 명시한다. 두 번째는 피드백이 없고 채널이 indecomposable인 경우이다. 여기서는 Lemma 5가 \(\{R_n\}\)이 sub‑additive임을 보이고, Theorem 5가 용량 영역이 \(\lim_{n\to\infty}R_n\)임을 제시한다. VI절에서는 위 결과들을 구체적인 응용에 적용한다. (1) Theorem 6은 정상·에르고딕 마코프 상태를 갖는 채널에서 피드백이 없을 때 용량이 0이면 피드백이 있어도 0임을 증명한다. 이는 지시된 정보가 입력 독립적인 경우에만 0이 되는 성질을 이용한다. (2) Theorem 7은 가산 모듈러(MOD‑|X|) MAC에 대해 피드백이 용량을 확대하지 않으며, 용량 영역이 \(\log q - H(V)\) 로 간단히 표현된다는 것을 보인다. 여기서 \(V\)는 메모리를 가질 수 있는 잡음이며, 엔트로피율만이 용량을 제한한다. (3) Theorem 8은 동일한 MAC에 대해 손실 없는 복원을 목표로 할 때, 소스‑채널 분리 정리가 성립함을 보여준다. 이는 기존에 MAC에서는 일반적으로 성립하지 않는 사실을, 가산 모듈러 구조와 독립 잡음 특성 덕분에 가능하게 만든다. 마지막으로 논문은 제시된 다중 문자식 용량 표현이 일반적인 FS‑MAC에 적용 가능함을 강조하고, sup‑additivity와 sub‑additivity를 통한 수열 수렴 기법이 피드백이 있는 복합 채널 분석에 강력한 도구가 됨을 제시한다. 향후 연구 방향으로는 연속 알파벳, 비정상 상태 과정, 그리고 다중 사용자(>2) 확장 등을 제시한다.