1. 课程导入与安全参数设计全景

诱骗态量子密钥分发（Decoy-State QKD）解决的是现实世界中“单光子源不完美”这一根本矛盾。理想的 BB84 协议假设发送方每次只发一个光子，但实际激光器发出的脉冲服从泊松分布，多光子脉冲不可避免。窃听者 Eve 可以对这些多光子脉冲实施光子数分离攻击（PNS），在不被发现的情况下获取密钥信息。诱骗态方法通过随机改变脉冲强度，让 Eve 无法区分信号脉冲与诱骗脉冲，从而在统计上约束多光子脉冲的贡献，把“不可证明安全”的实用系统重新拉回可证明安全的框架内。

但“用了诱骗态”并不等于“安全”。诱骗态 QKD 的最终安全性由一组安全参数共同决定：脉冲强度 μ、诱骗强度 ν、真空态比例、信号态与诱骗态的发送概率、总脉冲数 N、以及后处理阶段的纠错效率 f 和隐私放大压缩量。这些参数不是孤立的，它们通过密钥率公式和有限码长效应相互耦合。安全参数设计的核心任务，就是在给定信道损耗、探测器暗计数、系统误码率等物理约束下，选择一组参数，使得密钥率尽可能高，同时安全裕度不被侵蚀。

先看约束从哪来。以最常用的三强度诱骗态方案为例，发送方以概率 p_μ 发送强度 μ 的信号态，以 p_ν 发送强度 ν 的诱骗态，以 p_0 发送真空态，满足 p_μ + p_ν + p_0 = 1。接收端统计各强度下的增益 Q_μ、Q_ν 和误码率 E_μ、E_ν。由这些观测量可以估计单光子脉冲的增益下界 Y_1^L 和单光子误码率上界 e_1^U。密钥率的下界近似为：

R ≥ q · { -Q_μ · f · H₂(E_μ) + Q_1^L · [1 - H₂(e_1^U)] }

其中 q 为基比对效率（BB84 中约 1/2），f 为纠错效率（典型值 1.1～1.2），H₂ 为二元熵函数，Q_1^L 为由诱骗态估计出的单光子增益下界。这个公式清楚显示了参数之间的拉扯：增大 μ 会提高 Q_μ 和整体计数率，但多光子比例上升，Q_1^L 的估计变紧；减小 ν 有利于压低多光子贡献，但诱骗态计数太少会导致统计涨落变大，估计不再可靠。p_μ 过大则诱骗态样本不足，p_ν 过大则信号态密钥产出下降。

有限码长效应进一步加剧了这种紧张。实际系统不可能发送无穷多个脉冲，统计涨落必须用置信区间处理。总脉冲数 N 越小，Y_1^L 和 e_1^U 的估计越保守，密钥率下降越明显。工程上常见的做法是：先根据信道损耗和探测器参数估算预期密钥率，再反推满足安全裕度所需的最小 N，最后在成码率和实时性之间取折中。例如一个典型城际链路，信道总损耗约 20 dB，探测器暗计数率约 100 Hz，系统误码率约 2%，在 N 取 10⁹～10¹⁰ 量级时，优化后的 μ 通常落在 0.4～0.6，ν 落在 0.05～0.15，p_μ 约 0.7～0.8。这些数值属于教学示例中的合理假设，实际系统必须依据自身标定结果重新优化。

这张全景图把设计流程拆成四层：物理约束是输入，安全参数是决策变量，统计估计是桥梁，密钥率下界是最终判据。实际工程中，这个流程往往需要迭代。第一次选定的参数组可能因为诱骗态计数不足导致 Y_1^L 估计过紧，密钥率为负；此时需要增大 N 或调整 p_ν，重新估计。也可能因为 μ 偏大导致 e_1^U 偏高，隐私放大压缩过多，此时应适当降低 μ。参数优化不是一次公式代入，而是一个“估计—判断—调整”的闭环。

本课程后续将围绕这条主线展开。第一部分建立诱骗态安全证明的基本框架，讲清楚 Y_1^L 和 e_1^U 是怎么从观测量中推出来的，以及有限码长下置信区间如何选取。第二部分进入参数优化，分别讨论对称三强度、非对称诱骗态、以及针对不同信道条件的强度配置策略，并给出可复现的计算示例。第三部分转向工程实现，覆盖强度调制器的标定误差、态制备的强度波动、时间滤波与探测效率失配等非理想因素如何折算进安全参数，以及如何通过实验数据反推实际参数偏离。第四部分是一个完整的实战项目：给定一条模拟光纤链路的损耗、暗计数和误码率，从零完成参数设计、安全性校验和密钥率评估，并输出一份可核查的参数设计报告。

最后需要强调一个容易被忽视的约束：安全参数设计必须与安全证明的假设保持一致。如果证明中假设诱骗态与信号态在时域、频域和空间模式上不可区分，那么实际系统中强度调制带来的相位变化、不同强度下的时序抖动，都必须被标定并纳入考量。参数表上的数字再漂亮，一旦物理实现偏离了证明假设，安全性就不再成立。因此本课程在每个参数讨论中都会同时给出“理论取值”和“工程校验方法”，让设计结果既能算得出来，也能验得过去。