[论文解读] A Quantum Test Algorithm

Jacob Biamonte, Marek Perkowski|arXiv (Cornell University)|Jan 20, 2005

Quantum Computing Algorithms and Architecture参考文献 39被引用 3

一句话总结

本文提出了一种量子测试算法，利用量子效应比经典方法更高效地验证量子过程。通过将门操作应用于一组完整的特征态并提取功能信息，该方法减少了所需可观测量的数量——表明在量子网络中验证经典自由度所需的平均可观测量，远少于经典下限所规定的数量。

ABSTRACT

Current processes validation methods rely on di- verse input states and exponential applications of state tomog- raphy. Through generalization of classical test theory exceptions to this rule are found. Instead of expanding a complete operator basis to validate a process, the objective is to utilize quan tum effects making each gate realized in the process act on a complete set of characteristic states and next extract functional in forma- tion. Random noise, systematic errors, initialization inaccuracies and measurement faults must also be detected. This concept is applied to the switching class comprising the search oracle. In a first approach, the test set cardinality is held constant to six; both testability and added depth complexity of an additional design-for-test circuit are related to the function real ized in the oracle. Oracles realizing affine functions are shown to gene rate no net entanglement and are thus the easiest to test, where oracles realizing bent functions are the most difficult to te st. A second approach replaces extraction complexity with a linear growth in experiment count. An interesting corollary of this study is the success found when addressing the classical test problem quantum mechanically. The validation of all classical degrees of freedom in a quantum switching network were found to necessitate exponentially fewer averaged observables than the number of tests in the classical lower bound.

研究动机与目标

• 解决依赖于指数级态层析成像和多种输入态的古典过程验证方法效率低下的问题。
• 开发一种基于量子的测试框架，用于检测量子过程中的随机噪声、系统性误差、初始化不准确和测量故障。
• 在量子切换网络的背景下，评估不同预言机函数（特别是仿射函数与弯函数）的可测试性。
• 通过以实验次数的线性增长替代高提取复杂度，降低测试复杂度。
• 展示将量子力学应用于经典测试问题的优势，特别是在减少可观测量需求方面。

提出的方法

• 通过利用量子效应在不进行完整算符基展开的情况下验证过程，推广经典测试理论的例外情况。
• 将过程中的每个门作用于一组完整的特征量子态，以提取功能信息。
• 采用固定大小为六的测试集，评估设计-可测性电路中的可测试性与附加深度复杂度。
• 分析测试复杂度与预言机中实现函数之间的关系，特别区分仿射函数与弯函数。
• 以实验次数的线性增长替代高复杂度的功能提取，以降低计算开销。
• 使用平均可观测量来验证量子切换网络中所有经典自由度，并与经典下限进行比较。

实验结果

研究问题

• RQ1 是否可以利用量子效应，相比经典方法，减少验证量子过程所需测试数量？
• RQ2 量子预言机的可测试性如何随其所实现函数类型的差异而变化——特别是仿射函数与弯函数之间？
• RQ3 在不损害验证准确性的前提下，功能提取复杂度可在多大程度上被线性增长的实验次数所替代？
• RQ4 量子过程验证中，纠缠态的生成与测试难度之间存在何种关系？
• RQ5 将量子力学方法应用于经典测试问题，是否能在平均可观测量数量上实现指数级节省？

主要发现

• 实现仿射函数的预言机不产生净纠缠，因此是最容易测试的。
• 实现弯函数的预言机由于更高的纠缠度和复杂度，是测试难度最大的。
• 所提出的量子测试算法将验证量子网络中经典自由度所需平均可观测量的数量，降低至低于经典下限。
• 该方法相比经典验证方法，在平均可观测量上实现了指数级节省。
• 通过以线性增长的实验次数替代高复杂度的功能提取，实现了可扩展且实用的验证。
• 将量子力学应用于经典测试问题可带来可测量的优势，尤其体现在减少可观测量需求方面。