[论文解读] Equivalence of three classical algorithms with quantum side information: Privacy amplification, error correction, and data compression

Toyohiro Tsurumaru|arXiv (Cornell University)|Sep 18, 2020

Quantum Information and Cryptography参考文献 34被引用 9

一句话总结

该论文在存在量子侧信息的情况下，建立了隐私放大（PA）、错误校正（EC）和数据压缩（DC）的一次性等价性，通过线性码与哈希函数的对偶性，将三者统一于单一框架之下。关键贡献在于提出了一种新颖的等价关系，可将PA的安全界转化为EC和DC的新编码定理，同时简化了量子密钥分发（QKD）的安全证明，统一了剩余哈希引理与相位错误校正方法。

ABSTRACT

Privacy amplification (PA) is an indispensable component in classical and quantum cryptography. Error correction (EC) and data compression (DC) algorithms are also indispensable in classical and quantum information theory. We here study these three algorithms (PA, EC, and DC) in the presence of quantum side information, and show that they all become equivalent in the one-shot scenario. As an application of this equivalence, we take previously known security bounds of PA, and translate them into coding theorems for EC and DC which have not been obtained previously. Further, we apply these results to simplify and improve our previous result that the two prevalent approaches to the security proof of quantum key distribution (QKD) are equivalent. We also propose a new method to simplify the security proof of QKD.

研究动机与目标

• 在存在量子侧信息的情况下，将隐私放大（PA）、错误校正（EC）和数据压缩（DC）统一于单一理论框架之下。
• 证明当考虑量子侧信息时，这三个经典算法在一次性场景下变得等价。
• 将已知的PA安全界（通过剩余哈希引理）转化为EC和DC在存在量子侧信息情况下的新编码定理，此前未被证明。
• 通过PA、EC与DC之间的等价性，简化并改进现有量子密钥分发（QKD）的安全证明。
• 提出一种新方法，通过使用平滑最大熵而非相位错误率，简化基于相位错误校正（PEC）的QKD证明。

提出的方法

• 引入PA中使用的线性哈希函数与EC及DC中使用的线性码之间的对偶框架，建立其输入与输出之间的一一对应关系。
• 在PA中使用纯化距离作为安全标准，而非传统的迹距离，从而实现更紧密且更通用的等价结果。
• 通过共享的量子侧信息，利用哈希函数f与其对偶码g之间的对偶性，将PA协议映射为等价的EC与DC协议。
• 通过转换已知的剩余哈希引理（LHL）边界（针对universal2、almost universal2和almost dual universal2哈希函数），推导出EC与DC的新编码定理。
• 利用量子侧信息构建PA、EC与DC的等价协议，使三者在安全/性能指标上完全一致。
• 通过评估随机性使用平滑最大熵，重新表述基于PEC的QKD证明，确保与LHL方法完全等价，并消除额外的安全因子。

实验结果

研究问题

• RQ1 在存在量子侧信息的情况下，隐私放大、错误校正与数据压缩能否在单一框架下统一？
• RQ2 在存在量子侧信息的一次性场景中，PA、EC与DC之间的精确数学等价关系是什么？
• RQ3 已知的PA安全界（通过剩余哈希引理）能否转化为EC与DC的新编码定理？
• RQ4 这种等价性如何简化并改进现有量子密钥分发（QKD）的安全证明？
• RQ5 基于相位错误校正（PEC）的QKD证明能否被重新表述，使其与LHL方法完全一致，且不引入额外的安全损失？

主要发现

• 当存在量子侧信息时，三个经典算法——隐私放大、错误校正与数据压缩——在一次性场景下是等价的。
• 该等价性适用于广泛的哈希函数类，包括universal2、almost universal2与almost dual universal2，扩展了以往仅限于universal2的结论。
• 从已知的LHL边界推导出EC与DC在存在量子侧信息情况下的新编码定理，这是此前文献中尚未建立的新颖结果。
• 通过证明LHL方法与PEC方法在新框架下等价，且未引入额外安全因子，从而简化并改进了QKD的安全证明。
• 提出一种新方法，通过使用平滑最大熵而非相位错误率来评估QKD中的随机性，确保与LHL方法完全等价，并消除近似误差。
• 该等价性具有鲁棒性：尽管状态变换T并非对合，但其结果在安全性（PA）与性能（EC/DC）方面具有操作等价性。