[论文解读] Optimal LRC codes for all lenghts n≤q.

Oleg Kolosov, Alexander Barg+2 more|arXiv (Cornell University)|Feb 1, 2018

Coding theory and cryptography参考文献 10被引用 14

一句话总结

本文提出了一个显式的代数构造方法，适用于所有码长 $ n \leq q $ 的最优局部可修复码（LRCs），扩展了以往要求 $ n $ 被 $ r+1 $ 整除的工作。通过从 $ q $-元 Reed-Solomon 码的子码中缩短——具体而言，从一个完整的修复组中移除 $ t = r+1 - (n \mod (r+1)) $ 个坐标——作者即使在 $ n \not\equiv 0 \pmod{r+1} $ 的情况下，也构造出了距离最优的 LRCs，实现了在局部性约束下可能的最大最小距离。

ABSTRACT

A family of distance-optimal LRC codes from certain subcodes of $q$-ary Reed-Solomon codes, proposed by I.~Tamo and A.~Barg in 2014, assumes that the code length $n$ is a multiple of $r+1.$ By shortening codes from this family, we show that it is possible to lift this assumption, still obtaining distance-optimal codes.

研究动机与目标

• 扩展距离最优 LRC 码的构造，突破以往要求 $ n $ 必须被 $ r+1 $ 整除的限制。
• 为所有 $ n \leq q $ 提供一种显式、代数化的最优 LRC 码构造，包括 $ n \mod (r+1) \neq 0 $ 的情形。
• 证明缩短最优 LRC 码在原始可除性条件被放宽时仍保持其最优性。
• 建立一个加强的 LRC 码最小距离上界，该上界在某些参数范围内收紧了经典界。

提出的方法

• 将码构造为长度为 $ \bar{n} = m(r+1) \leq q $ 的 Reed-Solomon 码的子码，其中 $ m = \lfloor n/(r+1) \rfloor $，通过从 $ m $ 个大小为 $ r+1 $ 的不相交修复组中选取 $ n $ 个坐标。
• 使用一个在每个修复组 $ A_i $ 上为常数的多项式 $ g(x) $，并基于数据符号和次数约束，定义一组具有结构化系数的多项式 $ f_a(x) $。
• 通过从最后一个修复组 $ A_m $ 中移除 $ t = r+1 - s $ 个坐标来实现缩短，其中 $ s = n \mod (r+1) $，并在被移除的集合 $ B $ 上定义消去多项式 $ h_B(x) $。
• 将数据向量分解为 $ a_{ij} $ 和 $ b_m $ 分量，以确保信息符号总数为 $ k $，其中 $ k' = k + t $。
• 通过界定 $ f_a(x) $ 的零点数量，证明评估映射的单射性，从而确保码的维数为 $ k $。
• 推导出一个收紧的最小距离上界（定理 III.3），表明在 $ s \neq 1 $、$ r \mid k $ 或 $ k \mod r \geq s $ 的条件下，有 $ d_{\min} \leq n - k - \lfloor k/r \rfloor + 1 $。

实验结果

研究问题

• RQ1 能否为所有 $ n \leq q $ 构造最优 LRC 码，即使 $ n $ 不被 $ r+1 $ 整除？
• RQ2 在缺乏可除性条件的情况下，缩短已知的最优 LRC 码家族是否仍能保持其最优性？
• RQ3 能否推导出一个比经典界（1）更紧的 LRC 码最小距离上界？
• RQ4 当 $ n \mod (r+1) \neq 0 $ 时，此类码的显式代数结构是什么？
• RQ5 多项式 $ g(x) $ 和消去多项式 $ h_B(x) $ 的选择如何影响码的局部性和距离特性？

主要发现

• 所提出的构造方法可为所有 $ n \leq q $ 构造出显式可构造的 $ (n,k,r) $ LRC 码，且在 $ s = n \mod (r+1) \neq 1 $ 且 $ \bar{n} = m(r+1) \leq q $ 的前提下，达到最大可能的最小距离。
• 该码是文献 [8] 中 $ q $-元 RS 子码构造的缩短版本，且即使 $ (r+1) \nmid n $，该缩短过程仍保持最优性。
• 该码的最小距离满足 $ d \geq n - k - \left\lfloor \frac{k + t}{r} \right\rfloor + 2 $，其中 $ t = r+1 - s $，且该界与新收紧的距离界理论最大值一致。
• 推导出一个新的最小距离上界（定理 III.3），表明在 $ s \neq 1 $、$ r \mid k $ 或 $ k \mod r \geq s $ 的条件下，有 $ d_{\min} \leq n - k - \left\lfloor \frac{k}{r} \right\rfloor + 1 $，该界在这些情况下比经典界（1）更紧。
• 即使经典界与实际距离之间的差距为 1，该码仍能实现最优性，因为新上界也相应减少 1，从而保持最优间隙不变。
• 该构造是自包含的，并提供了距离界的一个独立证明，补充了文献 [10] 中通过不同方法得出的相同结论。