[论文解读] Strong Converse for a Degraded Wiretap Channel via Active Hypothesis Testing

Masahito Hayashi, Himanshu Tyagi+1 more|arXiv (Cornell University)|Oct 2, 2014

Wireless Communication Security Techniques参考文献 9被引用 6

一句话总结

该论文通过将窃听编码问题转化为主动假设检验，为具有公共反馈的退化窃听信道容量建立了强 converse。证明了对于任意满足 $\epsilon + \delta < 1$ 的 $\epsilon, \delta < 1$，速率 $C_{\epsilon,\delta}$ 的上界为 $\max_{P_X} I(X;Y|Z)$，从而对所有非退化错误与保密参数完整刻画了保密容量。

ABSTRACT

We establish an upper bound on the rate of codes for a wiretap channel with public feedback for a fixed probability of error and secrecy parameter. As a corollary, we obtain a strong converse for the capacity of a degraded wiretap channel with public feedback. Our converse proof is based on a reduction of active hypothesis testing for discriminating between two channels to coding for wiretap channel with feedback.

研究动机与目标

• 为具有公共反馈的退化窃听信道的保密容量建立强 converse。
• 通过证明所有满足 $\epsilon + \delta < 1$ 的 $\epsilon$ 和 $\delta$ 值（而不仅限于特定范围）的强 converse，填补先前研究中的空白。
• 通过将窃听编码问题转化为用于信道区分的主动假设检验，统一编码理论与假设检验。
• 通过类似 meta-converse 的约化方法，为窃听码提供有限块长 converse。

提出的方法

• 将窃听编码问题约化为两个信道之间的主动假设检验问题：真实窃听信道 $W$ 与满足 $V(y,z|x) = V_2(z|x)V_1(y|z)$ 的退化信道 $V$。
• 通过从窃听码到二元假设检验的约化，使检验能够区分在信道 $W$ 和 $V$ 下由窃听码诱导的联合分布。
• 应用文献 [17] 中的定理 5，利用假设检验中第二类错误的误差指数 $\beta_{\epsilon + \delta + \eta}(W,V,n)$ 来界定消息数 $N$。
• 利用文献 [6] 中对信道区分最优误差指数的刻画，推导出 $\log N$ 的上界。
• 在信道 $V$ 下利用因子分解性质 $Q_{M\hat{M}|Z^n\mathbf{F}} = Q_{M|Z^n\mathbf{F}} \times Q_{\hat{M}|Z^n\mathbf{F}}$，以确保假设检验约化成立。
• 将不等式 $\log N \leq -\log \beta_{\epsilon + \delta + \eta}(W,V,n) + 2\log(1/\eta)$ 与已知最优指数结合，推导出强 converse。

实验结果

研究问题

• RQ1 能否为具有公共反馈的退化窃听信道，在所有满足 $\epsilon + \delta < 1$ 的 $\epsilon, \delta < 1$ 情况下建立保密容量的强 converse？
• RQ2 在反馈存在的情况下，上界 $\max_{P_X} I(X;Y|Z)$ 是否对所有非退化错误与保密参数均紧致？
• RQ3 能否以一种能导出强 converse 的方式，将窃听编码问题约化为用于信道区分的主动假设检验？
• RQ4 该约化到假设检验的过程是否保留了反证法所必需的统计独立性结构？

主要发现

• 对于任意满足 $\epsilon + \delta < 1$ 的 $(N,n,\epsilon,\delta)$-窃听码，对所有满足 $0 < \eta < 1 - \epsilon - \delta$ 及所有满足 $V(y,z|x) = V_2(z|x)V_1(y|z)$ 的信道 $V$，均有 $\log N \leq -\log \beta_{\epsilon + \delta + \eta}(W,V,n) + 2\log(1/\eta)$。
• 强 converse 对所有 $\epsilon, \delta \in (0,1)$ 且满足 $\epsilon + \delta < 1$ 成立，证明了 $C_{\epsilon,\delta} \leq \max_{P_X} I(X;Y|Z)$。
• 上界 $\max_{P_X} I(X;Y|Z)$ 是紧致的，并完整刻画了所有此类 $\epsilon$ 与 $\delta$ 的保密容量，解决了长期存在的开放问题。
• 通过主动假设检验的证明方法提供了一种新颖且统一的框架，将 meta-converse 方法扩展至具有反馈的窃听信道。
• 该结果适用于离散与连续字母表信道，包括高斯窃听信道。
• 在信道 $V$ 下，$Q_{M\hat{M}|Z^n\mathbf{F}} = Q_{M|Z^n\mathbf{F}} \times Q_{\hat{M}|Z^n\mathbf{F}}$ 的因子分解性质对假设检验约化至关重要，并通过交互式反馈下的条件独立性得以证明。