[논문 리뷰] Deterministic list codes for state-constrained arbitrarily varying channels

Anand D. Sarwate, Michael Gastpar|arXiv (Cornell University)|2007. 01. 24.

Cooperative Communication and Network Coding참고 문헌 23인용 수 3

한 줄 요약

이 논문은 최대 오차 기준과 평균 오차 기준 모두에서 상태 제약이 있는 임의의 변동 채널(AVCs)의 용량을 결정적 리스트 코드를 사용하여 규명한다. 최대 오차 기준에서는 리스트 크기 O(ε⁻¹)를 사용하여 Cr(Lambda)에 가까운 비율이 달성 가능하며, 평균 오차 기준에서는 리스트 크기가 정의된 대칭화 가능성 임계값 L_sym(Lambda)을 초월할 경우 Cr(Lambda)에 가까운 비율이 달성 가능하다고 보여준다.

ABSTRACT

The capacity for the discrete memoryless arbitrarily varying channel (AVC) with cost constraints on the jammer is studied using deterministic list codes under both the maximal and average probability of error criteria. For a cost function <i>l</i>(.) on the state set and constraint Lambda on the jammer, the achievable rates are upper bounded by the random coding capacity <i>Cr</i>(Lambda). For maximal error, the rate <i>R</i> = <i>Cr</i>(Lambda) - epsilon is achievable using list codes with list size <i>O</i>(epsilon^-1). For average error, an integer <i>L</i>_sym(Lambda), called the symmetrizability, is defined. It is shown that any rate below <i>Cr</i>(Lambda) is achievable under average error using list codes of list size <i>L</i> > <i>L</i>_sym. An example is given for a class of discrete additive AVCs

연구 동기 및 목표

• 결정적 리스트 코드를 사용하여 채널의 비용 제약 조건이 있는 이산 메모리리스 AVCs의 가용 비율을 규명하는 것.
• 최대 오차 기준과 평균 오차 기준이 가용 비율과 리스트 크기 요구사항에 미치는 영향을 분석하는 것.
• 평균 오차 기준 하에서 리스트 크기 제약을 규정하는 대칭화 가능성 측도 L_sym(Lambda)를 정의하고 특성화하는 것.
• 랜덤 코딩 용량 Cr(Lambda)를 통해 가용 비율의 날카운 상한을 확립하고, 이에 ε 이내로 달성 가능함을 보여주는 것.

제안 방법

• 논문은 잡음원의 상태 전이가 비용 함수 l(.)과 제약 조건 Lambda에 의해 제한되는 상태 제약이 있는 AVCs를 통해 정보를 전송하기 위해 결정적 리스트 코드를 사용한다.
• 최대 오차 기준에서는 코드북 구성에 대한 조합적 추론을 통해 임의의 비율 R = Cr(Lambda) - ε이 리스트 크기 O(ε⁻¹)로 달성 가능하다고 증명한다.
• 평균 오차 기준에서는 비용 제약 하에서 대칭적으로 정렬될 수 있는 상태의 최대 수로 정의된 대칭화 가능성 L_sym(Lambda)을 도입한다.
• 대칭화 성질을 활용하여 Cr(Lambda) 이하의 임의의 비율이 리스트 크기 L > L_sym(Lambda)를 갖는 리스트 코드를 통해 달성 가능하다고 규명한다.
• 분석은 상태 시퀀스를 통한 오차 확률의 상한을 구하고, 비용 제약 상태 집합의 구조를 활용하여 리스트 크기를 제어하는 데 기반한다.
• 구체적인 설정에서 이론적 결과를 설명하기 위해 이산 가산 AVCs의 일군의 예를 제시한다.

실험 결과

연구 질문

• RQ1 최대 오차 기준 하에서 잡음원의 비용 제약 조건이 있는 AVCs에서 결정적 리스트 코드를 사용할 경우, 최대 가용 비율은 얼마인가요?
• RQ2 최대 오차 기준 하에서 랜덤 코딩 용량 Cr(Lambda)와의 격차 ε에 따라 필요한 리스트 크기는 어떻게 변화하나요?
• RQ3 평균 오차 기준 하에서 리스트 크기 결정에 있어 대칭화 가능성 L_sym(Lambda)의 역할은 무엇인가요?
• RQ4 평균 오차 기준 하에서 리스트 코드를 사용할 경우 Cr(Lambda)에 임의로 가까운 비율을 달성할 수 있으며, 이를 보장하기 위한 리스트 크기 조건은 무엇인가요?
• RQ5 비용 제약 상태 집합의 구조는 대칭화 가능성에 어떻게 영향을 주며, 그로 인해 가용 비율에 어떤 영향을 미치나요?

주요 결과

• 최대 오차 기준에서는 리스트 크기 O(ε⁻¹)를 사용하는 결정적 리스트 코드를 통해 임의의 비율 R = Cr(Lambda) - ε이 달성 가능하다.
• 평균 오차 기준에서는 리스트 크기 L이 대칭화 가능성 L_sym(Lambda)를 초월할 경우, Cr(Lambda) 이하의 임의의 비율이 달성 가능하다.
• 대칭화 가능성 L_sym(Lambda)는 비용 함수 l(.)과 제약 조건 Lambda 하에서 대칭적으로 정렬될 수 있는 상태의 최대 수로 정의된다.
• 가용 비율의 상한은 날카로운 것으로, 랜덤 코딩 용량 Cr(Lambda)로 주어지며, 이는 결정적 리스트 코딩 성능의 기준이 된다.
• 이산 가산 AVCs의 일군에 대해 예를 제시함으로써 유도된 상한의 적용 가능성을 보여주고, 대칭화 가능성의 실용적 코드 설계에서의 역할을 설명한다.
• 결과적으로 결정적 리스트 코드는 두 오차 기준 모두에서 Cr(Lambda)에 임의로 가까운 비율을 달성할 수 있으며, 리스트 크기 요구사항이 오차 기준과 시스템 제약 조건에 명시적으로 연관되어 있음을 보여준다.