[论文解读] On the Shannon capacity and queueing stability of random access multicast

Brooke Shrader, Anthony Ephremides|ArXiv.org|May 21, 2007

Cooperative Communication and Network Coding参考文献 20被引用 5

一句话总结

本文分析了在具有多包接收能力的删除信道上，随机接入多播系统中的香农容量与稳定吞吐量区域。结果表明，与长期存在的猜想相反，稳定吞吐量区域可能严格小于香农容量区域，且在长块长下，随机线性编码优于重传策略。

ABSTRACT

We study and compare the Shannon capacity region and the stable throughput region for a random access system in which source nodes multicast their messages to multiple destination nodes. Under an erasure channel model which accounts for interference and allows for multipacket reception, we first characterize the Shannon capacity region. We then consider a queueing-theoretic formulation and characterize the stable throughput region for two different transmission policies: a retransmission policy and random linear coding. Our results indicate that for large blocklengths, the random linear coding policy provides a higher stable throughput than the retransmission policy. Furthermore, our results provide an example of a transmission policy for which the Shannon capacity region strictly outer bounds the stable throughput region, which contradicts an unproven conjecture that the Shannon capacity and stable throughput coincide for random access systems.

研究动机与目标

• 在允许干扰和多包接收的删除信道模型下，刻画随机接入多播系统的香农容量区域。
• 分析两种传输策略下的稳定吞吐量区域：ARQ重传和随机线性编码。
• 研究在有限用户随机接入系统中，稳定吞吐量区域是否与香农容量区域一致。
• 解决一个长期存在的猜想，即在随机接入系统中，这两个区域是相等的。

提出的方法

• 建立一个在支持多包接收的删除信道上运行的多源-多目的地对多播系统的模型。
• 使用信息论技术（包括典型序列和Fano不等式）推导香农容量区域。
• 构建具有无限缓冲区的排队模型，并通过马尔可夫链状态转移分析编码和重传分组的稳定性。
• 利用随机优势和马尔可夫链分析，计算在随机线性编码和ARQ重传策略下的稳定吞吐量区域。
• 应用数据处理不等式和互信息的凹性，证明容量区域的逆向结论。
• 通过数值评估和大块长下的渐近分析，比较两种策略下的稳定吞吐量区域。

实验结果

研究问题

• RQ1 在有限用户随机接入多播系统中，稳定吞吐量区域是否与香农容量区域一致？
• RQ2 在多包接收条件下，随机线性编码与ARQ重传在稳定吞吐量方面有何比较？
• RQ3 在随机接入多播场景中，稳定吞吐量区域是否可能严格小于香农容量区域？
• RQ4 多包接收能力对稳定吞吐量区域的凸性和结构有何影响？
• RQ5 在大块长下，排队动态和编码策略如何影响系统的稳定性？

主要发现

• 稳定吞吐量区域可能严格小于香农容量区域，这与广泛持有的‘两者在随机接入系统中相等’的猜想相矛盾。
• 在大块长下，随机线性编码实现的稳定吞吐量高于ARQ重传策略。
• 在多包接收下，稳定吞吐量区域是凸的，且由直线边界限定，这与碰撞信道模型下的非凸区域形成对比。
• 通过典型序列和Fano不等式推导出容量区域，表明在多个多址接入信道（MAC）容量区域交集内的速率下，可靠通信是可能的。
• 随机线性编码的马尔可夫链模型能够捕捉每个接收端收到的分组线性独立性的演化过程，从而实现精确的吞吐量分析。
• 结果表明，分组到达的突发性会影响稳定性，因此稳定性区域并不总是等同于容量区域。