[论文解读] Capacity achieving multiwrite WOM codes

Amir Shpilka|arXiv (Cornell University)|Sep 5, 2012

Coding theory and cryptography参考文献 13被引用 5

一句话总结

本文首次提出了显式、确定性的二进制 t-写入写一次存储（WOM）码构造，实现了容量，且编码与译码时间复杂度为多项式时间。对于任意容量差距 ε > 0，码长为 (t/ε)^{O(t/(δε))}，编码/译码时间复杂度为 N^{1+δ}，实现速率 log(t+1)−ε。

ABSTRACT

In this paper we give an explicit construction of a capacity achieving family of binary t-write WOM codes for any number of writes t, that have a polynomial time encoding and decoding algorithms. The block length of our construction is N=(t/ε)^{O(t/(δε))} when εis the gap to capacity and encoding and decoding run in time N^{1+δ}. This is the first deterministic construction achieving these parameters. Our techniques also apply to larger alphabets.

研究动机与目标

• 构造显式、确定性的 t-写入 WOM 码，使其在每次写入中达到理论容量 log(t+1) 比特/写入。
• 确保所构造码的编码与译码算法为多项式时间复杂度。
• 在保持与容量的差距 ε 较小且计算高效的前提下，最小化码长。
• 将构造方法扩展至二进制以外的更大字母表。
• 解决在短码长与高效算法下实现容量的开放问题。

提出的方法

• 利用结构化矩阵与通用哈希族，将编码过程建模为求解具有稀疏解的线性方程组。
• 采用基于提取器的构造方法，误差指数级小，以在每次写入阶段模拟所需的源分布。
• 将源 Y_i(w) 定义为码字集合，其中先前标记为 j1 的坐标中，标记为 j2 的比例匹配一个转移矩阵 S_i。
• 使用权向量 (p1,…,pt−1) 参数化容量区域，以确保速率约束被满足。
• 采用递归编码策略，每次写入仅将先前为 0 的位翻转为 1，从而保持单调性。
• 设计编码与译码函数，通过利用源的结构特性和解的稀疏性，实现高效可逆。

实验结果

研究问题

• RQ1 能否实现一种确定性、多项式时间复杂度的 t-写入 WOM 码构造，使其渐近逼近理论容量 log(t+1)？
• RQ2 在多项式时间编码与译码下，实现与容量差距为 ε 的最小码长是多少？
• RQ3 能否将码长缩减至 poly(1/ε) 的量级，同时保持容量达到型速率与高效算法？
• RQ4 是否能高效地逆向求解结构化提取器，或在高度受限的线性系统中找到稀疏解，以用于 WOM 码构造？
• RQ5 如何优化通用哈希族与提取器的使用，以减少码长，同时不牺牲速率或计算效率？

主要发现

• 本文构造了一类 t-写入二进制 WOM 码，对任意 ε > 0，其速率可达 log(t+1)−ε，与模型的理论容量一致。
• 该构造的码长满足 N = (t/ε)^{O(t/(δε))}，对任意 δ > 0，确保编码与译码在 N^{1+δ} 时间内完成。
• 编码与译码算法被显式构造，且运行时间复杂度为多项式时间，标志着首次实现此类参数的确定性构造。
• 该方法可推广至更大的字母表，突破了仅限于二进制码的限制。
• 该构造依赖于寻找结构化线性系统的稀疏解，作者指出这是未来改进的关键挑战。
• 作者建议，通过设计针对高度结构化源（如汉明球或仿射子空间）的可高效逆向的无种子提取器，可能实现更优的构造。