Worst-case Redundancy of Optimal Binary AIFV Codes and Their Extended Codes

Binary almost instantaneous fixed-to-variable length (AIFV) codes are lossless codes that generalize the class of instantaneous fixed-to-variable length codes. The code uses two code trees and assigns source symbols to incomplete internal nodes as well as to leaves. AIFV codes are empirically shown to attain better compression ratio than Huffman codes. Nevertheless, an upper bound on the redundancy of optimal binary AIFV codes is only known to be 1, which is the same as the bound of Huffman codes. In this paper, the upper bound is improved to 1/2, which is shown to coincide with the worst-case redundancy of the codes. Along with this, the worst-case redundancy is derived for sources with <inline-formula> <tex-math notation="LaTeX">$p_{\max }\geq 1$ </tex-math></inline-formula>/2, where <inline-formula> <tex-math notation="LaTeX">$p_{\max }$ </tex-math></inline-formula> is the probability of the most likely source symbol. In addition, we propose an extension of binary AIFV codes, which use <inline-formula> <tex-math notation="LaTeX">$m$ </tex-math></inline-formula> code trees and allow at most <inline-formula> <tex-math notation="LaTeX">$m$ </tex-math></inline-formula>-bit decoding delay. We show that the worst-case redundancy of the extended binary AIFV codes is <inline-formula> <tex-math notation="LaTeX">$1/m$ </tex-math></inline-formula> for <inline-formula> <tex-math notation="LaTeX">$m \leq 4$ </tex-math></inline-formula>.