被动基矢选择与探测器效率失配下真实卫星量子密钥分发系统的安全性分析

《Entropy》：Security of Quantum Key Distribution with Passive Basis Choice and Detection Efficiency Mismatch for a Realistic Satellite Setup

　　

探测器效率失配是实际量子密钥分发（QKD）系统中常见的问题。现有的针对被动基矢选择的安全证明仅在探测器效率失配较小时能够给出非零的密钥率。然而，在实际系统中，探测器效率失配可能相当显著。本文提出了一种不同的方法来估计采用被动基矢选择且四个阈值探测器之间存在探测器效率失配的BB84协议的密钥率，其中失配不被假定为小量。研究人员还将诱骗态方法适配于该情形。所提出的方法被用于估计“墨子号”（Micius）卫星与兹韦尼哥罗德（Zvenigorod）地面站之间QKD实验的密钥率。

论文解读：被动基矢选择与探测器效率失配下真实卫星QKD系统的安全性分析

一、研究背景与问题提出

量子密钥分发（QKD）技术能够使合法通信双方（Alice和Bob）建立用于加密消息传输的共享秘密密钥，其安全性基于量子物理定律，提供信息论意义上的安全保障，即窃听者（Eve）即使拥有无限计算能力且仅受物理定律限制，也无法获取关于所分发密钥的有效信息。1984年由Bennett和Brassard提出的BB84协议已被广泛使用，并发展出多种安全证明方法。然而，实际量子通信系统在物理实现上存在不完美之处，可能导致信息泄露。这一问题对于真实卫星QKD系统尤为突出，因为卫星运行环境极端，且卫星发射后无法对其部件进行修改。

在离散变量QKD系统中，单光子探测器以一定概率（即探测效率）记录光子态，且不同探测器的探测效率不同，这种现象称为探测器效率失配。它常见于采用可信单光子阈值探测器的QKD协议中。本文研究采用被动基矢选择的四探测器BB84协议，即接收方使用分束器而非随机数发生器来选择测量基矢。针对主动基矢选择中探测器效率失配的安全证明已有研究，而被动基矢选择可采用一般数值方法计算密钥率，但解析方法能显著加快密钥处理速度，这对通信时间有限的实时卫星QKD会话尤为重要，特别是快速隐私放大过程。

近期文献[26]给出了被动基矢选择情况下密钥长度的解析解，但其基于探测器效率失配较小、可视为“微扰”的假设。然而，在“墨子号”卫星与兹韦尼哥罗德地面站的QKD实验中存在显著的探测器效率失配，各探测器效率差异可超过2.7倍，且不同传输态存在不同错误率。这些效应源于兹韦尼哥罗德地面接收机不同通信信道的光学与探测器效率并非完全一致。遗憾的是，文献[26]的公式对这些实际参数给出的密钥率为零。因此，需要一种将大探测器效率失配视为“固有”而非“微扰”的更精确分析理论。

二、研究内容与主要结论

研究人员在前期工作中描述了卫星对地QKD实验，并提出了考虑（不一定小的）探测器效率失配的密钥率初步公式。本文在此基础上，通过发展文献[16,17]的思想，建立了严格的理论框架。研究假设Eve知道确切的探测效率值但无法操控它们，并在Bob端单光子假设下开展研究，即如果Alice发射单光子态，Bob最多接收到一个光子。同时，研究人员采用诱骗态方法来处理Alice端的多光子脉冲问题。利用所提出的方法，研究人员分析了存在探测器效率失配的卫星对地量子通信信道，以估计“墨子号”卫星与兹韦尼哥罗德地面站QKD实验的最终密钥。

三、主要关键技术方法

研究人员采用等效纠缠公式描述BB84协议，将Alice和Bob的测量基矢选择表示为量子硬币。Bob端测量由含四个探测器效率的正算子值测度（POVM）描述。密钥率计算基于Devetak–Winter定理，利用熵不确定性关系消除Eve子系统，并通过Fano不等式估计Bob端错误修正项。核心方法包括：构造优化问题求解条件熵下界；利用对称性确定密度矩阵形式并计算特征值；推导精确公式及两种简化公式；采用诱骗态方法估计单光子信号态的探测概率和错误率；利用剩余哈希引理处理有限密钥效应。实验数据来自“墨子号”卫星与兹韦尼哥罗德地面站之间的卫星对地QKD实验。

四、研究结果

定理1与密钥率公式。 研究人员给出了渐近密钥率受约束优化问题的解析下界，即式(19)，并推导了两种使用更聚合统计量的简化公式(25)和(27)。密钥率关于探测器效率失配参数具有单调性，因此可使用探测效率下界而非精确值来评估密钥，这对实际应用具有重要意义。

诱骗态方法适配。 研究人员将诱骗态方法适配于被动基矢选择且存在探测器效率失配的情形。通过分别估计单光子信号态的探测概率下界和错误率上界，给出了密钥率计算公式(32)。当探测效率相等时，密钥率退化为已知的标准形式。

信道建模与实验验证。 研究人员利用卫星对地QKD信道模型，将链路效率表示为卫星仰角和距离的函数。通过拟合实验数据获得四个接收信道的探测器效率，发现信道Z和X的效率相差2.7倍，证实了实验中存在显著的探测器效率失配。利用精确公式(23)计算得到密钥长度为271,670比特，计算时间不到1秒，而数值方法需100秒以上且给出277,100比特，两者差异小于2%。

密钥率比较分析。 与无失配情形相比，考虑探测器效率失配时密钥率下降不超过9%。精确公式(19)与简化公式(25)相比，密钥率下降不超过10%。当效率比η_Z/η_X在0.5至2范围内时，失配导致的密钥率下降小于1%；而在实验值范围η_Z/η_X=2.7附近，密钥率下降可能显著。对于小失配，精确公式与简化公式结果一致；对于大失配，需使用精确公式获得更准确的估计。

五、讨论与结论

研究人员指出，本文的主要贡献是为被动基矢选择且存在高探测器效率失配的实际卫星QKD系统提供了密钥率估计的解析方法，补充了文献[26]仅适用于小失配的分析。研究局限性包括：式(19)、(25)和(27)仅适用于渐近情形，式(23)仅考虑集体攻击，假设探测效率恒定，以及Bob端单光子近似。Bob端多光子可导致探测器双响，可通过计数这些点击来克服。研究人员强调，实验中探测器效率值是对实验数据拟合的结果而非直接观测量，这凸显了对可变或未完全表征的探测器效率进行安全分析的重要性。未来研究方向包括探测器暗计数率失配的影响，以及探测效率失配随时间变化且部分受Eve控制的情形。