[论文解读] One-Shot Private Classical Capacity of Quantum Wiretap Channel: Based on one-shot quantum covering lemma

Jaikumar Radhakrishnan, Pranab Kumar Sen+1 more|arXiv (Cornell University)|Mar 6, 2017

Quantum Information and Cryptography参考文献 11被引用 13

一句话总结

本文通过新颖的一次性量子覆盖引理和算子切尔诺夫不等式，建立了量子窃听信道的私密经典容量的一次性界。它以量子假设检验偏离度和光滑最大相对熵为度量，推导出紧致的上下界，为有限块长下的安全通信提供了非渐近框架。

ABSTRACT

In this work we study the problem of communication over the quantum wiretap channel. For this channel there are three parties Alice (sender), Bob (legitimate receiver) and Eve (eavesdropper). We obtain upper and lower bounds on the amount of information Alice can communicate to Bob such that Eve gets to know as little information as possible about the transmitted messages. Our bounds are in terms of quantum hypothesis testing divergence and smooth max quantum relative entropy. To obtain our result we prove a one-shot version of the quantum covering lemma along with operator Chernoff bound for non-square matrices.

研究动机与目标

• 为爱丽丝向鲍勃发送信息的同时最小化对夏娃的信息泄露，开发量子窃听信道上一次性私密经典通信的界。
• 在有限块长的非渐近设置下，将经典信息谱框架扩展至量子领域。
• 利用量子信息理论度量（如量子假设检验偏离度和光滑最大相对熵）建立私密容量的紧致上下界。
• 证明一次性量子覆盖引理，并对非方阵应用算子切尔诺夫不等式，以实现这些界。

提出的方法

• 作者提出一种专为量子窃听信道设计的一次性量子覆盖引理，使有限块长通信的分析成为可能。
• 他们采用非方阵的算子切尔诺夫不等式，以控制编码过程中出现的随机矩阵集合的尾部行为。
• 分析使用量子假设检验偏离度来量化夏娃端联合分布与乘积态分布之间的可区分性。
• 使用光滑最大相对熵来限制所传消息的保密性，确保夏娃的知识保持可忽略。
• 该框架将信道建模为CPTP映射 $\mathcal{N}^{A\to BE}$，将输入态映射为鲍勃和夏娃的关联输出态。
• 证明技术结合了概率方法与矩阵集中不等式，推导出错误概率和保密概率的界。

实验结果

研究问题

• RQ1 在一次性设置下，爱丽丝通过量子窃听信道能可靠地向鲍勃传输的最大经典信息量是多少，同时确保对夏娃的信息泄露最小？
• RQ2 如何将量子覆盖引理适配至一次性设置，以界定量子信道的私密容量？
• RQ3 量子假设检验偏离度和光滑最大相对熵在量化有限块长量子通信中的保密性和可靠性方面起什么作用？
• RQ4 非方阵的算子切尔诺夫不等式能否有效用于分析量子窃听码的性能？
• RQ5 一次性界与信息谱设置下的渐近结果相比如何？

主要发现

• 本文以量子假设检验偏离度和光滑最大相对熵为度量，建立了私密经典容量的一次性下界。
• 证明了一次性量子覆盖引理，使有限块长下安全码的构造成为可能。
• 解码过程的错误概率被界定为 $\Pr\{\mathcal{E}^{*}\} \leq 4d_{1}\exp\left(-10^{-11}\varepsilon^{3}\frac{M}{\beta}\right) + \exp\left(-10^{-8}\varepsilon^{2}M\right)$，表明其随消息大小呈指数衰减。
• 随机矩阵 $A^g$ 的范数超过 $\frac{1}{120}\|A\|$ 的概率至少为 0.22，这支持了覆盖引理的鲁棒性。
• 分析表明，以高概率，矩阵 $\bar{H}\bar{\Lambda}$ 满足 $\|\bar{H}\bar{\Lambda}\| \geq \frac{1}{6}\mathrm{Tr}[\bar{H}^\dagger\bar{H}\bar{\Lambda}]$，这对覆盖引理的有效性至关重要。
• 结果提供了非渐近、有限块长的私密容量表征，弥合了经典信息谱理论与量子信道编码之间的差距。