[논문 리뷰] Constructions of Snake-in-the-Box Codes under $\ell_{\infty}$-metric for Rank Modulation

Xiang Wang, Fang‐Wei Fu|arXiv (Cornell University)|2016. 01. 21.

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

한 줄 요약

이 논문은 플래시 메모리 오류 검출을 위한 순서 조정 방식에서 $ε_{ au}$-거리 기준으로 가장 긴 그레이 코드인 $ε_{ au}$-스네이크에 대한 두 가지 새로운 구성법을 제시한다. 첫 번째 방법은 순환적이고 완전한 순서 조정 그레이 코드(RMGC)를 사용하며, 두 번째 방법은 $Κ$-스네이크를 활용하여 더 긴 코드를 얻는다. 주요 기여는 이전 연구에 비해 코드 길이의 크게 향상된 것으로, 두 번째 구성법은 $n=7$일 때 최대 342개의 코드어를 생성하여 이전의 한계를 126개 초과하여 돌파한다.

ABSTRACT

In the rank modulation scheme, Gray codes are very useful in the realization of flash memories. For a Gray code in this scheme, two adjacent codewords are obtained by using one "push-to-the-top" operation. Moreover, snake-in-the-box codes under the $\ell_{\infty}$-metric are Gray codes, which can be capable of detecting one $\ell_{\infty}$-error. In this paper, we give two constructions of $\ell_{\infty}$-snakes. On the one hand, inspired by Yehezkeally and Schwartz's construction, we present a new construction of the $\ell_{\infty}$-snake. The length of this $\ell_{\infty}$-snake is longer than the length of the $\ell_{\infty}$-snake constructed by Yehezkeally and Schwartz. On the other hand, we also give another construction of $\ell_{\infty}$-snakes by using $\mathcal{K}$-snakes and obtain the longer $\ell_{\infty}$-snakes than the previously known ones.

연구 동기 및 목표

• 플래시 메모리의 오류 검출을 향상시키기 위해 순서 조정 방식에서 $ε_{ au}$-거리 기준으로 더 긴 $ε_{\tau}$-스네이크 코드를 개발하기 위해.
• 기존 구성법이 이론적 상한선보다 짧은 코드를 생성하는 한계를 극복하기 위해.
• 순환적이고 완전한 RMGC와 $Κ$-스네이크를 사용하는 두 가지 새로운 방법을 제안하여 이전 구성법보다 더 긴 $ε_{\tau}$-스네이크를 생성하기 위해.
• 최소 거리 2를 보장하는 프레임워크를 구축하여 단일 오류 검출이 가능한 $ε_{\tau}$-스네이크를 구성하기 위해.
• Yehezkeally와 Schwartz의 구성법을 초월하여 $n \geq 6$ 및 특정한 $n=4k\pm1$에 대해 더 큰 코드 길이를 달성하기 위해.

제안 방법

• 첫 번째 구성법은 순환적이고 완전한 순서 조정 그레이 코드(RMGC)를 사용하여 $ε_{\tau}$-스네이크를 생성하며, 인접한 코드어가 한 번의 '톱으로 이동' 연산으로만 다를 수 있도록 보장하는 전이 시퀀스를 활용한다.
• 두 번째 구성법은 $Κ$-스네이크—특히 교대군 $A_n$ 내의 $k$-스네이크 구조—를 활용하여 전이 시퀀스를 연결함으로써 더 긴 $ε_{\tau}$-스네이크를 구축한다.
• 이 방법은 재귀적 구조를 적용한다: 코드어는 '톱으로 이동' 연산의 시퀀스를 적용하여 $S_n$ 내의 새로운 순열을 생성하며, 각 단계에서 새로운 순열이 만들어지도록 한다.
• 결과로 얻어진 $ε_{\tau}$-스네이크의 길이는 계승 항과 조합 수의 곱으로 유도되며, $n \geq 6$일 때 $M_{n,1} = \lceil n/2 \rceil! (\lfloor n/2 \rfloor + (\lfloor n/2 \rfloor)! )$이며, $n=4k\pm1$일 때 $M_{n,2}$로 표현된다.
• 특히 $n=7$일 때, 두 번째 구성법은 순환적 $(7,342,\ell_{\infty})$-스네이크를 생성하며, 그림 5에서 $\hat{\mathcal{T}}_{\mathcal{K},5}$와 $\mathcal{T}_3$를 사용한 명시적 구성으로 확인된다.
• 군 이론적 성질인 $S_n$과 $A_n$의 성질을 이용하여 이론적 한계를 도출하였으며, 이는 $ε_{\tau}$-거리 기준에서 인접한 코드어가 최대 한 번의 전치로만 다를 수 있음을 보장한다.

실험 결과

연구 질문

• RQ1 Yehezkeally와 Schwartz의 구성법보다 더 긴 $ε_{\tau}$-스네이크를 $S_n$에서 구성할 수 있는가?
• RQ2 RMGC와 $Κ$-스네이크의 어떤 구조적 성질이 $ε_{\tau}$-거리 기준에서 더 긴 $ε_{\tau}$-스네이크를 구성하는 데 기여하는가?
• RQ3 모든 $n \geq 6$에 대해 $\lceil n/2 \rceil! (\lfloor n/2 \rfloor + (\lfloor n/2 \rfloor - 1)! )$를 초월하는 길이의 $ε_{\tau}$-스네이크를 체계적으로 생성할 수 있는 방법이 있는가?
• RQ4 $Κ$-스네이크 기반 구성법이 코드 길이 측면에서 RMGC 기반 구성법을 능가하는 $n$의 값은 어떤가?
• RQ5 순환적이고 완전한 RMGC를 사용하여 $n \geq 6$에 대해 최대 길이를 갖는 완전하고 비순환적인 $ε_{\tau}$-스네이크를 생성할 수 있는가?

주요 결과

• 첫 번째 구성법은 모든 $n \geq 6$에 대해 $M_{n,1} = \lceil n/2 \rceil! (\lfloor n/2 \rfloor + (\lfloor n/2 \rfloor)! )$ 길이의 $(n, M_{n,1}, \ell_{\infty})$-스네이크를 생성하며, 이는 Yehezkeally와 Schwartz의 구성법보다 엄격히 길다.
• $n=7$일 때 첫 번째 구성법은 $M_{7,1} = 216$개의 코드어를 생성하며, 이는 이전의 한계인 $M_{7,0} = 120$을 초과한다.
• 두 번째 구성법은 $\mathcal{K}$-스네이크를 사용하여 $n=4k+1$일 때 $M_{n,2} = \left(\frac{(2k+1)!}{2} - 2k + 1\right) \cdot (2k+1)!$이며, $n=4k-1$일 때도 유사한 표현을 갖는다. 이는 이전의 두 구성법보다 더 긴 코드를 생성한다.
• $n=7$($k=2$)일 때 $\mathcal{K}$-스네이크 방법은 순환적 $(7,342,\ell_{\infty})$-스네이크를 생성하며, 현재까지 알려진 가장 긴 코드이다.
• $n=4k+1$ 또는 $n=4k-1$이면서 $k \geq 2$일 때 $\mathcal{K}$-스네이크 구성법은 RMGC 기반 및 Yehezkeally-Schwartz 구성법을 모두 능가하며, $M_{n,2} > M_{n,1} > M_{n,0}$으로 확인된다.
• 논문은 전이 시퀀스 $\mathcal{T}_3 = (t_3,t_3,t_2,t_3,t_3,t_2)$를 갖는 순환적이고 완전한 $3$-RMGC의 존재를 확인하였으며, 이는 $n=7$에서 $\mathcal{K}$-스네이크 구성법의 기본 블록으로 사용된다.