[论文解读] Entanglement is Necessary for Optimal Quantum Property Testing

Sébastien Bubeck, Sitan Chen+1 more|arXiv (Cornell University)|Apr 16, 2020

Quantum Computing Algorithms and Architecture参考文献 40被引用 7

一句话总结

本文证明了在最优量子性质检测中，纠缠态是必需的，证明了非纠缠（自适应或非自适应）测量需要 Ω(d⁴/³/ε²) 份副本才能完成混合度检测——这比使用纠缠测量可实现的最优 O(d/ε²) 份副本严格更多。该结果解决了开放性问题，表明在量子态认证中，纠缠与非纠缠测量方案之间存在超线性分离。

ABSTRACT

There has been a surge of progress in recent years in developing algorithms for testing and learning quantum states that achieve optimal copy complexity. Unfortunately, they require the use of entangled measurements across many copies of the underlying state and thus remain outside the realm of what is currently experimentally feasible. A natural question is whether one can match the copy complexity of such algorithms using only independent---but possibly adaptively chosen---measurements on individual copies. We answer this in the negative for arguably the most basic quantum testing problem: deciding whether a given $d$-dimensional quantum state is equal to or $ε$-far in trace distance from the maximally mixed state. While it is known how to achieve optimal $O(d/ε^2)$ copy complexity using entangled measurements, we show that with independent measurements, $Ω(d^{4/3}/ε^2)$ is necessary, even if the measurements are chosen adaptively. This resolves a question of Wright. To obtain this lower bound, we develop several new techniques, including a chain-rule style proof of Paninski's lower bound for classical uniformity testing, which may be of independent interest.

研究动机与目标

• 解决一个关键问题：是否仅通过实验上可行的非纠缠测量即可实现量子态认证中的最优副本复杂度。
• 研究非纠缠测量（包括非自适应与自适应）在量子性质检测中相对于纠缠测量的根本限制。
• 为最基本的混合度检测问题，建立纠缠与非纠缠测量策略之间副本复杂度的定量分离。
• 开发新的分析技术，包括基于链式法则风格的潘宁斯基地经典均匀性检测下限的证明，该技术可能具有更广泛的应用价值。

提出的方法

• 基于随机酉平均和矩生成函数的新型信息论框架，证明非纠缠、可能自适应测量的副本复杂度下限。
• 通过随机酉矩阵的浓度不等式，引入经典二项尾部界限的量子模拟，利用量子测量算符的结构。
• 采用链式法则风格的论证方法，重新推导潘宁斯基地经典下限，建立一种可能具有独立实用价值的新技术。
• 分析随机酉变换下测量结果统计量乘积的期望，以限制最大混合态与 ε-远离态之间的可区分性。
• 应用高维随机矩阵二次型的改进版 Hanson-Wright 不等式，控制测量统计量的尾部概率。
• 结合尾部界限与矩估计，推导出可靠区分所需副本数的下限，证明 Ω(d⁴/³/ε²) 份副本是必需的。

实验结果

研究问题

• RQ1 是否能仅通过非纠缠测量实现量子混合度检测的最优 O(d/ε²) 副本复杂度？
• RQ2 当测量被限制为非纠缠且可能自适应时，所需的最小副本复杂度是多少？
• RQ3 在量子态认证中，纠缠与非纠缠测量策略之间是否存在可证明的副本复杂度分离？
• RQ4 是否可将潘宁斯基等经典下限技术适配到量子场景，以获得新的量子信息理论结果？
• RQ5 与纠缠测量相比，自适应非纠缠测量在量子性质检测中的根本限制是什么？

主要发现

• 在量子混合度检测中，非纠缠自适应测量需要 Ω(d⁴/³/ε²) 份副本，相比使用纠缠测量可实现的最优 O(d/ε²) 副本复杂度，呈现超线性增长。
• 本文建立了纠缠与非纠缠测量方案之间的严格分离，表明纠缠是实现最优副本复杂度的必要条件。
• 提出了一种新证明技术，通过链式法则风格论证重新推导潘宁斯基地经典均匀性检测下限，该方法在经典统计学中可能具有独立兴趣。
• 分析表明，即使采用自适应非纠缠测量，也无法匹配纠缠测量的效率，其根本原因在于从单个副本中提取信息的局限性。
• 下限通过矩生成函数分析与随机酉矩阵上的浓度不等式推导得出，表明在非纠缠测量下，ε-远离态与最大混合态之间的可区分性衰减过慢。
• 该结果解决了 [Wri16] 提出的开放性问题，证明纠缠不仅是技术上的便利，更是最优量子性质检测的必要资源。