[論文レビュー] On q-ary codes correcting all unidirectional errors of a limited magnitude

Rudolf Ahlswede, Harout Aydinian+2 more|ArXiv.org|Jul 27, 2006

Coding theory and cryptography参考文献 18被引用数 36

ひとこと要約

本稿では、記号が増加する一方で差が最大ℓに制限される一方向エラーをすべて訂正するq進符号を導入し、その分析を行う。このような符号の最大サイズに関する上限を確立し、容量を達成する成長率β(ℓ,q)をもたらす積構成を証明し、モジュラス和符号を用いた単純な構成により、このようなエラーをすべて検出可能であることを示す。

ABSTRACT

We consider codes over the alphabet Q={0,1,..,q-1}intended for the control of unidirectional errors of level l. That is, the transmission channel is such that the received word cannot contain both a component larger than the transmitted one and a component smaller than the transmitted one. Moreover, the absolute value of the difference between a transmitted component and its received version is at most l. We introduce and study q-ary codes capable of correcting all unidirectional errors of level l. Lower and upper bounds for the maximal size of those codes are presented. We also study codes for this aim that are defined by a single equation on the codeword coordinates(similar to the Varshamov-Tenengolts codes for correcting binary asymmetric errors). We finally consider the problem of detecting all unidirectional errors of level l.

研究の動機と目的

• 記号が増加し、差が最大ℓに制限されるすべての一方向エラーを訂正可能なq進符号を研究すること。
• このような符号の最大サイズに関する下界と上界を導出すること。記号は$ LA_u(\ell,n)_q $で表す。
• Varshamov-Tenengolts符号に類似した単一のモジュラス方程式に基づく構成を用いて、これらのエラーを訂正する方法を検討すること。
• 一方向エラーの検出に関する関連問題を調査し、ℓ-UED符号を導入すること。
• Feketeの補題を用いて最大符号サイズの漸近的成長率を決定し、定数$ \beta(\ell,q) $を確立すること。

提案手法

• ℓエラー訂正符号のための積構成を提案：$ LA_u(\ell,m+n)_q \geq LA_u(\ell,m)_q \cdot LA_u(\ell,n)_q $。これにより再帰的な符号構築が可能となる。
• モジュラス方程式による構成：$ \sum_{i=0}^{m-1} a_i x_i \equiv a \pmod{M} $、ここで$ a_i = (\ell+1)^i $。これにより、誤差訂正能力が制限された符号が定義される。
• 積の上限にFeketeの補題を適用し、漸近的成長率$ \beta(\ell,q) = \lim_{n\to\infty} \sqrt[n]{LA_u(\ell,n)_q} $の存在を証明する。
• 不等式$ \frac{q}{\ell+1} \leq \beta(\ell,q) \leq \lceil \frac{q}{\ell+1} \rceil $が成り立ち、$ \ell+1 \mid q $のとき下界で等号が成立することを確立する。
• 集合$ P_i = \{ \mathbf{x} \in Q^n : \sum x_j = i \} $の和集合を用いてℓ-UED符号を導入。$ i \equiv a \pmod{\ell n + 1} $を満たす$ P_i $を選択する。
• 得られる符号$ \mathcal{C}_a = \bigcup_{i \equiv a \pmod{\ell n + 1}} P_i $が、すべての一方向エラー（大きさℓ）を検出可能であることを証明する。

実験結果

リサーチクエスチョン

• RQ1 記号が増加し、差が最大ℓに制限されるすべての一方向エラーを訂正可能なq進符号の最大サイズに関する、最もきつい下界と上界は何か？
• RQ2 VT符号に類似した単一のモジュラス方程式に基づく構成を用いて、有限の大きさの一方向エラーを訂正することは可能か？
• RQ3 このような符号の最大サイズの漸近的成長率は何か？また、qとℓにどのように依存するか？
• RQ4 有限の大きさの一方向エラーの検出問題は、単純で構造的な符号構成によって解決可能か？
• RQ5 提案されたℓ-UED符号構成は最適か？それとも小さなパrameterではより良い構成が存在するか？

主な発見

• ℓエラー訂正符号の最大サイズは$ LA_u(\ell,n)_q \leq \lceil \frac{q}{\ell+1} \rceil^{n-1} $を満たし、これにより上界が得られる。
• 積構成により$ LA_u(\ell,m+n)_q \geq LA_u(\ell,m)_q \cdot LA_u(\ell,n)_q $が成立し、符号サイズの指数的増加が可能となる。
• 漸近的成長率$ \beta(\ell,q) $は存在し、$ \frac{q}{\ell+1} \leq \beta(\ell,q) \leq \lceil \frac{q}{\ell+1} \rceil $を満たす。$ \ell+1 \mid q $のとき下界で等号が成立する。
• q = \ell + 2 の場合、境界により$ \beta(\ell,\ell+2) \geq \sqrt[4]{5} \approx 1.495 $が得られ、自明な下界$ \frac{\ell+2}{\ell+1} $を上回る。
• $ \ell \geq 2 $の場合、構成$ \mathcal{C}_a $により$ \beta(\ell,\ell+3) = 2 $が達成され、特定の状況で最適性が示される。
• ℓ-UED符号$ \mathcal{C}_a = \bigcup_{i \equiv a \pmod{\ell n + 1}} P_i $は、すべての一方向エラー（大きさℓ）を検出可能であるが、小さなパrameterでは最適でない場合がある。