[论文解读] 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}$-snake 构造——在排序调制方案下，针对闪存错误检测的 $ε_{\infty}$-度量中最长可能的格雷码。第一种方法利用循环和完全的排序调制格雷码（RMGC），第二种方法则借助 $Κ$-snake 实现更长的码。关键贡献在于相较于先前工作，码长有显著提升，第二种构造在 $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.

研究动机与目标

• 开发在排序调制方案下更长的 $ε_{\infty}$-snake 码，以提升闪存中的错误检测能力。
• 克服现有构造的局限性，这些构造生成的码长短于理论上的上限。
• 提出两种新方法——利用循环和完全的 RMGC 以及 $Κ$-snake——以生成比先前构造更长的 $ε_{\infty}$-snake。
• 建立一个框架，用于构造具有保证最小距离 2 的 $ε_{\infty}$-snake，从而实现单错误检测。
• 在 $n \geq 6$ 及特定 $n=4k\pm1$ 的情况下，超越 Yehezkeally 和 Schwartz 的构造，实现更长的码长。

提出的方法

• 第一种构造利用循环和完全的排序调制格雷码（RMGC）来生成 $ε_{\infty}$-snake，通过利用确保相邻码字仅通过一次“推至顶端”操作不同的转移序列。
• 第二种构造采用 $Κ$-snake——具体而言，在交错群 $A_n$ 中使用 $k$-snake 结构——通过连接转移序列来构建更长的 $ε_{\infty}$-snake。
• 该方法采用递归结构：通过应用一系列“推至顶端”操作生成码字，确保每一步都产生 $S_n$ 中的一个新排列。
• 所得 $ε_{\infty}$-snake 的长度由阶乘项和组合计数的乘积推导得出：$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$，第二种构造生成一个循环的 $(7,342,\ell_{\infty})$-snake，通过图 5 中显式构造 $\hat{\mathcal{T}}_{\mathcal{K},5}$ 和 $\mathcal{T}_3$ 得到验证。
• 利用 $S_n$ 和 $A_n$ 的群论性质推导出理论界限，确保在 $ε_{\infty}$-度量下相邻码字的差异不超过一次对换。

实验结果

研究问题

• RQ1 我们能否在 $S_n$ 中构造出比 Yehezkeally 和 Schwartz 的构造更长的 $ε_{\infty}$-snake？
• RQ2 RMGC 和 $Κ$-snake 的哪些结构特性使得在 $ε_{\infty}$-度量下能够构造更长的 $ε_{\infty}$-snake？
• RQ3 是否存在一种系统性方法，用于生成长度超过 $\lceil n/2 \rceil! (\lfloor n/2 \rfloor + (\lfloor n/2 \rfloor - 1)! )$ 的 $ε_{\infty}$-snake（$n \geq 6$）？
• RQ4 在哪些 $n$ 值下，基于 $Κ$-snake 的构造在码长上优于基于 RMGC 的构造？
• RQ5 循环和完全的 RMGC 是否可用于生成 $n \geq 6$ 时长度最大的非循环 $ε_{\infty}$-snake？

主要发现

• 第一种构造对所有 $n \geq 6$ 生成一个长度为 $M_{n,1} = \lceil n/2 \rceil! (\lfloor n/2 \rfloor + (\lfloor n/2 \rfloor)! )$ 的 $(n, M_{n,1}, \ell_{\infty})$-snake，其长度严格长于 Yehezkeally 和 Schwartz 的构造。
• 对于 $n=7$，第一种构造产生 $M_{7,1} = 216$ 个码字，超过先前的上限 $M_{7,0} = 120$。
• 第二种基于 $\mathcal{K}$-snake 的构造，对 $n=4k+1$ 有 $M_{n,2} = \left(\frac{(2k+1)!}{2} - 2k + 1\right) \cdot (2k+1)!$，对 $n=4k-1$ 有类似表达式，$k \geq 2$，生成的码长超过先前所有构造。
• 对于 $n=7$（$k=2$），$\mathcal{K}$-snake 方法生成一个循环的 $(7,342,\ell_{\infty})$-snake，为当前已知最长的此类码。
• $\mathcal{K}$-snake 构造在 $n=4k+1$ 或 $n=4k-1$ 且 $k \geq 2$ 时，优于基于 RMGC 和 Yehezkeally-Schwartz 的构造，如 $M_{n,2} > M_{n,1} > M_{n,0}$ 所示。
• 本文确认存在一个循环且完全的 $3$-RMGC，其转移序列为 $\mathcal{T}_3 = (t_3,t_3,t_2,t_3,t_3,t_2)$，该序列被用作 $n=7$ 时 $\mathcal{K}$-snake 构造的构建模块。