2수신기 이산 메모리 없는 방송채널의 내부·외부 경계 분석

본 논문은 2수신기 이산 메모리 없는 방송채널(DMBC)의 용량 영역을 정확히 규정하기 위해 가장 널리 알려진 두 경계, 즉 Marton(1979)의 내부 경계와 Nair‑El Gamal(2007)의 외부 경계에 대한 심층적인 비교·통합을 수행한다. 첫 번째 섹션에서는 두 경계의 수식적 정의를 제시한다. Marton 경계는 보조 변수 \((U,V,W,X)\)가 \((U,V,W)\rightarrow X\rightarrow (Y_1,Y_2)\) 마코프 사슬을 만족하도록 설정하고, 각 수신기에 대한 개별 정보량 제한 \(R_1\le I(U,W;Y_1)\), \(R_2\le I(V,W;Y_2)\)와 합률 제한 \(R_1+R_2\le \min\{I(W;Y_1),I(W;Y_2)\}+I(U;Y_1|W)+I(V;Y_2|W)-I(U;V|W)\)을 제시한다. 반면 Nair‑El Gamal의 외부 경계는 \((U,V,W,X)\)를 이용하되, \(U\)와 \(V\)를 독립으로 가정하지 않아 보다 일반적인 형태를 제공한다. 두 번째 형태인 Bound 3은 \(U\)와 \(V\)의 독립성을 강제함으로써 약한 형태를 만든다. 핵심 정리(Theorem 1)는 Bound 2와 Bound 3이 동일함을 증명한다. 증명은 기존 보조 변수 \((U,V)\)를 새로운 삼중 \((U^*,V^*,W^*)\)로 변환하고, 모듈 연산을 이용해 확률분포를 재배열함으로써 모든 정보량 식이 보존됨을 보인다. 이 과정에서 \(U^*\)와 \(V^*\)는 독립이 되며, \(W^*\)는 두 변수 사이의 상관을 담당한다. 따라서 강한 외부 경계는 약한 형태와 실질적으로 동일하다는 결론에 도달한다. 다음으로 저자는 보조 변수의 알파벳 크기를 제한하는 카디널리티 바운드를 제시한다. Fenchel‑Eggleston의 강화된 Carathéodory 정리를 이용해, 임의의 보조 변수 \(U\)에 대해 \(|\mathcal U|\le |\mathcal X|+1\)인 새로운 변수 \(U_1\)를 구성할 수 있음을 보인다. 동일하게 \(V\)도 \(|\mathcal V|\le |\mathcal X|+1\)로 제한 가능하다. 이렇게 하면 최적화 문제를 유한 차원으로 축소할 수 있어 실제 계산이 가능해진다. 세 번째 섹션에서는 구체적인 채널 사례인 이진 비대칭(skew‑symmetric) 채널(BSSC)을 분석한다. 채널은 입력 \(X\in\{0,1\}\)와 두 출력 \(Y_1,Y_2\)가 서로 반대되는 확률로 뒤바뀌는 구조이며, 여기서는 \(p=1/2\)인 대칭 경우를 다룬다. 저자는 Conjecture 1을 제시한다: \