[论文解读] Security of quantum key distribution with discrete rotational symmetry

Masato Koashi|ArXiv.org|Jul 16, 2005

Laser-Matter Interactions and Applications被引用 12

一句话总结

本文证明了使用具有离散旋转对称性的衰减激光脉冲的SARG04量子密钥分发协议及其M状态协议的无条件安全性。通过利用系统的2M重旋转对称性并将问题简化为纠缠制备模型，作者推导出SARG04的密钥率标度为$ O(\eta^{3/2}) $，而$ M = 2k-1 $或$ 2k $时的密钥率标度为$ O(\eta^{(k+1)/k}) $，在低信道噪声下性能更优。

ABSTRACT

We prove the unconditional security of quantum key distribution protocols using attenuated laser pulses with M different linear polarizations. When M=4, the proof covers the so-called SARG04 protocol [V.~Scarani et al., Phys. Rev.\ Lett. {\bf 92}, 057901 (2004)], which uses exactly the same quantum communication as the Bennett-Brassard 1984 protocol. For a channel with transmission $η$, we show that the key rate in SARG04 scales as $O(η^{3/2})$. When we increase the number of states to M=2k-1 or 2k, the key rate scaling improves as $O(η^{(k+1)/k})$.

研究动机与目标

• 使用具有离散旋转对称性的衰减激光脉冲证明SARG04协议的无条件安全性。
• 将SARG04协议推广至具有$ M $个线性偏振态的M状态协议，并分析其密钥率标度。
• 通过利用旋转对称性和量子态分解，将密钥率标度提升至超过$ O(\eta^2) $。
• 量化在各种攻击模型下密钥率标度与比特误码率之间的权衡。

提出的方法

• 协议使用相位随机化的衰减激光脉冲，采用角度$ \theta = \pi l/M $编码$ M $种不同偏振态，生成具有离散旋转对称性的量子态。
• 系统被映射到一个密度矩阵为$ \mathcal{H} \cong \mathbb{C}^M \otimes \mathbb{C}^2 $的纠缠制备模型，从而实现简化的安全性分析。
• 将希尔伯特空间分解为按角动量标记的子空间，使得标准的纠缠制备安全性技术得以应用。
• 关键技术在于使用阈值$ K = \lceil M/2 \rceil $限制高光子数分量的贡献，从而将问题简化为低维子空间。
• 安全性证明通过测量算符的凸包分析以及对态保真度的界，推导出涉及$ \gamma $、$ \epsilon $和$ \beta(\epsilon) $的密钥率表达式。
• 在高损耗极限$ \eta \to 0 $下分析协议，密钥增益表示为$ \eta^{(K+1)/K} $、$ \gamma $和比特误码率$ \epsilon $的函数。

实验结果

研究问题

• RQ1 SARG04协议能否在任意窃听攻击下被证明具有无条件安全性？
• RQ2 在存在信道损耗的情况下，SARG04协议可实现的最优密钥率标度是什么？
• RQ3 增加偏振态数量$ M $如何影响密钥率标度及对噪声的鲁棒性？
• RQ4 能否利用协议的离散旋转对称性来简化安全性证明并改进界？
• RQ5 对于M状态协议，$ O(\eta^{(K+1)/K}) $标度可实现的阈值比特误码率$ \epsilon $是多少？

主要发现

• 在高损耗极限$ \eta \to 0 $下，SARG04协议实现了$ O(\eta^{3/2}) $的密钥率标度，优于使用衰减激光的BB84协议的$ O(\eta^2) $标度。
• 对于$ M = 2k-1 $或$ 2k $，密钥率标度为$ O(\eta^{(k+1)/k}) $，其中$ k = \lceil M/2 \rceil $，表明随着$ M $增大性能更优。
• 可实现$ O(\eta^{(K+1)/K}) $标度的阈值信道噪声$ \epsilon $仅依赖于$ \Theta = \pi L/M $，而不依赖于$ M $，最优性能出现在$ \Theta \sim \pi/(4(K-1)) $附近。
• 当$ \epsilon = 0 $时，最优源强度标度为$ \mu \sim 1.51 \eta^{1/2} $，可最小化SARG04中的密钥率损失。
• $(6,1)$协议实现了$ O(\eta^{5/4}) $标度，优于$(5,1)$协议，通过处理两个探测器输出，密钥增益可翻倍。
• 安全性证明对结合非简明态判别与光子数分裂的混合攻击具有鲁棒性，且由于此类攻击，阈值$ K = \lceil M/2 \rceil $为最优。