[论文解读] Timely Lossless Source Coding for Randomly Arriving Symbols

Jing Zhong, Roy D. Yates+1 more|arXiv (Cornell University)|Oct 2, 2018

Age of Information Optimization参考文献 10被引用 5

一句话总结

本文提出了一种针对实时流媒体中随机到达源符号的最优前缀非损失编码方案，以最小化平均峰值信息年龄（PAoI）。通过将系统建模为离散时间Geo/G/1队列，并对空缓冲区状态引入预测编码，该方案相较于朴素方法显著降低了PAoI，尤其在高负载下，通过基于缓冲区空闲时间估计的自适应码字分配实现。

ABSTRACT

We consider a real-time streaming source coding system in which an encoder observes a sequence of randomly arriving symbols from an i.i.d. source, and feeds binary codewords to a FIFO buffer that outputs one bit per time unit to a decoder. Each source symbol represents a status update by the source, and the timeliness of the system is quantified by the age of information (AoI), defined as the time difference between the present time and the generation time of the most up-to-date symbol at the output of the decoder. When the FIFO buffer is allowed to be empty, we propose an optimal prefix-free lossless coding scheme that minimizes the average peak age based on the analysis of discrete-time Geo/G/1 queue. For more practical scenarios in which a special codeword is reserved for indicating an empty buffer, we propose an encoding scheme that assigns a codeword to the empty buffer state based on an estimate of the buffer idle time.

研究动机与目标

• 设计一种损失无损源编码方案，以最小化随机到达源符号的实时系统中的平均峰值信息年龄（PAoI）。
• 解决FIFO流媒体系统中缓冲区为空状态的挑战，其中解码器必须获知空闲时段以维持时效性。
• 在无法使用显式信令的情况下，为缓冲区空闲状态开发实用的编码策略，从而在效率上优于朴素方法。
• 分析缓冲区空闲时间估计对码字分配及PAoI性能的影响，采用Geo/G/1排队框架。
• 探索自适应编码技术，允许在新符号到达时抢占空符号（null symbol）的传输，从而提升时效性。

提出的方法

• 将系统建模为离散时间Geo/G/1队列，具有速率为 $ q $ 的独立同分布伯努利到达，每个符号通过前缀非码编码，并以每单位时间 $ R=1 $ 比特的速率送入FIFO缓冲区。
• 为扩展源 $ X' = X \cup \{\epsilon\} $ 提出最优前缀非码，其中 $ \epsilon $ 表示空缓冲区状态，其概率质量函数为 $ P_{X'}(x) = (1-p_\epsilon)P_X(x) $（$ x \in \mathcal{X} $），且 $ P_{X'}(\epsilon) = p_\epsilon $。
• 引入一种预测编码方案，根据对缓冲区空闲时间占比的估计，为 $ \epsilon $ 分配码字，以PAoI最小化为目标，而非熵最小化。
• 基于Geo/G/1队列的年龄分析，推导平均峰值年龄，考虑码字服务时间及 $ \epsilon $ 对系统延迟的影响。
• 提出一种自适应编码机制，使 $ \epsilon $ 与活动符号的码字共享公共前缀，从而在新符号到达时可抢占 $ \epsilon $ 的传输。
• 通过数值仿真评估性能，比较在均匀分布与Zipf分布源下，不同符号到达率 $ q $ 的预测方案与朴素方案。

实验结果

研究问题

• RQ1 如何设计一种前缀非损失编码方案，以最小化随机到达符号的实时流媒体系统中的平均峰值信息年龄（PAoI）？
• RQ2 当无法使用显式信令时，最优编码空缓冲区状态的方法是什么？这如何影响系统时效性？
• RQ3 对空符号 $ \epsilon $ 的码字长度选择如何影响活动符号的平均码字长度及整体PAoI？
• RQ4 允许在新符号到达时抢占 $ \epsilon $ 传输的自适应编码能否改善年龄性能？此类编码的结构约束是什么？
• RQ5 系统负载（以 $ q \cdot \mathbb{E}[L] $ 衡量）如何影响压缩效率与年龄性能之间的权衡？

主要发现

• 预测编码方案为零符号 $ \epsilon $ 分配更长的码字，从而降低活动符号的平均码字长度 $ \mathbb{E}[L_X] $，在高负载下实现更低的PAoI。
• 当源到达率 $ q $ 较小时，预测方案与朴素方案性能相同，因为系统大部分时间处于空闲状态，此时 $ \epsilon $ 的最短码字为最优。
• 对于包含20个符号的均匀分布源，预测方案在中等到高负载下PAoI低于朴素方案，且由于活动消息码字的平均长度减少，PAoI曲线上升更晚。
• 在指数 $ s=1 $ 的Zipf分布源下，预测方案在更高负载下仍优于朴素方案，表明其对源分布偏斜具有鲁棒性。
• 允许在新符号到达时抢占 $ \epsilon $ 传输的自适应编码方案可降低接收端的年龄，如示例所示，符号 $ B $ 在 $ t=3 $ 时被解码，而非等待 $ \epsilon $ 传输完成。
• 由于 $ \epsilon $ 依赖于缓冲区状态，导致有效到达过程非独立同分布，预测方案的年龄分析较为复杂，但该框架可通过PMF估计实现性能优化。