[论文解读] Finite-Length Analysis of BATS Codes

Shenghao Yang, Tsz-Ching Ng+1 more|arXiv (Cornell University)|Dec 17, 2013

Cooperative Communication and Network Coding参考文献 18被引用 14

一句话总结

本文针对具有分组丢失的网络编码中的BATS码，提出了有限长度分析，聚焦于置信传播（BP）和去活解码。推导了解码失败概率和去活概率的递归公式，揭示了两者均随分组数量呈指数下降，从而实现对实际码长的精确性能评估与设计优化。

ABSTRACT

BATS codes were proposed for communication through networks with packet loss. A BATS code consists of an outer code and an inner code. The outer code is a matrix generation of a fountain code, which works with the inner code that comprises random linear coding at the intermediate network nodes. In this paper, the performance of finite-length BATS codes is analyzed with respect to both belief propagation (BP) decoding and inactivation decoding. Our results enable us to evaluate efficiently the finite-length performance in terms of the number of batches used for decoding ranging from 1 to a given maximum number, and provide new insights on the decoding performance. Specifically, for a fixed number of input symbols and a range of the number of batches used for decoding, we obtain recursive formulae to calculate respectively the stopping time distribution of BP decoding and the inactivation probability in inactivation decoding. We also find that both the failure probability of BP decoding and the expected number of inactivations in inactivation decoding can be expressed in a power-sum form where the number of batches appears only as the exponent. This power-sum expression reveals clearly how the decoding failure probability and the expected number of inactivation decrease with the number of batches. When the number of batches used for decoding follows a Poisson distribution, we further derive recursive formulae with potentially lower computational complexity for both decoding algorithms. For the BP decoder that consumes batches one by one, three formulae are provided to characterize the expected number of consumed batches until all the input symbols are decoded.

研究动机与目标

• 解决小规模有限长度BATS码在实际输入符号数下与渐近分析之间的性能差距。
• 为有限长度BATS码提供BP与去活解码的精确且高效的性能评估。
• 实现BATS码的优化度分布设计，以在实际场景中提升解码成功率。
• 表征有限长度约束下BP解码的停止时间分布与去活概率。

提出的方法

• 推导用于计算固定输入符号数下BP解码停止时间分布的递归公式。
• 推导在使用一系列分组时，去活解码中去活概率的递归表达式。
• 将BP解码失败概率与预期去活次数表示为幂和形式，其中指数为分组数量。
• 引入服从泊松分布的分组数量，以降低性能评估中的计算复杂度。
• 提供三种公式，用于计算BP解码器实现完全解码前消耗的预期分组数。
• 通过结合有限长度分析对渐近设计进行修正，实现有限长度性能的度分布优化。

实验结果

研究问题

• RQ1 对于有限长度BATS码，BP解码的失败概率如何随分组数量变化？
• RQ2 在去活解码中，去活概率如何随已使用分组数量而变化？
• RQ3 去活解码中的预期去活次数能否表示为闭式幂和表达式？
• RQ4 当输入符号数较小时，有限长度BATS码的性能与渐近设计相比如何？
• RQ5 当分组数量服从泊松分布时，性能评估的计算复杂度能否降低？

主要发现

• BP解码失败概率与去活解码中预期去活次数均可表示为以分组数量为指数的幂和形式，表明其呈指数衰减。
• 对于固定输入符号数，递归公式可高效计算从1到最大值的所有分组数量下的BP解码停止时间分布与去活概率。
• 当用于解码的分组数量服从泊松分布时，两种解码算法的递归公式可能具有更低的计算复杂度。
• BP解码器实现完全解码前消耗的预期分组数可通过三种不同的递归公式进行计算。
• 通过有限长度分析优化的度分布在输入符号数较小时，显著优于渐近优化的度分布。
• 幂和表达式表明，性能随分组数量增加而迅速提升，为实际BATS码构造提供了清晰的设计启示。