[论文解读] A Survey of Quantum Property Testing

Ashley Montanaro, Ronald de Wolf|arXiv (Cornell University)|Oct 8, 2013

Quantum Mechanics and Applications参考文献 139被引用 48

一句话总结

本综述全面概述了量子性质测试，将其划分为三个领域：用于经典性质的量子测试者（例如，利用Shor或Simon算法实现指数级加速），用于量子对象的经典测试者（例如，量子门的自测试），以及用于量子性质的量子测试者（例如，测试态的相等性、可分性或酉算符的可交换性）。其主要贡献在于统一并系统化了已知结果，同时指出了量子复杂性理论中的开放问题，以及量子性质测试在证明量子PCP定理中的潜在作用。

ABSTRACT

The area of property testing tries to design algorithms that can efficiently handle very large amounts of data: given a large object that either has a certain property or is somehow "far" from having that property, a tester should efficiently distinguish between these two cases. In this survey we describe recent results obtained for quantum property testing. This area naturally falls into three parts. First, we may consider quantum testers for properties of classical objects. We survey the main examples known where quantum testers can be much (sometimes exponentially) more efficient than classical testers. Second, we may consider classical testers of quantum objects. This is the situation that arises for instance when one is trying to determine if quantum states or operations do what they are supposed to do, based only on classical input-output behavior. Finally, we may also consider quantum testers for properties of quantum objects, such as states or operations. We survey known bounds on testing various natural properties, such as whether two states are equal, whether a state is separable, whether two operations commute, etc. We also highlight connections to other areas of quantum information theory and mention a number of open questions.

研究动机与目标

• 对三个领域中的新兴领域——用于经典对象的量子测试者、用于量子系统的经典测试者，以及用于量子对象的量子测试者——进行系统化整理与综述。
• 识别并分析在特定问题（如juntas、群论性质和函数对称性）上实现相对于经典性质测试者指数级或显著加速的量子算法。
• 探索量子性质测试与更广泛的量子复杂性理论之间的联系，包括量子PCP猜想以及QMA(k) = QMA(2)等复杂性类包含关系。
• 突出开放问题与研究方向，特别是对哪些性质可实现高效量子测试者的刻画，以及将经典性质测试概念扩展到量子领域的可能性。

提出的方法

• 将量子性质测试划分为三个主要场景：用于经典对象的量子测试者、用于量子系统的经典测试者，以及用于量子对象的量子测试者。
• 回顾关键量子算法（如振幅放大、Bernstein-Vazirani、Simon、Shor和Ambainis算法）作为构建高效量子测试者的基石工具。
• 应用多项式方法与对手方法，推导出量子性质测试者查询复杂度的下界，确立可能加速的极限。
• 使用距离度量（如迹距离、保真度）形式化量子态与过程测试中的“接近”与“远离”概念，从而实现对测试者性能的严格分析。
• 分析用于量子门和酉算符的自测试协议，依赖于经典输入输出行为来验证量子操作，而无需完整的态层析。
• 探索与量子复杂性理论的联系，包括在证明复杂性类等式（如QMA(k) = QMA(2)）中使用量子性质测试者，以及对量子PCP猜想的启示。

实验结果

研究问题

• RQ1 量子算法能否在自然的经典性质（如juntas、对称性或群论函数）上实现相对于经典性质测试者的指数级加速？
• RQ2 如何利用经典输入输出行为来验证量子操作或态的正确性？即，经典自测试在量子设备上的极限是什么？
• RQ3 测试量子态的基本性质（如相等性、可分性或乘积结构）的量子查询复杂度是多少？
• RQ4 量子性质测试者在在多大程度上可用于证明或支持量子复杂性理论的猜想，如量子PCP猜想？
• RQ5 哪些类别的量子或经典性质可实现高效的量子测试者？能否发展出此类性质的一般性刻画？

主要发现

• 利用Bernstein-Vazirani和Simon等算法，量子测试者可在juntas、对称函数以及某些群论性质上实现相对于经典测试者的指数级加速。
• 已存在用于量子门和酉算符的自测试协议，使得仅通过经典输入和观察经典输出即可验证量子操作，其应用涵盖无信道依赖的量子计算。
• 用于量子态的量子测试者可高效测试相等性、固定纯态、乘积结构及酉不变性质，其查询复杂度通常随系统尺寸对数增长。
• 对于酉算符，量子测试者可测试可交换性、是否属于Pauli或Clifford群，以及是否为量子junta，其复杂度通常与系统尺寸无关。
• 对量子性质测试者的分析已促成重大复杂性理论结果，例如证明了QMA(k) = QMA(2)，彰显其在量子复杂性理论中的基础性作用。
• 量子PCP猜想仍为开放问题，但量子性质测试可能为此提供证明路径，类似于经典性质测试者在经典PCP定理中的作用。