[论文解读] Perspectives on Balanced Sequences

Jos H. Weber, Kees A. Schouhamer Immink+2 more|arXiv (Cornell University)|Jan 28, 2013

Coding theory and cryptography参考文献 22被引用 6

一句话总结

本文在 $q$-元字母表上引入并分析了极性平衡（PB）码与电荷-极性平衡（CPB）码，将 Knuth 的二元平衡方法扩展至非二元序列。推导了 PB 与 CPB 码的最大大小及渐近最小冗余，并提出了适用于所有平衡类型的高效 Knuth 类编码器与解码器，对于长码，其冗余量约为理论最小值的两倍。

ABSTRACT

We examine and compare several different classes of "balanced" block codes over q-ary alphabets, namely symbol-balanced (SB) codes, charge-balanced (CB) codes, and polarity-balanced (PB) codes. Known results on the maximum size and asymptotic minimal redundancy of SB and CB codes are reviewed. We then determine the maximum size and asymptotic minimal redundancy of PB codes and of codes which are both CB and PB. We also propose efficient Knuth-like encoders and decoders for all these types of balanced codes.

研究动机与目标

• 正式化并分析此前未被研究过的 $q$-元字母表上的极性平衡（PB）码概念。
• 确定 PB 与电荷-极性平衡（CPB）码的最大大小及渐近最小冗余，扩展已知的符号平衡（SB）码与电荷平衡（CB）码的结果。
• 为 $q$-元字母表上的 SB、CB、PB 与 CPB 码开发高效的 Knuth 类编码与解码算法。
• 将这些构造的冗余与理论最小值进行比较，表明对于长码，其冗余量在理论最小值的两倍以内。

提出的方法

• 通过模算术迭代调整符号频率，将 Knuth 的二元平衡算法推广至 $q$-元字母表。
• 对于 PB 码，采用两阶段迭代过程，通过模-$q$ 加法调整前缀，以平衡正负符号的数量。
• 对于 CPB 码，采用顺序平衡过程，先实现极性平衡再实现电荷平衡，或反之，利用索引选择与符号反转。
• 采用基于前缀的方案传递平衡索引，使解码可通过反向编码操作实现。
• 通过有效序列的组合计数与大块长度 $n$ 的渐近分析，推导冗余边界。
• 利用对称字母表 $\mathcal{A}_q = \{-q+1, -q+3, \dots, q-1\}$ 的结构，定义符号频率与平衡条件。

实验结果

研究问题

• RQ1 在 $q$-元字母表上，长度为 $n$ 的极性平衡（PB）序列的最大数量是多少，即正负符号数量相等的序列？
• RQ2 PB 码的渐近最小冗余是多少？与 SB 码和 CB 码相比如何？
• RQ3 能否将 Knuth 类算法推广至 $q$-元字母表，以高效构造 PB 与 CPB 码？
• RQ4 所提出的 PB 与 CPB 码的 Knuth 类构造的冗余与理论最小值相比如何？

主要发现

• 当 $q$ 为奇数时，长度为 $n$ 的 $q$-元 PB 序列的数量渐近为 $q^n / \sqrt{2\pi n}$（$n$ 为偶数）；当 $q$ 为偶数时，也存在类似表达式。
• PB 码的渐近最小冗余为 $\frac{1}{2}\log_2 n + \frac{1}{2}\log_2 \pi + \frac{1}{2}\log_2 q + O(1)$，其形式与 SB 和 CB 码一致，但常数项不同。
• 对于 CPB 码，最大大小约为 $q^n / \sqrt{4\pi n}$，最小冗余为 $\frac{1}{2}\log_2 n + \frac{1}{2}\log_2 \pi + \frac{1}{2}\log_2 q + O(1)$，与 PB 码相似。
• 所提出的 PB 与 CPB 码的 Knuth 类编码器实现的冗余量约为理论最小可能值的两倍，与二元情况一致。
• 所提构造的冗余为 $p' = (q-1)\log_q(k+1) + 2\log_q(q!)$，其中 $k = n/q$，表明其随块长度 $n$ 对数增长。
• 该方法确保对于任意数据序列，均存在一个平衡索引，使得生成的码字满足所需的平衡条件，推广了 Knuth 的原始存在性证明。