[论文解读] A lower bound on the overhead of quantum error correction in low dimensions

Nouédyn Baspin, Omar Fawzi+1 more|arXiv (Cornell University)|Feb 8, 2023

Quantum Computing Algorithms and Architecture被引用 4

一句话总结

该论文通过仅使用几何局部操作，在低维量子架构中建立了量子误差校正所需空间开销的根本下界。证明了在2D情况下，即使存在任意经典计算，由于纠缠制备能力和局部性约束的限制，开销仍以 Ω(√log(1/δ)) 的速率增长，其中 δ 为逻辑错误率。

ABSTRACT

We show that a quantum architecture with an error correction procedure limited to geometrically local operations incurs an overhead that grows with the system size, even if arbitrary error-free classical computation is allowed. In particular, we prove that in order to operate a quantum error correcting code in 2D at a logical error rate of $δ$, a space overhead of $Ω(\sqrt{\log(1/δ)})$ is needed for any constant depolarizing noise $p > 0$.

研究动机与目标

• 确定仅使用几何局部操作的低维系统中，量子误差校正所需的最小空间开销。
• 研究任意经典计算是否能够克服几何局部性对量子误差校正施加的限制。
• 建立一个与逻辑错误率倒数及系统维度成比例的开销下界。
• 形式化误差校正性能与在空间受限架构中生成纠缠能力之间的联系。
• 将该下界推广至D维系统，通过几何函数 g_geom 展示其对维度 D 的依赖性。

提出的方法

• 采用量子系统与经典系统之间可分离操作的框架，允许任意经典计算，但将量子操作限制在局部相互作用。
• 对物理量子比特寄存器 A 进行划分，划分为边界大小 |∂Γ_i| 有界的子集 Γ_i，利用 D 维空间中的等周不等式。
• 在编码态中使用纠缠度量 E_R(Λ_i : ḞΛ_i) 来量化信息流动与错误鲁棒性。
• 应用量子误差校正确保条件（公式 2），将逻辑错误率 δ 与恢复通道性能关联起来。
• 通过涉及划分大小、边界大小与错误参数的一系列不等式，推导出物理量子比特数 m 的下界。
• 使用几何常数 c1(D)、c2(D) 和参数 f = log_p(δ)，将开销表示为 D 和 δ 的函数，最终得出下界。

实验结果

研究问题

• RQ1 在仅使用局部操作的2D量子架构中，为实现目标逻辑错误率 δ，所需的最小空间开销是多少？
• RQ2 任意经典计算能否补偿几何局部性在量子误差校正中带来的限制？
• RQ3 在 D 维系统中，开销如何随逻辑错误率 δ 和噪声参数 p 变化？
• RQ4 局部性、纠缠制备与误差校正性能之间的根本权衡是什么？
• RQ5 系统的几何结构是否在不依赖编码设计的前提下，对开销施加了内在的下界？

主要发现

• 在2D中，仅使用局部操作与任意经典计算时，量子误差校正的空间开销对任意常数去极化噪声 p > 0 均为 Ω(√log(1/δ))。
• 该下界可推广至 D 维，得到开销为 Ω((log(1/δ))^{1/D})，表明维度增加时收益递减。
• 当逻辑错误率 δ 随系统大小 m 指数衰减时，开销下界为 Ω(m^{c/2})。
• 即使经典计算免费，该结果依然成立，证明了量子操作的局部性是根本瓶颈。
• 该下界通过纠缠度量与几何划分推导得出，凸显了非局域性在误差校正性能中的关键作用。
• 该分析适用于任何纠缠制备速度受限的架构，直接将误差校正能力与纠缠动力学联系起来。