다중접속채널 최대오류 지수에 대한 새로운 구체포장 경계

**1. 서론 및 배경** 다중접속채널(MAC)은 두 명 이상의 송신자가 하나의 수신기로 정보를 전송하는 모델로, 통신 이론에서 용량 영역과 오류 지수 분석이 핵심 과제이다. 기존 연구에서는 평균 오류 확률에 대한 강력한 결과가 많이 알려져 있으나, 최대 오류 확률에 대한 정확한 하한은 상대적으로 부족했다. 특히 Haroutunian(1979)이 제시한 구체포장 하한은 모든 입력분포를 일반적으로 고려했지만, 실제 MAC에서는 각 사용자가 독립적인 입력을 선택한다는 사실을 반영하지 못했다. 이 논문은 이러한 부족을 메우고, 독립성을 명시적으로 포함한 새로운 구체포장 하한을 제시한다. **2. 기본 정의와 기호** - \(W: \mathcal{X}\times\mathcal{Y}\to\mathcal{Z}\)는 DM‑MAC의 전이 확률 행렬. - \(P_{XY}\)는 입력쌍의 공동 타입, \(Q\)는 시간공유 보조변수(알파벳 크기 \(\le4\)). - \(\mathcal{C}^W\)는 전통적인 MAC 용량 영역, \(\mathcal{C}_n^W(P)\)는 특정 타입 \(P\)에 대한 \(n\)길이 근사 영역. - 최대 오류 확률은 \(\lambda_{\max}=\max_{i,j} (1-W^n(D_{ij}|u_i,v_j))\). **3. 주요 정리** - *정의 1*은 우세형 집합 \(E_W(P,\lambda)\)를 정의한다. 이는 오류가 \(\le\lambda\)인 코드워드 쌍이 타입 \(P\)를 가질 때의 집합이다. - *정리 1 (강한 역정리)*: 만약 \(|E_W(P,\lambda)|\)가 \(\frac{1}{(n+1)^{|\mathcal{X}||\mathcal{Y}|}}(1-2\lambda^{1+\lambda})MN\) 이상이면, \((\frac{1}{n}\log M,\frac{1}{n}\log N)\)는 \(\mathcal{C}_n^W(P)\)에 포함된다. 여기서 \(\mathcal{C}_n^W(P)\)는 (13a‑c)와 (14a‑c)에서 정의된 정보 제약을 만족하는 영역이며, \(\epsilon_n\to0\)이다. - *정리 2 (구체포장 하한)*: 임의의 양의 레이트 \((R_X,R_Y)\)와 \(\delta>0\)에 대해, 모든 \((n,M,N,\lambda)\) 코드가 \( \frac{1}{n}\log M\ge R_X+\delta, \frac{1}{n}\log N\ge R_Y+\delta\) 를 만족하면 \