设备无关量子密钥分发速率的上界与修正的 Peres 猜想

设备无关量子密钥分发（DIQKD）是量子密码学中最具挑战性的任务之一。其协议与安全性建立在 Bell 不等式的存在以及通过测量纠缠态违背这些不等式的能力之上。我们以两种不同方式研究 DIQKD 协议所需的纠缠。我们的第一个贡献是推导了基于 CHSH 的 DIQKD 协议密钥速率关于该不等式违背量的上界；这为给定违背量下从态中提取 DI 密钥的速率设定了上限。我们的上界改进了 Kaur 等人先前已知的界。我们的第二个贡献是开启了束缚纠缠态在 DIQKD 中作用的研究。我们提出一个修正的 Peres 猜想，指出此类态不能作为 DIQKD 的资源。我们通过证明 Vertesi 与 Brunner 发现的束缚纠缠态尽管可以认证 DI 随机性，却无法用于通过类似于被广泛研究的基于 CHSH 的 DIQKD 协议来生成密钥，为该猜想提供了首份证据。