This paper studies reliability-guaranteed decoding for variable-length stop-feedback (VLSF) codes over correlated noncoherent fading channels. The decoding rule is based on the evolution of the information density associated with a given channel input-output realization. Due to channel memory, exact evaluation of this information density is intractable. To enable constructive decoding, computable finite-blocklength lower and upper bounds on the information density that hold uniformly over time along each input-output sequence are derived. The lower bound enables a stopping-time analysis for VLSF decoding and has an operational meaning, while the upper bound provides a reference for the relaxation gap, which is explicitly characterized. As a concrete application, the Gauss-Markov fading channel with Gaussian signaling is considered to numerically investigate the stopping-time distribution and the impact of fading correlation on decoding performance.

翻译：本文研究在相关非相干衰落信道上，针对可变长度停止反馈（VLSF）码的可靠性保证译码。译码规则基于给定信道输入-输出实现所关联的信息密度的演化。由于信道记忆特性，对该信息密度的精确评估是难以处理的。为了实现可构造性译码，本文推导了沿着每条输入-输出序列在时间上一致成立的信息密度的可计算有限块长下界和上界。下界为VLSF译码提供了停止时间分析，并具有操作意义，而上界则为松弛间隙提供了参考，该间隙被显式刻画。作为具体应用，考虑高斯-马尔可夫衰落信道与高斯信令，数值研究了停止时间分布及衰落相关性对译码性能的影响。