[논문 리뷰] A new bound for the capacity of the deletion channel with high deletion probabilities

Marco Dalai|arXiv (Cornell University)|2010. 04. 02.

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

한 줄 요약

이 논문은 이진 삭제 채널 용량을 (1−d)로 정규화한 값의 d→1일 때의 극한이 존재하며, 그 값이 d∈(0,1)에서 C(d)/(1−d)의 하한값과 일치함을 입증한다. C(d)에 대한 기존의 경계를 활용하면, 이 결과로 lim_{d→1} C(d)/(1−d) ≤ 0.4143이라는 향상된 상한값을 도출할 수 있으며, 이는 C(d)가 [0,1]에서 볼록일 수 있다는 추측을 뒷받침한다.

ABSTRACT

Let $C(d)$ be the capacity of the binary deletion channel with deletion probability $d$. It was proved by Drinea and Mitzenmacher that, for all $d$, $C(d)/(1-d)\geq 0.1185 $. Fertonani and Duman recently showed that $\limsup_{d o 1}C(d)/(1-d)\leq 0.49$. In this paper, it is proved that $\lim_{d o 1}C(d)/(1-d)$ exists and is equal to $\inf_{d}C(d)/(1-d)$. This result suggests the conjecture that the curve $C(d)$ my be convex in the interval $d\in [0,1]$. Furthermore, using currently known bounds for $C(d)$, it leads to the upper bound $\lim_{d o 1}C(d)/(1-d)\leq 0.4143$.

연구 동기 및 목표

• d→1일 때의 lim_{d→1} C(d)/(1−d)의 극한 존재성에 대한 열린 문제를 해결하는 것.
• 고도의 삭제 확률에서 이진 삭제 채널의 점근적 용량에 대한 더 낫게 조정된 상한값을 도출하는 것.
• d=1 근처의 행동을 바탕으로 C(d) 함수가 [0,1]에서 볼록일 수 있는지 조사하는 것.
• 유한 블록길이 용량 C_n(d)에 대한 기존 경계를 활용하여 고도의 삭제 용량 극한에 대한 더 날카운 경계를 유도하는 것.

제안 방법

• 입력 n비트에서 임의의 k비트 부분수열을 균일하게 선택하여 출력하는 채널 모델 W_{n,k}를 사용하여 삭제 채널 W^d를 근사한다.
• 대부분의 n에 대해 C_n(d)가 C(1−k/n)에 수렴함을 보여주는 Theorem 1을 적용하여 유한 블록길이 용량과 점근적 용량을 연결한다.
• Fertonani와 Duman(2012)의 Lemma 8에 의존하며, 임의의 n,k에 대해 limsup_{d→1} C(d)/(1−d) ≤ (nC_{n,k}+1)/(k+1)임을 보장한다.
• Lemma 8의 limsup 경계가 d'→1일 때 C(d')/(1−d')로 수렴함을 보여 이론 2를 증명함으로써, 극한이 존재하고 C(d)/(1−d)의 하한값과 일치함을 암시한다.
• 이전 연구에서 얻은 C_{17}(0.65)=0.145의 수치적 평가를 활용하여 Corollary 1을 통해 향상된 상한값 0.4143을 계산한다.
• d→1일 때 C_n(d)/(1−d)의 행동을 분석하여 1로 수렴함을 보이며, 이는 유한 n에 대해 C_n(d)가 d=1 근처에서 볼록하지 않음을 의미하지만, 이는 C(d)의 점근적 볼록성과 모순되지 않는다.

실험 결과

연구 질문

• RQ1 이진 삭제 채널에 대해 lim_{d→1} C(d)/(1−d)의 극한이 존재하는가?
• RQ2 기존의 유한 블록길이 용량 경계를 활용하여 lim_{d→1} C(d)/(1−d)에 대한 더 날카운 상한값을 도출할 수 있는가?
• RQ3 용량 함수 C(d)는 구간 [0,1]에서 볼록한가, 특히 d=1 근처에서 어떻게 되는가?
• RQ4 유한 블록길이 용량 C_n(d)의 d=1 근처 행동이 점근적 용량 C(d)와 어떻게 다른가?

주요 결과

• lim_{d→1} C(d)/(1−d)의 극한이 존재하며, 그 값이 d∈(0,1)에서 C(d)/(1−d)의 하한값과 일치함을 입증하여, 이 극한의 존재성에 대한 열린 문제를 해결한다.
• 기존 경계 C_{17}(0.65) = 0.145를 활용하여 lim_{d→1} C(d)/(1−d) ≤ 0.4143이라는 향상된 상한값을 확립한다.
• 이 결과는 C(d)가 [0,1]에서 볼록일 수 있음을 시사하며, 극한이 하한값과 일치한다는 것은 d=1 근처에서 볼록성에 필요한 조건이기 때문이다.
• 유한 n에 대해서는 d→1일 때 C_n(d)/(1−d) → 1이며, 이는 C_n(d)가 d=1 근처에서 볼록하지 않음을 의미하지만, 이는 C(d)의 극한 함수가 볼록하지 않을 수 있음을 방지하지 않는다.
• 극한의 존재성 덕분에 중간 정도의 d(예: d=0.65)에서 C(d)의 경계를 활용하여 고도의 삭제 용량 극한에 대한 증명 가능한 경계를 도출할 수 있다.
• 논문은 C_n(d)를 더 큰 n에서 d≈0.65 근처에서 수치적으로 평가함으로써 lim_{d→1} C(d)/(1−d)의 상한값을 향상시키는 프레임워크를 제공한다. 다만 이는 계산적으로 매우 비용이 많이 든다.