[논문 리뷰] Capacity Region of the Finite-State Multiple Access Channel with and without Feedback

Haim H. Permuter, Tsachy Weissman|ArXiv.org|2007. 08. 02.

Wireless Communication Security Techniques참고 문헌 29인용 수 4

한 줄 요약

이 논문은 지정된 정보를 사용하여 시간에 따라 변하지 않는 피드백을 갖는 유한 상태 다중접속 채널(FS-MAC)의 용량 영역을 규명한다. 입력에 독립적인 상태를 갖는 FS-MAC에 대해 피드백이 용량 영역을 확장하지 않음을 증명하며, Alajaji의 단일 사용자 결과를 다중 사용자 환경으로 일반화하고, 분해 가능한 MAC의 일군의 클래스에서 소스-채널 분리가 성립함을 보여준다.

ABSTRACT

The capacity region of the Finite-State Multiple Access Channel (FS-MAC) with feedback that may be an arbitrary time-invariant function of the channel output samples is considered. We characterize both an inner and an outer bound for this region, using Masseys's directed information. These bounds are shown to coincide, and hence yield the capacity region, of FS-MACs where the state process is stationary and ergodic and not affected by the inputs. Though `multi-letter' in general, our results yield explicit conclusions when applied to specific scenarios of interest. E.g., our results allow us to: - Identify a large class of FS-MACs, that includes the additive mod-2 noise MAC where the noise may have memory, for which feedback does not enlarge the capacity region. - Deduce that, for a general FS-MAC with states that are not affected by the input, if the capacity (region) without feedback is zero, then so is the capacity (region) with feedback. - Deduce that the capacity region of a MAC that can be decomposed into a `multiplexer' concatenated by a point-to-point channel (with, without, or with partial feedback), the capacity region is given by $\sum_{m} R_m \leq C$, where C is the capacity of the point to point channel and m indexes the encoders. Moreover, we show that for this family of channels source-channel coding separation holds.

연구 동기 및 목표

• 채널 출력의 임의의 시간 불변 함수로서 피드백이 가능할 경우 유한 상태 다중접속 채널(FS-MAC)의 용량 영역을 특성화하는 것.
• 지정된 정보를 사용하여 피드백 용량 영역에 대한 내부 및 외부 경계를 수립하고, 특정 조건 하에서 이들이 일치함을 보이는 것.
• 상태 과정이 정적이고, 에르고딕하며, 입력과 독립일 경우 피드백이 FS-MAC의 용량 영역을 증가시키는지 여부를 규명하는 것.
• 기존의 피드백 용량 결과를 단일 사용자 채널에서 다중접속 채널 환경으로 확장하여, 특히 메모리 영향을 미치는 노이즈 모델에 대해 다루는 것.
• 다중접속 채널이 멀티플렉서와 그 다음에 단일 사용자 채널(피드백 유무에 관계없이)로 구성되는 클래스에서 소스-채널 코딩 분리의 타당성을 조사하는 것.

제안 방법

• Masseys의 지정된 정보를 사용하여 FS-MAC의 피드백 용량 영역에 대한 내부 및 외부 경계를 유도하는 것.
• 정보 스펙트럼 방법과 코드 트리 구조를 적용하여 다중 단말기 시스템에서의 인과적 인코딩과 피드백 의존성을 모델링하는 것.
• 피드백 의존성 인코딩 과정을 다루기 위해 코드 트리의 연결(카메론의 이산 메모리 없는 MAC에 대한 방법의 확장)을 활용하는 것.
• Gallager의 유한 상태 채널 프레임워크와 Lapidoth-Telatar의 복합 채널 기법을 활용하여 지정된 정보 항목의 점근적 행동을 분석하는 것.
• 오차 확률을 디코딩 과정에서 유한하게 제한하기 위해 보정된 유니온 바운드를 사용하고, 보조 매개변수에 대한 최적화를 수행하는 것.
• 비분해성 조건 하에서 최대 및 최소 지정된 정보 항목이 동일함을 보여주는 보조정리 21을 적용하여 경계의 수렴이 0으로 수렴함을 증명하는 것.

실험 결과

연구 질문

• RQ1 상태 과정이 정적이고, 에르고딕하며, 입력과 독립일 경우, 피드백이 유한 상태 다중접속 채널의 용량 영역을 증가시키는가?
• RQ2 임의의 피드백 함수를 갖는 일반적인 FS-MAC에 대해 피드백 용량 영역의 정확한 특성은 무엇인가?
• RQ3 멀티플렉서 다음에 단일 사용자 채널이 오는 다중접속 채널이 분해 가능할 경우, 그 용량 영역은 단일 사용자 채널 용량을 포함하는 합률 제약 조건으로 표현될 수 있는가?
• RQ4 피드백 용량을 달성하는 방법에서 소스-채널 코딩 분리가 성립하는 조건은 무엇인가?
• RQ5 메모리가 있는 노이즈를 갖는 덧셈 mod-q MAC에서, 피드백이 존재하더라도 어떤 비율 향상도 제공하는가?

주요 결과

• 정적이고, 에르고딕하며, 입력에 독립적인 상태를 갖는 FS-MAC에 대해 내부 및 외부 경계가 일치하여 완전한 특성화가 가능하다.
• 메모리가 있는 노이즈를 갖는 덧셈 mod-q MAC에 대해, 노이즈의 메모리 구조에 관계없이 피드백이 용량 영역을 증가시키지 않는다.
• 피드백이 없는 상태에서 FS-MAC의 용량 영역이 0일 경우, 동일한 상태 조건 하에서 피드백 용량 영역 역시 0이다.
• 멀티플렉서 다음에 단일 사용자 채널이 오는 MAC(피드백 유무에 관계없이)의 경우, 용량 영역은 합률 제약 조건 $\sum_m R_m \leq C$ 로 주어지며, 여기서 $C$ 는 단일 사용자 채널 용량이다.
• 멀티플렉서 다음에 피드백이 있는 단일 사용자 채널이 오는 분해 가능한 MAC 클래스에서 소스-채널 코딩 분리가 성립한다.
• 제시된 조건 하에서 지정된 정보 기반 경계가 0으로 수렴하여 특성화의 엄밀함을 입증하고 피드백 보조 다중 사용자 시스템에서 코드 트리의 사용을 정당화한다.