[论文解读] Permutation Arrays Under the Chebyshev Distance

Torleiv Kløve, Te-Tsung Lin+2 more|arXiv (Cornell University)|Jul 15, 2009

graph theory and CDMA systems参考文献 3被引用 5

一句话总结

本文提出了在切比雪夫距离下排列数组的构造与界，该度量定义为排列之间坐标差的最大值。文章提出了具有高效译码能力的显式构造方法，递归方法以生成更大的数组，并利用永久公式和递推关系推导出界，显著改进了此类数组在闪存存储应用中的大小下界。

ABSTRACT

An (n,d) permutation array (PA) is a set of permutations of length n with the property that the distance (under some metric) between any two permutations in the array is at least d. They became popular recently for communication over power lines. Motivated by an application to flash memories, in this paper the metric used is the Chebyshev metric. A number of different constructions are given as well as bounds on the size of such PA.

研究动机与目标

• 为在闪存系统中应用的排列数组（PAs）在切比雪夫距离度量下开发高效构造方法。
• 提供显式且递归的构造方法，以生成具有保证最小切比雪夫距离的PAs。
• 建立最大大小 $ P(n,d) $ 的排列数组 $ (n,d) $ 的紧致上下界。
• 设计高效的编码与译码算法，实现向量到排列的映射并具备纠错能力。
• 利用永久与递推方法分析 $ V(n,d) $ 的增长速率，即在单位排列切比雪夫距离 $ d $ 内的排列数量。

提出的方法

• 提出一种显式构造，其中排列满足 $ \pi_i \equiv i \pmod{d} $，对于 $ n = ad + b $，得到 $ |C| = ((a+1)!)^b (a!)^{d-b} $，并通过模运算实现高效译码。
• 引入一种递归构造方法，将一个 $ (n,d) $ PA 提升为 $ (rn,rd) $ PA，大小为 $ M^r $，同时保持最小距离。
• 开发第二种递归构造方法，将新元素插入排列的第 $ m $ 个位置，保持切比雪夫距离性质。
• 使用 $ (0,1) $-矩阵 $ A^{(n,d)} $ 的永久值来计算 $ V(n,d) $，其中当 $ |i-j| \leq d $ 时 $ a_{ij} = 1 $，即单位排列在切比雪夫距离 $ d $ 内的排列数。
• 应用线性递推关系计算 $ V(n,d) $，实现渐近分析并推导出增长速率 $ \mu_d $ 的界，即递推关系的主导根。
• 利用哈明型界 $ P(n,d) \leq \left\lfloor \frac{n!}{V(n,\lfloor (d-1)/2 \rfloor)} \right\rfloor $ 推导 $ P(n,d) $ 的上界，并通过递归应用进一步改进。

实验结果

研究问题

• RQ1 如何高效构造具有最小切比雪夫距离 $ d $ 的排列数组，且如何实现高效译码？
• RQ2 最大 $ (n,d) $ PA 的大小 $ P(n,d) $ 如何随 $ n $ 和 $ d $ 增长？其紧致上下界为何？
• RQ3 能否使用递归方法从较小的排列数组生成更大的PAs，同时保持切比雪夫距离性质？
• RQ4 在单位排列切比雪夫距离 $ d $ 内的排列数 $ V(n,d) $ 的渐近行为如何？其计算方法为何？
• RQ5 使用基于永久的公式与递归或贪心构造方法相比，$ P(n,d) $ 的界有何差异？

主要发现

• 对于 $ n = 30, d = 2 $，显式构造得到 $ |C| \approx 6.37 \times 10^{15} $，远超 $ 2^{n-d} = 2^{28} $，表明在小 $ d $ 情况下实现指数级改进。
• 递归构造满足 $ P(rn, rd) \geq P(n,d)^r $，可从较小PAs生成大PAs并保证距离。
• 由 $ V(n,d) $ 的永久型上界推导出 $ P(n,d) \geq \frac{n!}{[(2d-1)!]^{n/(2d-1)}} $，为 $ P(n,d) $ 提供了有用的下界。
• 当 $ d=2 $ 时，构造给出 $ P(2a,2) \geq (a!)^2 $，对大的 $ a $ 明显大于 $ 2^{2a-2} $。
• 由 $ \left\lfloor \frac{12!}{V(12,3)} \right\rfloor $ 推导出上界 $ P(11,6) \leq 850 $，其中 $ V(12,3) = 563172 $，表明基于永久的方法具有实用性。
• 增长速率 $ \mu_d $ 满足 $ \mu_d \leq [(2d+1)!]^{1/(2d+1)} $，且当 $ d \to \infty $ 时 $ \mu_d / (2d+1) \to 1/e $，表明渐近饱和。