[论文解读] The Optimality of AIFV Codes in the Class of $2$-bit Delay Decodable Codes

Kengo Hashimoto, Iwata Ken-ichi|arXiv (Cornell University)|Jun 16, 2023

DNA and Biological ComputingBiochemistry, Genetics and Molecular Biology被引用 3

一句话总结

本文证明了AIFV（几乎即时固定到可变）编码在所有2位延迟可解码编码中均达到最优平均码字长度，无论使用多少个码表。通过将先前仅限于双码表系统的结论推广至更广泛的有限码表、2位延迟可解码源编码类别，作者基于码组与延迟约束的正式框架，确立了AIFV编码在该类别中的最优性。

ABSTRACT

AIFV (almost instantaneous fixed-to-variable length) codes are noiseless source codes that can attain a shorter average codeword length than Huffman codes by allowing a time-variant encoder with two code tables and a decoding delay of at most 2 bits. First, we consider a general class of noiseless source codes, called k-bit delay decodable codes, in which one allows a finite number of code tables and a decoding delay of at most k bits for k >= 0. Then we prove that AIFV codes achieve the optimal average codeword length in the 2-bit delay decodable codes class.

研究动机与目标

• 建立AIFV编码在任意有限数量码表的2位延迟可解码编码一般类别中的最优性。
• 解决一个开放问题：当允许超过两个码表时，AIFV编码在2位解码延迟约束下是否仍保持最优。
• 形式化k位延迟可解码码组的类别，并分析其结构与最优性特性。
• 将先前仅限于双码表系统的结论推广至完整的有限码表、2位延迟可解码编码类别。

提出的方法

• 作者将码组定义为使用有限个码表并由映射τi控制状态转移机制的系统。
• 引入k位延迟可解码码组的概念，其中符号的解码最多依赖于未来k位信息。
• 论文基于前缀集与转移概率的正式框架，对延迟约束下码组的行为进行建模。
• 定义了关键组件P^k_{F,i}，即能够导致以k位延迟解码出符号的k位前缀集合。
• 证明依赖于对规则与可扩展码组的结构分析，并引入辅助码组如F̂、Ḟ和F̈以简化最优性论证。
• 通过一系列引理与情形分析，最终得出AIFV编码在2位延迟可解码类别中为最优的结论。

实验结果

研究问题

• RQ1 当允许超过两个码表时，AIFV编码在所有2位延迟可解码编码中是否仍为最优？
• RQ2 AIFV编码在双码表系统中已证明的最优性，能否扩展至完整的有限码表、2位延迟可解码编码类别？
• RQ3 码组需满足何种结构特性，才能在2位延迟约束下实现最优？
• RQ4 转移概率与前缀集P^k_{F,i}如何影响延迟约束编码系统中的平均码字长度？

主要发现

• AIFV编码在所有2位延迟可解码编码中达到最小可能的平均码字长度，无论使用多少个码表。
• 即使码表数量超过两个，AIFV编码的最优性依然成立，解决了此前的开放问题。
• 证明表明AIFV编码在规则、可扩展且2位延迟可解码的码组类别中为最优。
• 作者证明，任何具有2位延迟约束的码组均可转换为等价的AIFV编码，且平均码字长度不会增加。
• 结果确认AIFV编码不仅对双表系统最优，而且是整个2位延迟可解码类别中的最优选择。
• 本文完整刻画了2位延迟可解码编码的最优性条件，其中AIFV编码构成了最优子类。