[논문 리뷰] Capacity achieving multiwrite WOM codes

Amir Shpilka|arXiv (Cornell University)|2012. 09. 05.

Coding theory and cryptography참고 문헌 13인용 수 5

한 줄 요약

이 논문은 이론적 용량 log(t+1) 비트를 달성하는, 다항시간 인코딩 및 디코딩을 갖춘, 이진 t-쓰기 쓰기-한번-메모리(WOM) 코드의 첫 번째 명시적, 결정적 구축을 제시한다. 용량으로부터 ε > 0 의 갭이 있을 경우 블록 길이는 (t/ε)^{O(t/(δε))}이며, 인코딩/디코딩은 N^{1+δ} 시간 내에 수행되어, 비율 log(t+1)−ε을 달성한다.

ABSTRACT

In this paper we give an explicit construction of a capacity achieving family of binary t-write WOM codes for any number of writes t, that have a polynomial time encoding and decoding algorithms. The block length of our construction is N=(t/ε)^{O(t/(δε))} when εis the gap to capacity and encoding and decoding run in time N^{1+δ}. This is the first deterministic construction achieving these parameters. Our techniques also apply to larger alphabets.

연구 동기 및 목표

• 이론적 용량 log(t+1) 비트/쓰기의 명시적, 결정적 t-쓰기 WOM 코드를 구축하는 것.
• 구축된 코드에 대해 다항시간 인코딩 및 디코딩 알고리즘을 보장하는 것.
• 용량으로부터 작은 갭 ε을 유지하면서도 블록 길이를 최소화하는 것.
• 이진 코드를 초과하는 더 큰 알파벳으로의 구축을 확장하는 것.
• 짧은 블록 길이와 효율적인 알고리즘으로 용량을 달성하는 데 있어 열려 있는 문제를 해결하는 것.

제안 방법

• 희소 해를 갖는 선형 방정식계를 푸는 방식으로 인코딩 과정을 모델링하기 위해 구조적 행렬과 보편 해시 가족을 사용하는 것.
• 각 쓰기 단계에서 필요한 소스 분포를 시뮬레이션하기 위해 지수적으로 작은 오차를 갖는 추출기 기반 구축을 활용하는 것.
• 소스 Y_i(w)를 정의하여, 이전에 j1로 레이블이 지정된 좌표들 중 j2로 레이블이 지정된 비율이 전이 행렬 S_i와 일치하는 코드워드의 집합으로 정의하는 것.
• 용량 영역을 매개변수화하고 비율 제약 조건을 충족시키기 위해 가중치 벡터 (p1,…,pt−1)를 사용하는 것.
• 각 쓰기 단계에서 이전에 0이었던 비트만 1로 수정하여 단조성을 유지하는 재귀적 인코딩 전략을 적용하는 것.
• 소스의 구조적 성질과 해의 희소성에 기반하여 인코딩 및 디코딩 함수를 효율적으로 역행할 수 있도록 설계하는 것.

실험 결과

연구 질문

• RQ1 이론적 용량 log(t+1)에 점점 수렴하는 결정적, 다항시간 구축이 가능한가?
• RQ2 다항시간 인코딩 및 디코딩을 갖는 조건에서 주어진 갭 ε을 달성하기 위해 필요한 최소 블록 길이는 얼마인가?
• RQ3 용량 달성 비율과 효율적인 알고리즘을 유지하면서도 블록 길이를 poly(1/ε)로 줄일 수 있는가?
• RQ4 WOM 코드 구축을 위한 매우 제약된 선형 시스템에서 효율적으로 역행 가능한 구조적 추출기 또는 희소 해를 찾는 것이 가능한가?
• RQ5 블록 길이를 줄이기 위해 보편 해시 가족과 추출기를 어떻게 최적화할 수 있는가? 이는 비율이나 계산 효율성에 손상을 주지 않도록 해야 한다.

주요 결과

• 논문은 임의의 ε>0에 대해 비율 log(t+1)−ε을 달성하는 t-쓰기 이진 WOM 코드의 가족을 구축하였으며, 이는 모델의 이론적 용량과 일치한다.
• 이 구축의 블록 길이는 임의의 δ>0에 대해 N=(t/ε)^{O(t/(δε))}로 유계이며, N^{1+δ} 시간 내에 다항시간 인코딩 및 디코딩을 보장한다.
• 인코딩 및 디코딩 알고리즘이 명시적으로 구축되었고 다항시간 내에 수행되며, 이러한 파rameter를 갖는 첫 번째 결정적 구축으로서의 의의를 가진다.
• 이 방법은 더 큰 알파벳으로도 적용 가능하여 이진 코드를 초월한 구축을 가능하게 한다.
• 이 구축은 구조적 선형 시스템의 희소 해를 찾는 데 의존하며, 저자들은 이 문제가 향후 향상의 핵심 과제로 지목한다.
• 저자들은 해시 함수가 없는 효율적으로 역행 가능한 추출기를 개선함으로써, 히프만 볼 또는 애파인 부분공간과 같이 매우 구조화된 소스에 특화된 더 나은 구축이 도출될 수 있을 것으로 제안한다.