[論文レビュー] 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）の構成法を開発すること。
• 最小チェビシェフ距離を保証する明示的かつ再帰的な方法を提供すること。
• 最大サイズ $ 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)$ 置換配列を $(rn,rd)$ 置換配列にスケーリングする再帰的構成を導入し、サイズを $ M^r $ に保ちながら最小距離を維持する。
• 新しい要素を置換の位置 $ m $ に挿入する第二の再帰的構成を提案し、チェビシェフ距離の性質を保つ。
• パーマネントを用いて $ V(n,d) $、すなわち単位置換からのチェビシェフ距離 $ d $ 以内の置換の数を計算する。ここで $ A^{(n,d)} $ は $ (0,1) $-行列で、$ |i-j| \leq d $ のとき $ a_{ij} = 1 $ となる。
• 線形再帰関係を用いて $ 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 サイズ $ P(n,d) $ の最大 $ (n,d) $ 置換配列は $ n $ と $ d $ と共にどのように増加するか。タイトな上界および下界は？
• RQ3 再帰的手法を用いて、チェビシェフ距離の性質を保ちながら、小さな配列からより大きな配列を生成できるか？
• 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 $ が成り立ち、最小距離を保証しつつ、小さな配列から大きな配列を生成可能である。
• パーマネントに基づく $ 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} $ よりも著しく大きい。
• 上界 $ P(11,6) \leq 850 $ は $ \left\lfloor \frac{12!}{V(12,3)} \right\rfloor $ から導出され、$ V(12,3) = 563172 $ である。パーマネントに基づくアプローチの有効性を示している。
• $ V(n,d)^{1/n} $ の増加率 $ \mu_d $ は $ \mu_d \leq [(2d+1)!]^{1/(2d+1)} $ を満たし、$ d \to \infty $ のとき $ \mu_d / (2d+1) \to 1/e $ となる。これは漸近的飽和を示している。