[论文解读] MSR Codes with Linear Field Size and Smallest Sub-packetization for Any Number of Helper Nodes

Guodong Li, Ningning Wang+2 more|arXiv (Cornell University)|Mar 18, 2023

Cooperative Communication and Network Coding被引用 4

一句话总结

本文首次提出了针对任意帮助节点数 $d$（$d \in \{k+1, \dots, n-1\}$）的最优访问 MSR 码的显式构造，其子分块化程度达到最小值 $\sigma^{\lceil n/\sigma\rceil}$，并实现了线性域大小。其核心创新在于通过精心设计的校验矩阵，将 $\binom{n}{r}$ 个全局行列式约束减少为 $O_s(n)$ 个局部约束，从而解决了分布式存储编码理论中长期存在的一个开放问题。

ABSTRACT

The sub-packetization $\ell$ and the field size $q$ are of paramount importance in the MSR array code constructions. For optimal-access MSR codes, Balaji et al. proved that $\ell\geq s^{\left\lceil n/s ight ceil}$, where $s = d-k+1$. Rawat et al. showed that this lower bound is attainable for all admissible values of $d$ when the field size is exponential in $n$. After that, tremendous efforts have been devoted to reducing the field size. However, till now, reduction to linear field size is only available for $d\in\{k+1,k+2,k+3\}$ and $d=n-1$. In this paper, we construct the first class of explicit optimal-access MSR codes with the smallest sub-packetization $\ell = s^{\left\lceil n/s ight ceil}$ for all $d$ between $k+1$ and $n-1$, resolving an open problem in the survey (Ramkumar et al., Foundations and Trends in Communications and Information Theory: Vol. 19: No. 4). We further propose another class of explicit MSR code constructions (not optimal-access) with even smaller sub-packetization $s^{\left\lceil n/(s+1) ight ceil }$ for all admissible values of $d$, making significant progress on another open problem in the survey. Previously, MSR codes with $\ell=s^{\left\lceil n/(s+1) ight ceil }$ and $q=O(n)$ were only known for $d=k+1$ and $d=n-1$. The key insight that enables a linear field size in our construction is to reduce $\binom{n}{r}$ global constraints of non-vanishing determinants to $O_s(n)$ local ones, which is achieved by carefully designing the parity check matrices.

研究动机与目标

• 解决在所有 $d \in \{k+1, \dots, n-1\}$ 情况下构造具有最小子分块化程度的最优访问 MSR 码的开放问题。
• 在 MSR 码构造中实现线性域大小，而此前的工作仅在特殊情形（$d \in \{k+1,k+2,k+3,n-1\}$）中实现过。
• 将先前 MSR 码的指数级子分块化程度降低至理论下界 $\sigma^{\lceil n/\sigma\rceil}$，其中 $\sigma = d - k + 1$。
• 通过构造子分块化程度更小的 MSR 码 $\sigma^{\lceil n/(\sigma+1)\rceil}$ 和 $q = O(n)$，解决综述文献（Ramkumar et al., 2023）中的第二个开放问题。

提出的方法

• 设计一种校验矩阵，将 $\binom{n}{r}$ 个全局行列式约束转化为 $O_s(n)$ 个局部约束，从而实现线性域大小。
• 基于变量 $x_{i}$ 在 $\mathbb{F}_q$ 中的分组分配，采用结构化构造方法，通过多项式插值确保行列式非零。
• 应用组合零点定理（Combinatorial Nullstellensatz）和推论3，从 $\mathbb{F}_q$ 中选择评估点 $\lambda_i$，使得关键行列式多项式保持非零。
• 使用齐次多项式 $D(x_{[s^2]})$ 构造码，其总次数为 $s^2(s-1)2^{s-3}$，且每个变量的次数有界为 $(s-1)2^{s-2}$，以确保在评估下行列式非零。
• 利用 $\mathbb{F}_q$ 中的本原根，令 $\lambda_i = \alpha^i$，使得 $D(1,\alpha,\dots,\alpha^{s^2-1}) \neq 0$，从而满足所有局部约束。
• 通过验证修复带宽达到理论下界，证明所构造码实现了最优访问和最小子分块化程度。

实验结果

研究问题

• RQ1 能否为所有 $d \in \{k+1, \dots, n-1\}$ 构造出子分块化程度达到理论下界 $\sigma^{\lceil n/\sigma\rceil}$ 的最优访问 MSR 码？
• RQ2 是否可能在超出已知特殊情况（如 $d \in \{k+1,k+2,k+3,n-1\}$）的范围内实现此类构造的线性域大小？
• RQ3 能否在保持线性域大小的同时，进一步将子分块化程度降低至 $\sigma^{\lceil n/(\sigma+1)\rceil}$？
• RQ4 如何将 MSR 码设计中的全局行列式约束减少为局部且可管理的约束，以实现高效构造？

主要发现

• 本文首次构造出对所有 $d \in \{k+1, \dots, n-1\}$ 均具有子分块化程度 $\sigma^{\lceil n/\sigma\rceil}$ 的显式最优访问 MSR 码，达到理论最小值。
• 该构造实现了线性域大小 $q = O(n)$，解决了将线性域大小推广至 $d \in \{k+1,k+2,k+3,n-1\}$ 以外情形的开放问题。
• 此外，还提出了一种新构造，实现了更小的子分块化程度 $\sigma^{\lceil n/(\sigma+1)\rceil}$ 和 $q = O(n)$，优于以往仅在 $d=k+1$ 和 $d=n-1$ 时达到此结果的工作。
• 关键技术洞见在于通过结构化校验矩阵设计，将 $\binom{n}{r}$ 个全局行列式约束减少为 $O_s(n)$ 个局部约束。
• 证明依赖于在 $\mathbb{F}_q$ 上对多变量多项式进行评估，结合本原根与组合零点定理，确保在约束下行列式非零。
• 该构造对满足 $q \geq ns + (s-1)2^{s-2}$ 的域成立，确保对任意 $n$ 和固定的 $s = d - k + 1$，所有局部约束均可被满足。