Age Dispersion and Higher-Order AoI in Status Update Systems

技术摘要：状态更新系统中的年龄离散度与高阶信息龄 (AoI)

问题陈述
信息龄（Age of Information, AoI）已成为量化状态更新系统中信息新鲜度的标准指标。然而，本文指出，AoI 本身并不能完全捕捉信息的“时间一致性”（temporal consistency）。在某些应用场景中，例如使用云端渲染增强现实（AR）技术的远程工业支持，更新不仅必须是新鲜的（低 AoI），而且在时间间隔上必须保持紧凑。即使最近一次更新非常新鲜，如果连续更新之间存在巨大的时间间隙，也会导致视觉不稳定和 AR 应用中的晕动症。为了填补这一空白，作者引入了年龄离散度（age dispersion）的概念，将其作为衡量时间一致性的指标。

方法论与定义
本文分析了一个单源状态更新系统，该系统被建模为 M/G/1/1 排队模型（泊松到达、一般服务时间、单服务器、无等待队列），并采用概率抢占策略（probabilistically preemptive policy）。在该策略下，到达的数据包在服务器空闲时进入服务；如果服务器正忙，新到达的数据包以概率 $\theta$ 抢占正在服务的当前数据包，否则该新数据包将被丢弃。

作者定义了以下关键指标：

1. 年龄离散度 ($D$)： 最近接收到的两个更新之间的年龄差。形式上，若 $t'_i$ 为第 $i$ 次更新的交付时间，$t_i$ 为其生成时间，则在时间 $\tau$ 时的年龄离散度为 $D(\tau) = t_{N(\tau)} - t_{N(\tau)-1}$，其中 $N(\tau)$ 是最近一次更新的索引。
2. $k$ 阶年龄离散度 ($D^{(k)}$)： 最近接收到的更新与第 $(k+1)$ 个最近接收到的更新之间的年龄差。
3. $k$ 阶信息龄 ($\Delta^{(k)}$)： 第 $k$ 个最近接收到的更新的年龄。

作者建立了这些指标之间的基本关系，表明平均 $k$ 阶信息龄等于平均标准信息龄 ($\Delta$) 与平均第 $(k-1)$ 阶年龄离散度的和：
$$\Delta^{(k)} = \Delta + D^{(k-1)}$$

主要贡献与分析结果
本文为 M/G/1/1 系统中的这些指标提供了闭式解：

• 平均年龄离散度 ($D$)： 作者推导出平均年龄离散度等于平均离去时间 $E[Y]$。对于具有概率抢占的 M/G/1/1 系统，其表达式为：
  $$D = \frac{L_S(\lambda\theta)(\theta - 1) + 1}{\lambda\theta L_S(\lambda\theta)}$$
  其中 $L_S$ 是服务时间分布的拉普拉斯变换，$\lambda$ 是到达率。

  • 特例： 对于全抢占策略 ($\theta=1$)，$D_P = 1/(\lambda L_S(\lambda))$。对于非抢占策略 ($\theta \to 0$)，$D_{NP} = E[S] + 1/\lambda$。

• 平均 $k$ 阶信息龄 ($\Delta^{(k)}$)： 通过结合先前文献中的标准 AoI 结果与推导出的离散度公式，本文将平均 $k$ 阶信息龄表征为：
  $$\Delta^{(k)} = \Delta + (k-1) \frac{L_S(\lambda\theta)(\theta - 1) + 1}{\lambda\theta L_S(\lambda\theta)}$$

数值结果与观察
作者通过使用形状参数为 $\kappa$、速率为 $\beta$ 的 Gamma 分布服务时间，对加权和 $\Delta + \alpha D$（对应于 $\alpha = k-1$ 时的 $\Delta^{(k)}$）进行了评估。主要发现如下：

1. 失效率（Hazard Rate）的影响： 抢占的有效性取决于服务时间分布的失效率。
   • 当 $\kappa \le 1$（递减或恒定失效率）时，增加抢占概率 $\theta$ 会降低平均第 $(k+1)$ 阶信息龄。
   • 当 $\kappa > 1$（递增失效率）时，增加 $\theta$ 会增加平均第 $(k+1)$ 阶信息龄。这是因为抢占一个由于失效率增加而极有可能即将完成的任务是适得其反的。
2. 抢占与非抢占的对比：
   • 对于 $\kappa < 1$，抢占策略产生的年龄离散度较低（$D_P < D_{NP}$）。
   • 对于 $\kappa = 1$（指数分布服务），$D_P = D_{NP}$。
   • 对于 $\kappa > 1$，抢占策略产生的年龄离散度较高（$D_P > D_{NP}$）。
3. 最优到达率： 使高阶信息龄最小化的最优到达率 $\lambda$ 取决于抢占概率 $\theta$ 和服务时间分布。只有当抢占率较低或服务分布允许时，高到达率才是有益的；否则，高到达率会导致过度抢占接近完成阶段的数据包。

意义与主张
本文声称，对于需要时间一致性的应用，年龄离散度是 AoI 必不可少的补充。通过从年龄离散度的角度定义并表征高阶信息龄，作者证明了最小化高阶信息龄本质上既能确保信息新鲜度（低标准 AoI），也能确保数据交付的时间一致性（低年龄离散度）。

本研究建立了分析 M/G/1/1 系统中这些指标的理论框架。作者指出，虽然本文侧重于 M/G/1/1 模型，但未来的工作可以扩展到其他排队模型（例如 M/M/1、M/G/1/2、多源系统），并探索依赖于当前系统状态而非固定概率的状态选择性抢占策略。