피드백이 있는 다중접속채널의 새로운 외부 경계: 의존균형 접근법

본 논문은 피드백이 있는 이산 메모리리스 다중접속채널(MAC‑FB)의 용량 영역을 보다 정확히 제한하기 위해 의존균형(Dependence Balance, DB) 기법을 확장한 새로운 외부 경계를 제시한다. 먼저 서론에서는 피드백이 단일 사용자 채널에서는 용량을 늘리지 못하지만, 다중접속 상황에서는 증가시킬 수 있다는 기존 연구(Gaarder‑Wolf, Ozarow 등)를 소개한다. 특히, 가우시안 MAC‑FB 에서는 Ozarow가 컷셋 경계가 정확히 용량 영역임을 증명했지만, 이산형 대응 채널에서는 아직 알려지지 않은 상황임을 강조한다. 시스템 모델 섹션에서는 두 사용자가 각각 이산 입력 알파벳 X₁, X₂ 를 갖고, 출력 Y 가 확률 전이 p(y|x₁,x₂) 로 정의되는 일반적인 MAC‑FB 를 기술한다. 피드백은 완전하고 무노이즈이며, 전송 블록 길이 n 에 대해 전통적인 인코딩·디코딩 구조를 정의한다. 이후 컷셋 외부 경계는 정리 14.10.1에 따라 I(X₁;Y|X₂), I(X₂;Y|X₁), I(X₁,X₂;Y) 로 구성된 3개의 부등식으로 제시된다. 그러나 이 경계는 입력 분포 p(x₁,x₂)를 자유롭게 선택하도록 허용하기 때문에 실제 피드백 코딩이 달성할 수 없는 상관 구조를 포함한다는 한계가 있다. 이를 보완하기 위해 의존균형 접근법을 도입한다. Hekstra와 Willems가 제시한 DB 조건 I(X₁;X₂|T) ≤ I(X₁;X₂|Y,T) 와 보조 변수 T (|T|≤|X₁||X₂|+2) 를 이용해 입력 분포를 제한한다. DB는 기존 컷셋을 특수 경우로 포함하면서도, 입력 간의 조건부 독립성을 강제함으로써 더 타이트한 외부 경계를 만든다. 논문은 DB를 더욱 일반화한 적응형 평행채널 확장(DB‑PC)을 제시한다. 여기서는 임의의 매핑 F:Δ(X₁×X₂)→Δ(Z|X₁×X₂×Y) 로 새로운 보조 출력 Z 를 도입하고, 확장된 부등식 (10)~(15) 를 통해 R₁, R₂, R₁+R₂ 에 대한 여러 제한을 얻는다. 핵심은 I(X₁;X₂|Y,Z,T) 를 0 으로 만들면 입력 X₁, X₂ 가 T 에 대해 조건부 독립이 되며, 이는 DB‑PC 가 가장 작은 입력 집합을 허용한다는 점이다. 연구 대상 채널은 이진 가산 잡음 MAC 로, Y = X₁ + X₂ + N (mod 4) 이며 N 은 균등 이진 잡음이다. 이 채널은 가우시안 MAC‑FB 의 이산 대응으로, 기존에 용량 영역이 알려지지 않았다. 저자들은 Z = X₁ 혹은 Z = X₂ 로 선택하여 I(X₁;X₂|Y,Z,T)=0 를 만족시키고, 각각 DB(1)PC 와 DB(2)PC 라는 두 외부 경계 집합을 도출한다. 이때 발생하는 “누수” 항은 H(X₁|Y,X₂,T) 와 H(X₂|Y,X₁,T) 로 나타나며, 복합함수 분석을 통해 각각 ½·H(X₁|T), ½·H(X₂|T) 로 단순화된다. 다음으로 저자들은 복합함수 φ(p)=H(p)−p·log₂(1−p) 와 그 미분·볼록성 성질을 이용해 최적의 보조 변수 T 분포를 찾는다. T 의 알파벳 크기가 7 로 제한되지만, 직접 전수 탐색이 불가능하므로 함수적 접근을 통해 최적 해를 구한다. 결과적으로 대칭률 R₁=R₂ 에 대해 최적 T 는 균등 이진 분포이며, 얻어지는 외부 경계는 R ≤ 0.45330 bit/전송이다. 이는 기존 컷셋 상한 0.45915 bit/전송보다 확연히 낮으며, Cover‑Leung 내현율(0.43621)과 Kramer가 제시한 개선 내현율(0.43879) 사이에 위치한다. 따라서 제안된 DB‑PC 경계는 기존 알려진 내현율보다 더 타이트하면서도 실제 코딩 스킴이 달성할 수 있는 상한에 근접한다는 점을 보여준다. 마지막으로, 동일한 방법론을 이진 소거 MAC(Y = X₁ + X₂) 에 적용한다. 여기서는 Z 를 적절히 선택해 I(X₁;X₂|Y,Z,T)=0 를 유지하고, T 를 이진 균등하게 선택하면 모든 부등식이 동시에 만족된다. 이는 Kramer가 제안한 피드백 전략이 용량을 달성함을 수학적으로 증명한 결과이며, Cover‑Leung 영역이 정확히 용량 영역과 일치함을 확인한다. 따라서 논문은 의존균형과 평행채널 확장이 이산 MAC‑FB 의 용량 분석에 강력한 도구임을 입증한다. 전체적으로, 논문은 (1) 의존균형을 통한 입력 분포 제한, (2) 평행채널을 이용한 추가 제약, (3) 복합함수 분석을 통한 실용적인 최적화라는 세 가지 핵심 기법을 결합해, 피드백이 있는 이산 MAC 의 외부 경계를 기존 컷셋보다 엄격히 낮추고, 구체적인 수치 결과와 기존 전략들의 최적성을 동시에 제공한다. 이는 피드백이 있는 다중접속 시스템의 설계와 이론적 한계 이해에 중요한 기여를 한다.