[論文レビュー] Skip-Sliding Window Codes

Ting-Yi Wu, Anshoo Tandon+2 more|arXiv (Cornell University)|Nov 27, 2017

Algorithms and Data Compression参考文献 19被引用数 3

ひとこと要約

本稿では、スライディング・ウィンドウとサブブロック・エネルギー制約の間を補間する一般化された制約符号化方式であるスキップ・スライディング・ウィンドウ（SSW）符号を導入する。この方式は、$i = 0,1,...,k$ に対して位置 $iJ+1$ から始まる長さ $L$ のウィンドウごとに最小ハミング重み $W$ を満たすことを強制することで定義される。著者らは、修正されたde Bruijnグラフに基づく手法と洗練されたGoulden-Jacksonクラスタ法に基づく2つの列挙手法を開発し、ノイズのない容量を効率的に計算可能にした。驚くべきことに、特定のパラメータ設定下では、サブブロック・エネルギー符号の容量を上回る結果となり、より厳しい制約が常に容量を低下させるという直感に反する事実が示された。

ABSTRACT

Constrained coding is used widely in digital communication and storage systems. In this paper, we study a generalized sliding window constraint called the skip-sliding window. A skip-sliding window (SSW) code is defined in terms of the length $L$ of a sliding window, skip length $J$, and cost constraint $E$ in each sliding window. Each valid codeword of length $L + kJ$ is determined by $k+1$ windows of length $L$ where window $i$ starts at $(iJ + 1)$th symbol for all non-negative integers $i$ such that $i \leq k$; and the cost constraint $E$ in each window must be satisfied. In this work, two methods are given to enumerate the size of SSW codes and further refinements are made to reduce the enumeration complexity. Using the proposed enumeration methods, the noiseless capacity of binary SSW codes is determined and observations such as greater capacity than other classes of codes are made. Moreover, some noisy capacity bounds are given. SSW coding constraints arise in various applications including simultaneous energy and information transfer.

研究の動機と目的

• スライディング・ウィンドウとサブブロック・エネルギー制約を統合する一般化された制約符号化フレームワークとして、スキップ・スライディング・ウィンドウ（SSW）符号を形式化すること。
• 最小ハミング重み制約 $W$ の下で有効なSSW符号語の数を数えるための効率的な列挙技術を開発すること。
• 2値SSW符号のノイズのない容量を解析し、既存の制約符号を上回る条件を同定すること。
• SSW符号のバイナリ対称チャネル（BSC）およびバイナリ消失チャネル（BEC）におけるノイズのある容量の上限および下限を導出すること。
• 同時情報・エネルギー伝送、ゲノム配列アセンブリ、負荷制約下でのタスクスケジューリングへの応用を検討すること。

提案手法

• パラメータ $L$（ウィンドウ長）、$J$（スキップ長）、$W$（最小ハミング重み）で定義されるSSW符号の数学的モデルを提案。有効な符号語は、$i = 0$ から $k$ までの一連の非重複ウィンドウ（$iJ+1$ から始まる長さ $L$ のウィンドウ）において、すべてのウィンドウでハミング重みが $W$ 以上を満たす必要がある。
• 修正されたde Bruijnグラフの隣接行列を用いた最初の列挙手法を開発。計算複雑度は $O\big{(}\big{(}\sum_{i=W}^{L}\binom{L}{i}\big{)}^2\big{)}$。
• $L = \ell J$ の場合に適用可能な、Goulden-Jacksonクラスタ法に基づく2番目の列挙手法を導入。計算複雑度は $O\big{(}\big{(}\sum_{i=0}^{W-1}\binom{L}{i}\big{)}^2\big{)}$。
• $L = \ell J$ の場合に両手法を洗練させ、計算複雑度をそれぞれ $O\big{(}\min\{J+1,W+1\}^{\ell-1}\big{)}$ および $O\big{(}\min\{J,W-1\}^{\ell-1}\big{)}$ に低減。
• $L = \ell J$ 条件下で、洗練されたde Bruijn法とGoulden-Jackson法が等価であることを証明。
• スーパーレター・モデリングとBlahut-Arimotoアルゴリズムを用いて、SSW符号のBSCおよびBECにおけるノイズのある容量の上限・下限を導出。

実験結果

リサーチクエスチョン

• RQ1 スライディング・ウィンドウ制約を、一部のウィンドウをスキップすることで緩和する一般化された制約符号化方式が、従来のサブブロック・エネルギー符号よりも高いノイズのない容量を達成できるか？
• RQ2 最小ハミング重み制約下でのSSW符号のサイズを計算するための効率的な列挙技法は何か？
• RQ3 特定のパrameterセットにおいて、SSW符号のノイズのない容量がサブブロック・エネルギー符号の容量を上回るのか？これは、より厳しい制約が常に容量を低下させるという直感に反する。
• RQ4 BSCおよびBECにおいて、SSW符号のノイズのある容量は、SEC符号のそれと比べてどのように異なるか？
• RQ5 提案されたSSWフレームワークは、同時情報・エネルギー伝送、ゲノムアセンブリ、負荷制約下のタスクスケジューリングといった実世界の問題に応用可能か？

主な発見

• 特定のパラメータセット、例えば $(L,J,W) = (8,7,7)$ において、SSW符号のノイズのない容量がサブブロック・エネルギー（SEC）符号の容量を上回ることを確認。これは、制約が緩いほど容量が高くなるという直感に反する結果である。
• $L = \ell J$ の場合、de Bruijnグラフに基づく洗練された列挙手法により、計算複雑度が $O\big{(}\min\{J+1,W+1\}^{\ell-1}\big{)}$ に低減され、スケーラビリティが著しく向上した。
• Goulden-Jackson法に基づく洗練された手法は、計算複雑度を $O\big{(}\min\{J,W-1\}^{\ell-1}\big{)}$ に低減し、特定のパラメータ領域においてより効率的な代替手段を提供した。
• 数値的結果から、Mrs. Gerberの補題を用いた下限は、スーパーレター・モデリングを用いた下限よりも一貫して劣っており、BSCにおいて $p \to 0$ および $p \to 0.5$ の極限で、後者がよりタイトな境界を与えることが示された。
• BECにおいては、2つの下限が一致し、$\epsilon \to 0$ および $\epsilon \to 1$ の極限でタイトになることが示され、漸近的領域で強い一致を示した。
• SSW符号のノイズのある容量の上限は、ノイズのない容量よりもタイトであり、同時にSEC符号の容量によっても有界であることが確認され、導出された境界の妥当性が裏付けられた。