[論文レビュー] Compressed Encoding for Rank Modulation

Eyal En Gad, Anxiao+2 more|arXiv (Cornell University)|Aug 13, 2011

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

ひとこと要約

本稿は、フラッシュメモリにおけるランク変調のための画期的な「最小プッシュアップ」符号化手法を提案する。この手法により、状態遷移時のセルレベル上昇を低減し、書き換えコストを顕著に低下させる。最大コスト制約下で、先行研究と比較して最大54%高いコードレートを達成し、n=4およびn=5について支配集合理論と群論的分割を用いて最適性が証明されている。

ABSTRACT

Rank modulation has been recently proposed as a scheme for storing information in flash memories. While rank modulation has advantages in improving write speed and endurance, the current encoding approach is based on the "push to the top" operation that is not efficient in the general case. We propose a new encoding procedure where a cell level is raised to be higher than the minimal necessary subset - instead of all - of the other cell levels. This new procedure leads to a significantly more compressed (lower charge levels) encoding. We derive an upper bound for a family of codes that utilize the proposed encoding procedure, and consider code constructions that achieve that bound for several special cases.

研究の動機と目的

• ランク変調における「プッシュ・トゥ・トップ」操作の非効率性——不必要なセルレベル上昇とメモリ耐久性の制限——を是正すること。
• 状態遷移時の最大セルレベル増加を最小化する圧縮符号化方式を設計すること。
• 最悪ケースの書き換えコスト制約下で最適なフルアサインメントコードを構築し、ストレージ効率を向上させること。
• 新しい符号化モデル下でのコード容量の理論的上限を導出し、小規模なnに対してその上限に達する符号を構築すること。
• 群論的分割を用いて、r ≥ 2の高コスト制約に対しても一般化可能な構成法を提案すること。

提案手法

• 他のすべてのセルではなく、最小限必要なセルの上にのみセルレベルを上昇させる「最小プッシュアップ」操作を提案する。
• 書き換えコストを初期順列内の要素の最大ランク増加として定義し、これが最小セルレベル上昇に対応することを示す。
• 仮想レベルを用いた離散モデルを導入し、対称群S_nにおける状態遷移を形式化・分析する。
• 支配集合理論を応用し、コスト制約内ですべての状態に到達可能であることを保証し、符号の構築を可能にする。
• n=4およびn=5について、特定の置換（g1=(4,5), g2=(1,2,4,3,5)）のコセットに基づく分割を用いて最適な符号を構築する。
• r ≥ 2の場合、置換を最初のn−5要素に基づくブロックに分割し、最後の5要素に対してn=5の構成法を適用することで一般化する。

実験結果

リサーチクエスチョン

• RQ1 標準的な「プッシュ・トゥ・トップ」操作と比較して、より効率的な符号化手法は、ランク変調における最大セルレベル増加を低減できるか？
• RQ2 最悪ケースの書き換えコスト制約下でのフルアサインメントコードのストレージ容量の理論的上限は何か？
• RQ3 新しい符号化モデル下で、小規模なn（例：n=4, n=5）に対して最適な符号構成が達成可能か？
• RQ4 コスト制約r ≥ 2の高コスト状況においても最適性を保ちながら、符号構成を一般化できるか？
• RQ5 遷移グラフにおける支配集合と効率的な書き換え符号設計との関係は何か？

主な発見

• 提案された最小プッシュアップ符号化により、不必要なセルレベル上昇を回避し、メモリ耐久性が向上する。
• 最悪ケースコスト1下でのフルアサインメントコードのレートに対する上界を導出し、R ≤ 1 − (1/n)log₂(8/3) ビット/セルとする。
• n=4の場合、この上界が達成され、構成法1により、先行のランク変調符号と比較して54%高い容量を持つ最適符号が得られる。
• n=5の場合、構成法2により、S₅を12セットの10状態ずつにコセットに基づいて分割し、コードレート0.717ビット/セルを達成する。
• r ≥ 2の場合、S_nをサイズ120のブロックに分割し、最後の5要素に対してn=5の構成法を適用することで一般化が可能となり、レートR = (1/n)log₂(n!/10) ビット/セルが得られる。
• 理論的分析により、各構築済み支配集合がすべての必要なプレフィックスを完全にカバーしていることが確認され、コスト制約内での到達可能性が保証される。