[論文レビュー] Constructions of Snake-in-the-Box Codes under $\ell_{\infty}$-metric for Rank Modulation

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

Coding theory and cryptography参考文献 13被引用数 3

ひとこと要約

本稿では、フラッシュメモリの誤り検出のためのランク変調方式における $ε_{\infty}$-メトリック下での、$ε_{\infty}$-スネーク（最大長のグレイコード）の2つの新しい構成を提示する。最初の手法は巡回的かつ完全なランク変調グレイコード（RMGC）を用いるのに対し、2番目の手法は $Κ$-スネークを活用してより長いコードを実現する。主な貢献は、先行研究に比べてコード長の顕著な向上であり、特に $n=7$ の場合、2番目の構成により最大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.

研究の動機と目的

• ランク変調方式下での、フラッシュメモリの誤り検出を向上させるために、より長い $ε_{\infty}$-スネークコードを構築すること。
• 理論的上限に比べて短いコードしか生成しない既存の構成の限界を克服すること。
• 巡回的かつ完全なRMGCと $Κ$-スネークを用いる2つの新しい手法を導入し、それらが先行研究を上回る長さの $ε_{\infty}$-スネークを生成できることを示すこと。
• 最小距離2を保証するフレームワークを確立し、1誤り検出を可能にする $ε_{\infty}$-スネークの構築を可能にすること。
• YehezkeallyとSchwartzの構成を改善し、$n \geq 6$ および特定の $n=4k\pm1$ に対して、より大きなコード長を達成すること。

提案手法

• 最初の構成では、巡回的かつ完全なランク変調グレイコード（RMGC）を用いて $ε_{\infty}$-スネークを生成し、隣接するコード語が1つの「トップにプッシュ」操作でのみ異なることを保証する遷移列を活用する。
• 2番目の構成では、$Κ$-スネーク（特に交代群 $A_n$ 内の $k$-スネーク構造）を用い、遷移列を連結することでより長い $ε_{\infty}$-スネークを構築する。
• この手法は再帰的構造を採用しており、各ステップで「トップにプッシュ」操作を適用することで、$S_n$ 内の新しい置換が得られるようにする。
• 得られる $ε_{\infty}$-スネークの長さは、階乗項と組み合わせ的数え上げの積から導かれる：$M_{n,1} = \lceil n/2 \rceil! (\lfloor n/2 \rfloor + (\lfloor n/2 \rfloor)! )$（$n \geq 6$）、および $M_{n,2}$（$n=4k\pm1$）。
• $n=7$ の場合、2番目の構成により、巡回的 $(7,342,\ell_{\infty})$-スネークが得られ、図5における $\hat{\mathcal{T}}_{\mathcal{K},5}$ と $\mathcal{T}_3$ を用いた明示的構成により確認された。
• 群論的性質 $S_n$ および $A_n$ を用いて理論的上限を導出し、$ε_{\infty}$-メトリック下で隣接コード語が最大1つの互換で異なることを保証する。

実験結果

リサーチクエスチョン

• RQ1 YehezkeallyとSchwartzの構成を上回る、$S_n$ 内のより長い $ε_{\infty}$-スネークを構築できるか？
• RQ2 RMGCおよび $Κ$-スネークのどのような構造的性質が、$ε_{\infty}$-メトリック下でより長い $ε_{\infty}$-スネークの構築を可能にするか？
• RQ3 $n \geq 6$ に対して、$\lceil n/2 \rceil! (\lfloor n/2 \rfloor + (\lfloor n/2 \rfloor - 1)! )$ を超える長さの $ε_{\infty}$-スネークを体系的に生成する方法はあるか？
• RQ4 どの $n$ の値に対して、$Κ$-スネークに基づく構成がコード長においてRMGCに基づく構成を上回るか？
• RQ5 巡回的かつ完全なRMGCを用いて、$n \geq 6$ に対して最大長の非巡回的 $ε_{\infty}$-スネークを構築できるか？

主な発見

• 最初の構成により、すべての $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$ を上回る。
• 2番目の構成（$\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の存在を確認した。このRMGCは $n=7$ の $\mathcal{K}$-スネーク構成の構築ブロックとして使用されている。