[论文解读] Equivalence, Identity, and Unitarity Checking in Black-Box Testing of Quantum Programs

Peixun Long, Jianjun Zhao|arXiv (Cornell University)|Jul 4, 2023

Quantum Computing Algorithms and Architecture被引用 4

一句话总结

本文提出了一种针对量子程序的新型黑盒测试算法，利用交换测试进行等价性检查，采用简化的重复执行方法进行恒等性检查，并基于理论单位性条件实现单位性验证。实验评估表明，这些方法在有效性与效率方面表现优异，可在无需访问内部结构的情况下对量子程序行为进行严格验证。

ABSTRACT

Quantum programs exhibit inherent non-deterministic behavior, which poses more significant challenges for error discovery compared to classical programs. While several testing methods have been proposed for quantum programs, they often overlook fundamental questions in black-box testing. In this paper, we bridge this gap by presenting three novel algorithms specifically designed to address the challenges of equivalence, identity, and unitarity checking in black-box testing of quantum programs. We also explore optimization techniques for these algorithms, including specialized versions for equivalence and unitarity checking, and provide valuable insights into parameter selection to maximize performance and effectiveness. To evaluate the effectiveness of our proposed methods, we conducted comprehensive experimental evaluations, which demonstrate that our methods can rigorously perform equivalence, identity, and unitarity checking, offering robust support for black-box testing of quantum programs.

研究动机与目标

• 解决量子程序黑盒测试中的根本性问题，其中固有的非确定性与测量引起的坍缩会阻碍错误检测。
• 提供严谨的黑盒方法，以验证量子程序的核心属性：等价性、恒等性与单位性。
• 开发无需访问内部电路结构的实用算法，以适应现实世界中的约束条件。
• 优化算法以提升性能与可扩展性，尤其针对等价性与单位性检查。
• 通过全面的理论分析与在量子模拟器上的实验评估，验证所提出方法的有效性。

提出的方法

• 利用交换测试比较两个量子程序在泡利基态上的输出，通过估计保真度来判断其等价性。
• 提出一种简化的恒等性检查方法，通过重复应用程序并测量输出态与输入态的重叠来实现。
• 基于迹保持性与等距性，建立单位性的一个充分必要条件，从而实现对酉操作的正式验证。
• 设计等价性与单位性检查算法的优化变体，以提升运行效率并减少资源消耗。
• 采用参数调优策略以平衡准确度与性能，尤其在保真度估计与测量重复次数方面。
• 在量子模拟器框架（Q#）中实现所有方法，以评估其实际可行性与可扩展性。

实验结果

研究问题

• RQ1 在无法访问内部结构的前提下，如何在黑盒环境中检查两个量子程序的功能等价性？
• RQ2 如何仅通过输入-输出行为判断一个量子程序是否实现了恒等操作？
• RQ3 基于可观测输出，可采用何种形式化准则来验证一个量子程序是否实现了酉变换？

主要发现

• 所提出的等价性检查方法利用泡利态上的交换测试，在检测量子程序间功能等价性方面表现出高精度。
• 恒等性检查方法通过重复执行与态重叠测量，以极低开销成功识别出恒等操作。
• 理论单位性条件能够精确验证酉行为，为算法实现提供了坚实基础。
• 实验结果表明，这些方法在有效性与效率方面表现优异，小规模程序（如4量子比特电路）的执行时间均低于2秒。
• 等价性与单位性检查算法的优化版本显著降低了运行时间与资源消耗，提升了可扩展性。
• 即使在量子比特资源有限的情况下，方法仍保持有效性，但大规模程序因量子比特数量限制而性能下降。