1. 课程导入与泄漏问题界定
在超导量子计算、离子阱以及半导体量子点等主流平台上,量子门并不是通过"瞬间翻转一个比特"实现的,而是由外部微波、激光或磁通脉冲驱动量子系统在能级之间做受控演化。理想情况下,一个量子比特只有 |0⟩ 和 |1⟩ 两个计算能级,所有操作都被约束在这二维子空间内。但真实物理系统天然存在更高的能级,例如超导 transmon 比特的 |2⟩、|3⟩ 能级,或离子阱中额外的塞曼子能级。当驱动脉冲的频率、包络或时序不够理想时,布居会部分"漏"到这些非计算能级上,这就是本课程要处理的核心问题——泄漏(leakage)。
泄漏与常见的退相干误差有本质区别。退相干表现为布居从 |1⟩ 衰减到 |0⟩ 或相位随机化,误差在计算子空间内部发生;而泄漏是把布居转移到计算子空间之外,属于"越界"误差。更麻烦的是,泄漏出去的布居不会自动消失,它会在 |2⟩ 上停留一段时间,期间继续受到后续脉冲和环境的耦合,可能再次部分返回 |0⟩、|1⟩,也可能进一步跃迁到更高能级。这种"离开—停留—返回"的过程使泄漏误差具有记忆性和非马尔可夫特征,简单的单比特保真度指标往往低估其危害。
泄漏如何侵蚀门保真度
要理解泄漏的影响,需要区分两个层次。第一层是单次门内的直接损失:假设一个 X 门作用后,有 0.5% 的布居漏到 |2⟩,那么该门在计算子空间内的保真度上限就已经被压低。第二层是泄漏的传播与累积:在多比特门(如交叉共振 CNOT)中,泄漏态与相邻比特的耦合强度、频率都与计算态不同,会引入条件相位错误;在量子纠错电路中,泄漏会沿着校验子测量网络扩散,一个泄漏比特可能污染多个数据比特,甚至使表面码的阈值行为整体恶化。业界普遍观察到,当泄漏率超过约 10⁻³ 量级时,纠错码的有效距离会明显下降,这正是泄漏抑制成为容错量子计算关键工程问题的原因。
下面这张图把泄漏的产生、停留、返回与传播路径,以及脉冲整形在其中的作用位置放在同一张关系图中,便于建立整体认识。
三个核心概念的分工
泄漏是问题本身,指布居出现在计算子空间之外。工程上常用泄漏率 L₁ 描述单次操作后非计算能级的布居占比,用平均泄漏率刻画随机化基准测试中的稳态泄漏水平。脉冲整形是手段,指在保持目标旋转角与旋转轴不变的前提下,设计驱动脉冲的包络形状、频率轨迹、相位关系与升降沿,使脉冲的频谱分量尽可能避开 |1⟩→|2⟩ 跃迁频率,或利用附加分量主动抵消泄漏幅度。抑制是目标,既包括降低单次门的泄漏率,也包括阻断泄漏在多比特电路中的传播,例如通过泄漏减少单元(LRU)把 |2⟩ 布居有序地送回计算子空间。
三者构成"诊断—设计—验证"的闭环:先用随机化基准测试与泄漏测量分离出泄漏率,再据此选择整形方案与参数,最后用门保真度、泄漏率和多比特电路表现共同判断是否达标。需要强调的是,脉冲整形并非只服务于泄漏抑制,它同时会影响门时间、鲁棒性和控制硬件带宽占用,因此实际设计总是在多个指标间折中,而不是单纯把泄漏压到最低。
本课程要解决的问题与学习路径
本课程聚焦于通过脉冲整形技术抑制量子门操作中的泄漏误差,不展开量子纠错码的编译层面,也不深入讨论材料与器件层面的泄漏来源。课程将围绕一条主线推进:先建立泄漏的物理图像与度量方法,再进入单比特门整形(高斯升降沿、DRAG 及其变体),随后扩展到多比特门的泄漏抑制与泄漏减少单元设计,最后落到参数标定、实验判读与常见故障排查。
为了让学习目标可检验,下面给出一个贯穿课程的示例性指标框架(数值为教学假设,用于说明如何设定与判读,不代表任何具体硬件的实测结果):
| 观察对象 | 示例目标值 | 判读方式 |
|---|---|---|
| 单比特门泄漏率 L₁ | ≤ 1×10⁻³ | 随机化基准测试后接 |2⟩ 布居测量 |
| 两比特门泄漏率 | ≤ 5×10⁻³ | 交叉共振门后联合读出与态层析 |
| 门保真度 | ≥ 99.5%(单比特) | 交错随机化基准测试 |
| 泄漏残留时间 | ≤ 3 个门周期 | 延迟扫描观察 |2⟩ 布居衰减 |
需要提前建立的一个判断习惯是:泄漏率下降不等于门保真度必然提升。如果整形脉冲引入了额外的相干误差或延长了门时间导致退相干加重,总保真度可能反而变差。因此后续每一节的实验判读,都应把泄漏率、保真度与门时间放在一起看,这也是本课程反复强调的工程视角。