[논문 리뷰] Constructions of Rank Modulation Codes

Arya Mazumdar, Alexander Barg외 1명|arXiv (Cornell University)|2011. 10. 12.

Coding theory and cryptography참고 문헌 15인용 수 12

한 줄 요약

이 논문은 히브닝 공간 내에서의 전통적인 에러 정정 코드(예: BCH 및 리드-소โล몬 코드)를 활용하여 플래시 메모리와 인パulse 노이즈 채널을 위한 랭크 조정 코드의 새로운 구성법을 제시한다. 이를 통해 히브닝 거리에서의 성질을 케니델 타우 거리로 변환함으로써 순열 코드로 변환한다. 주요 기여는 메시지 크기와 에러 정정 능력 사이의 거의 최적의 트레이드오프를 달성하는 코드 가족을 제공하며, 인코딩 및 디코딩 복잡도가 히브닝 거리 기반 코드와 유사하다.

ABSTRACT

Rank modulation is a way of encoding information to correct errors in flash memory devices as well as impulse noise in transmission lines. Modeling rank modulation involves construction of packings of the space of permutations equipped with the Kendall tau distance. We present several general constructions of codes in permutations that cover a broad range of code parameters. In particular, we show a number of ways in which conventional error-correcting codes can be modified to correct errors in the Kendall space. Codes that we construct afford simple encoding and decoding algorithms of essentially the same complexity as required to correct errors in the Hamming metric. For instance, from binary BCH codes we obtain codes correcting $t$ Kendall errors in $n$ memory cells that support the order of $n!/(\log_2n!)^t$ messages, for any constant $t= 1,2,...$ We also construct families of codes that correct a number of errors that grows with $n$ at varying rates, from $Θ(n)$ to $Θ(n^{2})$. One of our constructions gives rise to a family of rank modulation codes for which the trade-off between the number of messages and the number of correctable Kendall errors approaches the optimal scaling rate. Finally, we list a number of possibilities for constructing codes of finite length, and give examples of rank modulation codes with specific parameters.

연구 동기 및 목표

• 플래시 메모리와 인파르스 노이즈 채널에서 실용적인 랭크 조정을 위한 에러 정정 코드를 설계하기 위해.
• 기존의 히브닝 공간 코드와 케니델 타우 거리 기반 순열 코드 간 격차를 메우기 위해.
• 낮은 인코딩 및 디코딩 복잡도를 유지하면서도 고율의 코드와 강력한 에러 정정 능력을 달성하기 위해.
• 메시지 크기와 에러 내성 사이의 최적 스케일링에 가까운 점근적 및 유한 길이 코드 구성법을 탐색하기 위해.

제안 방법

• 히브닝 거리 성질을 케니델 타우 거리로 옮기는 변환을 통해 이진 및 $q$-아리 선형 코드(예: BCH, 리드-소로몬, 허미티안 코드)를 랭크 조정 프레임워크에 적응시키기 위해.
• 순열 코드의 메트릭으로 케니델 타우 거리를 사용하며, 이는 한 순열을 다른 순열로 변환하기 위한 인접 전치의 최소 수로 정의된다.
• 일반화된 그레이 맵과 코드 구성 기법을 활용하여 선형 코드를 대칭군 $S_n$에 통합하기 위해.
• 제품 코드와 펌프된 코드(예: 허미티안 곡선에서 유도)를 활용하여 조절 가능한 파rameter를 가진 고율의 랭크 조정 코드를 생성하기 위해.
• 변환 과정에서 디코딩 구조를 유지함으로써, 원래의 히브닝 공간 코드 수준의 디코딩 복잡도를 유지하기 위해.
• 에러 모델을 정형화하기 위해 $S_n$의 군 구조와 인접 전치를 생성자로 사용하는 케일리 메트릭을 활용하기 위해.

실험 결과

연구 질문

• RQ1 히브닝 공간 내에서 기존의 선형 에러 정정 코드를 어떻게 체계적으로 케니델 타우 거리 기반 순열 코드로 변환할 수 있는가?
• RQ2 랭크 조정 코드에서 코드 레이트와 최소 케니델 거리 사이의 달성 가능한 트레이드오프는 무엇이며, 이는 이론적 최적에 얼마나 가까운가?
• RQ3 대수적 코드(예: 리드-소로몬, 허미티안) 기반의 구성법이 이진 BCH 코드 기반의 것보다 더 우수한 유한 길이의 랭크 조정 코드를 도출할 수 있는가?
• RQ4 히브닝 공간 코드의 디코딩 복잡도가 결과로 얻어지는 랭크 조정 코드로 얼마나 잘 유지될 수 있는가?
• RQ5 에러 수가 $n$과 함께 증가할 때, 랭크 조정 코드의 점근적 스케일링 행동은 어떠한가?

주요 결과

• 길이 $n' = 63, 255$인 이진 BCH 코드를 사용하여 $(64, 36, 13)$ 및 $(256, 215, 13)$와 같은 매개변수를 가진 랭크 조정 코드를 구성하였으며, $t$개의 케니델 에러에 대해 최대 $n!/( ext{log}_2 n!)^t$개의 메시지를 지원한다.
• $\mathbb{F}_{16}$에서의 제품 리드-소로몬 코드를 적용하여 $(n=255, \log M=108, d \geq 107)$의 매개변수를 가진 코드를 구성하였으며, 최소 53개의 에러를 정정할 수 있다.
• $\mathbb{F}_{256}$에서의 펌프된 허미티안 코드를 통해 길이 $n=4845$인 랭크 조정 코드를 구성하였으며, $(n, 7208, 6119)$와 같은 매개변수를 가지며 최대 3059개의 에러를 정정할 수 있다.
• 이 방법은 특히 큰 $n$에 대해 메시지 크기와 에러 정정 능력 사이의 최적 스케일링에 가까운 트레이드오프를 제공한다.
• 결과로 얻어진 랭크 조정 코드의 디코딩 복잡도는 원래의 히브닝 공간 코드와 거의 동일하여 실용적인 구현이 가능하다.
• 이 구성법은 LDPC 및 펄스 코드를 포함한 다양한 기존 코드에 적용 가능하여, 고전적 선형 코드를 넘어서 광범위한 적용 가능성을 보여준다.