[논문 리뷰] Distributed Source Coding using Abelian Group Codes

Dinesh Krithivasan, S. Sandeep Pradhan|ArXiv.org|2008. 08. 19.

Wireless Communication Security Techniques참고 문헌 44인용 수 8

한 줄 요약

이 논문은 구조적 중첩 아벨 군 코드를 사용한 분산 소스 코딩을 위한 새로운 구현 가능한 비용-손실 영역을 제안하며, 특정 소스에 대해 고전적인 Berger-Tung 영역보다 엄격한 비용 이득을 보임을 입증한다. 무작위 코드로 독립적인 바인딩 대신 아벨 군 코드를 활용한 상관 바인딩을 통해, Slepian-Wolf, Wyner-Ziv 및 기타 고전 문제들을 통합하고 개선하는 프레임워크를 제공하며, 중첩 선형 코드는 단일 사용자 환경에서 샤논 한계에 도달한다.

ABSTRACT

In this work, we consider a distributed source coding problem with a joint distortion criterion depending on the sources and the reconstruction. This includes as a special case the problem of computing a function of the sources to within some distortion and also the classic Slepian-Wolf problem, Berger-Tung problem, Wyner-Ziv problem, Yeung-Berger problem and the Ahlswede-Korner-Wyner problem. While the prevalent trend in information theory has been to prove achievability results using Shannon's random coding arguments, using structured random codes offer rate gains over unstructured random codes for many problems. Motivated by this, we present a new achievable rate-distortion region for this problem for discrete memoryless sources based on "good" structured random nested codes built over abelian groups. We demonstrate rate gains for this problem over traditional coding schemes using random unstructured codes. For certain sources and distortion functions, the new rate region is strictly bigger than the Berger-Tung rate region, which has been the best known achievable rate region for this problem till now. Further, there is no known unstructured random coding scheme that achieves these rate gains. Achievable performance limits for single-user source coding using abelian group codes are also obtained as parts of the proof of the main coding theorem. As a corollary, we also prove that nested linear codes achieve the Shannon rate-distortion bound in the single-user setting.

연구 동기 및 목표

• 공동 손실 기준을 갖춘 분산 소스 코딩을 위한 새로운 구현 가능한 비용-손실 영역을 개발하는 것.
• 구조적 코드를 사용하여 Slepian-Wolf, Wyner-Ziv, Berger-Tung 등의 다양한 문제들을 단일 코딩 프레임워크로 통합하는 것.
• 비구조적 무작위 코딩 기법에 비해 비용 이득을 입증하며, 특히 비정규 및 비대칭 소스에 대해 유의미한 성능 향상을 보이는 것.
• 중첩 아벨 군 코드가 단일 사용자 포인트투포인트 케이스에서 샤논 비용-손실 함수에 도달할 수 있음을 증명하는 것.
• 아벨 군 위에서의 확률적 구성 방법을 통해 양호한 중첩 군 코드의 존재성을 확립하는 것.

제안 방법

• 유한 아벨 군 위에 구축된 중첩 아벨 군 코드를 사용하며, 아벨 군의 직합으로의 동형성을 활용한다.
• 구조적 무작위 코딩과 상관 바인딩을 적용: 양자화 후 군 코드의 구조를 이용한 바인딩을 통해 독립적인 무작위 바인딩을 대체한다.
• Z_{p^r} 위에서 무작위 패리티체크 행렬을 사용하여 높은 확률로 양호한 중첩 코드를 구성한다.
• 소스 공간에서 군 코드로의 호모모르피즘을 적용하며, 커널을 소스 코드로 사용한다.
• 중첩 구조에서 소스 코드와 채널 코드의 동시에 양호한 성능을 확보하기 위해 유니온 바운드 추론을 적용한다.
• Z_{p^r} 위에서 선형 방정식의 해의 수를 구하기 위해 군론적 보조정리를 활용하여 오차 확률을 근사한다.

실험 결과

연구 질문

• RQ1 아벨 군 코드를 사용한 구조적 무작위 코딩이 비구조적 무작위 코딩에 비해 분산 소스 코딩에서 더 나은 비용-손실 성능을 달성할 수 있는가?
• RQ2 중첩 군 코드를 통한 상관 바인딩이 Berger-Tung 프레임워크에서 독립 바인딩을 능가하는가?
• RQ3 제안된 프레임워크는 Slepian-Wolf, Wyner-Ziv, Korner-Marton 등의 기존 결과들을 통합하고 엄격히 개선할 수 있는가?
• RQ4 중첩 선형 코드는 단일 사용자 케이스에서 샤논 비용-손실 한계에 도달하는가?
• RQ5 임의의 소스 분포에 대해 양호한 중첩 군 코드의 존재성을 보장할 수 있는 구성적 방법이 존재하는가?

주요 결과

• 일부 소스 분포와 손실 함수에 대해 제안된 비용-손실 영역은 Berger-Tung 영역을 엄격히 개선한다.
• 특정 소스에 대해 새로운 영역는 기존의 비구조적 무작위 코딩 기법으로는 달성할 수 없는 비용 이득을 달성한다.
• 중첩 아벨 군 코드는 단일 사용자 포인트투포인트 설정에서 샤논 비용-손실 함수에 도달한다.
• Z_{p^r} 위에서 무작위 패리티체크 행렬을 사용한 확률적 구성 방법을 통해 양호한 중첩 군 코드의 존재성이 증명된다.
• 이 프레임워크는 Slepian-Wolf, Wyner-Ziv, Ahlswede-Korner-Wyner 등 여러 고전 문제들을 단일 코딩 전략으로 통합한다.
• Z_{p^r} 위에서 선형 방정식의 해의 수는 계수 행렬의 원소가 p^iZ_{p^r}에 속할 경우 p^i개이며, {p^{r-i}}$ 개의 서로 다른 값에 대해 성립한다.