[论文解读] 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-ary 码，其中错误仅增加符号且差异不超过 ℓ。建立了此类码最大大小的界限，证明了能实现容量最优增长速率 β(ℓ,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-ary 码，其中错误仅增加符号且受限于 ℓ。
• 推导此类码最大大小的下界与上界，记为 $ LA_u(\ell,n)_q $。
• 探索基于单个模方程的构造方法，类似于 Varshamov-Tenengolts 码，用于纠正此类错误。
• 研究与之相关的问题：检测所有幅度为 ℓ 的单向错误，引入 ℓ-UED 码。
• 利用 Fekete 引理确定最大码大小的渐近增长速率，并建立常数 $ \beta(\ell,q) $。

提出的方法

• 提出 $ \ell $-错误纠正码的乘积构造：$ 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 \} $ 的并集引入 $ \ell $-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-ary 码的最大大小的最紧致下界与上界是什么？
• RQ2 能否使用类似于 VT 码的单个模方程构造方法，来纠正有限幅度的单向错误？
• RQ3 此类码的最大大小的渐近增长速率是多少？其如何依赖于 q 和 ℓ？
• RQ4 能否通过一种简单且结构化的码构造方法解决有限幅度单向错误的检测问题？
• RQ5 所提出的 $ \ell $-UED 码构造是否最优？对于小参数是否存在更优的构造？

主要发现

• ℓ-错误纠正码的最大大小满足 $ 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 $，表明在某些情况下达到最优。
• $ \ell $-UED 码 $ \mathcal{C}_a = \bigcup_{i \equiv a \pmod{\ell n + 1}} P_i $ 能检测所有幅度为 ℓ 的单向错误，尽管对小参数并非总是最优。