[论文解读] Exploiting non-quantum entanglement to widen applicability of limited-entanglement classical simulations of quantum systems

N. Ratanje, S. Virmani|arXiv (Cornell University)|Jan 3, 2012

Quantum Computing Algorithms and Architecture被引用 3

一句话总结

本文表明，使用超越量子可分性的广义纠缠概念，可显著扩展基于稳定子的量子计算机的经典模拟范围。通过针对受限测量集合重新定义可分性，Harrow-Nielsen 模拟算法实现了对最多 56% 联合去极化噪声的魔术态量子计算机的高效经典模拟，优于使用标准量子纠缠准则时的 66% 阈值。

ABSTRACT

It is known that if the quantum gates in a proposed quantum computer are so noisy that they are incapable of generating entanglement, then the device can be efficiently simulated classically. If the measurements and single particle operations are restricted, then the same statement can be true for generalised non-quantum notions of entanglement. Here we show that this can improve the applicability of limited-entanglement simulation algorithms. In particular, we show that by using a non-quantum notion of separability a classical simulation algorithm of Harrow & Nielsen can efficiently simulate magic state quantum computers with noisy CNOTs (but otherwise ideal) for joint depolarising strengths of 272/489 ~ 56%, in comparison to noise levels of 2/3 ~ 66% required if the algorithm uses quantum notions of separability. This suggests that quantum entanglement may not be the most appropriate notion of entanglement to use when discussing the power of stabilizer based quantum computers.

研究动机与目标

• 探究超越量子可分性的纠缠新概念是否能提升经典模拟算法的适用范围。
• 评估在基于稳定子的量子计算中，广义纠缠准则下 Harno-Nielsen 模拟算法的适用性。
• 确定非稳定子资源（如魔术态）在结合非量子纠缠度量时是否可被视为经典。
• 确定在广义可分性下仍能实现高效经典模拟的 CNOT 门最小噪声水平。
• 探索布洛赫球中的截断立方体是否为实现此类模拟中最大噪声容忍度的最优集合。

提出的方法

• 通过用 C-可分性（C 为在单量子比特操作下封闭的单粒子态凸集）替代量子可分性，改进 Harno-Nielsen 经典模拟算法。
• 利用测量集合 M 的对偶定义 C-可分性，确保模拟过程中测量概率保持非负。
• 将广义可分性框架应用于魔术态量子计算，其中单量子比特操作为 Clifford 门，测量受限于 Pauli 基。
• 分析在联合去极化噪声下，噪声 CNOT 门的作用，将输出态建模为来自截断立方体集合 C 的乘积态混合。
• 利用 Pauli 测量结果推导可分性的必要不等式，特别关注 X 和 Y 基测量概率。
• 采用解析与数值方法计算输出态保持 C-可分性的最小噪声参数 λ，其中 r 参数化截断立方体。

实验结果

研究问题

• RQ1 非量子纠缠概念是否能将经典模拟的适用范围扩展至标准量子纠缠无法达到的范围？
• RQ2 在广义可分性下，魔术态量子计算机的 CNOT 门最大噪声水平是多少，仍可实现高效经典模拟？
• RQ3 与标准量子可分性条件相比，使用广义纠缠准则是否能提升模拟阈值？
• RQ4 布洛赫球中的截断立方体是否为最大化此类模拟中噪声容忍度的最优集合 C？
• RQ5 能否推导出所需噪声水平的解析边界，并证明其在特定参数区域下为紧致边界？

主要发现

• Harno-Nielsen 模拟算法可扩展至广义 C-可分性下运行，实现对具有非量子纠缠的基于稳定子的量子电路的高效经典模拟。
• 对于魔术态量子计算机，该算法在 CNOT 门的联合去极化噪声达 56% 时仍能实现高效经典模拟，优于标准量子可分性下的 66% 阈值。
• 当 r = 1/2 时，最小噪声阈值 λ = 272/489 ≈ 0.5562 可解析实现，且该值几乎紧致，其必要下界为 5/9 ≈ 0.5556。
• 当 r = 1/2 时，分析中的情形 2、3 和 4 均与其各自的解析下界一致，表明所推导的噪声阈值对这些情形为最优。
• 情形 1 尚未获得解析解，但数值证据表明其附近可实现相同阈值。
• 结果表明，量子纠缠可能并非容错量子计算中非经典性的最适当度量，广义纠缠在预测经典可模拟性方面具有更强的解释力。