[论文解读] Hypothesis Testing Over the Two-hop Relay Network

Sadaf Salehkalaibar, Michèle Wigger+1 more|arXiv (Cornell University)|Aug 17, 2017

Cooperative Communication and Network Coding参考文献 27被引用 6

一句话总结

该论文提出了一种级联信源编码与一致决策转发方案，用于在两跳中继网络中进行二元假设检验，在中继到接收机链路速率足够高的情况下，实现了‘检验条件独立性’的最优II类错误指数，以及‘检验独立性’某些情况下的最优II类错误指数。该方案将两跳解耦为独立的点对点编码，使得在观测满足马尔可夫链条件时，性能可达到理论极限。

ABSTRACT

Coding and testing schemes and the corresponding achievable type-II error exponents are presented for binary hypothesis testing over two-hop relay networks. The schemes are based on cascade source coding techniques and {unanimous decision-forwarding}, the latter meaning that a terminal decides on the null hypothesis only if all previous terminals have decided on the null hypothesis. If the observations at the transmitter, the relay, and the receiver form a Markov chain in this order, then, without loss in performance, the proposed cascade source code can be replaced by two independent point-to-point source codes, one for each hop. The decoupled scheme (combined with decision-forwarding) is shown to attain the optimal type-II error exponents for various instances of "testing against conditional independence." The same decoupling is shown to be optimal also for some instances of "testing against independence," when the observations at the transmitter, the receiver, and the relay form a Markov chain in this order, and when the relay-to-receiver link is of sufficiently high rate. For completeness, the paper also presents an analysis of the Shimokawa-Han-Amari binning scheme for the point-to-point hypothesis testing setup.

研究动机与目标

• 表征在通信速率受限的两跳中继网络中二元假设检验的可实现II类错误指数。
• 设计编码与检验方案，以最小化II类错误，同时确保随着观测长度增加，I类错误趋于消失。
• 确定在何种条件下，两跳网络可被解耦为无性能损失的独立点对点源编码。
• 证明所提方案在‘检验条件独立性’及‘检验独立性’特定情形下的最优性。
• 为完整性，分析Shimokawa-Han-Amari分组方案在点对点假设检验背景下的表现。

提出的方法

• 该方案采用级联信源编码，对发送端和中继端的观测进行压缩，以便转发至接收端。
• 采用一致决策转发机制：仅当所有前序节点也声明原假设时，终端才声明原假设。
• 中继和接收端在原假设下，对重构序列与自身观测的联合典型性进行检验。
• 对于马尔可夫链 X→Y→Z，证明两跳系统等价于两个独立的点对点源编码，从而实现解耦。
• 错误指数分析采用信息论工具，包括互信息、散度及数据处理不等式。
• 引入时分复用的随机变量以推导对偶性，最终在极限情况下得到单字母化表征。

实验结果

研究问题

• RQ1 在‘检验条件独立性’条件下，两跳中继网络能否实现II类错误指数的最优性？
• RQ2 在何种条件下，两跳网络在错误指数性能上等价于两个独立的点对点源编码？
• RQ3 当中继到接收机链路为高比特率时，所提方案在‘检验独立性’情形下是否最优？
• RQ4 Shimokawa-Han-Amari分组方案在点对点假设检验设置下的表现如何？
• RQ5 在多跳网络中，通信速率与II类错误指数之间的基本权衡关系是什么？

主要发现

• 当观测构成马尔可夫链 X→Y→Z 时，所提方案在‘检验条件独立性’下实现了最优II类错误指数。
• 对于‘检验独立性’情形下 X→Z→Y 且中继到接收机链路为高比特率的情况，解耦方案达到了最优错误指数。
• 在马尔可夫链条件下，两跳网络可被分解为两个无性能损失的独立点对点源编码。
• 中继端的错误指数受互信息 I(S_t; Y_t) 限制，其中 S_t 表示相关充分统计量。
• 接收端的错误指数受 I(S_t; Z_t) 限制，对偶性证明在极限下建立了单字母化表征。
• 对Shimokawa-Han-Amari分组方案进行了分析，结果表明其在点对点情形下有效，为网络设置提供了基准性能。