[論文レビュー] 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（Almost Instantaneous Fixed-to-Variable）符号が、使用するコードテーブルの数に関係なく、2ビット遅延可解な符号の全クラスにおいて、最適な平均符号語長を達成することを証明している。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.

研究の動機と目的

• 任意の有限個のコードテーブルを用いる2ビット遅延可解な符号の一般クラスにおいて、AIFV符号の最適性を確立すること。
• 2ビットデコード遅延制約下で2つを超えるコードテーブルを許容する場合に、AIFV符号が最適であるかどうかという未解決問題を解明すること。
• kビット遅延可解な符号タプルのクラスを形式的に定式化し、その構造的性質および最適性を分析すること。
• 2つのコードテーブルに限った先行結果を、有限個のコードテーブルを用いる2ビット遅延可解な符号の全クラスへ一般化すること。

提案手法

• 著者は、有限個のコードテーブルと、写像τiに従う状態遷移メカニズムを持つシステムを符号タプルとして定義する。
• 符号タプルの遅延制約下での動作をモデル化するため、前継集合と遷移確率に基づく形式的枠組みを導入する。
• kビット遅延可解な符号タプルの概念を導入し、符号語のデコードに、最大kビットの将来情報に依存することを定義する。
• 特に、P^k_{F,i} として、遅延kで符号語がデコード可能になるkビットの前継集合を定義する。
• 正則かつ拡張可能な符号タプルの構造的解析に依拠し、最適性の議論を簡略化するため、F̂, Ḟ, F̈ といった補助的符号タプルを導入する。
• 主結果は、一連の補題とケース解析を通じて導出され、AIFV符号が2ビット遅延可解な符号クラスにおいて最適であることを証明する。

実験結果

リサーチクエスチョン

• RQ1 2つを超えるコードテーブルが許容される状況において、AIFV符号が2ビット遅延可解な符号の全クラスにおいて最適であるか？
• RQ2 2つのコードテーブルに限った場合にのみ示されたAIFV符号の最適性が、有限個のコードテーブルを用いる2ビット遅延可解な符号の全クラスへ拡張可能か？
• RQ3 2ビット遅延制約下で最適となる符号タプルが満たすべき構造的性質は何か？
• RQ4 遷移確率と前継集合P^k_{F,i} は、遅延制約付き符号化システムにおける平均符号語長にどのように影響するか？

主な発見

• AIFV符号は、使用するコードテーブルの数に関係なく、2ビット遅延可解な符号の全クラスにおいて、最小の平均符号語長を達成する。
• コードテーブルの数が2つを超過しても、AIFV符号の最適性が保たれることを確認し、以前未解決であった問題を解決した。
• 正則かつ拡張可能な2ビット遅延可解な符号タプルのクラスにおいて、AIFV符号が最適であることが証明された。
• 2ビット遅延制約を満たす任意の符号タプルは、平均符号語長を増加させることなく、同等のAIFV符号に変換可能であることが示された。
• 本結果により、AIFV符号は2テーブル系に限らず、2ビット遅延可解な全クラスにおいて最適な選択肢であることが確認された。
• 2ビット遅延可解な符号の最適性条件を完全に特徴づけ、AIFV符号が最適な部分クラスを形成することが明らかになった。