[论文解读] Skip-Sliding Window Codes

Ting-Yi Wu, Anshoo Tandon+2 more|arXiv (Cornell University)|Nov 27, 2017

Algorithms and Data Compression参考文献 19被引用 3

一句话总结

本文提出跳滑动窗口（SSW）码，一种广义的受限编码方案，通过在每个从位置 $iJ+1$ 开始、长度为 $L$ 的窗口中强制最小汉明重量 $W$，在滑动窗口与子块能量约束之间进行插值。作者开发了两种枚举方法——基于改进的德布里伊恩图和优化的戈登-雅各布森簇方法——实现了对无噪容量的高效计算，结果出人意料地表明，在某些参数下其容量超过子块能量码，挑战了‘约束越紧则容量越低’的直觉。

ABSTRACT

Constrained coding is used widely in digital communication and storage systems. In this paper, we study a generalized sliding window constraint called the skip-sliding window. A skip-sliding window (SSW) code is defined in terms of the length $L$ of a sliding window, skip length $J$, and cost constraint $E$ in each sliding window. Each valid codeword of length $L + kJ$ is determined by $k+1$ windows of length $L$ where window $i$ starts at $(iJ + 1)$th symbol for all non-negative integers $i$ such that $i \leq k$; and the cost constraint $E$ in each window must be satisfied. In this work, two methods are given to enumerate the size of SSW codes and further refinements are made to reduce the enumeration complexity. Using the proposed enumeration methods, the noiseless capacity of binary SSW codes is determined and observations such as greater capacity than other classes of codes are made. Moreover, some noisy capacity bounds are given. SSW coding constraints arise in various applications including simultaneous energy and information transfer.

研究动机与目标

• 将跳滑动窗口（SSW）码形式化为一种广义受限编码框架，统一滑动窗口与子块能量约束。
• 开发高效枚举技术，用于在最小汉明重量约束 $W$ 下统计有效的 SSW 码字数量。
• 分析二进制 SSW 码的无噪容量，并确定其在何种条件下优于现有受限编码。
• 推导 SSW 码在二元对称信道（BSC）和二元擦除信道（BEC）上的噪声容量上下界。
• 探索 SSW 框架在同时信息与能量传输、基因组序列拼接以及负载约束下任务调度中的应用。

提出的方法

• 提出基于参数 $L$（窗口长度）、$J$（跳过长度）和 $W$（最小汉明重量）的 SSW 码数学模型，其中有效码字必须在从 $iJ+1$ 开始的 $k+1$ 个非重叠窗口中满足重量约束，$i = 0$ 到 $k$。
• 基于改进的德布里伊恩图的邻接矩阵，开发第一种枚举方法，复杂度为 $O\big{(}\big{(}\sum_{i=W}^{L}\binom{L}{i}\big{)}^2\big{)}$。
• 提出第二种基于戈登-雅各布森簇方法的枚举方法，适用于 $L = \ell J$ 的情形，复杂度为 $O\big{(}\big{(}\sum_{i=0}^{W-1}\binom{L}{i}\big{)}^2\big{)}$。
• 针对 $L = \ell J$ 的情形，对两种方法进行优化，将复杂度分别降低至 $O\big{(}\min\{J+1,W+1\}^{\ell-1}\big{)}$ 和 $O\big{(}\min\{J,W-1\}^{\ell-1}\big{)}$。
• 在 $L = \ell J$ 条件下，证明优化后的德布里伊恩方法与戈登-雅各布森方法等价。
• 利用超字母建模与布拉胡特-阿利莫托算法，推导 SSW 码在二元对称（BSC）与二元擦除（BEC）信道上的噪声容量上下界。

实验结果

研究问题

• RQ1 能否设计一种广义受限编码方案，通过跳过部分窗口来放松滑动窗口约束，从而实现高于传统子块能量码的无噪容量？
• RQ2 在最小汉明重量约束下，可采用哪些高效枚举技术来计算 SSW 码的大小？
• RQ3 对于某些参数集，SSW 码的无噪容量是否可能超过子块能量码，从而违背‘约束越松容量越高’的直觉？
• RQ4 SSW 码在 BSC 和 BEC 上的噪声容量与子块能量码相比如何？
• RQ5 所提出的 SSW 框架能否应用于实际问题，如同时信息与能量传输、基因组序列拼接及负载约束下的任务调度？

主要发现

• 在某些参数集下，如 $(L,J,W) = (8,7,7)$，SSW 码的无噪容量可超过子块能量（SEC）码，与‘约束越松容量越高’的预期相悖。
• 当 $L = \ell J$ 时，基于德布里伊恩图的优化枚举方法将复杂度降低至 $O\big{(}\min\{J+1,W+1\}^{\ell-1}\big{)}$，显著提升了可扩展性。
• 优化后的戈登-雅各布森方法将复杂度降低至 $O\big{(}\min\{J,W-1\}^{\ell-1}\big{)}$，为特定参数区间提供了更高效的替代方案。
• 数值结果表明，使用 Mrs. Gerber’s Lemma 得到的噪声容量下界始终劣于通过超字母建模获得的下界，且在 BSC 中当 $p \to 0$ 和 $p \to 0.5$ 时后者更紧。
• 在 BEC 上，两种下界在 $\epsilon \to 0$ 和 $\epsilon \to 1$ 时趋于一致并变得紧致，表明在渐近区域具有强一致性。
• SSW 码的噪声容量上界比无噪容量更紧，且受子块能量码容量的约束，确认了所推导边界的正确性。