피드백이 있는 이산 메모리리스 다중접속 채널을 위한 새로운 단일 문자 가용률 영역

** 본 논문은 피드백이 있는 두 사용자 이산 메모리리스 다중접속 채널(MAC)의 가용률 영역을 새롭게 정의한다. 기존 연구에서는 Gaarder‑Wolf와 Cover‑Leung이 제시한 두 단계 블록‑마르코프 슈퍼포지션 코딩이 대표적이었다. 이 방식은 첫 번째 블록에서 각 인코더가 서로의 메시지를 복원하고, 두 번째 블록에서 공동 해상도 정보를 전송함으로써 피드백을 활용한다. 그러나 이 스킴은 일부 채널(특히 가우시안 MAC)에서 최적이 아니며, 피드백이 제공하는 전체 잠재력을 활용하지 못한다는 한계가 있다. 저자들은 이러한 한계를 극복하기 위해 **세 단계** 코딩 전략을 제안한다. 1. **첫 번째 단계(독립 전송)**: 두 인코더는 독립적인 메시지를 높은 전송률로 전송한다. 피드백을 통해 각 인코더는 상대방 메시지의 후보 리스트를 형성한다. 이 리스트는 메시지 쌍이 동시에 전형성을 만족하는 이분 그래프 형태로 표현된다. 2. **두 번째 단계(상관 전송)**: 각 인코더는 자신이 알고 있는 리스트의 한쪽 정점과 첫 단계의 출력(공통 사이드 정보) \(Z\)를 이용해 채널 입력을 생성한다. 여기서는 두 인코더가 **상관된** 입력을 동시에 전송함으로써, 서로의 정확한 메시지를 복원하도록 설계한다. 이를 위해 두 개의 보조 확률 변수 \(U\)와 \(V\)를 도입하고, 입력 분포 \(P_{X_1,X_2|U,V,Z}\)를 정의한다. 중요한 점은 두 인코더가 생성하는 결합 입력 분포가 블록마다 동일하도록 **정상성 조건**을 부과한다는 것이다. 이는 단일 문자 표현을 가능하게 하는 핵심 제약이다. 3. **세 번째 단계(공통 해상도 전송)**: 두 인코더는 이제 동일한 공통 메시지를 전송해 디코더가 앞선 두 단계에서 남긴 후보 리스트를 완전히 해소한다. 이 단계는 메모리리스 특성 때문에 사이드 정보를 무시하고, 전통적인 점대점 채널 코딩(별도 소스‑채널 코딩이 최적)으로 구현한다. 이 세 단계 과정을 하나의 블록‑마르코프 프레임워크에 **중첩**시켜, 매 블록마다 새로운 독립 정보를 삽입하고, 이전 블록에서 남은 불확실성을 다음 두 블록에 걸쳐 해소한다. 이렇게 하면 전체 전송이 **정상성(stationary)**을 유지하면서, 각 블록에서 동일한 확률 구조가 반복된다. 주요 수학적 결과는 다음과 같다. - 보조 변수 \((U,V)\)와 입력 분포 \(P_{X_1,X_2|U,V}\)를 이용해 정의된 **단일 문자** 가용률 영역 \(\mathcal{R}\)를 제시한다. - \(\mathcal{R}\)는 기존 Cover‑Leung 영역 \(\mathcal{R}_{CL}\)를 포함하며, 두 개의 구체적인 MAC 예시(바이너리 소거 MAC와 비대칭 이진 MAC)를 통해 \(\mathcal{R}\supsetneq \mathcal{R}_{CL}\)임을 증명한다. - 영역 식은 세 개의 상호 의존적인 부등식으로 구성되며, 각각은 (i) 첫 단계에서의 독립 전송, (ii) 두 번째 단계에서의 상관 전송, (iii) 세 번째 단계에서의 공동 해상도 전송을 반영한다. - 추가 보조 변수를 도입하면 단계 수를 늘려 **다중 단계** 블록‑마르코프 스킴을 구성할 수 있음을 보이며, 이는 기존 영역을 더욱 확장할 수 있는 일반화 프레임워크를 제공한다. 논문은 또한 기존 외부 연구와 비교한다. Bross‑Lapidoth가 제시한 확장된 C‑L 영역과 비교했을 때, 제안된 영역은 두 단계 교환 없이도 동일하거나 더 큰 이득을 제공한다. 또한, Kramer가 제시한 다중 문자(다중 레터) 표현과 달리, 여기서는 **단일 문자** 형태이므로 실제 계산이 가능하다. 외부 경계(outer bounds)와의 비교에서도 제안된 영역이 기존 내적 영역보다 크게 향상된다는 점을 실험적으로 확인한다. 마지막으로, 저자들은 **확장 가능성**을 강조한다. 보조 변수를 추가하고 단계 수를 늘리면, 메시지 그래프를 더 천천히 얇게 만들면서 각 단계에서 더 정교한 상관 정보를 활용할 수 있다. 이는 피드백이 제공하는 모든 잠재적 상관을 단계별로 추출해 최종적으로 단일 에지(정확한 메시지 쌍)로 수렴시키는 일반적인 설계 원칙을 제시한다. 향후 연구에서는 이러한 다단계 스킴을 구체적인 채널(예: 가우시안 MAC, 비대칭 디지털 MAC)에서 최적화하고, 보조 변수 선택을 자동화하는 알고리즘을 개발하는 방향이 제시된다. **